Loading oracles/tests/CollectBrakets106_0.txt +135 −66 Original line number Diff line number Diff line 3 0.499999998198 0 <gs|c'|P1> 0 3 0.0838077075376 0 <gs|c'|P2> 0 3 0.253565496359 0 <gs|c'|P3> 0 4 0.154326313803 0 <gs|c'|P1> 0 4 0.0233236970498 0 <gs|c'|P2> 0 4 0.218055052261 0 <gs|c'|P3> 0 3 0.499999999485 0 <gs|c'|P1> 0 3 0.0838092459967 0 <gs|c'|P2> 0 3 0.25357252803 0 <gs|c'|P3> 0 3 0 0 <P2|c'|P2> 0.0724380005572 3 0 0 <P3|c'|P3> 0.975177574402 3 0 0 <P2|c'|P3> 0.108196304476 4 0.15432631365 0 <gs|c'|P1> 0 4 0.0233366548982 0 <gs|c'|P2> 0 4 0.218027408212 0 <gs|c'|P3> 0 4 0 0 <P2|c'|P2> 0.0680650436964 4 0 0 <P3|c'|P3> 0.969757288493 4 0 0 <P2|c'|P3> 0.0878929843208 5 0 0 <gs|c'|P1> 0 5 0.0500729161596 0 <gs|c'|P2> 0 5 0.0965302939279 0 <gs|c'|P3> 0 6 -0.0112574488552 0 <gs|c'|P1> 0 5 0.0519094298873 0 <gs|c'|P2> 0 5 0.0739450190423 0 <gs|c'|P3> 0 5 0 0 <P2|c'|P2> 0.0892145436724 5 0 0 <P3|c'|P3> 1.00887037678 5 0 0 <P2|c'|P3> 0.00518468024383 6 -0.0112574487488 0 <gs|c'|P1> 0 7 0 0 <gs|c'|P1> 0 6 0.0383362650907 0 <gs|c'|P2> 0 7 0.0432604519654 0 <gs|c'|P2> 0 6 -0.0445204547778 0 <gs|c'|P3> 0 7 0.00372616689076 0 <gs|c'|P3> 0 7 -0.0112574488552 0 <gs|c'|P1> 0 7 0.0383362650907 0 <gs|c'|P2> 0 7 -0.0445204547778 0 <gs|c'|P3> 0 6 -0.0112574488552 0 <gs|c'|P1> 0 6 0.00633905052975 0 <gs|c'|P2> 0 6 0.0263115188497 0 <gs|c'|P3> 0 7 -0.0112574488552 0 <gs|c'|P1> 0 7 0.00633905052975 0 <gs|c'|P2> 0 7 0.0263115188497 0 <gs|c'|P3> 0 6 0.0543084748237 0 <gs|c'|P2> 0 7 0.00701587186 0 <gs|c'|P2> 0 6 -0.0247877777319 0 <gs|c'|P3> 0 7 0.0756323841189 0 <gs|c'|P3> 0 6 0 0 <P2|c'|P2> 0.896230443001 7 0 0 <P2|c'|P2> 0.896230443001 6 0 0 <P3|c'|P3> 1.06989211644 7 0 0 <P3|c'|P3> 1.06989211644 6 0 0 <P2|c'|P3> -0.493689357188 7 0 0 <P2|c'|P3> -0.493689357188 7 -0.0112574487488 0 <gs|c'|P1> 0 7 0.0543084748237 0 <gs|c'|P2> 0 7 -0.0247877777319 0 <gs|c'|P3> 0 7 0 0 <P2|c'|P2> 0.896230443001 7 0 0 <P3|c'|P3> 1.06989211644 7 0 0 <P2|c'|P3> -0.493689357188 6 -0.0112574487488 0 <gs|c'|P1> 0 6 0.00288849613259 0 <gs|c'|P2> 0 6 0.0157025497723 0 <gs|c'|P3> 0 6 0 0 <P2|c'|P2> 0.0892145437043 6 0 0 <P3|c'|P3> 1.00887037684 6 0 0 <P2|c'|P3> 0.00518468014393 7 -0.0112574487488 0 <gs|c'|P1> 0 7 0.00288849613259 0 <gs|c'|P2> 0 7 0.0157025497723 0 <gs|c'|P3> 0 7 0 0 <P2|c'|P2> 0.0892145437043 7 0 0 <P3|c'|P3> 1.00887037684 7 0 0 <P2|c'|P3> 0.00518468014393 5 0 0 <gs|c'|P1> 0 5 0.0521500342603 0 <gs|c'|P2> 0 5 0.0854169678544 0 <gs|c'|P3> 0 4 0.154326260065 0 <gs|c'|P1> 0 4 0.0251234712136 0 <gs|c'|P2> 0 4 0.209747633884 0 <gs|c'|P3> 0 3 0.500000028781 0 <gs|c'|P1> 0 3 0.0835992774612 0 <gs|c'|P2> 0 3 0.253253957846 0 <gs|c'|P3> 0 2 0.232953781385 0 <gs|c'|P1> 0 2 0.0663343262094 0 <gs|c'|P2> 0 2 0.294161840677 0 <gs|c'|P3> 0 1 1.03333582589e-06 0 <gs|c'|P1> 0 0 -0.0387546493249 0 <gs|c'|P1> 0 1 0.0176271435966 0 <gs|c'|P2> 0 0 0.0389594493786 0 <gs|c'|P2> 0 1 0.0176058541947 0 <gs|c'|P3> 0 0 0.260179408579 0 <gs|c'|P3> 0 0 1.03333582589e-06 0 <gs|c'|P1> 0 0 0.0176271435966 0 <gs|c'|P2> 0 0 0.0176058541947 0 <gs|c'|P3> 0 1 1.0333358259e-06 0 <gs|c'|P1> 0 1 0.032895437694 0 <gs|c'|P2> 0 1 0.0186778363751 0 <gs|c'|P3> 0 2 0.232953781385 0 <gs|c'|P1> 0 2 0.0392323355079 0 <gs|c'|P2> 0 2 0.273377491257 0 <gs|c'|P3> 0 3 0.499999827744 0 <gs|c'|P1> 0 3 0.0848910293984 0 <gs|c'|P2> 0 3 0.257745335762 0 <gs|c'|P3> 0 4 0.154325252387 0 <gs|c'|P1> 0 4 0.0251486492958 0 <gs|c'|P2> 0 4 0.210666645106 0 <gs|c'|P3> 0 5 0 0 <gs|c'|P1> 0 5 0.055185800826 0 <gs|c'|P2> 0 5 0.0627956633893 0 <gs|c'|P3> 0 6 -0.0112603726877 0 <gs|c'|P1> 0 7 -3.86192749297e-06 0 <gs|c'|P1> 0 6 0.00348948623641 0 <gs|c'|P2> 0 7 0.00300725197744 0 <gs|c'|P2> 0 6 -0.0275405091968 0 <gs|c'|P3> 0 7 0.0303976540468 0 <gs|c'|P3> 0 7 -0.0112603726877 0 <gs|c'|P1> 0 7 0.00348948623641 0 <gs|c'|P2> 0 7 -0.0275405091968 0 <gs|c'|P3> 0 5 0.0521483841662 0 <gs|c'|P2> 0 5 0.0854120538913 0 <gs|c'|P3> 0 5 0 0 <P2|c'|P2> 0.0708599447877 5 0 0 <P3|c'|P3> 0.973225383426 5 0 0 <P2|c'|P3> 0.103717215087 4 0.154326260317 0 <gs|c'|P1> 0 4 0.025138680874 0 <gs|c'|P2> 0 4 0.209655267621 0 <gs|c'|P3> 0 4 0 0 <P2|c'|P2> 0.0747943909281 4 0 0 <P3|c'|P3> 0.977930934431 4 0 0 <P2|c'|P3> 0.11688490608 3 0.500000025642 0 <gs|c'|P1> 0 3 0.0837229010281 0 <gs|c'|P2> 0 3 0.253842131536 0 <gs|c'|P3> 0 3 0 0 <P2|c'|P2> 0.0720480210431 3 0 0 <P3|c'|P3> 0.974448613616 3 0 0 <P2|c'|P3> 0.108826454894 2 0.232953796548 0 <gs|c'|P1> 0 2 0.067437431248 0 <gs|c'|P2> 0 2 0.292952390602 0 <gs|c'|P3> 0 2 0 0 <P2|c'|P2> 0.485551718341 2 0 0 <P3|c'|P3> 1.08058587048 2 0 0 <P2|c'|P3> 0.461377691441 1 1.00631371855e-06 0 <gs|c'|P1> 0 0 -0.0387546370251 0 <gs|c'|P1> 0 1 0.0298493933622 0 <gs|c'|P2> 0 0 0.0781325758448 0 <gs|c'|P2> 0 1 0.000425142654941 0 <gs|c'|P3> 0 0 0.192594424333 0 <gs|c'|P3> 0 1 0 0 <P2|c'|P2> 1.43136546297 0 0 0 <P2|c'|P2> 1.43136546297 1 0 0 <P3|c'|P3> 0.730947413982 0 0 0 <P3|c'|P3> 0.730947413982 1 0 0 <P2|c'|P3> -0.0960739144467 0 0 0 <P2|c'|P3> -0.0960739144467 0 1.00631371855e-06 0 <gs|c'|P1> 0 0 0.0298493933622 0 <gs|c'|P2> 0 0 0.000425142654941 0 <gs|c'|P3> 0 0 0 0 <P2|c'|P2> 1.43136546297 0 0 0 <P3|c'|P3> 0.730947413982 0 0 0 <P2|c'|P3> -0.0960739144467 1 1.00631371851e-06 0 <gs|c'|P1> 0 1 0.0337272813223 0 <gs|c'|P2> 0 1 0.0180345099546 0 <gs|c'|P3> 0 1 0 0 <P2|c'|P2> 0.485551718219 1 0 0 <P3|c'|P3> 1.08058587041 1 0 0 <P2|c'|P3> 0.46137769133 2 0.232953796548 0 <gs|c'|P1> 0 2 0.0390807258998 0 <gs|c'|P2> 0 2 0.273161271975 0 <gs|c'|P3> 0 2 0 0 <P2|c'|P2> 0.0735282003132 2 0 0 <P3|c'|P3> 0.976315209753 2 0 0 <P2|c'|P3> 0.113824655317 3 0.499999837605 0 <gs|c'|P1> 0 3 0.0845149220249 0 <gs|c'|P2> 0 3 0.256564877541 0 <gs|c'|P3> 0 3 0 0 <P2|c'|P2> 0.0764463942019 3 0 0 <P3|c'|P3> 0.979942445087 3 0 0 <P2|c'|P3> 0.121631658297 4 0.15432517712 0 <gs|c'|P1> 0 4 0.025186743438 0 <gs|c'|P2> 0 4 0.210137282675 0 <gs|c'|P3> 0 4 0 0 <P2|c'|P2> 0.0747530300823 4 0 0 <P3|c'|P3> 0.978308566566 4 0 0 <P2|c'|P3> 0.116845252049 5 1.00654169293e-06 0 <gs|c'|P1> 0 5 0.0503376157551 0 <gs|c'|P2> 0 5 0.082208739222 0 <gs|c'|P3> 0 5 0 0 <P2|c'|P2> 0.0683649377417 5 0 0 <P3|c'|P3> 0.989739913981 5 0 0 <P2|c'|P3> 0.0691949320725 6 -0.011260447909 0 <gs|c'|P1> 0 7 -3.81559413312e-06 0 <gs|c'|P1> 0 6 0.0250855421163 0 <gs|c'|P2> 0 7 0.00852046505383 0 <gs|c'|P2> 0 6 -0.0203550981194 0 <gs|c'|P3> 0 7 0.0866450219578 0 <gs|c'|P3> 0 6 0 0 <P2|c'|P2> 0.274051506749 7 0 0 <P2|c'|P2> 0.274051506749 6 0 0 <P3|c'|P3> 1.15829552314 7 0 0 <P3|c'|P3> 1.15829552314 6 0 0 <P2|c'|P3> -0.223577356089 7 0 0 <P2|c'|P3> -0.223577356089 7 -0.011260447909 0 <gs|c'|P1> 0 7 0.0250855421163 0 <gs|c'|P2> 0 7 -0.0203550981194 0 <gs|c'|P3> 0 7 0 0 <P2|c'|P2> 0.274051506749 7 0 0 <P3|c'|P3> 1.15829552314 7 0 0 <P2|c'|P3> -0.223577356089 oracles/tests/runForinput62.cout +1652 −929 File changed.Preview size limit exceeded, changes collapsed. Show changes Loading
oracles/tests/CollectBrakets106_0.txt +135 −66 Original line number Diff line number Diff line 3 0.499999998198 0 <gs|c'|P1> 0 3 0.0838077075376 0 <gs|c'|P2> 0 3 0.253565496359 0 <gs|c'|P3> 0 4 0.154326313803 0 <gs|c'|P1> 0 4 0.0233236970498 0 <gs|c'|P2> 0 4 0.218055052261 0 <gs|c'|P3> 0 3 0.499999999485 0 <gs|c'|P1> 0 3 0.0838092459967 0 <gs|c'|P2> 0 3 0.25357252803 0 <gs|c'|P3> 0 3 0 0 <P2|c'|P2> 0.0724380005572 3 0 0 <P3|c'|P3> 0.975177574402 3 0 0 <P2|c'|P3> 0.108196304476 4 0.15432631365 0 <gs|c'|P1> 0 4 0.0233366548982 0 <gs|c'|P2> 0 4 0.218027408212 0 <gs|c'|P3> 0 4 0 0 <P2|c'|P2> 0.0680650436964 4 0 0 <P3|c'|P3> 0.969757288493 4 0 0 <P2|c'|P3> 0.0878929843208 5 0 0 <gs|c'|P1> 0 5 0.0500729161596 0 <gs|c'|P2> 0 5 0.0965302939279 0 <gs|c'|P3> 0 6 -0.0112574488552 0 <gs|c'|P1> 0 5 0.0519094298873 0 <gs|c'|P2> 0 5 0.0739450190423 0 <gs|c'|P3> 0 5 0 0 <P2|c'|P2> 0.0892145436724 5 0 0 <P3|c'|P3> 1.00887037678 5 0 0 <P2|c'|P3> 0.00518468024383 6 -0.0112574487488 0 <gs|c'|P1> 0 7 0 0 <gs|c'|P1> 0 6 0.0383362650907 0 <gs|c'|P2> 0 7 0.0432604519654 0 <gs|c'|P2> 0 6 -0.0445204547778 0 <gs|c'|P3> 0 7 0.00372616689076 0 <gs|c'|P3> 0 7 -0.0112574488552 0 <gs|c'|P1> 0 7 0.0383362650907 0 <gs|c'|P2> 0 7 -0.0445204547778 0 <gs|c'|P3> 0 6 -0.0112574488552 0 <gs|c'|P1> 0 6 0.00633905052975 0 <gs|c'|P2> 0 6 0.0263115188497 0 <gs|c'|P3> 0 7 -0.0112574488552 0 <gs|c'|P1> 0 7 0.00633905052975 0 <gs|c'|P2> 0 7 0.0263115188497 0 <gs|c'|P3> 0 6 0.0543084748237 0 <gs|c'|P2> 0 7 0.00701587186 0 <gs|c'|P2> 0 6 -0.0247877777319 0 <gs|c'|P3> 0 7 0.0756323841189 0 <gs|c'|P3> 0 6 0 0 <P2|c'|P2> 0.896230443001 7 0 0 <P2|c'|P2> 0.896230443001 6 0 0 <P3|c'|P3> 1.06989211644 7 0 0 <P3|c'|P3> 1.06989211644 6 0 0 <P2|c'|P3> -0.493689357188 7 0 0 <P2|c'|P3> -0.493689357188 7 -0.0112574487488 0 <gs|c'|P1> 0 7 0.0543084748237 0 <gs|c'|P2> 0 7 -0.0247877777319 0 <gs|c'|P3> 0 7 0 0 <P2|c'|P2> 0.896230443001 7 0 0 <P3|c'|P3> 1.06989211644 7 0 0 <P2|c'|P3> -0.493689357188 6 -0.0112574487488 0 <gs|c'|P1> 0 6 0.00288849613259 0 <gs|c'|P2> 0 6 0.0157025497723 0 <gs|c'|P3> 0 6 0 0 <P2|c'|P2> 0.0892145437043 6 0 0 <P3|c'|P3> 1.00887037684 6 0 0 <P2|c'|P3> 0.00518468014393 7 -0.0112574487488 0 <gs|c'|P1> 0 7 0.00288849613259 0 <gs|c'|P2> 0 7 0.0157025497723 0 <gs|c'|P3> 0 7 0 0 <P2|c'|P2> 0.0892145437043 7 0 0 <P3|c'|P3> 1.00887037684 7 0 0 <P2|c'|P3> 0.00518468014393 5 0 0 <gs|c'|P1> 0 5 0.0521500342603 0 <gs|c'|P2> 0 5 0.0854169678544 0 <gs|c'|P3> 0 4 0.154326260065 0 <gs|c'|P1> 0 4 0.0251234712136 0 <gs|c'|P2> 0 4 0.209747633884 0 <gs|c'|P3> 0 3 0.500000028781 0 <gs|c'|P1> 0 3 0.0835992774612 0 <gs|c'|P2> 0 3 0.253253957846 0 <gs|c'|P3> 0 2 0.232953781385 0 <gs|c'|P1> 0 2 0.0663343262094 0 <gs|c'|P2> 0 2 0.294161840677 0 <gs|c'|P3> 0 1 1.03333582589e-06 0 <gs|c'|P1> 0 0 -0.0387546493249 0 <gs|c'|P1> 0 1 0.0176271435966 0 <gs|c'|P2> 0 0 0.0389594493786 0 <gs|c'|P2> 0 1 0.0176058541947 0 <gs|c'|P3> 0 0 0.260179408579 0 <gs|c'|P3> 0 0 1.03333582589e-06 0 <gs|c'|P1> 0 0 0.0176271435966 0 <gs|c'|P2> 0 0 0.0176058541947 0 <gs|c'|P3> 0 1 1.0333358259e-06 0 <gs|c'|P1> 0 1 0.032895437694 0 <gs|c'|P2> 0 1 0.0186778363751 0 <gs|c'|P3> 0 2 0.232953781385 0 <gs|c'|P1> 0 2 0.0392323355079 0 <gs|c'|P2> 0 2 0.273377491257 0 <gs|c'|P3> 0 3 0.499999827744 0 <gs|c'|P1> 0 3 0.0848910293984 0 <gs|c'|P2> 0 3 0.257745335762 0 <gs|c'|P3> 0 4 0.154325252387 0 <gs|c'|P1> 0 4 0.0251486492958 0 <gs|c'|P2> 0 4 0.210666645106 0 <gs|c'|P3> 0 5 0 0 <gs|c'|P1> 0 5 0.055185800826 0 <gs|c'|P2> 0 5 0.0627956633893 0 <gs|c'|P3> 0 6 -0.0112603726877 0 <gs|c'|P1> 0 7 -3.86192749297e-06 0 <gs|c'|P1> 0 6 0.00348948623641 0 <gs|c'|P2> 0 7 0.00300725197744 0 <gs|c'|P2> 0 6 -0.0275405091968 0 <gs|c'|P3> 0 7 0.0303976540468 0 <gs|c'|P3> 0 7 -0.0112603726877 0 <gs|c'|P1> 0 7 0.00348948623641 0 <gs|c'|P2> 0 7 -0.0275405091968 0 <gs|c'|P3> 0 5 0.0521483841662 0 <gs|c'|P2> 0 5 0.0854120538913 0 <gs|c'|P3> 0 5 0 0 <P2|c'|P2> 0.0708599447877 5 0 0 <P3|c'|P3> 0.973225383426 5 0 0 <P2|c'|P3> 0.103717215087 4 0.154326260317 0 <gs|c'|P1> 0 4 0.025138680874 0 <gs|c'|P2> 0 4 0.209655267621 0 <gs|c'|P3> 0 4 0 0 <P2|c'|P2> 0.0747943909281 4 0 0 <P3|c'|P3> 0.977930934431 4 0 0 <P2|c'|P3> 0.11688490608 3 0.500000025642 0 <gs|c'|P1> 0 3 0.0837229010281 0 <gs|c'|P2> 0 3 0.253842131536 0 <gs|c'|P3> 0 3 0 0 <P2|c'|P2> 0.0720480210431 3 0 0 <P3|c'|P3> 0.974448613616 3 0 0 <P2|c'|P3> 0.108826454894 2 0.232953796548 0 <gs|c'|P1> 0 2 0.067437431248 0 <gs|c'|P2> 0 2 0.292952390602 0 <gs|c'|P3> 0 2 0 0 <P2|c'|P2> 0.485551718341 2 0 0 <P3|c'|P3> 1.08058587048 2 0 0 <P2|c'|P3> 0.461377691441 1 1.00631371855e-06 0 <gs|c'|P1> 0 0 -0.0387546370251 0 <gs|c'|P1> 0 1 0.0298493933622 0 <gs|c'|P2> 0 0 0.0781325758448 0 <gs|c'|P2> 0 1 0.000425142654941 0 <gs|c'|P3> 0 0 0.192594424333 0 <gs|c'|P3> 0 1 0 0 <P2|c'|P2> 1.43136546297 0 0 0 <P2|c'|P2> 1.43136546297 1 0 0 <P3|c'|P3> 0.730947413982 0 0 0 <P3|c'|P3> 0.730947413982 1 0 0 <P2|c'|P3> -0.0960739144467 0 0 0 <P2|c'|P3> -0.0960739144467 0 1.00631371855e-06 0 <gs|c'|P1> 0 0 0.0298493933622 0 <gs|c'|P2> 0 0 0.000425142654941 0 <gs|c'|P3> 0 0 0 0 <P2|c'|P2> 1.43136546297 0 0 0 <P3|c'|P3> 0.730947413982 0 0 0 <P2|c'|P3> -0.0960739144467 1 1.00631371851e-06 0 <gs|c'|P1> 0 1 0.0337272813223 0 <gs|c'|P2> 0 1 0.0180345099546 0 <gs|c'|P3> 0 1 0 0 <P2|c'|P2> 0.485551718219 1 0 0 <P3|c'|P3> 1.08058587041 1 0 0 <P2|c'|P3> 0.46137769133 2 0.232953796548 0 <gs|c'|P1> 0 2 0.0390807258998 0 <gs|c'|P2> 0 2 0.273161271975 0 <gs|c'|P3> 0 2 0 0 <P2|c'|P2> 0.0735282003132 2 0 0 <P3|c'|P3> 0.976315209753 2 0 0 <P2|c'|P3> 0.113824655317 3 0.499999837605 0 <gs|c'|P1> 0 3 0.0845149220249 0 <gs|c'|P2> 0 3 0.256564877541 0 <gs|c'|P3> 0 3 0 0 <P2|c'|P2> 0.0764463942019 3 0 0 <P3|c'|P3> 0.979942445087 3 0 0 <P2|c'|P3> 0.121631658297 4 0.15432517712 0 <gs|c'|P1> 0 4 0.025186743438 0 <gs|c'|P2> 0 4 0.210137282675 0 <gs|c'|P3> 0 4 0 0 <P2|c'|P2> 0.0747530300823 4 0 0 <P3|c'|P3> 0.978308566566 4 0 0 <P2|c'|P3> 0.116845252049 5 1.00654169293e-06 0 <gs|c'|P1> 0 5 0.0503376157551 0 <gs|c'|P2> 0 5 0.082208739222 0 <gs|c'|P3> 0 5 0 0 <P2|c'|P2> 0.0683649377417 5 0 0 <P3|c'|P3> 0.989739913981 5 0 0 <P2|c'|P3> 0.0691949320725 6 -0.011260447909 0 <gs|c'|P1> 0 7 -3.81559413312e-06 0 <gs|c'|P1> 0 6 0.0250855421163 0 <gs|c'|P2> 0 7 0.00852046505383 0 <gs|c'|P2> 0 6 -0.0203550981194 0 <gs|c'|P3> 0 7 0.0866450219578 0 <gs|c'|P3> 0 6 0 0 <P2|c'|P2> 0.274051506749 7 0 0 <P2|c'|P2> 0.274051506749 6 0 0 <P3|c'|P3> 1.15829552314 7 0 0 <P3|c'|P3> 1.15829552314 6 0 0 <P2|c'|P3> -0.223577356089 7 0 0 <P2|c'|P3> -0.223577356089 7 -0.011260447909 0 <gs|c'|P1> 0 7 0.0250855421163 0 <gs|c'|P2> 0 7 -0.0203550981194 0 <gs|c'|P3> 0 7 0 0 <P2|c'|P2> 0.274051506749 7 0 0 <P3|c'|P3> 1.15829552314 7 0 0 <P2|c'|P3> -0.223577356089
oracles/tests/runForinput62.cout +1652 −929 File changed.Preview size limit exceeded, changes collapsed. Show changes
