Commit ff65627e authored by Alvarez, Gonzalo's avatar Alvarez, Gonzalo
Browse files

updated all tests

parent e091e8a5

oracles/tests/CollectBrakets3501_0.txt

deleted100644 → 0
+0 −1722

File deleted.

Preview size limit exceeded, changes collapsed.

oracles/tests/CollectBrakets5501_0.txt

+12 −93
Original line number Diff line number Diff line 
3 0.500000000000 0 <gs|c'|P1> 0 

3 0.426050381840 0 <gs|c'|P2> 0 

3 0.426050381841 0 <gs|c'|P2> 0 

3 -0.586021196697 0 <gs|c'|P3> 0 

3 0 0 <P2|c'|P2> 0.929487399004 

3 0 0 <P3|c'|P3> 1.200764510197 

3 0 0 <P2|c'|P3> -0.442177172982 

4 0 0 <gs|c'|P1> 0 

4 0.064160636836 0 <gs|c'|P2> 0 

4 -0.014827608986 0 <gs|c'|P3> 0 

4 0 0 <P2|c'|P2> 0.929487399004 

4 0 0 <P3|c'|P3> 1.200764510198 

4 0 0 <P2|c'|P3> -0.442177172982 

5 0 0 <gs|c'|P1> 0 

5 0.000829319631 0 <gs|c'|P2> 0 

5 0.009271235313 0 <gs|c'|P3> 0 

5 0 0 <P2|c'|P2> 0.929490415547 

5 0 0 <P3|c'|P3> 1.200762815431 

5 0 0 <P2|c'|P3> -0.442174627034 

6 0 0 <gs|c'|P1> 0 

7 0 0 <gs|c'|P1> 0 

6 -0.001248681995 0 <gs|c'|P2> 0 

7 -0.000164598958 0 <gs|c'|P2> 0 

6 0.000579342834 0 <gs|c'|P3> 0 

7 -0.000088055596 0 <gs|c'|P3> 0 

6 0 0 <P2|c'|P2> 0.929760451358 

7 0 0 <P2|c'|P2> 0.929760451358 

6 0 0 <P3|c'|P3> 1.200491910412 

7 0 0 <P3|c'|P3> 1.200491910412 

6 0 0 <P2|c'|P3> -0.442307932645 

7 0 0 <P2|c'|P3> -0.442307932645 

7 0 0 <gs|c'|P1> 0 

7 -0.001248681995 0 <gs|c'|P2> 0 

7 0.000579342834 0 <gs|c'|P3> 0 

7 0 0 <P2|c'|P2> 0.929760451358 

7 0 0 <P3|c'|P3> 1.200491910412 

7 0 0 <P2|c'|P3> -0.442307932645 

7 -0.000164598958 0 <gs|c'|P2> 0 

7 -0.000088055596 0 <gs|c'|P3> 0 

6 0 0 <gs|c'|P1> 0 

6 -0.001255097024 0 <gs|c'|P2> 0 

6 0.000576744766 0 <gs|c'|P3> 0 

6 0 0 <P2|c'|P2> 0.929490415547 

6 0 0 <P3|c'|P3> 1.200762815431 

6 0 0 <P2|c'|P3> -0.442174627034 

7 0 0 <gs|c'|P1> 0 

7 -0.001255097024 0 <gs|c'|P2> 0 

7 0.000576744766 0 <gs|c'|P3> 0 

7 0 0 <P2|c'|P2> 0.929490415547 

7 0 0 <P3|c'|P3> 1.200762815431 

7 0 0 <P2|c'|P3> -0.442174627034 

5 0 0 <gs|c'|P1> 0 

5 0.000822828019 0 <gs|c'|P2> 0 

5 0.009268724827 0 <gs|c'|P3> 0 

5 0 0 <P2|c'|P2> 0.929487399004 

5 0 0 <P3|c'|P3> 1.200764510198 

5 0 0 <P2|c'|P3> -0.442177172982 

4 0 0 <gs|c'|P1> 0 

4 0.064160636836 0 <gs|c'|P2> 0 

4 -0.014827608986 0 <gs|c'|P3> 0 

4 0 0 <P2|c'|P2> 0.929487399004 

4 0 0 <P3|c'|P3> 1.200764510198 

4 0 0 <P2|c'|P3> -0.442177172982 

