0.00/0.00 c cpHydra_k_40 version 0.0
6.89/7.08 c CASE TO CLASSIFY:
6.89/7.09 c Case: 0
6.89/7.09 c 19 > 50.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.000000 | c 15 > 10.353100 | c 34 > 120.000000 | c 16 > 2.000000 | c 13 > 5.278370 | c 14 > 6.599910 | c 11 > 2.321930 | c 12 > 6.350500 | c 21 > 12.000000 | c 20 > 50.000000 | c 22 > 12.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.321930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.491850 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.89/7.10 c choco : 1801.0
6.89/7.10 c mistral : 1801.0
6.89/7.10 c abscon : 1801.0
6.89/7.10 c
6.89/7.10 c
6.98/7.17 c List of same ones: 40
6.98/7.17 c /home/eomahony/cpZilla/CSP/knights/knights-12-5.xml
6.98/7.17 c 19 > 50.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.000000 | c 15 > 11.159900 | c 34 > 120.000000 | c 16 > 2.000000 | c 13 > 6.057550 | c 14 > 7.330920 | c 11 > 2.321930 | c 12 > 7.053110 | c 21 > 12.000000 | c 20 > 50.000000 | c 22 > 12.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.321930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.491850 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.98/7.18 c choco : 1.9
6.98/7.18 c mistral : 0.872867
6.98/7.18 c abscon : 0.789879
6.98/7.18 c
6.98/7.18 c
6.98/7.18 c /home/eomahony/cpZilla/CSP/knights/knights-10-5.xml
6.98/7.18 c 19 > 50.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.000000 | c 15 > 11.128000 | c 34 > 120.000000 | c 16 > 2.000000 | c 13 > 6.490120 | c 14 > 7.209450 | c 11 > 2.321930 | c 12 > 6.689300 | c 21 > 10.000000 | c 20 > 50.000000 | c 22 > 10.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.321930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.965780 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.98/7.19 c choco : 1.91
6.98/7.19 c mistral : 0.337948
6.98/7.19 c abscon : 0.750885
6.98/7.19 c
6.98/7.19 c
6.98/7.19 c /home/eomahony/cpZilla/CSP/knights/knights-15-5.xml
6.98/7.19 c 19 > 50.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.000000 | c 15 > 9.461480 | c 34 > 120.000000 | c 16 > 2.000000 | c 13 > 4.536050 | c 14 > 5.857980 | c 11 > 2.321930 | c 12 > 5.655350 | c 21 > 15.000000 | c 20 > 50.000000 | c 22 > 15.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.321930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.135700 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.20 c choco : 2.81
7.08/7.20 c mistral : 3.49347
7.08/7.20 c abscon : 0.842871
7.08/7.20 c
7.08/7.20 c
7.08/7.20 c /home/eomahony/cpZilla/CSP/knights/knights-8-5.xml
7.08/7.20 c 19 > 50.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.000000 | c 15 > 10.447100 | c 34 > 120.000000 | c 16 > 2.000000 | c 13 > 5.850340 | c 14 > 6.554590 | c 11 > 2.321930 | c 12 > 6.070390 | c 21 > 8.000000 | c 20 > 50.000000 | c 22 > 8.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.321930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.321930 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.21 c choco : 1.36
7.08/7.21 c mistral : 0.108983
7.08/7.21 c abscon : 0.728888
7.08/7.21 c
7.08/7.21 c
7.08/7.21 c /home/eomahony/cpZilla/CSP/knights/knights-20-5.xml
7.08/7.21 c 19 > 50.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.000000 | c 15 > 7.392320 | c 34 > 120.000000 | c 16 > 2.000000 | c 13 > 2.399540 | c 14 > 3.700440 | c 11 > 2.321930 | c 12 > 3.848000 | c 21 > 20.000000 | c 20 > 50.000000 | c 22 > 20.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.321930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.965800 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.22 c choco : 1801.0
7.08/7.22 c mistral : 21.0048
7.08/7.22 c abscon : 1.13583
7.08/7.22 c
7.08/7.22 c
7.08/7.22 c /home/eomahony/cpZilla/CSP/knights/knights-25-5.xml
7.08/7.22 c 19 > 50.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.000000 | c 15 > 5.882640 | c 34 > 120.000000 | c 16 > 2.000000 | c 13 > 0.678072 | c 14 > 2.000000 | c 11 > 2.321930 | c 12 > 2.848000 | c 21 > 25.000000 | c 20 > 50.000000 | c 22 > 25.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.321930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.609600 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.23 c choco : 291.7
7.08/7.23 c mistral : 77.3502
7.08/7.23 c abscon : 1.67074
7.08/7.23 c
7.08/7.23 c
7.08/7.23 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-pipex.xml
7.08/7.23 c 19 > 39.024400 | c 35 > 58.536600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 36.585400 | c 15 > 16.276700 | c 34 > 105.366000 | c 16 > 16.000000 | c 13 > 2.530680 | c 14 > 7.768180 | c 11 > 7.459430 | c 12 > 2.048360 | c 21 > 1.414210 | c 20 > 60.975600 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.353150 | c 1 > 5.584960 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.280770 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.119600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.24 c choco : 2.26
7.08/7.24 c mistral : 0.037993
7.08/7.24 c abscon : 5.39018
7.08/7.24 c
7.08/7.24 c
7.08/7.24 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pipex.xml
7.08/7.24 c 19 > 39.024400 | c 35 > 58.536600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 36.585400 | c 15 > 16.276700 | c 34 > 105.366000 | c 16 > 16.000000 | c 13 > 2.530680 | c 14 > 7.768180 | c 11 > 7.459430 | c 12 > 2.048360 | c 21 > 1.414210 | c 20 > 60.975600 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.353150 | c 1 > 5.584960 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.280770 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.119600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.24 c choco : 2.24
7.08/7.24 c mistral : 0.037994
7.08/7.24 c abscon : 5.20121
7.08/7.24 c
7.08/7.24 c
7.08/7.24 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/blast-floppy1-3.xml
7.08/7.24 c 19 > 59.302300 | c 35 > 62.093000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 58.953500 | c 15 > 14.301300 | c 34 > 114.147000 | c 16 > 13.000000 | c 13 > 1.404720 | c 14 > 7.330920 | c 11 > 10.636600 | c 12 > 0.788067 | c 21 > 1.414210 | c 20 > 40.697700 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.247900 | c 1 > 8.098030 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.154200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.023000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.25 c choco : 2.31
7.08/7.25 c mistral : 0.12
7.08/7.25 c abscon : 1.45478
7.08/7.25 c
7.08/7.25 c
7.08/7.25 c /home/eomahony/cpZilla/CSP/knights/knights-50-5.xml
7.08/7.25 c 19 > 50.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.000000 | c 15 > 0.000000 | c 34 > 120.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 2.321930 | c 12 > 2.000000 | c 21 > 50.000000 | c 20 > 50.000000 | c 22 > 50.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.321930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.609600 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.26 c choco : 1801.0
7.08/7.26 c mistral : 1800.09
7.08/7.26 c abscon : 20.8908
7.08/7.26 c
7.08/7.26 c
7.08/7.26 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p0033.xml
7.08/7.26 c 19 > 46.666700 | c 35 > 65.333300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.295800 | c 34 > 130.667000 | c 16 > 19.000000 | c 13 > 0.294466 | c 14 > 3.321930 | c 11 > 6.459430 | c 12 > 0.710493 | c 21 > 1.414210 | c 20 > 53.333300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.257390 | c 1 > 5.044390 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.189820 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.748300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.46 c choco : 1.22
7.26/7.46 c mistral : 0.019996
7.26/7.46 c abscon : 0.772881
7.26/7.46 c
7.26/7.46 c
7.26/7.46 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-p0033.xml
7.26/7.46 c 19 > 46.666700 | c 35 > 65.333300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.273800 | c 34 > 130.667000 | c 16 > 19.000000 | c 13 > 0.283483 | c 14 > 3.321930 | c 11 > 6.459430 | c 12 > 0.710493 | c 21 > 1.414210 | c 20 > 53.333300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.257390 | c 1 > 5.044390 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.189820 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.748300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.47 c choco : 1.19
7.26/7.47 c mistral : 0.01
7.26/7.47 c abscon : 0.795878
7.26/7.47 c
7.26/7.47 c
7.26/7.47 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-p0040.xml
7.26/7.47 c 19 > 43.478300 | c 35 > 47.826100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 33.913000 | c 15 > 9.668880 | c 34 > 78.260900 | c 16 > 10.000000 | c 13 > 0.287557 | c 14 > 4.523560 | c 11 > 6.129280 | c 12 > 0.777608 | c 21 > 1.414210 | c 20 > 56.521700 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.599910 | c 1 > 5.321930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.442940 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.519000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.48 c choco : 1.19
7.26/7.48 c mistral : 0.01
7.26/7.48 c abscon : 0.679895
7.26/7.48 c
7.26/7.48 c
7.26/7.48 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/blast-floppy1-4.xml
7.26/7.48 c 19 > 58.673500 | c 35 > 64.489800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 58.316300 | c 15 > 14.166000 | c 34 > 118.827000 | c 16 > 19.000000 | c 13 > 1.191390 | c 14 > 7.276120 | c 11 > 10.283100 | c 12 > 0.757201 | c 21 > 1.414210 | c 20 > 41.326500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.924800 | c 1 > 7.888740 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.836800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.932200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.49 c choco : 2.06
7.26/7.49 c mistral : 0.1
7.26/7.49 c abscon : 2.28665
7.26/7.49 c
7.26/7.49 c
7.26/7.49 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/data-6-3.xml
7.26/7.49 c 19 > 59.922200 | c 35 > 47.315200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 57.898800 | c 15 > 19.023000 | c 34 > 88.145300 | c 16 > 20.000000 | c 13 > 4.494980 | c 14 > 7.614710 | c 11 > 9.076820 | c 12 > 5.363920 | c 21 > 1.414210 | c 20 > 40.077800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.759600 | c 1 > 9.076820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.607700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.933300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.49 c choco : 11.83
7.26/7.49 c mistral : 5.75113
7.26/7.49 c abscon : 13.9009
7.26/7.49 c
7.26/7.49 c
7.26/7.49 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/circ-6-3.xml
7.26/7.49 c 19 > 59.922200 | c 35 > 47.315200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 57.898800 | c 15 > 19.062700 | c 34 > 88.145300 | c 16 > 20.000000 | c 13 > 4.547770 | c 14 > 7.672430 | c 11 > 9.076820 | c 12 > 5.377420 | c 21 > 1.414210 | c 20 > 40.077800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.759600 | c 1 > 9.076820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.607700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.933300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.50 c choco : 11.86
7.35/7.50 c mistral : 5.9011
7.35/7.50 c abscon : 13.311
7.35/7.50 c
7.35/7.50 c
7.35/7.50 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/circ-8-3.xml
7.35/7.50 c 19 > 54.225700 | c 35 > 58.280400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 58.593100 | c 15 > 19.523300 | c 34 > 110.884000 | c 16 > 28.000000 | c 13 > 5.597260 | c 14 > 7.383700 | c 11 > 10.392300 | c 12 > 6.186810 | c 21 > 1.414210 | c 20 > 45.774300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 17.126300 | c 1 > 10.392300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.033900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.591200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.51 c choco : 1801.0
7.35/7.51 c mistral : 1800.04
7.35/7.51 c abscon : 158.109
7.35/7.51 c
7.35/7.51 c
7.35/7.51 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/data-8-3.xml
7.35/7.51 c 19 > 54.225700 | c 35 > 58.280400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 58.593100 | c 15 > 19.523300 | c 34 > 110.884000 | c 16 > 28.000000 | c 13 > 5.597260 | c 14 > 7.383700 | c 11 > 10.392300 | c 12 > 6.186810 | c 21 > 1.414210 | c 20 > 45.774300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 17.126300 | c 1 > 10.392300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.033900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.591200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.52 c choco : 1801.0
7.35/7.52 c mistral : 1731.45
7.35/7.52 c abscon : 167.962
7.35/7.52 c
7.35/7.52 c
7.35/7.52 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-manna81.xml
7.35/7.52 c 19 > 30.182500 | c 35 > 56.777400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 17.796200 | c 34 > 113.555000 | c 16 > 8.000000 | c 13 > 2.597540 | c 14 > 10.060700 | c 11 > 13.387100 | c 12 > 2.277960 | c 21 > 1.414210 | c 20 > 69.817500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 16.316500 | c 1 > 13.387100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.266800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.935800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.52 c choco : 52.31
7.35/7.52 c mistral : 13.59
7.35/7.52 c abscon : 16.9674
7.35/7.52 c
7.35/7.52 c
7.35/7.52 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-lseu.xml
7.35/7.52 c 19 > 42.857100 | c 35 > 45.714300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 49.285700 | c 15 > 12.976700 | c 34 > 91.428600 | c 16 > 47.000000 | c 13 > 0.535422 | c 14 > 6.087460 | c 11 > 7.813780 | c 12 > 0.924311 | c 21 > 1.414210 | c 20 > 57.142900 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.066090 | c 1 > 6.475730 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.033420 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.230900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.53 c choco : 1.34
7.35/7.53 c mistral : 0.04
7.35/7.53 c abscon : 1.3278
7.35/7.53 c
7.35/7.53 c
7.35/7.53 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/lseu.xml
7.35/7.53 c 19 > 42.857100 | c 35 > 45.714300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 49.285700 | c 15 > 12.938100 | c 34 > 91.428600 | c 16 > 47.000000 | c 13 > 0.516997 | c 14 > 6.108520 | c 11 > 7.813780 | c 12 > 0.897025 | c 21 > 1.414210 | c 20 > 57.142900 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.066090 | c 1 > 6.475730 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.033420 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.230900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.54 c choco : 1.34
7.35/7.54 c mistral : 0.04
7.35/7.54 c abscon : 1.12983
7.35/7.54 c
7.35/7.54 c
7.35/7.54 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/blast-tlan2.xml
7.35/7.54 c 19 > 70.514900 | c 35 > 62.600900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 57.825500 | c 15 > 20.198900 | c 34 > 114.746000 | c 16 > 19.000000 | c 13 > 3.539740 | c 14 > 7.888740 | c 11 > 10.861900 | c 12 > 3.232880 | c 21 > 1.355700 | c 20 > 29.485100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.754400 | c 1 > 10.861900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.667300 | c 6 > 3.169930 | c 32 > -1.000000 | c 5 > 23.226900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.55 c choco : 14.02
7.35/7.55 c mistral : 4.44432
7.35/7.55 c abscon : 77.6532
7.35/7.55 c
7.35/7.55 c
7.35/7.55 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-10-5-mul.xml
7.35/7.55 c 19 > 52.381000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 61.428600 | c 15 > 13.896600 | c 34 > 56.666700 | c 16 > 2.000000 | c 13 > 5.845900 | c 14 > 8.049850 | c 11 > 6.714250 | c 12 > 4.167630 | c 21 > 6.324560 | c 20 > 47.619000 | c 22 > 10.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 3.321930 | c 2 > -1.000000 | c 10 > 7.614710 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.861100 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 6.491850 | c
7.35/7.55 c choco : 7.88
7.35/7.55 c mistral : 2.12568
7.35/7.55 c abscon : 0.836872
7.35/7.55 c
7.35/7.55 c
7.35/7.55 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-8-5-mul.xml
7.35/7.55 c 19 > 57.692300 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 67.307700 | c 15 > 14.380500 | c 34 > 58.974400 | c 16 > 2.000000 | c 13 > 7.312470 | c 14 > 9.319670 | c 11 > 6.108520 | c 12 > 5.713650 | c 21 > 5.434930 | c 20 > 42.307700 | c 22 > 8.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 3.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 5.807350 | c
7.35/7.56 c choco : 4.16
7.35/7.56 c mistral : 0.385941
7.35/7.56 c abscon : 0.737887
7.35/7.56 c
7.35/7.56 c
7.35/7.56 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-12-5-mul.xml
7.35/7.56 c 19 > 47.794100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.250000 | c 15 > 12.415500 | c 34 > 55.147100 | c 16 > 2.000000 | c 13 > 4.127790 | c 14 > 7.459430 | c 11 > 7.219170 | c 12 > 2.672620 | c 21 > 7.129060 | c 20 > 52.205900 | c 22 > 12.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 3.584960 | c 2 > -1.000000 | c 10 > 8.071460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.601800 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 7.044390 | c
7.35/7.57 c choco : 11.06
7.35/7.57 c mistral : 1.70074
7.35/7.57 c abscon : 0.840871
7.35/7.57 c
7.35/7.57 c
7.35/7.57 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-15-5-mul.xml
7.35/7.57 c 19 > 42.105300 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 49.736800 | c 15 > 12.636400 | c 34 > 53.684200 | c 16 > 2.000000 | c 13 > 3.147020 | c 14 > 5.000000 | c 11 > 7.845490 | c 12 > 2.077840 | c 21 > 8.215840 | c 20 > 57.894700 | c 22 > 15.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 3.906890 | c 2 > -1.000000 | c 10 > 8.647460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.517900 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 7.714250 | c
7.35/7.57 c choco : 1801.0
7.35/7.57 c mistral : 6.70198
7.35/7.57 c abscon : 1.00285
7.35/7.57 c
7.35/7.57 c
7.35/7.57 c /home/eomahony/cpZilla/CSP/knights/knights-12-9.xml
7.35/7.57 c 19 > 25.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 22.500000 | c 15 > 10.396600 | c 34 > 65.000000 | c 16 > 2.000000 | c 13 > 4.934330 | c 14 > 5.357550 | c 11 > 3.169930 | c 12 > 5.142960 | c 21 > 12.000000 | c 20 > 75.000000 | c 22 > 12.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.339900 | c 31 > -1.000000 | c 4 > 3.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.58 c choco : 4.64
7.35/7.58 c mistral : 2.98454
7.35/7.58 c abscon : 0.835872
7.35/7.58 c
7.35/7.58 c
7.35/7.58 c /home/eomahony/cpZilla/CSP/knights/knights-15-9.xml
7.35/7.58 c 19 > 25.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 22.500000 | c 15 > 8.915880 | c 34 > 65.000000 | c 16 > 2.000000 | c 13 > 3.383360 | c 14 > 3.807350 | c 11 > 3.169930 | c 12 > 4.115480 | c 21 > 15.000000 | c 20 > 75.000000 | c 22 > 15.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.983700 | c 31 > -1.000000 | c 4 > 3.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.59 c choco : 10.09
7.35/7.59 c mistral : 10.5634
7.35/7.59 c abscon : 0.893863
7.35/7.59 c
7.35/7.59 c
7.35/7.59 c /home/eomahony/cpZilla/CSP/knights/knights-20-9.xml
7.35/7.59 c 19 > 25.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 22.500000 | c 15 > 7.348730 | c 34 > 65.000000 | c 16 > 2.000000 | c 13 > 1.576000 | c 14 > 2.000000 | c 11 > 3.169930 | c 12 > 3.415040 | c 21 > 20.000000 | c 20 > 75.000000 | c 22 > 20.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.813800 | c 31 > -1.000000 | c 4 > 3.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.59 c choco : 1801.0
7.35/7.59 c mistral : 59.293
7.35/7.59 c abscon : 1.42378
7.35/7.59 c
7.35/7.59 c
7.35/7.59 c /home/eomahony/cpZilla/CSP/knights/knights-25-9.xml
7.35/7.59 c 19 > 25.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 22.500000 | c 15 > 6.087460 | c 34 > 65.000000 | c 16 > 2.000000 | c 13 > 0.318715 | c 14 > 0.000000 | c 11 > 3.169930 | c 12 > 3.115480 | c 21 > 25.000000 | c 20 > 75.000000 | c 22 > 25.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.457600 | c 31 > -1.000000 | c 4 > 3.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.60 c choco : 1801.0
7.35/7.60 c mistral : 206.566
7.35/7.60 c abscon : 2.28265
7.35/7.60 c
7.35/7.60 c
7.35/7.60 c /home/eomahony/cpZilla/CSP/queenAttacking/queenAttacking-3.xml
7.35/7.60 c 19 > 30.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 10.234800 | c 34 > 72.000000 | c 16 > 2.000000 | c 13 > 3.316420 | c 14 > 4.954200 | c 11 > 3.321930 | c 12 > 3.655350 | c 21 > 2.898280 | c 20 > 70.000000 | c 22 > 3.000000 | c 23 > 96.000000 | c 24 > 60.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.357550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.392320 | c 31 > -1.000000 | c 4 > 3.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.61 c choco : 1.43
7.42/7.61 c mistral : 0.01
7.42/7.61 c abscon : 0.675896
7.42/7.61 c
7.42/7.61 c
7.42/7.61 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-20-5-mul.xml
7.42/7.61 c 19 > 35.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 41.500000 | c 15 > 12.573400 | c 34 > 52.333300 | c 16 > 2.000000 | c 13 > 3.246200 | c 14 > 2.321930 | c 11 > 8.661780 | c 12 > 1.954770 | c 21 > 9.797960 | c 20 > 65.000000 | c 22 > 20.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.321930 | c 2 > -1.000000 | c 10 > 9.411510 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.712100 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 8.569860 | c
7.42/7.61 c choco : 1801.0
7.42/7.61 c mistral : 83.0154
7.42/7.61 c abscon : 1.26981
7.42/7.61 c
7.42/7.61 c
7.42/7.61 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-40-2-1.xml
7.42/7.61 c 19 > 47.500000 | c 35 > 25.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.779700 | c 34 > 50.500000 | c 16 > 3.000000 | c 13 > 2.199930 | c 14 > 6.339850 | c 11 > 6.643860 | c 12 > 0.765535 | c 21 > 6.782330 | c 20 > 52.500000 | c 22 > 6.782330 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 3.807350 | c 2 > 6.108520 | c 10 > 6.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.697100 | c 31 > -1.000000 | c 4 > 4.087460 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.62 c choco : 1.47
7.42/7.62 c mistral : 0.02
7.42/7.62 c abscon : 1.80672
7.42/7.62 c
7.42/7.62 c
7.42/7.62 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-40-2-1.xml
7.42/7.62 c 19 > 47.500000 | c 35 > 25.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.558400 | c 34 > 50.500000 | c 16 > 3.000000 | c 13 > 1.534240 | c 14 > 6.285400 | c 11 > 6.741470 | c 12 > 0.201048 | c 21 > 5.291500 | c 20 > 52.500000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 3.807350 | c 2 > 6.108520 | c 10 > 6.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.502900 | c 31 > -1.000000 | c 4 > 4.087460 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.63 c choco : 1.42
7.42/7.63 c mistral : 0.019996
7.42/7.63 c abscon : 1.01284
7.42/7.63 c
7.42/7.63 c
7.42/7.63 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-60-2-1.xml
7.42/7.63 c 19 > 50.000000 | c 35 > 25.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.392300 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 2.548740 | c 14 > 6.000000 | c 11 > 6.643860 | c 12 > 1.182690 | c 21 > 6.782330 | c 20 > 50.000000 | c 22 > 6.782330 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.754890 | c 2 > 5.754890 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.906890 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.209900 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.63 c choco : 1.56
7.42/7.64 c mistral : 0.02
7.42/7.64 c abscon : 2.07768
7.42/7.64 c
7.42/7.64 c
7.42/7.64 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/44s-smv.xml
7.42/7.64 c 19 > 75.292900 | c 35 > 38.839200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 55.079900 | c 15 > 19.766000 | c 34 > 67.231100 | c 16 > 13.000000 | c 13 > 9.295790 | c 14 > 10.263300 | c 11 > 11.288300 | c 12 > 5.478330 | c 21 > 1.327260 | c 20 > 24.707100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.964700 | c 1 > 8.558420 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.751100 | c 6 > 3.700440 | c 32 > -1.000000 | c 5 > 17.532800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.64 c choco : 526.57
7.42/7.64 c mistral : 10.6244
7.42/7.64 c abscon : 22.7125
7.42/7.64 c
7.42/7.64 c
7.42/7.64 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-60-2-1.xml
7.42/7.64 c 19 > 50.000000 | c 35 > 25.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.348700 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 1.036060 | c 14 > 5.727920 | c 11 > 6.794420 | c 12 > 0.490986 | c 21 > 5.291500 | c 20 > 50.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.754890 | c 2 > 5.754890 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.906890 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.972900 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.65 c choco : 1.54
7.42/7.65 c mistral : 0.024995
7.42/7.65 c abscon : 1.10383
7.42/7.65 c
7.42/7.65 c
7.42/7.65 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/blast-floppy1-2.xml
7.42/7.65 c 19 > 58.730200 | c 35 > 78.571400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 59.047600 | c 15 > 20.443800 | c 34 > 147.143000 | c 16 > 19.000000 | c 13 > 5.472010 | c 14 > 10.192300 | c 11 > 9.366320 | c 12 > 3.598740 | c 21 > 1.272170 | c 20 > 41.269800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.381500 | c 1 > 6.554590 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.378300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.672500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.65 c choco : 2.34
7.42/7.65 c mistral : 0.656899
7.42/7.65 c abscon : 9.58954
7.42/7.65 c
7.42/7.65 c
7.42/7.65 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-2-1.xml
7.42/7.65 c 19 > 52.500000 | c 35 > 24.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.498800 | c 34 > 49.500000 | c 16 > 3.000000 | c 13 > 2.730980 | c 14 > 5.392320 | c 11 > 6.643860 | c 12 > 1.182690 | c 21 > 6.782330 | c 20 > 47.500000 | c 22 > 6.782330 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 5.321930 | c 2 > 5.357550 | c 10 > 7.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.247930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.528900 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.66 c choco : 1.61
7.42/7.66 c mistral : 0.025995
7.42/7.66 c abscon : 2.43363
7.42/7.66 c
7.42/7.66 c
7.42/7.66 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-20-2-1.xml
7.42/7.66 c 19 > 55.000000 | c 35 > 24.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.116300 | c 34 > 49.000000 | c 16 > 3.000000 | c 13 > 2.634480 | c 14 > 6.954200 | c 11 > 6.643860 | c 12 > 0.475085 | c 21 > 6.782330 | c 20 > 45.000000 | c 22 > 6.782330 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 2.807350 | c 2 > 6.339850 | c 10 > 5.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 5.169930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.419700 | c 31 > -1.000000 | c 4 > 3.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.67 c choco : 1.34
7.42/7.67 c mistral : 0.017997
7.42/7.67 c abscon : 1.3248
7.42/7.67 c
7.42/7.67 c
7.42/7.67 c Length: 40
7.42/7.67 c 1.5119802064180605 3.291182487951709 4.5600725516925715 5.812504967894651 12.723829671553293 20.422029713547182 52.24701273639576 52.24701273639576 54.87474172293105 55.93072462240678 56.418286122704615 56.41928403732998 57.32733662348647 57.66334944101757 57.77564336904869 57.781736163132024 59.813533999686896 59.813533999686896 60.43591813213397 65.05196701599364 65.05388688960755 65.43116050536167 66.80346274000846 67.21876754071441 67.24945383458143 69.0420899173352 69.2094239810974 69.46063128423899 70.51244318512867 72.31678238002314 72.37007378456097 73.2909040957314 73.5314365405894 73.74658894844225 74.03092610570936 74.11653968417778 74.28640872244192 74.2937306139946 74.67534858309199 74.84262690479821
7.42/7.67 c
7.42/7.67 c 1.0 0.9763119976181892 0.9600923976562069 0.9446031190743992 0.8673820862415729 0.794992337601202 0.5910631139447216 0.5910631139447216 0.5788039625076559 0.5740195398092363 0.5718370968992692 0.5718326470106053 0.5678119719495079 0.5663384692460793 0.5658477349586327 0.565821133237797 0.5570874483939998 0.5570874483939998 0.5544658198943049 0.535766108616117 0.5357585935724523 0.534285895309799 0.5289966840407457 0.5274165710016342 0.5273001930722417 0.5205896132298496 0.519971918022874 0.5190473611678222 0.5152116558688171 0.5087620517525095 0.508574015958165 0.5053467280027855 0.5045104555719344 0.503764764995053 0.502782663923265 0.5024877040970637 0.5019034868622464 0.5018783357937984 0.5005709390981622 0.5
7.42/7.68 c
7.42/7.68 c solver 0
7.42/7.68 c before 0.0 seconds: {} 0
7.42/7.68 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 21036
7.42/7.68 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22112
7.42/7.68 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22647
7.42/7.68 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23204
7.42/7.68 c before 180.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23761
7.42/7.68 c
7.42/7.68 c solver 1
7.42/7.68 c before 0.0 seconds: {} 0
7.42/7.68 c before 18.0 seconds: {0, 1, 2, 3, 6, 7, 8, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 32, 33, 34, 35, 36, 37, 38, 39} 18881
7.42/7.68 c before 36.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 32, 33, 34, 35, 36, 37, 38, 39} 19748
7.42/7.68 c before 72.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 32, 33, 34, 35, 36, 37, 38, 39} 20264
7.42/7.68 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21564
7.42/7.68 c before 216.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22073
7.42/7.69 c before 1746.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22630
7.42/7.69 c
7.42/7.69 c solver 2
7.42/7.69 c before 0.0 seconds: {} 0
7.42/7.69 c before 18.0 seconds: {0, 1, 2, 3, 6, 7, 8, 10, 11, 12, 13, 14, 15, 19, 20, 21, 22, 23, 24, 26, 27, 30, 32, 33, 34, 36, 37, 38, 39} 17303
7.42/7.69 c before 54.0 seconds: {0, 1, 2, 3, 6, 7, 8, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 26, 27, 30, 32, 33, 34, 36, 37, 38, 39} 17858
7.42/7.69 c before 306.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 26, 27, 30, 32, 33, 34, 36, 37, 38, 39} 18653
7.42/7.69 c before 540.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 26, 27, 30, 32, 33, 34, 35, 36, 37, 38, 39} 19155
7.42/7.69 c
7.42/7.69 cTotal time: 137
7.42/7.69 c run abscon for 180.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23761
7.42/7.69 c run mistral for 216.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22073
7.42/7.69 c run choco for 540.0 seconds {0, 1, 2, 3, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 26, 27, 30, 32, 33, 34, 35, 36, 37, 38, 39} 19155
7.42/7.69 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.42/7.69 c On Instance: HOME/instance-1081646-1215218146.xml
7.42/7.69 c Running for: 180 seconds
7.48/8.48 s UNSATISFIABLE
7.48/8.48 d ASSIGNMENTS 140
7.48/8.48 d CHECKS 349494