Loading oracles/tests/CollectBrakets106_0.txt +38 −119 Original line number Diff line number Diff line 3 0.500000001130 0 <gs|c'|P1> 0 3 0.083808707291 0 <gs|c'|P2> 0 3 0.253570064086 0 <gs|c'|P3> 0 3 0 0 <P2|c'|P2> 0.072435010127 3 0 0 <P3|c'|P3> 0.975173831039 3 0 0 <P2|c'|P3> 0.108185416021 3 0.253570064090 0 <gs|c'|P3> 0 4 0.154326313569 0 <gs|c'|P1> 0 4 0.023389025707 0 <gs|c'|P2> 0 4 0.217895102427 0 <gs|c'|P3> 0 4 0 0 <P2|c'|P2> 0.068138093681 4 0 0 <P3|c'|P3> 0.969849268407 4 0 0 <P2|c'|P3> 0.088466117230 4 0.023389025657 0 <gs|c'|P2> 0 4 0.217895102552 0 <gs|c'|P3> 0 5 0 0 <gs|c'|P1> 0 5 0.050693560102 0 <gs|c'|P2> 0 5 0.099873191886 0 <gs|c'|P3> 0 5 0 0 <P2|c'|P2> 0.064279279286 5 0 0 <P3|c'|P3> 0.974381610986 5 0 0 <P2|c'|P3> 0.094817471478 5 0.050693560013 0 <gs|c'|P2> 0 5 0.099873191518 0 <gs|c'|P3> 0 6 -0.011257448572 0 <gs|c'|P1> 0 6 0.084571102308 0 <gs|c'|P2> 0 6 0.017267505202 0 <gs|c'|P3> 0 7 0 0 <gs|c'|P1> 0 6 0.084571080032 0 <gs|c'|P2> 0 7 -0.029077604593 0 <gs|c'|P2> 0 6 0.017267562354 0 <gs|c'|P3> 0 7 0.049767982710 0 <gs|c'|P3> 0 6 0 0 <P2|c'|P2> 1.401455537867 7 0 0 <P2|c'|P2> 1.401455537867 6 0 0 <P3|c'|P3> 0.780480647480 7 0 0 <P3|c'|P3> 0.780480647480 6 0 0 <P2|c'|P3> 0.238998156569 7 0 0 <P2|c'|P3> 0.238998156569 7 -0.011257448572 0 <gs|c'|P1> 0 7 0.084571080032 0 <gs|c'|P2> 0 7 0.017267562354 0 <gs|c'|P3> 0 7 0 0 <P2|c'|P2> 1.401455537867 7 0 0 <P3|c'|P3> 0.780480647480 7 0 0 <P2|c'|P3> 0.238998156569 7 -0.029077602164 0 <gs|c'|P2> 0 7 0.049768019534 0 <gs|c'|P3> 0 6 -0.011257448572 0 <gs|c'|P1> 0 6 0.007213091567 0 <gs|c'|P2> 0 6 0.027729305813 0 <gs|c'|P3> 0 6 0 0 <P2|c'|P2> 0.064279279286 6 0 0 <P3|c'|P3> 0.974381610971 6 0 0 <P2|c'|P3> 0.094817471478 7 -0.011257448572 0 <gs|c'|P1> 0 7 0.007213091567 0 <gs|c'|P2> 0 7 0.027729305813 0 <gs|c'|P3> 0 7 0 0 <P2|c'|P2> 0.064279279286 7 0 0 <P3|c'|P3> 0.974381610971 7 0 0 <P2|c'|P3> 0.094817471478 6 0.007213091477 0 <gs|c'|P2> 0 6 0.027729305732 0 <gs|c'|P3> 0 5 0 0 <gs|c'|P1> 0 5 0.052157199066 0 <gs|c'|P2> 0 5 0.085456434001 0 <gs|c'|P3> 0 5 0 0 <P2|c'|P2> 0.070888744911 5 0 0 <P3|c'|P3> 0.973263841444 5 0 0 <P2|c'|P3> 0.103836744703 5 0.052157199078 0 <gs|c'|P2> 0 5 0.085456434061 0 <gs|c'|P3> 0 4 0.154326261793 0 <gs|c'|P1> 0 4 0.025181159382 0 <gs|c'|P2> 0 4 0.209389803823 0 <gs|c'|P3> 0 4 0 0 <P2|c'|P2> 0.075161222091 4 0 0 <P3|c'|P3> 0.978381359247 4 0 0 <P2|c'|P3> 0.117973657758 4 0.025181159369 0 <gs|c'|P2> 0 4 0.209389803935 0 <gs|c'|P3> 0 3 0.500000013841 0 <gs|c'|P1> 0 3 0.083813226525 0 <gs|c'|P2> 0 3 0.254246157890 0 <gs|c'|P3> 0 3 0 0 <P2|c'|P2> 0.072546572035 3 0 0 <P3|c'|P3> 0.975078808254 3 0 0 <P2|c'|P3> 0.110596764836 3 0.083813226601 0 <gs|c'|P2> 0 3 0.254246158238 0 <gs|c'|P3> 0 2 0.232953843484 0 <gs|c'|P1> 0 2 0.058681886118 0 <gs|c'|P2> 0 2 0.292053082733 0 <gs|c'|P3> 0 2 0 0 <P2|c'|P2> 0.304380978443 2 0 0 <P3|c'|P3> 1.095011521763 2 0 0 <P2|c'|P3> 0.374503552259 2 0.058681888067 0 <gs|c'|P2> 0 2 0.292053083074 0 <gs|c'|P3> 0 1 0 0 <gs|c'|P1> 0 1 0.020317615595 0 <gs|c'|P2> 0 1 0.003802486143 0 <gs|c'|P3> 0 0 -0.038754592063 0 <gs|c'|P1> 0 1 0.020317676407 0 <gs|c'|P2> 0 0 0.024357423929 0 <gs|c'|P2> 0 1 0.003802391313 0 <gs|c'|P3> 0 0 0.232635918219 0 <gs|c'|P3> 0 1 0 0 <P2|c'|P2> 0.434178620381 0 0 0 <P2|c'|P2> 0.434178620381 1 0 0 <P3|c'|P3> 1.113126571870 0 0 0 <P3|c'|P3> 1.113126571870 1 0 0 <P2|c'|P3> -0.235742826623 0 0 0 <P2|c'|P3> -0.235742826623 0 0 0 <gs|c'|P1> 0 0 0.020317676407 0 <gs|c'|P2> 0 0 0.003802391313 0 <gs|c'|P3> 0 0 0 0 <P2|c'|P2> 0.434178620381 0 0 0 <P3|c'|P3> 1.113126571870 0 0 0 <P2|c'|P3> -0.235742826623 0 0.024357491541 0 <gs|c'|P2> 0 0 0.232635603132 0 <gs|c'|P3> 0 1 0 0 <gs|c'|P1> 0 1 0.026163540265 0 <gs|c'|P2> 0 1 0.014230469937 0 <gs|c'|P3> 0 1 0 0 <P2|c'|P2> 0.304380978443 1 0 0 <P3|c'|P3> 1.095011521748 1 0 0 <P2|c'|P3> 0.374503552253 1 0.026163541724 0 <gs|c'|P2> 0 1 0.014230470865 0 <gs|c'|P3> 0 2 0.232953843484 0 <gs|c'|P1> 0 2 0.038925560196 0 <gs|c'|P2> 0 2 0.272938896376 0 <gs|c'|P3> 0 2 0 0 <P2|c'|P2> 0.072701497913 2 0 0 <P3|c'|P3> 0.975273752843 2 0 0 <P2|c'|P3> 0.111133641894 2 0.038925558746 0 <gs|c'|P2> 0 2 0.272938894064 0 <gs|c'|P3> 0 3 0.499999850408 0 <gs|c'|P1> 0 3 0.084427261729 0 <gs|c'|P2> 0 3 0.256270949484 0 <gs|c'|P3> 0 3 0 0 <P2|c'|P2> 0.075950771087 3 0 0 <P3|c'|P3> 0.979342124231 3 0 0 <P2|c'|P3> 0.120254033375 3 0.084427260858 0 <gs|c'|P2> 0 3 0.256270946511 0 <gs|c'|P3> 0 4 0.154325029091 0 <gs|c'|P1> 0 4 0.025086403024 0 <gs|c'|P2> 0 4 0.211815412432 0 <gs|c'|P3> 0 4 0 0 <P2|c'|P2> 0.073216934649 4 0 0 <P3|c'|P3> 0.976246480765 4 0 0 <P2|c'|P3> 0.112344081370 4 0.025086404559 0 <gs|c'|P2> 0 4 0.211815402497 0 <gs|c'|P3> 0 5 0.000001418786 0 <gs|c'|P1> 0 5 0.050347188169 0 <gs|c'|P2> 0 5 0.091161464351 0 <gs|c'|P3> 0 5 0 0 <P2|c'|P2> 0.066304914156 5 0 0 <P3|c'|P3> 0.984748211519 5 0 0 <P2|c'|P3> 0.083425644290 6 -0.011261129945 0 <gs|c'|P1> 0 5 0.050347183010 0 <gs|c'|P2> 0 5 0.091161353510 0 <gs|c'|P3> 0 6 -0.011261129944 0 <gs|c'|P1> 0 6 0.012938803704 0 <gs|c'|P2> 0 6 -0.013156516542 0 <gs|c'|P3> 0 7 -0.000003423697 0 <gs|c'|P1> 0 6 0.012938813090 0 <gs|c'|P2> 0 7 0.022043623381 0 <gs|c'|P2> 0 6 -0.013156432236 0 <gs|c'|P3> 0 7 0.071940407269 0 <gs|c'|P3> 0 6 0 0 <P2|c'|P2> 0.100722608205 7 0 0 <P2|c'|P2> 0.100722608205 6 0 0 <P3|c'|P3> 1.064492462015 7 0 0 <P3|c'|P3> 1.064492462015 6 0 0 <P2|c'|P3> -0.039475351060 7 0 0 <P2|c'|P3> -0.039475351060 7 -0.011261129945 0 <gs|c'|P1> 0 7 0.012938813090 0 <gs|c'|P2> 0 7 -0.013156432236 0 <gs|c'|P3> 0 7 0 0 <P2|c'|P2> 0.100722608205 7 0 0 <P3|c'|P3> 1.064492462015 7 0 0 <P2|c'|P3> -0.039475351060 7 0.022043724453 0 <gs|c'|P2> 0 7 0.071940201359 0 <gs|c'|P3> 0 oracles/tests/CollectBrakets63_0.txt +7 −88 Original line number Diff line number Diff line 3 0.190551616998 0 <gs|sz|P1> 0 3 0.550093063205 0 <gs|sz|P2> 0 3 0.140708694000 0 <gs|sz|P3> 0 3 0 0 <P2|sz|P2> 3.942301300200 3 0 0 <P3|sz|P3> 2.933861989861 3 0 0 <P2|sz|P3> 0.915734998578 4 -0.111726322660 0 <gs|sz|P1> 0 4 -0.438929174071 0 <gs|sz|P2> 0 4 0.059867008531 0 <gs|sz|P3> 0 4 0 0 <P2|sz|P2> 3.942301300200 4 0 0 <P3|sz|P3> 2.933861989862 4 0 0 <P2|sz|P3> 0.915734998577 5 -0.017342677048 0 <gs|sz|P1> 0 5 -0.177552443804 0 <gs|sz|P2> 0 5 -0.186497315789 0 <gs|sz|P3> 0 5 -0.000002682225 0 <P2|sz|P2> 3.942291317196 5 -0.000006499753 0 <P3|sz|P3> 2.933871953873 5 0.000005814143 0 <P2|sz|P3> 0.915735174578 6 0.012950775812 0 <gs|sz|P1> 0 7 -0.039322964357 0 <gs|sz|P1> 0 6 0.028007721006 0 <gs|sz|P2> 0 7 -0.082904543613 0 <gs|sz|P2> 0 6 -0.132537603159 0 <gs|sz|P3> 0 7 -0.039322964357 0 <gs|sz|P1> 0 7 -0.082904543613 0 <gs|sz|P2> 0 7 0.461156638830 0 <gs|sz|P3> 0 6 -0.000020259533 0 <P2|sz|P2> 3.942289834613 7 0.000036029229 0 <P2|sz|P2> 3.942289834613 6 0.000009440672 0 <P3|sz|P3> 2.933873405074 7 -0.000005921394 0 <P3|sz|P3> 2.933873405074 6 0.000003734257 0 <P2|sz|P3> 0.915745202270 7 -0.000017367498 0 <P2|sz|P3> 0.915745202270 7 0.012950775812 0 <gs|sz|P1> 0 7 0.028007721006 0 <gs|sz|P2> 0 7 -0.132537603159 0 <gs|sz|P3> 0 7 -0.000020259533 0 <P2|sz|P2> 3.942289834613 7 0.000009440672 0 <P3|sz|P3> 2.933873405074 7 0.000003734257 0 <P2|sz|P3> 0.915745202270 6 0.012950775812 0 <gs|sz|P1> 0 6 0.028007721116 0 <gs|sz|P2> 0 6 -0.132541002701 0 <gs|sz|P3> 0 6 0.000001517327 0 <P2|sz|P2> 3.942291317196 6 0.000005896168 0 <P3|sz|P3> 2.933871953873 6 -0.000002311624 0 <P2|sz|P3> 0.915735174578 7 0.012950775812 0 <gs|sz|P1> 0 7 0.028007721116 0 <gs|sz|P2> 0 7 -0.132541002701 0 <gs|sz|P3> 0 7 0.000001517327 0 <P2|sz|P2> 3.942291317196 7 0.000005896168 0 <P3|sz|P3> 2.933871953873 7 -0.000002311624 0 <P2|sz|P3> 0.915735174578 5 -0.017342677048 0 <gs|sz|P1> 0 5 -0.177551952056 0 <gs|sz|P2> 0 5 -0.186499595381 0 <gs|sz|P3> 0 5 0 0 <P2|sz|P2> 3.942301300200 5 0 0 <P3|sz|P3> 2.933861989862 5 0 0 <P2|sz|P3> 0.915734998577 4 -0.111726322660 0 <gs|sz|P1> 0 4 -0.438929174071 0 <gs|sz|P2> 0 4 0.059867008531 0 <gs|sz|P3> 0 4 0 0 <P2|sz|P2> 3.942301300199 4 0 0 <P3|sz|P3> 2.933861989861 4 0 0 <P2|sz|P3> 0.915734998578 3 0.190551616998 0 <gs|sz|P1> 0 3 0.550093063205 0 <gs|sz|P2> 0 3 0.140708694000 0 <gs|sz|P3> 0 3 0 0 <P2|sz|P2> 3.942301300200 3 0 0 <P3|sz|P3> 2.933861989862 3 0 0 <P2|sz|P3> 0.915734998577 2 -0.051357439070 0 <gs|sz|P1> 0 2 0.226296073348 0 <gs|sz|P2> 0 2 -0.020851010762 0 <gs|sz|P3> 0 2 0 0 <P2|sz|P2> 3.942300981802 2 0 0 <P3|sz|P3> 2.933862270584 2 0 0 <P2|sz|P3> 0.915734568708 2 -0.020851010763 0 <gs|sz|P3> 0 1 -0.010942359284 0 <gs|sz|P1> 0 0 0.027189369608 0 <gs|sz|P1> 0 1 -0.008178168691 0 <gs|sz|P2> 0 0 -0.096835181115 0 <gs|sz|P2> 0 1 0.050649306676 0 <gs|sz|P3> 0 0 0.027189369608 0 <gs|sz|P1> 0 0 -0.096835181115 0 <gs|sz|P2> 0 0 -0.372491332749 0 <gs|sz|P3> 0 1 -0.000072642720 0 <P2|sz|P2> 3.942300315727 0 0.000182634991 0 <P2|sz|P2> 3.942300315727 1 0 0 <P3|sz|P3> 2.933862914226 0 0.000027062604 0 <P3|sz|P3> 2.933862914226 1 0.000029949089 0 <P2|sz|P3> 0.915729358137 0 -0.000021162485 0 <P2|sz|P3> 0.915729358137 0 -0.010942359284 0 <gs|sz|P1> 0 0 -0.008178168691 0 <gs|sz|P2> 0 0 0.050649306676 0 <gs|sz|P3> 0 0 -0.000072642720 0 <P2|sz|P2> 3.942300315727 0 0 0 <P3|sz|P3> 2.933862914226 0 0.000029949089 0 <P2|sz|P3> 0.915729358137 1 -0.010942359284 0 <gs|sz|P1> 0 1 -0.008173685012 0 <gs|sz|P2> 0 1 0.050646165748 0 <gs|sz|P3> 0 1 0 0 <P2|sz|P2> 3.942300981802 1 0 0 <P3|sz|P3> 2.933862270584 1 0 0 <P2|sz|P3> 0.915734568708 2 -0.051357439070 0 <gs|sz|P1> 0 2 0.226296541803 0 <gs|sz|P2> 0 2 -0.020851847621 0 <gs|sz|P3> 0 2 0 0 <P2|sz|P2> 3.942301300200 2 0 0 <P3|sz|P3> 2.933861989862 2 0 0 <P2|sz|P3> 0.915734998577 3 0.190551616998 0 <gs|sz|P1> 0 3 0.550093063205 0 <gs|sz|P2> 0 3 0.140708694000 0 <gs|sz|P3> 0 3 0 0 <P2|sz|P2> 3.942301300200 3 0 0 <P3|sz|P3> 2.933861989861 3 0 0 <P2|sz|P3> 0.915734998577 4 -0.111726322660 0 <gs|sz|P1> 0 4 -0.438929174071 0 <gs|sz|P2> 0 4 0.059867008531 0 <gs|sz|P3> 0 4 0 0 <P2|sz|P2> 3.942301300201 4 0 0 <P3|sz|P3> 2.933861989862 4 0 0 <P2|sz|P3> 0.915734998576 5 -0.017342677048 0 <gs|sz|P1> 0 5 -0.177552443804 0 <gs|sz|P2> 0 5 -0.186497315789 0 <gs|sz|P3> 0 5 -0.000002682224 0 <P2|sz|P2> 3.942291317197 5 -0.000006499753 0 <P3|sz|P3> 2.933871953873 5 0.000005814143 0 <P2|sz|P3> 0.915735174578 6 0.012950775812 0 <gs|sz|P1> 0 7 -0.039322964357 0 <gs|sz|P1> 0 6 0.028007721006 0 <gs|sz|P2> 0 7 -0.082904543613 0 <gs|sz|P2> 0 6 -0.132537603159 0 <gs|sz|P3> 0 7 -0.039322964357 0 <gs|sz|P1> 0 7 -0.082904543613 0 <gs|sz|P2> 0 7 0.461156638830 0 <gs|sz|P3> 0 6 -0.000020259533 0 <P2|sz|P2> 3.942289834613 7 0.000036029231 0 <P2|sz|P2> 3.942289834613 6 0.000009440673 0 <P3|sz|P3> 2.933873405074 7 -0.000005921396 0 <P3|sz|P3> 2.933873405074 6 0.000003734257 0 <P2|sz|P3> 0.915745202270 7 -0.000017367497 0 <P2|sz|P3> 0.915745202270 7 0.012950775812 0 <gs|sz|P1> 0 7 0.028007721006 0 <gs|sz|P2> 0 7 -0.132537603159 0 <gs|sz|P3> 0 7 -0.000020259533 0 <P2|sz|P2> 3.942289834613 7 0.000009440673 0 <P3|sz|P3> 2.933873405074 7 0.000003734257 0 <P2|sz|P3> 0.915745202270 Loading
oracles/tests/CollectBrakets106_0.txt +38 −119 Original line number Diff line number Diff line 3 0.500000001130 0 <gs|c'|P1> 0 3 0.083808707291 0 <gs|c'|P2> 0 3 0.253570064086 0 <gs|c'|P3> 0 3 0 0 <P2|c'|P2> 0.072435010127 3 0 0 <P3|c'|P3> 0.975173831039 3 0 0 <P2|c'|P3> 0.108185416021 3 0.253570064090 0 <gs|c'|P3> 0 4 0.154326313569 0 <gs|c'|P1> 0 4 0.023389025707 0 <gs|c'|P2> 0 4 0.217895102427 0 <gs|c'|P3> 0 4 0 0 <P2|c'|P2> 0.068138093681 4 0 0 <P3|c'|P3> 0.969849268407 4 0 0 <P2|c'|P3> 0.088466117230 4 0.023389025657 0 <gs|c'|P2> 0 4 0.217895102552 0 <gs|c'|P3> 0 5 0 0 <gs|c'|P1> 0 5 0.050693560102 0 <gs|c'|P2> 0 5 0.099873191886 0 <gs|c'|P3> 0 5 0 0 <P2|c'|P2> 0.064279279286 5 0 0 <P3|c'|P3> 0.974381610986 5 0 0 <P2|c'|P3> 0.094817471478 5 0.050693560013 0 <gs|c'|P2> 0 5 0.099873191518 0 <gs|c'|P3> 0 6 -0.011257448572 0 <gs|c'|P1> 0 6 0.084571102308 0 <gs|c'|P2> 0 6 0.017267505202 0 <gs|c'|P3> 0 7 0 0 <gs|c'|P1> 0 6 0.084571080032 0 <gs|c'|P2> 0 7 -0.029077604593 0 <gs|c'|P2> 0 6 0.017267562354 0 <gs|c'|P3> 0 7 0.049767982710 0 <gs|c'|P3> 0 6 0 0 <P2|c'|P2> 1.401455537867 7 0 0 <P2|c'|P2> 1.401455537867 6 0 0 <P3|c'|P3> 0.780480647480 7 0 0 <P3|c'|P3> 0.780480647480 6 0 0 <P2|c'|P3> 0.238998156569 7 0 0 <P2|c'|P3> 0.238998156569 7 -0.011257448572 0 <gs|c'|P1> 0 7 0.084571080032 0 <gs|c'|P2> 0 7 0.017267562354 0 <gs|c'|P3> 0 7 0 0 <P2|c'|P2> 1.401455537867 7 0 0 <P3|c'|P3> 0.780480647480 7 0 0 <P2|c'|P3> 0.238998156569 7 -0.029077602164 0 <gs|c'|P2> 0 7 0.049768019534 0 <gs|c'|P3> 0 6 -0.011257448572 0 <gs|c'|P1> 0 6 0.007213091567 0 <gs|c'|P2> 0 6 0.027729305813 0 <gs|c'|P3> 0 6 0 0 <P2|c'|P2> 0.064279279286 6 0 0 <P3|c'|P3> 0.974381610971 6 0 0 <P2|c'|P3> 0.094817471478 7 -0.011257448572 0 <gs|c'|P1> 0 7 0.007213091567 0 <gs|c'|P2> 0 7 0.027729305813 0 <gs|c'|P3> 0 7 0 0 <P2|c'|P2> 0.064279279286 7 0 0 <P3|c'|P3> 0.974381610971 7 0 0 <P2|c'|P3> 0.094817471478 6 0.007213091477 0 <gs|c'|P2> 0 6 0.027729305732 0 <gs|c'|P3> 0 5 0 0 <gs|c'|P1> 0 5 0.052157199066 0 <gs|c'|P2> 0 5 0.085456434001 0 <gs|c'|P3> 0 5 0 0 <P2|c'|P2> 0.070888744911 5 0 0 <P3|c'|P3> 0.973263841444 5 0 0 <P2|c'|P3> 0.103836744703 5 0.052157199078 0 <gs|c'|P2> 0 5 0.085456434061 0 <gs|c'|P3> 0 4 0.154326261793 0 <gs|c'|P1> 0 4 0.025181159382 0 <gs|c'|P2> 0 4 0.209389803823 0 <gs|c'|P3> 0 4 0 0 <P2|c'|P2> 0.075161222091 4 0 0 <P3|c'|P3> 0.978381359247 4 0 0 <P2|c'|P3> 0.117973657758 4 0.025181159369 0 <gs|c'|P2> 0 4 0.209389803935 0 <gs|c'|P3> 0 3 0.500000013841 0 <gs|c'|P1> 0 3 0.083813226525 0 <gs|c'|P2> 0 3 0.254246157890 0 <gs|c'|P3> 0 3 0 0 <P2|c'|P2> 0.072546572035 3 0 0 <P3|c'|P3> 0.975078808254 3 0 0 <P2|c'|P3> 0.110596764836 3 0.083813226601 0 <gs|c'|P2> 0 3 0.254246158238 0 <gs|c'|P3> 0 2 0.232953843484 0 <gs|c'|P1> 0 2 0.058681886118 0 <gs|c'|P2> 0 2 0.292053082733 0 <gs|c'|P3> 0 2 0 0 <P2|c'|P2> 0.304380978443 2 0 0 <P3|c'|P3> 1.095011521763 2 0 0 <P2|c'|P3> 0.374503552259 2 0.058681888067 0 <gs|c'|P2> 0 2 0.292053083074 0 <gs|c'|P3> 0 1 0 0 <gs|c'|P1> 0 1 0.020317615595 0 <gs|c'|P2> 0 1 0.003802486143 0 <gs|c'|P3> 0 0 -0.038754592063 0 <gs|c'|P1> 0 1 0.020317676407 0 <gs|c'|P2> 0 0 0.024357423929 0 <gs|c'|P2> 0 1 0.003802391313 0 <gs|c'|P3> 0 0 0.232635918219 0 <gs|c'|P3> 0 1 0 0 <P2|c'|P2> 0.434178620381 0 0 0 <P2|c'|P2> 0.434178620381 1 0 0 <P3|c'|P3> 1.113126571870 0 0 0 <P3|c'|P3> 1.113126571870 1 0 0 <P2|c'|P3> -0.235742826623 0 0 0 <P2|c'|P3> -0.235742826623 0 0 0 <gs|c'|P1> 0 0 0.020317676407 0 <gs|c'|P2> 0 0 0.003802391313 0 <gs|c'|P3> 0 0 0 0 <P2|c'|P2> 0.434178620381 0 0 0 <P3|c'|P3> 1.113126571870 0 0 0 <P2|c'|P3> -0.235742826623 0 0.024357491541 0 <gs|c'|P2> 0 0 0.232635603132 0 <gs|c'|P3> 0 1 0 0 <gs|c'|P1> 0 1 0.026163540265 0 <gs|c'|P2> 0 1 0.014230469937 0 <gs|c'|P3> 0 1 0 0 <P2|c'|P2> 0.304380978443 1 0 0 <P3|c'|P3> 1.095011521748 1 0 0 <P2|c'|P3> 0.374503552253 1 0.026163541724 0 <gs|c'|P2> 0 1 0.014230470865 0 <gs|c'|P3> 0 2 0.232953843484 0 <gs|c'|P1> 0 2 0.038925560196 0 <gs|c'|P2> 0 2 0.272938896376 0 <gs|c'|P3> 0 2 0 0 <P2|c'|P2> 0.072701497913 2 0 0 <P3|c'|P3> 0.975273752843 2 0 0 <P2|c'|P3> 0.111133641894 2 0.038925558746 0 <gs|c'|P2> 0 2 0.272938894064 0 <gs|c'|P3> 0 3 0.499999850408 0 <gs|c'|P1> 0 3 0.084427261729 0 <gs|c'|P2> 0 3 0.256270949484 0 <gs|c'|P3> 0 3 0 0 <P2|c'|P2> 0.075950771087 3 0 0 <P3|c'|P3> 0.979342124231 3 0 0 <P2|c'|P3> 0.120254033375 3 0.084427260858 0 <gs|c'|P2> 0 3 0.256270946511 0 <gs|c'|P3> 0 4 0.154325029091 0 <gs|c'|P1> 0 4 0.025086403024 0 <gs|c'|P2> 0 4 0.211815412432 0 <gs|c'|P3> 0 4 0 0 <P2|c'|P2> 0.073216934649 4 0 0 <P3|c'|P3> 0.976246480765 4 0 0 <P2|c'|P3> 0.112344081370 4 0.025086404559 0 <gs|c'|P2> 0 4 0.211815402497 0 <gs|c'|P3> 0 5 0.000001418786 0 <gs|c'|P1> 0 5 0.050347188169 0 <gs|c'|P2> 0 5 0.091161464351 0 <gs|c'|P3> 0 5 0 0 <P2|c'|P2> 0.066304914156 5 0 0 <P3|c'|P3> 0.984748211519 5 0 0 <P2|c'|P3> 0.083425644290 6 -0.011261129945 0 <gs|c'|P1> 0 5 0.050347183010 0 <gs|c'|P2> 0 5 0.091161353510 0 <gs|c'|P3> 0 6 -0.011261129944 0 <gs|c'|P1> 0 6 0.012938803704 0 <gs|c'|P2> 0 6 -0.013156516542 0 <gs|c'|P3> 0 7 -0.000003423697 0 <gs|c'|P1> 0 6 0.012938813090 0 <gs|c'|P2> 0 7 0.022043623381 0 <gs|c'|P2> 0 6 -0.013156432236 0 <gs|c'|P3> 0 7 0.071940407269 0 <gs|c'|P3> 0 6 0 0 <P2|c'|P2> 0.100722608205 7 0 0 <P2|c'|P2> 0.100722608205 6 0 0 <P3|c'|P3> 1.064492462015 7 0 0 <P3|c'|P3> 1.064492462015 6 0 0 <P2|c'|P3> -0.039475351060 7 0 0 <P2|c'|P3> -0.039475351060 7 -0.011261129945 0 <gs|c'|P1> 0 7 0.012938813090 0 <gs|c'|P2> 0 7 -0.013156432236 0 <gs|c'|P3> 0 7 0 0 <P2|c'|P2> 0.100722608205 7 0 0 <P3|c'|P3> 1.064492462015 7 0 0 <P2|c'|P3> -0.039475351060 7 0.022043724453 0 <gs|c'|P2> 0 7 0.071940201359 0 <gs|c'|P3> 0
oracles/tests/CollectBrakets63_0.txt +7 −88 Original line number Diff line number Diff line 3 0.190551616998 0 <gs|sz|P1> 0 3 0.550093063205 0 <gs|sz|P2> 0 3 0.140708694000 0 <gs|sz|P3> 0 3 0 0 <P2|sz|P2> 3.942301300200 3 0 0 <P3|sz|P3> 2.933861989861 3 0 0 <P2|sz|P3> 0.915734998578 4 -0.111726322660 0 <gs|sz|P1> 0 4 -0.438929174071 0 <gs|sz|P2> 0 4 0.059867008531 0 <gs|sz|P3> 0 4 0 0 <P2|sz|P2> 3.942301300200 4 0 0 <P3|sz|P3> 2.933861989862 4 0 0 <P2|sz|P3> 0.915734998577 5 -0.017342677048 0 <gs|sz|P1> 0 5 -0.177552443804 0 <gs|sz|P2> 0 5 -0.186497315789 0 <gs|sz|P3> 0 5 -0.000002682225 0 <P2|sz|P2> 3.942291317196 5 -0.000006499753 0 <P3|sz|P3> 2.933871953873 5 0.000005814143 0 <P2|sz|P3> 0.915735174578 6 0.012950775812 0 <gs|sz|P1> 0 7 -0.039322964357 0 <gs|sz|P1> 0 6 0.028007721006 0 <gs|sz|P2> 0 7 -0.082904543613 0 <gs|sz|P2> 0 6 -0.132537603159 0 <gs|sz|P3> 0 7 -0.039322964357 0 <gs|sz|P1> 0 7 -0.082904543613 0 <gs|sz|P2> 0 7 0.461156638830 0 <gs|sz|P3> 0 6 -0.000020259533 0 <P2|sz|P2> 3.942289834613 7 0.000036029229 0 <P2|sz|P2> 3.942289834613 6 0.000009440672 0 <P3|sz|P3> 2.933873405074 7 -0.000005921394 0 <P3|sz|P3> 2.933873405074 6 0.000003734257 0 <P2|sz|P3> 0.915745202270 7 -0.000017367498 0 <P2|sz|P3> 0.915745202270 7 0.012950775812 0 <gs|sz|P1> 0 7 0.028007721006 0 <gs|sz|P2> 0 7 -0.132537603159 0 <gs|sz|P3> 0 7 -0.000020259533 0 <P2|sz|P2> 3.942289834613 7 0.000009440672 0 <P3|sz|P3> 2.933873405074 7 0.000003734257 0 <P2|sz|P3> 0.915745202270 6 0.012950775812 0 <gs|sz|P1> 0 6 0.028007721116 0 <gs|sz|P2> 0 6 -0.132541002701 0 <gs|sz|P3> 0 6 0.000001517327 0 <P2|sz|P2> 3.942291317196 6 0.000005896168 0 <P3|sz|P3> 2.933871953873 6 -0.000002311624 0 <P2|sz|P3> 0.915735174578 7 0.012950775812 0 <gs|sz|P1> 0 7 0.028007721116 0 <gs|sz|P2> 0 7 -0.132541002701 0 <gs|sz|P3> 0 7 0.000001517327 0 <P2|sz|P2> 3.942291317196 7 0.000005896168 0 <P3|sz|P3> 2.933871953873 7 -0.000002311624 0 <P2|sz|P3> 0.915735174578 5 -0.017342677048 0 <gs|sz|P1> 0 5 -0.177551952056 0 <gs|sz|P2> 0 5 -0.186499595381 0 <gs|sz|P3> 0 5 0 0 <P2|sz|P2> 3.942301300200 5 0 0 <P3|sz|P3> 2.933861989862 5 0 0 <P2|sz|P3> 0.915734998577 4 -0.111726322660 0 <gs|sz|P1> 0 4 -0.438929174071 0 <gs|sz|P2> 0 4 0.059867008531 0 <gs|sz|P3> 0 4 0 0 <P2|sz|P2> 3.942301300199 4 0 0 <P3|sz|P3> 2.933861989861 4 0 0 <P2|sz|P3> 0.915734998578 3 0.190551616998 0 <gs|sz|P1> 0 3 0.550093063205 0 <gs|sz|P2> 0 3 0.140708694000 0 <gs|sz|P3> 0 3 0 0 <P2|sz|P2> 3.942301300200 3 0 0 <P3|sz|P3> 2.933861989862 3 0 0 <P2|sz|P3> 0.915734998577 2 -0.051357439070 0 <gs|sz|P1> 0 2 0.226296073348 0 <gs|sz|P2> 0 2 -0.020851010762 0 <gs|sz|P3> 0 2 0 0 <P2|sz|P2> 3.942300981802 2 0 0 <P3|sz|P3> 2.933862270584 2 0 0 <P2|sz|P3> 0.915734568708 2 -0.020851010763 0 <gs|sz|P3> 0 1 -0.010942359284 0 <gs|sz|P1> 0 0 0.027189369608 0 <gs|sz|P1> 0 1 -0.008178168691 0 <gs|sz|P2> 0 0 -0.096835181115 0 <gs|sz|P2> 0 1 0.050649306676 0 <gs|sz|P3> 0 0 0.027189369608 0 <gs|sz|P1> 0 0 -0.096835181115 0 <gs|sz|P2> 0 0 -0.372491332749 0 <gs|sz|P3> 0 1 -0.000072642720 0 <P2|sz|P2> 3.942300315727 0 0.000182634991 0 <P2|sz|P2> 3.942300315727 1 0 0 <P3|sz|P3> 2.933862914226 0 0.000027062604 0 <P3|sz|P3> 2.933862914226 1 0.000029949089 0 <P2|sz|P3> 0.915729358137 0 -0.000021162485 0 <P2|sz|P3> 0.915729358137 0 -0.010942359284 0 <gs|sz|P1> 0 0 -0.008178168691 0 <gs|sz|P2> 0 0 0.050649306676 0 <gs|sz|P3> 0 0 -0.000072642720 0 <P2|sz|P2> 3.942300315727 0 0 0 <P3|sz|P3> 2.933862914226 0 0.000029949089 0 <P2|sz|P3> 0.915729358137 1 -0.010942359284 0 <gs|sz|P1> 0 1 -0.008173685012 0 <gs|sz|P2> 0 1 0.050646165748 0 <gs|sz|P3> 0 1 0 0 <P2|sz|P2> 3.942300981802 1 0 0 <P3|sz|P3> 2.933862270584 1 0 0 <P2|sz|P3> 0.915734568708 2 -0.051357439070 0 <gs|sz|P1> 0 2 0.226296541803 0 <gs|sz|P2> 0 2 -0.020851847621 0 <gs|sz|P3> 0 2 0 0 <P2|sz|P2> 3.942301300200 2 0 0 <P3|sz|P3> 2.933861989862 2 0 0 <P2|sz|P3> 0.915734998577 3 0.190551616998 0 <gs|sz|P1> 0 3 0.550093063205 0 <gs|sz|P2> 0 3 0.140708694000 0 <gs|sz|P3> 0 3 0 0 <P2|sz|P2> 3.942301300200 3 0 0 <P3|sz|P3> 2.933861989861 3 0 0 <P2|sz|P3> 0.915734998577 4 -0.111726322660 0 <gs|sz|P1> 0 4 -0.438929174071 0 <gs|sz|P2> 0 4 0.059867008531 0 <gs|sz|P3> 0 4 0 0 <P2|sz|P2> 3.942301300201 4 0 0 <P3|sz|P3> 2.933861989862 4 0 0 <P2|sz|P3> 0.915734998576 5 -0.017342677048 0 <gs|sz|P1> 0 5 -0.177552443804 0 <gs|sz|P2> 0 5 -0.186497315789 0 <gs|sz|P3> 0 5 -0.000002682224 0 <P2|sz|P2> 3.942291317197 5 -0.000006499753 0 <P3|sz|P3> 2.933871953873 5 0.000005814143 0 <P2|sz|P3> 0.915735174578 6 0.012950775812 0 <gs|sz|P1> 0 7 -0.039322964357 0 <gs|sz|P1> 0 6 0.028007721006 0 <gs|sz|P2> 0 7 -0.082904543613 0 <gs|sz|P2> 0 6 -0.132537603159 0 <gs|sz|P3> 0 7 -0.039322964357 0 <gs|sz|P1> 0 7 -0.082904543613 0 <gs|sz|P2> 0 7 0.461156638830 0 <gs|sz|P3> 0 6 -0.000020259533 0 <P2|sz|P2> 3.942289834613 7 0.000036029231 0 <P2|sz|P2> 3.942289834613 6 0.000009440673 0 <P3|sz|P3> 2.933873405074 7 -0.000005921396 0 <P3|sz|P3> 2.933873405074 6 0.000003734257 0 <P2|sz|P3> 0.915745202270 7 -0.000017367497 0 <P2|sz|P3> 0.915745202270 7 0.012950775812 0 <gs|sz|P1> 0 7 0.028007721006 0 <gs|sz|P2> 0 7 -0.132537603159 0 <gs|sz|P3> 0 7 -0.000020259533 0 <P2|sz|P2> 3.942289834613 7 0.000009440673 0 <P3|sz|P3> 2.933873405074 7 0.000003734257 0 <P2|sz|P3> 0.915745202270