3 0.500000000000 0 <gs|c'|P1> 0 

3 0.426050381841 0 <gs|c'|P2> 0 

3 0.426050381840 0 <gs|c'|P2> 0 

3 -0.586021196697 0 <gs|c'|P3> 0 

3 0 0 <P2|c'|P2> 0.929487399004 

3 0 0 <P3|c'|P3> 1.200764510197 

3 0 0 <P2|c'|P3> -0.442177172982 

2 0 0 <gs|c'|P1> 0 

2 0.025426924705 0 <gs|c'|P2> 0 

2 -0.028220616257 0 <gs|c'|P3> 0 

2 0 0 <P2|c'|P2> 0.929486922108 

2 0 0 <P3|c'|P3> 1.200764834524 

2 0 0 <P2|c'|P3> -0.442177564057 

1 0 0 <gs|c'|P1> 0 

1 0.001469723644 0 <gs|c'|P2> 0 

1 0.014315901345 0 <gs|c'|P3> 0 

0 0 0 <gs|c'|P1> 0 

1 0.001469739019 0 <gs|c'|P2> 0 

0 0.000231658540 0 <gs|c'|P2> 0 

1 0.014315201205 0 <gs|c'|P3> 0 

0 0.002211168968 0 <gs|c'|P3> 0 

1 0 0 <P2|c'|P2> 0.929479920206 

0 0 0 <P2|c'|P2> 0.929479920206 

1 0 0 <P3|c'|P3> 1.200771867803 

0 0 0 <P3|c'|P3> 1.200771867803 

1 0 0 <P2|c'|P3> -0.442201672842 

0 0 0 <P2|c'|P3> -0.442201672842 

0 0 0 <gs|c'|P1> 0 

0 0.001469739019 0 <gs|c'|P2> 0 

0 0.014315201205 0 <gs|c'|P3> 0 

0 0 0 <P2|c'|P2> 0.929479920206 

0 0 0 <P3|c'|P3> 1.200771867803 

0 0 0 <P2|c'|P3> -0.442201672842 

0 0.000231657173 0 <gs|c'|P2> 0 

0 0.002211088045 0 <gs|c'|P3> 0 

1 0 0 <gs|c'|P1> 0 

1 0.001470242504 0 <gs|c'|P2> 0 

1 0.014319142695 0 <gs|c'|P3> 0 

1 0 0 <P2|c'|P2> 0.929486922108 

1 0 0 <P3|c'|P3> 1.200764834525 

1 0 0 <P2|c'|P3> -0.442177564057 

2 0 0 <gs|c'|P1> 0 

2 0.025431069800 0 <gs|c'|P2> 0 

2 -0.028218452531 0 <gs|c'|P3> 0 

2 0 0 <P2|c'|P2> 0.929487399004 

2 0 0 <P3|c'|P3> 1.200764510198 

2 0 0 <P2|c'|P3> -0.442177172982 

3 0.500000000000 0 <gs|c'|P1> 0 

3 0.426050381840 0 <gs|c'|P2> 0 

3 -0.586021196697 0 <gs|c'|P3> 0 

3 0 0 <P2|c'|P2> 0.929487399004 

3 0 0 <P3|c'|P3> 1.200764510198 

3 0 0 <P2|c'|P3> -0.442177172982 

4 0 0 <gs|c'|P1> 0 

4 0.064160636836 0 <gs|c'|P2> 0 

4 -0.014827608986 0 <gs|c'|P3> 0 

4 0 0 <P2|c'|P2> 0.929487399004 

4 0 0 <P3|c'|P3> 1.200764510197 

4 0 0 <P2|c'|P3> -0.442177172982 

5 0 0 <gs|c'|P1> 0 

5 0.000829319631 0 <gs|c'|P2> 0 

5 0.009271235313 0 <gs|c'|P3> 0 

5 0 0 <P2|c'|P2> 0.929490415547 

5 0 0 <P3|c'|P3> 1.200762815432 

5 0 0 <P2|c'|P3> -0.442174627034 

6 0 0 <gs|c'|P1> 0 

6 -0.001247468419 0 <gs|c'|P2> 0 

6 0.000577501221 0 <gs|c'|P3> 0 

7 0 0 <gs|c'|P1> 0 

