Loading oracles/tests/CollectBrakets4601_0.txt +42 −108 Original line number Diff line number Diff line 2 0.125641 0 <gs|:../inputs/sz4601.txt|P1> 0 2 0.003072 0 <gs|:../inputs/sz4601.txt|P2> 0 2 0.064394 0 <gs|:../inputs/sz4601.txt|P3> 0 2 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 2 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 2 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 3 -0.043477 0 <gs|:../inputs/sz4601.txt|P1> 0 3 -0.001375 0 <gs|:../inputs/sz4601.txt|P2> 0 3 -0.023256 0 <gs|:../inputs/sz4601.txt|P3> 0 3 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 3 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 3 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 4 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 4 0.001030 0 <gs|:../inputs/sz4601.txt|P2> 0 5 -0.001878 0 <gs|:../inputs/sz4601.txt|P2> 0 4 0.003683 0 <gs|:../inputs/sz4601.txt|P3> 0 5 -0.024251 0 <gs|:../inputs/sz4601.txt|P3> 0 4 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 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.002064 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 5 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 0.001030 0 <gs|:../inputs/sz4601.txt|P2> 0 5 0.003683 0 <gs|:../inputs/sz4601.txt|P3> 0 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 5 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 4 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 4 0.001030 0 <gs|:../inputs/sz4601.txt|P2> 0 4 0.003683 0 <gs|:../inputs/sz4601.txt|P3> 0 4 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 4 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 4 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 5 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 0.001030 0 <gs|:../inputs/sz4601.txt|P2> 0 5 0.003683 0 <gs|:../inputs/sz4601.txt|P3> 0 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 5 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 3 -0.043477 0 <gs|:../inputs/sz4601.txt|P1> 0 3 -0.001375 0 <gs|:../inputs/sz4601.txt|P2> 0 3 -0.023256 0 <gs|:../inputs/sz4601.txt|P3> 0 3 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 3 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 3 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 2 0.125641 0 <gs|:../inputs/sz4601.txt|P1> 0 2 0.003072 0 <gs|:../inputs/sz4601.txt|P2> 0 2 0.064394 0 <gs|:../inputs/sz4601.txt|P3> 0 2 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 2 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 2 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 1 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 0 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 1 -0.001878 0 <gs|:../inputs/sz4601.txt|P2> 0 0 0.001030 0 <gs|:../inputs/sz4601.txt|P2> 0 1 -0.024251 0 <gs|:../inputs/sz4601.txt|P3> 0 0 0.003683 0 <gs|:../inputs/sz4601.txt|P3> 0 1 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 0 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 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.002064 0 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 0 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 0 -0.001878 0 <gs|:../inputs/sz4601.txt|P2> 0 0 -0.024251 0 <gs|:../inputs/sz4601.txt|P3> 0 0 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 0 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 0 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 1 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 1 -0.001878 0 <gs|:../inputs/sz4601.txt|P2> 0 1 -0.024251 0 <gs|:../inputs/sz4601.txt|P3> 0 1 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 1 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 1 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 2 0.125641 0 <gs|:../inputs/sz4601.txt|P1> 0 2 0.003072 0 <gs|:../inputs/sz4601.txt|P2> 0 2 0.064394 0 <gs|:../inputs/sz4601.txt|P3> 0 2 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 2 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 2 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 3 -0.043477 0 <gs|:../inputs/sz4601.txt|P1> 0 3 -0.001375 0 <gs|:../inputs/sz4601.txt|P2> 0 3 -0.023256 0 <gs|:../inputs/sz4601.txt|P3> 0 3 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 3 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 3 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 4 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 4 0.001030 0 <gs|:../inputs/sz4601.txt|P2> 0 5 -0.001878 0 <gs|:../inputs/sz4601.txt|P2> 0 4 0.003683 0 <gs|:../inputs/sz4601.txt|P3> 0 5 -0.024251 0 <gs|:../inputs/sz4601.txt|P3> 0 4 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 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.002064 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 5 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 0.001030 0 <gs|:../inputs/sz4601.txt|P2> 0 5 0.003683 0 <gs|:../inputs/sz4601.txt|P3> 0 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 5 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 2 0.125641 0 <gs|sz|P1> 0 2 0.003072 0 <gs|sz|P2> 0 2 0.064394 0 <gs|sz|P3> 0 3 -0.043477 0 <gs|sz|P1> 0 3 -0.001375 0 <gs|sz|P2> 0 3 -0.023256 0 <gs|sz|P3> 0 4 -0.020259 0 <gs|sz|P1> 0 4 0.001030 0 <gs|sz|P2> 0 4 0.003683 0 <gs|sz|P3> 0 5 -0.020823 0 <gs|sz|P1> 0 5 -0.001878 0 <gs|sz|P2> 0 5 -0.024251 0 <gs|sz|P3> 0 4 -0.020259 0 <gs|sz|P1> 0 4 0.001030 0 <gs|sz|P2> 0 4 0.003683 0 <gs|sz|P3> 0 3 -0.043477 0 <gs|sz|P1> 0 3 -0.001375 0 <gs|sz|P2> 0 3 -0.023256 0 <gs|sz|P3> 0 2 0.125641 0 <gs|sz|P1> 0 2 0.003072 0 <gs|sz|P2> 0 2 0.064394 0 <gs|sz|P3> 0 1 -0.020823 0 <gs|sz|P1> 0 1 -0.001878 0 <gs|sz|P2> 0 1 -0.024251 0 <gs|sz|P3> 0 0 -0.020259 0 <gs|sz|P1> 0 0 0.001030 0 <gs|sz|P2> 0 0 0.003683 0 <gs|sz|P3> 0 1 -0.020823 0 <gs|sz|P1> 0 1 -0.001878 0 <gs|sz|P2> 0 1 -0.024251 0 <gs|sz|P3> 0 2 0.125641 0 <gs|sz|P1> 0 2 0.003072 0 <gs|sz|P2> 0 2 0.064394 0 <gs|sz|P3> 0 3 -0.043477 0 <gs|sz|P1> 0 3 -0.001375 0 <gs|sz|P2> 0 3 -0.023256 0 <gs|sz|P3> 0 4 -0.020259 0 <gs|sz|P1> 0 4 0.001030 0 <gs|sz|P2> 0 4 0.003683 0 <gs|sz|P3> 0 5 -0.020823 0 <gs|sz|P1> 0 5 -0.001878 0 <gs|sz|P2> 0 5 -0.024251 0 <gs|sz|P3> 0 Loading
oracles/tests/CollectBrakets4601_0.txt +42 −108 Original line number Diff line number Diff line 2 0.125641 0 <gs|:../inputs/sz4601.txt|P1> 0 2 0.003072 0 <gs|:../inputs/sz4601.txt|P2> 0 2 0.064394 0 <gs|:../inputs/sz4601.txt|P3> 0 2 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 2 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 2 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 3 -0.043477 0 <gs|:../inputs/sz4601.txt|P1> 0 3 -0.001375 0 <gs|:../inputs/sz4601.txt|P2> 0 3 -0.023256 0 <gs|:../inputs/sz4601.txt|P3> 0 3 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 3 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 3 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 4 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 4 0.001030 0 <gs|:../inputs/sz4601.txt|P2> 0 5 -0.001878 0 <gs|:../inputs/sz4601.txt|P2> 0 4 0.003683 0 <gs|:../inputs/sz4601.txt|P3> 0 5 -0.024251 0 <gs|:../inputs/sz4601.txt|P3> 0 4 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 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.002064 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 5 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 0.001030 0 <gs|:../inputs/sz4601.txt|P2> 0 5 0.003683 0 <gs|:../inputs/sz4601.txt|P3> 0 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 5 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 4 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 4 0.001030 0 <gs|:../inputs/sz4601.txt|P2> 0 4 0.003683 0 <gs|:../inputs/sz4601.txt|P3> 0 4 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 4 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 4 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 5 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 0.001030 0 <gs|:../inputs/sz4601.txt|P2> 0 5 0.003683 0 <gs|:../inputs/sz4601.txt|P3> 0 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 5 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 3 -0.043477 0 <gs|:../inputs/sz4601.txt|P1> 0 3 -0.001375 0 <gs|:../inputs/sz4601.txt|P2> 0 3 -0.023256 0 <gs|:../inputs/sz4601.txt|P3> 0 3 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 3 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 3 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 2 0.125641 0 <gs|:../inputs/sz4601.txt|P1> 0 2 0.003072 0 <gs|:../inputs/sz4601.txt|P2> 0 2 0.064394 0 <gs|:../inputs/sz4601.txt|P3> 0 2 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 2 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 2 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 1 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 0 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 1 -0.001878 0 <gs|:../inputs/sz4601.txt|P2> 0 0 0.001030 0 <gs|:../inputs/sz4601.txt|P2> 0 1 -0.024251 0 <gs|:../inputs/sz4601.txt|P3> 0 0 0.003683 0 <gs|:../inputs/sz4601.txt|P3> 0 1 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 0 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 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.002064 0 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 0 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 0 -0.001878 0 <gs|:../inputs/sz4601.txt|P2> 0 0 -0.024251 0 <gs|:../inputs/sz4601.txt|P3> 0 0 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 0 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 0 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 1 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 1 -0.001878 0 <gs|:../inputs/sz4601.txt|P2> 0 1 -0.024251 0 <gs|:../inputs/sz4601.txt|P3> 0 1 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 1 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 1 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 2 0.125641 0 <gs|:../inputs/sz4601.txt|P1> 0 2 0.003072 0 <gs|:../inputs/sz4601.txt|P2> 0 2 0.064394 0 <gs|:../inputs/sz4601.txt|P3> 0 2 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 2 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 2 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 3 -0.043477 0 <gs|:../inputs/sz4601.txt|P1> 0 3 -0.001375 0 <gs|:../inputs/sz4601.txt|P2> 0 3 -0.023256 0 <gs|:../inputs/sz4601.txt|P3> 0 3 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 3 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 3 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 4 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 -0.020823 0 <gs|:../inputs/sz4601.txt|P1> 0 4 0.001030 0 <gs|:../inputs/sz4601.txt|P2> 0 5 -0.001878 0 <gs|:../inputs/sz4601.txt|P2> 0 4 0.003683 0 <gs|:../inputs/sz4601.txt|P3> 0 5 -0.024251 0 <gs|:../inputs/sz4601.txt|P3> 0 4 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 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.002064 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 5 -0.020259 0 <gs|:../inputs/sz4601.txt|P1> 0 5 0.001030 0 <gs|:../inputs/sz4601.txt|P2> 0 5 0.003683 0 <gs|:../inputs/sz4601.txt|P3> 0 5 0 0 <P2|:../inputs/sz4601.txt|P2> 0.000123 5 0 0 <P3|:../inputs/sz4601.txt|P3> 0.038273 5 0 0 <P2|:../inputs/sz4601.txt|P3> 0.002064 2 0.125641 0 <gs|sz|P1> 0 2 0.003072 0 <gs|sz|P2> 0 2 0.064394 0 <gs|sz|P3> 0 3 -0.043477 0 <gs|sz|P1> 0 3 -0.001375 0 <gs|sz|P2> 0 3 -0.023256 0 <gs|sz|P3> 0 4 -0.020259 0 <gs|sz|P1> 0 4 0.001030 0 <gs|sz|P2> 0 4 0.003683 0 <gs|sz|P3> 0 5 -0.020823 0 <gs|sz|P1> 0 5 -0.001878 0 <gs|sz|P2> 0 5 -0.024251 0 <gs|sz|P3> 0 4 -0.020259 0 <gs|sz|P1> 0 4 0.001030 0 <gs|sz|P2> 0 4 0.003683 0 <gs|sz|P3> 0 3 -0.043477 0 <gs|sz|P1> 0 3 -0.001375 0 <gs|sz|P2> 0 3 -0.023256 0 <gs|sz|P3> 0 2 0.125641 0 <gs|sz|P1> 0 2 0.003072 0 <gs|sz|P2> 0 2 0.064394 0 <gs|sz|P3> 0 1 -0.020823 0 <gs|sz|P1> 0 1 -0.001878 0 <gs|sz|P2> 0 1 -0.024251 0 <gs|sz|P3> 0 0 -0.020259 0 <gs|sz|P1> 0 0 0.001030 0 <gs|sz|P2> 0 0 0.003683 0 <gs|sz|P3> 0 1 -0.020823 0 <gs|sz|P1> 0 1 -0.001878 0 <gs|sz|P2> 0 1 -0.024251 0 <gs|sz|P3> 0 2 0.125641 0 <gs|sz|P1> 0 2 0.003072 0 <gs|sz|P2> 0 2 0.064394 0 <gs|sz|P3> 0 3 -0.043477 0 <gs|sz|P1> 0 3 -0.001375 0 <gs|sz|P2> 0 3 -0.023256 0 <gs|sz|P3> 0 4 -0.020259 0 <gs|sz|P1> 0 4 0.001030 0 <gs|sz|P2> 0 4 0.003683 0 <gs|sz|P3> 0 5 -0.020823 0 <gs|sz|P1> 0 5 -0.001878 0 <gs|sz|P2> 0 5 -0.024251 0 <gs|sz|P3> 0
