Loading oracles/tests/CollectBrakets4601_0.txt +56 −2 Original line number Diff line number Diff line 2 0.125641 0 <gs|:../inputs/sz4601.txt|P1> 0 2 0.0030717 0 <gs|:../inputs/sz4601.txt|P2> 0 2 0.0643935 0 <gs|:../inputs/sz4601.txt|P3> 0 2 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 2 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 2 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 3 -0.0434773 0 <gs|:../inputs/sz4601.txt|P1> 0 3 -0.00137486 0 <gs|:../inputs/sz4601.txt|P2> 0 3 -0.0232559 0 <gs|:../inputs/sz4601.txt|P3> 0 3 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 3 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 3 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 4 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 4 0.00102984 0 <gs|:../inputs/sz4601.txt|P2> 0 5 -0.00187826 0 <gs|:../inputs/sz4601.txt|P2> 0 4 0.00368251 0 <gs|:../inputs/sz4601.txt|P3> 0 5 -0.0242513 0 <gs|:../inputs/sz4601.txt|P3> 0 4 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 4 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 5 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 4 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 5 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 0.00102984 0 <gs|:../inputs/sz4601.txt|P2> 0 5 0.00368251 0 <gs|:../inputs/sz4601.txt|P3> 0 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 5 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 4 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 4 0.00102984 0 <gs|:../inputs/sz4601.txt|P2> 0 4 0.00368251 0 <gs|:../inputs/sz4601.txt|P3> 0 4 0.0036825 0 <gs|:../inputs/sz4601.txt|P3> 0 4 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 4 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 4 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 5 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 0.00102984 0 <gs|:../inputs/sz4601.txt|P2> 0 5 0.00368251 0 <gs|:../inputs/sz4601.txt|P3> 0 5 0.0036825 0 <gs|:../inputs/sz4601.txt|P3> 0 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 5 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 3 -0.0434773 0 <gs|:../inputs/sz4601.txt|P1> 0 3 -0.00137486 0 <gs|:../inputs/sz4601.txt|P2> 0 3 -0.0232559 0 <gs|:../inputs/sz4601.txt|P3> 0 3 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 3 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 3 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 2 0.125641 0 <gs|:../inputs/sz4601.txt|P1> 0 2 0.0030717 0 <gs|:../inputs/sz4601.txt|P2> 0 2 0.0643935 0 <gs|:../inputs/sz4601.txt|P3> 0 2 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 2 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 2 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 1 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 0 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 1 -0.00187826 0 <gs|:../inputs/sz4601.txt|P2> 0 0 0.00102984 0 <gs|:../inputs/sz4601.txt|P2> 0 1 -0.0242513 0 <gs|:../inputs/sz4601.txt|P3> 0 0 0.00368251 0 <gs|:../inputs/sz4601.txt|P3> 0 1 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 0 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 1 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 0 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 1 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 0 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 0 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 0 -0.00187826 0 <gs|:../inputs/sz4601.txt|P2> 0 0 -0.0242513 0 <gs|:../inputs/sz4601.txt|P3> 0 0 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 0 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 0 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 1 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 1 -0.00187826 0 <gs|:../inputs/sz4601.txt|P2> 0 1 -0.0242513 0 <gs|:../inputs/sz4601.txt|P3> 0 1 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 1 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 1 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 2 0.125641 0 <gs|:../inputs/sz4601.txt|P1> 0 2 0.0030717 0 <gs|:../inputs/sz4601.txt|P2> 0 2 0.0643935 0 <gs|:../inputs/sz4601.txt|P3> 0 2 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 2 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 2 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 3 -0.0434773 0 <gs|:../inputs/sz4601.txt|P1> 0 3 -0.00137486 0 <gs|:../inputs/sz4601.txt|P2> 0 3 -0.0232559 0 <gs|:../inputs/sz4601.txt|P3> 0 3 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 3 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 3 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 4 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 4 0.00102984 0 <gs|:../inputs/sz4601.txt|P2> 0 5 -0.00187826 0 <gs|:../inputs/sz4601.txt|P2> 0 4 0.00368251 0 <gs|:../inputs/sz4601.txt|P3> 0 5 -0.0242513 0 <gs|:../inputs/sz4601.txt|P3> 0 4 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 4 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 5 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 4 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 5 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 0.00102984 0 <gs|:../inputs/sz4601.txt|P2> 0 5 0.00368251 0 <gs|:../inputs/sz4601.txt|P3> 0 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 5 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 Loading
oracles/tests/CollectBrakets4601_0.txt +56 −2 Original line number Diff line number Diff line 2 0.125641 0 <gs|:../inputs/sz4601.txt|P1> 0 2 0.0030717 0 <gs|:../inputs/sz4601.txt|P2> 0 2 0.0643935 0 <gs|:../inputs/sz4601.txt|P3> 0 2 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 2 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 2 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 3 -0.0434773 0 <gs|:../inputs/sz4601.txt|P1> 0 3 -0.00137486 0 <gs|:../inputs/sz4601.txt|P2> 0 3 -0.0232559 0 <gs|:../inputs/sz4601.txt|P3> 0 3 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 3 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 3 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 4 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 4 0.00102984 0 <gs|:../inputs/sz4601.txt|P2> 0 5 -0.00187826 0 <gs|:../inputs/sz4601.txt|P2> 0 4 0.00368251 0 <gs|:../inputs/sz4601.txt|P3> 0 5 -0.0242513 0 <gs|:../inputs/sz4601.txt|P3> 0 4 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 4 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 5 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 4 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 5 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 0.00102984 0 <gs|:../inputs/sz4601.txt|P2> 0 5 0.00368251 0 <gs|:../inputs/sz4601.txt|P3> 0 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 5 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 4 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 4 0.00102984 0 <gs|:../inputs/sz4601.txt|P2> 0 4 0.00368251 0 <gs|:../inputs/sz4601.txt|P3> 0 4 0.0036825 0 <gs|:../inputs/sz4601.txt|P3> 0 4 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 4 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 4 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 5 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 0.00102984 0 <gs|:../inputs/sz4601.txt|P2> 0 5 0.00368251 0 <gs|:../inputs/sz4601.txt|P3> 0 5 0.0036825 0 <gs|:../inputs/sz4601.txt|P3> 0 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 5 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 3 -0.0434773 0 <gs|:../inputs/sz4601.txt|P1> 0 3 -0.00137486 0 <gs|:../inputs/sz4601.txt|P2> 0 3 -0.0232559 0 <gs|:../inputs/sz4601.txt|P3> 0 3 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 3 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 3 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 2 0.125641 0 <gs|:../inputs/sz4601.txt|P1> 0 2 0.0030717 0 <gs|:../inputs/sz4601.txt|P2> 0 2 0.0643935 0 <gs|:../inputs/sz4601.txt|P3> 0 2 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 2 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 2 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 1 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 0 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 1 -0.00187826 0 <gs|:../inputs/sz4601.txt|P2> 0 0 0.00102984 0 <gs|:../inputs/sz4601.txt|P2> 0 1 -0.0242513 0 <gs|:../inputs/sz4601.txt|P3> 0 0 0.00368251 0 <gs|:../inputs/sz4601.txt|P3> 0 1 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 0 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 1 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 0 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 1 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 0 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 0 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 0 -0.00187826 0 <gs|:../inputs/sz4601.txt|P2> 0 0 -0.0242513 0 <gs|:../inputs/sz4601.txt|P3> 0 0 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 0 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 0 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 1 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 1 -0.00187826 0 <gs|:../inputs/sz4601.txt|P2> 0 1 -0.0242513 0 <gs|:../inputs/sz4601.txt|P3> 0 1 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 1 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 1 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 2 0.125641 0 <gs|:../inputs/sz4601.txt|P1> 0 2 0.0030717 0 <gs|:../inputs/sz4601.txt|P2> 0 2 0.0643935 0 <gs|:../inputs/sz4601.txt|P3> 0 2 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 2 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 2 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 3 -0.0434773 0 <gs|:../inputs/sz4601.txt|P1> 0 3 -0.00137486 0 <gs|:../inputs/sz4601.txt|P2> 0 3 -0.0232559 0 <gs|:../inputs/sz4601.txt|P3> 0 3 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 3 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 3 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 4 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 4 0.00102984 0 <gs|:../inputs/sz4601.txt|P2> 0 5 -0.00187826 0 <gs|:../inputs/sz4601.txt|P2> 0 4 0.00368251 0 <gs|:../inputs/sz4601.txt|P3> 0 5 -0.0242513 0 <gs|:../inputs/sz4601.txt|P3> 0 4 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 4 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 5 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 4 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439 5 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 0.00102984 0 <gs|:../inputs/sz4601.txt|P2> 0 5 0.00368251 0 <gs|:../inputs/sz4601.txt|P3> 0 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123238 5 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.00206439