6 -0.001248573499 0 <gs|c'|P2> 0 

7 -0.000164538071 0 <gs|c'|P2> 0 

6 0.000579179540 0 <gs|c'|P3> 0 

7 -0.000088140134 0 <gs|c'|P3> 0 

6 0 0 <P2|c'|P2> 0.929760478790 

7 0 0 <P2|c'|P2> 0.929760478790 

6 0 0 <P3|c'|P3> 1.200491893072 

7 0 0 <P3|c'|P3> 1.200491893072 

6 0 0 <P2|c'|P3> -0.442307979933 

7 0 0 <P2|c'|P3> -0.442307979933 

7 0 0 <gs|c'|P1> 0 

7 -0.001248573499 0 <gs|c'|P2> 0 

7 0.000579179540 0 <gs|c'|P3> 0 

7 0 0 <P2|c'|P2> 0.929760478790 

7 0 0 <P3|c'|P3> 1.200491893072 

7 0 0 <P2|c'|P3> -0.442307979933 
7 -0.000165424804 0 <gs|c'|P2> 0 

7 -0.000086815930 0 <gs|c'|P3> 0

oracles/tests/CollectBrakets5502_0.txt

+111 −213
Original line number Diff line number Diff line 
6 0 0 <gs|c'|P0> 0 

6 -0.001248573499 0 <gs|c'|P1> 0 

6 0.000579179540 0 <gs|c'|P2> 0 

6 0 0 <P0|c'|P0> 0.500000000000 

6 0 0 <P1|c'|P1> 0.929760478790 

6 0 0 <P2|c'|P2> 1.200491893072 

6 -0.001247468419 0 <gs|c'|P1> 0 

6 0.000577501221 0 <gs|c'|P2> 0 

6 0 0 <gs|c'|P3> 0 

6 0 0 <gs|c'|P4> 0 

6 0 0 <gs|c'|P5> 0 

5 0 0 <gs|c'|P0> 0 

5 0.000829464031 0 <gs|c'|P1> 0 

5 0.009272186918 0 <gs|c'|P2> 0 

5 0 0 <P0|c'|P0> 0.500000000000 

5 0 0 <P1|c'|P1> 0.929760478790 

5 0 0 <P2|c'|P2> 1.200491893072 

5 0.000829481215 0 <gs|c'|P1> 0 

5 0.009272156375 0 <gs|c'|P2> 0 

5 0 0 <gs|c'|P3> 0 

5 0 0 <gs|c'|P4> 0 

5 0 0 <gs|c'|P5> 0 

4 0 0 <gs|c'|P0> 0 

4 0.064186168926 0 <gs|c'|P1> 0 

4 -0.014820839615 0 <gs|c'|P2> 0 

4 0 0 <P0|c'|P0> 0.500000000000 

4 0 0 <P1|c'|P1> 0.929760478790 

4 0 0 <P2|c'|P2> 1.200491893072 

4 0.064186135234 0 <gs|c'|P1> 0 

4 -0.014820808299 0 <gs|c'|P2> 0 

4 0 0 <gs|c'|P3> 0 

4 0 0 <gs|c'|P4> 0 

4 0 0 <gs|c'|P5> 0 

3 0.500000000000 0 <gs|c'|P0> 0 

3 0.426050474373 0 <gs|c'|P1> 0 

3 -0.586021284043 0 <gs|c'|P2> 0 

3 0 0 <P0|c'|P0> 0.500000000000 

3 0 0 <P1|c'|P1> 0.929760478790 

3 0 0 <P2|c'|P2> 1.200491893072 

3 0.426050469719 0 <gs|c'|P1> 0 

3 -0.586021282306 0 <gs|c'|P2> 0 

3 0 0 <gs|c'|P3> 0 

3 0 0 <gs|c'|P4> 0 

3 0 0 <gs|c'|P5> 0 

2 0 0 <gs|c'|P0> 0 

2 0.025427376213 0 <gs|c'|P1> 0 

2 -0.028248008230 0 <gs|c'|P2> 0 

2 0 0 <P0|c'|P0> 0.500000000000 

2 0 0 <P1|c'|P1> 0.929760478790 

2 0 0 <P2|c'|P2> 1.200491893072 

2 0.025427438269 0 <gs|c'|P1> 0 

2 -0.028248096527 0 <gs|c'|P2> 0 

2 0 0 <gs|c'|P3> 0 

2 0 0 <gs|c'|P4> 0 

2 0 0 <gs|c'|P5> 0 

1 0 0 <gs|c'|P0> 0 

1 0.001467539648 0 <gs|c'|P1> 0 

1 0.014316329452 0 <gs|c'|P2> 0 

1 0 0 <gs|c'|P3> 0 

1 0 0 <gs|c'|P4> 0 

1 0 0 <gs|c'|P5> 0 

0 0 0 <gs|c'|P0> 0 

1 0.001467535624 0 <gs|c'|P1> 0 

0 0.000225776478 0 <gs|c'|P1> 0 

1 0.014316334828 0 <gs|c'|P2> 0 

0 0.002206454943 0 <gs|c'|P2> 0 

1 0 0 <P0|c'|P0> 0.500000000000 

0 0 0 <P0|c'|P0> 0.500000000000 

1 0 0 <P1|c'|P1> 0.929760478790 

0 0 0 <P1|c'|P1> 0.929760478790 

1 0 0 <P2|c'|P2> 1.200491893072 

0 0 0 <P2|c'|P2> 1.200491893072 

0 0.000225776032 0 <gs|c'|P1> 0 

0 0.002206455637 0 <gs|c'|P2> 0 

0 0 0 <gs|c'|P3> 0 

0 0 0 <gs|c'|P4> 0 

0 0 0 <gs|c'|P5> 0 

1 0 0 <gs|c'|P0> 0 

1 0.001467535624 0 <gs|c'|P1> 0 

1 0.014316334828 0 <gs|c'|P2> 0 

1 0 0 <P0|c'|P0> 0.500000000000 

1 0 0 <P1|c'|P1> 0.929760478790 

1 0 0 <P2|c'|P2> 1.200491893072 

1 0.001467539648 0 <gs|c'|P1> 0 

1 0.014316329452 0 <gs|c'|P2> 0 

1 0 0 <gs|c'|P3> 0 

1 0 0 <gs|c'|P4> 0 

1 0 0 <gs|c'|P5> 0 

2 0 0 <gs|c'|P0> 0 

2 0.025427376213 0 <gs|c'|P1> 0 

2 -0.028248008230 0 <gs|c'|P2> 0 

2 0 0 <P0|c'|P0> 0.500000000000 

2 0 0 <P1|c'|P1> 0.929760478790 

2 0 0 <P2|c'|P2> 1.200491893072 

2 0.025427438269 0 <gs|c'|P1> 0 

2 -0.028248096527 0 <gs|c'|P2> 0 

2 0 0 <gs|c'|P3> 0 

2 0 0 <gs|c'|P4> 0 

2 0 0 <gs|c'|P5> 0 

3 0.500000000000 0 <gs|c'|P0> 0 

3 0.426050474373 0 <gs|c'|P1> 0 

3 -0.586021284043 0 <gs|c'|P2> 0 

3 0 0 <P0|c'|P0> 0.500000000000 

3 0 0 <P1|c'|P1> 0.929760478790 

3 0 0 <P2|c'|P2> 1.200491893072 

3 0.426050469719 0 <gs|c'|P1> 0 

3 -0.586021282306 0 <gs|c'|P2> 0 

3 0 0 <gs|c'|P3> 0 

3 0 0 <gs|c'|P4> 0 

3 0 0 <gs|c'|P5> 0 

4 0 0 <gs|c'|P0> 0 

4 0.064186168926 0 <gs|c'|P1> 0 

4 -0.014820839615 0 <gs|c'|P2> 0 

4 0 0 <P0|c'|P0> 0.500000000000 

4 0 0 <P1|c'|P1> 0.929760478790 

4 0 0 <P2|c'|P2> 1.200491893072 

4 0.064186135234 0 <gs|c'|P1> 0 

4 -0.014820808299 0 <gs|c'|P2> 0 

4 0 0 <gs|c'|P3> 0 

4 0 0 <gs|c'|P4> 0 

4 0 0 <gs|c'|P5> 0 

5 0 0 <gs|c'|P0> 0 

5 0.000829464031 0 <gs|c'|P1> 0 

5 0.009272186918 0 <gs|c'|P2> 0 

5 0.000829481215 0 <gs|c'|P1> 0 

5 0.009272156375 0 <gs|c'|P2> 0 

5 0.500000000000 0 <gs|c'|P3> 0 

5 0.513753309485 0 <gs|c'|P4> 0 

5 0.513753309486 0 <gs|c'|P4> 0 

5 -0.487037401601 0 <gs|c'|P5> 0 

5 0 0 <P0|c'|P0> 0.500000000000 

5 0 0 <P1|c'|P1> 0.929760478790 

5 0 0 <P2|c'|P2> 1.200491893072 

5 0 0 <P3|c'|P3> 0.500000000000 

5 0 0 <P4|c'|P4> 1.393002744592 

5 0 0 <P5|c'|P5> 1.175763802835 

6 0 0 <gs|c'|P0> 0 

7 0 0 <gs|c'|P0> 0 

6 -0.001248573499 0 <gs|c'|P1> 0 

7 -0.000164538071 0 <gs|c'|P1> 0 

6 0.000579179540 0 <gs|c'|P2> 0 

7 -0.000088140134 0 <gs|c'|P2> 0 

6 -0.001247468419 0 <gs|c'|P1> 0 

6 0.000577501221 0 <gs|c'|P2> 0 

6 0 0 <gs|c'|P3> 0 

6 0.050018385714 0 <gs|c'|P4> 0 

6 0.079099650770 0 <gs|c'|P5> 0 

7 0 0 <gs|c'|P0> 0 

7 -0.000165424804 0 <gs|c'|P1> 0 

7 -0.000086815930 0 <gs|c'|P2> 0 

7 0 0 <gs|c'|P3> 0 

6 0.050018832349 0 <gs|c'|P4> 0 

7 0.001977012107 0 <gs|c'|P4> 0 

6 0.079099528892 0 <gs|c'|P5> 0 

7 0.017934473715 0 <gs|c'|P5> 0 

6 0 0 <P0|c'|P0> 0.500000000000 

7 0 0 <P0|c'|P0> 0.500000000000 

6 0 0 <P1|c'|P1> 0.929760478790 

7 0 0 <P1|c'|P1> 0.929760478790 

6 0 0 <P2|c'|P2> 1.200491893072 

7 0 0 <P2|c'|P2> 1.200491893072 

6 0 0 <P3|c'|P3> 0.500000000000 

7 0 0 <P3|c'|P3> 0.500000000000 

6 0 0 <P4|c'|P4> 1.392981072771 

7 0 0 <P4|c'|P4> 1.392981072771 

6 0 0 <P5|c'|P5> 1.175783893884 

7 0 0 <P5|c'|P5> 1.175783893884 

7 0.001976064281 0 <gs|c'|P4> 0 

7 0.017935058882 0 <gs|c'|P5> 0 

6 0 0 <gs|c'|P0> 0 

6 -0.001248573499 0 <gs|c'|P1> 0 

6 0.000579179540 0 <gs|c'|P2> 0 

6 -0.001247468419 0 <gs|c'|P1> 0 

6 0.000577501221 0 <gs|c'|P2> 0 

6 0 0 <gs|c'|P3> 0 

6 0.049992611443 0 <gs|c'|P4> 0 

6 0.079105751933 0 <gs|c'|P5> 0 

6 0 0 <P0|c'|P0> 0.500000000000 

6 0 0 <P1|c'|P1> 0.929760478790 

6 0 0 <P2|c'|P2> 1.200491893072 

6 0 0 <P3|c'|P3> 0.500000000000 

6 0 0 <P4|c'|P4> 1.393002744593 

6 0 0 <P5|c'|P5> 1.175763802835 

5 0 0 <gs|c'|P0> 0 

5 0.000829464031 0 <gs|c'|P1> 0 

5 0.009272186918 0 <gs|c'|P2> 0 

5 0.000829481215 0 <gs|c'|P1> 0 

5 0.009272156375 0 <gs|c'|P2> 0 

5 0.500000000000 0 <gs|c'|P3> 0 

5 0.489229514533 0 <gs|c'|P4> 0 

5 -0.471145955789 0 <gs|c'|P5> 0 

5 0 0 <P0|c'|P0> 0.500000000000 

5 0 0 <P1|c'|P1> 0.929760478790 

5 0 0 <P2|c'|P2> 1.200491893072 

5 0 0 <P3|c'|P3> 0.500000000000 

5 0 0 <P4|c'|P4> 1.351950405043 

5 0 0 <P5|c'|P5> 1.094197167622 

4 0 0 <gs|c'|P0> 0 

4 0.064186168926 0 <gs|c'|P1> 0 

4 -0.014820839615 0 <gs|c'|P2> 0 

4 0.064186135234 0 <gs|c'|P1> 0 

4 -0.014820808299 0 <gs|c'|P2> 0 

4 0 0 <gs|c'|P3> 0 

4 0.053878559833 0 <gs|c'|P4> 0 

4 -0.086852721771 0 <gs|c'|P5> 0 

4 0 0 <P0|c'|P0> 0.500000000000 

4 0 0 <P1|c'|P1> 0.929760478790 

4 0 0 <P2|c'|P2> 1.200491893072 

4 0 0 <P3|c'|P3> 0.500000000000 

4 0 0 <P4|c'|P4> 1.351950405042 

4 0 0 <P5|c'|P5> 1.094197167623 

3 0.500000000000 0 <gs|c'|P0> 0 

3 0.426050474373 0 <gs|c'|P1> 0 

3 -0.586021284043 0 <gs|c'|P2> 0 

3 0.426050469719 0 <gs|c'|P1> 0 

3 -0.586021282306 0 <gs|c'|P2> 0 

3 0 0 <gs|c'|P3> 0 

3 0.002621394503 0 <gs|c'|P4> 0 

3 0.008375920528 0 <gs|c'|P5> 0 

3 0 0 <P0|c'|P0> 0.500000000000 

3 0 0 <P1|c'|P1> 0.929760478790 

3 0 0 <P2|c'|P2> 1.200491893072 

3 0 0 <P3|c'|P3> 0.500000000000 

3 0 0 <P4|c'|P4> 1.351950405043 

3 0 0 <P5|c'|P5> 1.094197167622 

2 0 0 <gs|c'|P0> 0 

2 0.025427376213 0 <gs|c'|P1> 0 

2 -0.028248008230 0 <gs|c'|P2> 0 

2 0.025427438269 0 <gs|c'|P1> 0 

2 -0.028248096527 0 <gs|c'|P2> 0 

2 0 0 <gs|c'|P3> 0 

2 -0.000410030656 0 <gs|c'|P4> 0 

2 0.002451174379 0 <gs|c'|P5> 0 

2 0 0 <P0|c'|P0> 0.500000000000 

2 0 0 <P1|c'|P1> 0.929760478790 

2 0 0 <P2|c'|P2> 1.200491893072 

2 0 0 <P3|c'|P3> 0.500000000000 

2 0 0 <P4|c'|P4> 1.351949120180 

2 0 0 <P5|c'|P5> 1.094198635360 

2 -0.000409999515 0 <gs|c'|P4> 0 

2 0.002451179982 0 <gs|c'|P5> 0 

1 0 0 <gs|c'|P0> 0 

0 0 0 <gs|c'|P0> 0 

1 0.001467535624 0 <gs|c'|P1> 0 

0 0.000225776478 0 <gs|c'|P1> 0 

1 0.014316334828 0 <gs|c'|P2> 0 

0 0.002206454943 0 <gs|c'|P2> 0 

1 0.001467539648 0 <gs|c'|P1> 0 

1 0.014316329452 0 <gs|c'|P2> 0 

1 0 0 <gs|c'|P3> 0 

1 -0.000121953729 0 <gs|c'|P4> 0 

1 -0.000087072642 0 <gs|c'|P5> 0 

0 0 0 <gs|c'|P0> 0 

0 0.000225776032 0 <gs|c'|P1> 0 

0 0.002206455637 0 <gs|c'|P2> 0 

0 0 0 <gs|c'|P3> 0 

1 -0.000121544628 0 <gs|c'|P4> 0 

0 -0.000013174758 0 <gs|c'|P4> 0 

1 -0.000086932415 0 <gs|c'|P5> 0 

0 -0.000049647149 0 <gs|c'|P5> 0 

1 0 0 <P0|c'|P0> 0.500000000000 

0 0 0 <P0|c'|P0> 0.500000000000 

1 0 0 <P1|c'|P1> 0.929760478790 

0 0 0 <P1|c'|P1> 0.929760478790 

1 0 0 <P2|c'|P2> 1.200491893072 

0 0 0 <P2|c'|P2> 1.200491893072 

1 0 0 <P3|c'|P3> 0.500000000000 

0 0 0 <P3|c'|P3> 0.500000000000 

1 0 0 <P4|c'|P4> 1.351965319385 

0 0 0 <P4|c'|P4> 1.351965319385 

1 0 0 <P5|c'|P5> 1.094182309211 

0 0 0 <P5|c'|P5> 1.094182309211 

0 -0.000013582253 0 <gs|c'|P4> 0 

0 -0.000049855058 0 <gs|c'|P5> 0 

1 0 0 <gs|c'|P0> 0 

1 0.001467535624 0 <gs|c'|P1> 0 

1 0.014316334828 0 <gs|c'|P2> 0 

1 0.001467539648 0 <gs|c'|P1> 0 

1 0.014316329452 0 <gs|c'|P2> 0 

1 0 0 <gs|c'|P3> 0 

1 -0.000114621540 0 <gs|c'|P4> 0 

1 -0.000087559419 0 <gs|c'|P5> 0 

1 0 0 <P0|c'|P0> 0.500000000000 

1 0 0 <P1|c'|P1> 0.929760478790 

1 0 0 <P2|c'|P2> 1.200491893072 

1 0 0 <P3|c'|P3> 0.500000000000 

1 0 0 <P4|c'|P4> 1.351949120180 

1 0 0 <P5|c'|P5> 1.094198635359 

1 -0.000114651333 0 <gs|c'|P4> 0 

1 -0.000087560979 0 <gs|c'|P5> 0 

2 0 0 <gs|c'|P0> 0 

2 0.025427376213 0 <gs|c'|P1> 0 

2 -0.028248008230 0 <gs|c'|P2> 0 

2 0.025427438269 0 <gs|c'|P1> 0 

2 -0.028248096527 0 <gs|c'|P2> 0 

2 0 0 <gs|c'|P3> 0 

2 -0.000423273589 0 <gs|c'|P4> 0 

2 0.002448362251 0 <gs|c'|P5> 0 

2 0 0 <P0|c'|P0> 0.500000000000 

2 0 0 <P1|c'|P1> 0.929760478790 

2 0 0 <P2|c'|P2> 1.200491893072 

2 0 0 <P3|c'|P3> 0.500000000000 

2 0 0 <P4|c'|P4> 1.351950405043 

2 0 0 <P5|c'|P5> 1.094197167622 

3 0.500000000000 0 <gs|c'|P0> 0 

3 0.426050474373 0 <gs|c'|P1> 0 

3 -0.586021284043 0 <gs|c'|P2> 0 

3 0.426050469719 0 <gs|c'|P1> 0 

3 -0.586021282306 0 <gs|c'|P2> 0 

3 0 0 <gs|c'|P3> 0 

3 0.002621394503 0 <gs|c'|P4> 0 

3 0.008375920528 0 <gs|c'|P5> 0 

3 0 0 <P0|c'|P0> 0.500000000000 

3 0 0 <P1|c'|P1> 0.929760478790 

3 0 0 <P2|c'|P2> 1.200491893072 

3 0 0 <P3|c'|P3> 0.500000000000 

3 0 0 <P4|c'|P4> 1.351950405042 

3 0 0 <P5|c'|P5> 1.094197167623 

4 0 0 <gs|c'|P0> 0 

4 0.064186168926 0 <gs|c'|P1> 0 

4 -0.014820839615 0 <gs|c'|P2> 0 

4 0.064186135234 0 <gs|c'|P1> 0 

4 -0.014820808299 0 <gs|c'|P2> 0 

4 0 0 <gs|c'|P3> 0 

4 0.053878559833 0 <gs|c'|P4> 0 

4 -0.086852721771 0 <gs|c'|P5> 0 

4 0 0 <P0|c'|P0> 0.500000000000 

4 0 0 <P1|c'|P1> 0.929760478790 

4 0 0 <P2|c'|P2> 1.200491893072 

4 0 0 <P3|c'|P3> 0.500000000000 

4 0 0 <P4|c'|P4> 1.351950405043 

4 0 0 <P5|c'|P5> 1.094197167622 

5 0 0 <gs|c'|P0> 0 

5 0.000829464031 0 <gs|c'|P1> 0 

5 0.009272186918 0 <gs|c'|P2> 0 

5 0.000829481215 0 <gs|c'|P1> 0 

5 0.009272156375 0 <gs|c'|P2> 0 

5 0.500000000000 0 <gs|c'|P3> 0 

5 0.489229507398 0 <gs|c'|P4> 0 

5 -0.471145943937 0 <gs|c'|P5> 0 

5 0 0 <P0|c'|P0> 0.500000000000 

5 0 0 <P1|c'|P1> 0.929760478790 

5 0 0 <P2|c'|P2> 1.200491893072 

5 0 0 <P3|c'|P3> 0.500000000000 

5 0 0 <P4|c'|P4> 1.351950273096 

5 0 0 <P5|c'|P5> 1.094197263895 

5 0.489229505971 0 <gs|c'|P4> 0 

5 -0.471145941859 0 <gs|c'|P5> 0 

6 0 0 <gs|c'|P0> 0 

7 0 0 <gs|c'|P0> 0 

6 -0.001248573499 0 <gs|c'|P1> 0 

7 -0.000164538071 0 <gs|c'|P1> 0 

6 0.000579179540 0 <gs|c'|P2> 0 

7 -0.000088140134 0 <gs|c'|P2> 0 

6 -0.001247468419 0 <gs|c'|P1> 0 

6 0.000577501221 0 <gs|c'|P2> 0 

6 0 0 <gs|c'|P3> 0 

6 0.064709349042 0 <gs|c'|P4> 0 

6 0.073457938585 0 <gs|c'|P5> 0 

7 0 0 <gs|c'|P0> 0 

7 -0.000165424804 0 <gs|c'|P1> 0 

7 -0.000086815930 0 <gs|c'|P2> 0 

7 0 0 <gs|c'|P3> 0 

6 0.064718220448 0 <gs|c'|P4> 0 

7 0.004126430664 0 <gs|c'|P4> 0 

6 0.073458910848 0 <gs|c'|P5> 0 

7 0.016788899155 0 <gs|c'|P5> 0 

6 0 0 <P0|c'|P0> 0.500000000000 

7 0 0 <P0|c'|P0> 0.500000000000 

6 0 0 <P1|c'|P1> 0.929760478790 

7 0 0 <P1|c'|P1> 0.929760478790 

6 0 0 <P2|c'|P2> 1.200491893072 

7 0 0 <P2|c'|P2> 1.200491893072 

6 0 0 <P3|c'|P3> 0.500000000000 

7 0 0 <P3|c'|P3> 0.500000000000 

6 0 0 <P4|c'|P4> 1.351945781037 

7 0 0 <P4|c'|P4> 1.351945781037 

6 0 0 <P5|c'|P5> 1.094201874642 

7 0 0 <P5|c'|P5> 1.094201874642 
7 0.004120743749 0 <gs|c'|P4> 0 

7 0.016788309284 0 <gs|c'|P5> 0

oracles/tests/CollectBrakets5504_0.txt

+0 −264

File changed.

Preview size limit exceeded, changes collapsed.

oracles/tests/CollectBrakets6005_0.txt

+33 −33
Original line number Diff line number Diff line 
1 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

2 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

3 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

4 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

3 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

4 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

5 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

6 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

6 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

7 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

8 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

9 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

8 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

9 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

10 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

11 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

12 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

11 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

12 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

13 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

14 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

15 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

16 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

17 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

18 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

18 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

19 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

18 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

17 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

16 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

15 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

16 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

15 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

14 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

13 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

12 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

11 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

10 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

13 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

12 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

11 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

10 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

9 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

8 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

7 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

8 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

7 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

6 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

5 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

4 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

3 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

2 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

5 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

4 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

3 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

2 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

1 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

0 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

1 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

2 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

3 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

4 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

3 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

4 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

5 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

6 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

7 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

8 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

9 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

10 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

6 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

7 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

8 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

9 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

10 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

11 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

12 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

13 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

14 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

13 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

14 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

15 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

16 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

17 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

18 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

19 (-0.500000,0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 
16 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

17 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

18 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000) 

19 (-0.500000,-0.000000) 0 <gs|sy?0|gs> (1.000000,0.000000)