0.00/0.00 c cpHydra_k_40 version 0.0
6.99/7.17 c CASE TO CLASSIFY:
6.99/7.17 c Case: 0
6.99/7.18 c 19 > 50.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.000000 | c 15 > 5.129280 | c 34 > 120.000000 | c 16 > 2.000000 | c 13 > -0.321928 | c 14 > 1.000000 | c 11 > 2.321930 | c 12 > 2.485430 | 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
6.99/7.19 c choco : 1801.0
6.99/7.19 c mistral : 1801.0
6.99/7.19 c abscon : 1801.0
6.99/7.19 c
6.99/7.19 c
7.09/7.26 c List of same ones: 40
7.09/7.26 c /home/eomahony/cpZilla/CSP/knights/knights-25-5.xml
7.09/7.26 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.09/7.27 c choco : 291.7
7.09/7.27 c mistral : 77.3502
7.09/7.27 c abscon : 1.67074
7.09/7.27 c
7.09/7.27 c
7.09/7.27 c /home/eomahony/cpZilla/CSP/knights/knights-20-5.xml
7.09/7.27 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.09/7.28 c choco : 1801.0
7.09/7.28 c mistral : 21.0048
7.09/7.28 c abscon : 1.13583
7.09/7.28 c
7.09/7.28 c
7.09/7.28 c /home/eomahony/cpZilla/CSP/knights/knights-15-5.xml
7.09/7.28 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.09/7.29 c choco : 2.81
7.09/7.29 c mistral : 3.49347
7.09/7.29 c abscon : 0.842871
7.09/7.29 c
7.09/7.29 c
7.09/7.29 c /home/eomahony/cpZilla/CSP/knights/knights-12-5.xml
7.09/7.29 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
7.09/7.30 c choco : 1.9
7.09/7.30 c mistral : 0.872867
7.09/7.30 c abscon : 0.789879
7.09/7.30 c
7.09/7.30 c
7.09/7.30 c /home/eomahony/cpZilla/CSP/knights/knights-10-5.xml
7.09/7.30 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
7.18/7.31 c choco : 1.91
7.18/7.31 c mistral : 0.337948
7.18/7.31 c abscon : 0.750885
7.18/7.31 c
7.18/7.31 c
7.18/7.31 c /home/eomahony/cpZilla/CSP/knights/knights-8-5.xml
7.18/7.31 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.18/7.32 c choco : 1.36
7.18/7.32 c mistral : 0.108983
7.18/7.32 c abscon : 0.728888
7.18/7.32 c
7.18/7.32 c
7.18/7.32 c /home/eomahony/cpZilla/CSP/knights/knights-50-5.xml
7.18/7.32 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.18/7.33 c choco : 1801.0
7.18/7.33 c mistral : 1800.09
7.18/7.33 c abscon : 20.8908
7.18/7.33 c
7.18/7.33 c
7.18/7.33 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-pipex.xml
7.18/7.33 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.18/7.33 c choco : 2.26
7.18/7.33 c mistral : 0.037993
7.18/7.33 c abscon : 5.39018
7.18/7.33 c
7.18/7.33 c
7.18/7.33 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pipex.xml
7.18/7.33 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.18/7.34 c choco : 2.24
7.18/7.34 c mistral : 0.037994
7.18/7.34 c abscon : 5.20121
7.18/7.34 c
7.18/7.34 c
7.18/7.34 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/blast-floppy1-3.xml
7.18/7.34 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.18/7.35 c choco : 2.31
7.18/7.35 c mistral : 0.12
7.18/7.35 c abscon : 1.45478
7.18/7.35 c
7.18/7.35 c
7.18/7.35 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-p0033.xml
7.18/7.35 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.36/7.55 c choco : 1.19
7.36/7.55 c mistral : 0.01
7.36/7.55 c abscon : 0.795878
7.36/7.55 c
7.36/7.55 c
7.36/7.55 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p0033.xml
7.36/7.55 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.36/7.56 c choco : 1.22
7.36/7.56 c mistral : 0.019996
7.36/7.56 c abscon : 0.772881
7.36/7.56 c
7.36/7.56 c
7.36/7.56 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-p0040.xml
7.36/7.56 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.36/7.57 c choco : 1.19
7.36/7.57 c mistral : 0.01
7.36/7.57 c abscon : 0.679895
7.36/7.57 c
7.36/7.57 c
7.36/7.57 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/blast-floppy1-4.xml
7.36/7.57 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.36/7.58 c choco : 2.06
7.36/7.58 c mistral : 0.1
7.36/7.58 c abscon : 2.28665
7.36/7.58 c
7.36/7.58 c
7.36/7.58 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/data-6-3.xml
7.36/7.58 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.36/7.58 c choco : 11.83
7.36/7.58 c mistral : 5.75113
7.36/7.58 c abscon : 13.9009
7.36/7.58 c
7.36/7.58 c
7.36/7.58 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/circ-6-3.xml
7.36/7.58 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.36/7.60 c choco : 11.86
7.36/7.60 c mistral : 5.9011
7.36/7.60 c abscon : 13.311
7.36/7.60 c
7.36/7.60 c
7.36/7.60 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/circ-8-3.xml
7.36/7.60 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.44/7.61 c choco : 1801.0
7.44/7.61 c mistral : 1800.04
7.44/7.61 c abscon : 158.109
7.44/7.61 c
7.44/7.61 c
7.44/7.61 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/data-8-3.xml
7.44/7.61 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.44/7.61 c choco : 1801.0
7.44/7.61 c mistral : 1731.45
7.44/7.61 c abscon : 167.962
7.44/7.61 c
7.44/7.61 c
7.44/7.62 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-manna81.xml
7.44/7.62 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.44/7.62 c choco : 52.31
7.44/7.62 c mistral : 13.59
7.44/7.62 c abscon : 16.9674
7.44/7.62 c
7.44/7.62 c
7.44/7.62 c /home/eomahony/cpZilla/CSP/knights/knights-25-9.xml
7.44/7.62 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.44/7.63 c choco : 1801.0
7.44/7.63 c mistral : 206.566
7.44/7.63 c abscon : 2.28265
7.44/7.63 c
7.44/7.63 c
7.44/7.63 c /home/eomahony/cpZilla/CSP/knights/knights-20-9.xml
7.44/7.63 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.44/7.64 c choco : 1801.0
7.44/7.64 c mistral : 59.293
7.44/7.64 c abscon : 1.42378
7.44/7.64 c
7.44/7.64 c
7.44/7.64 c /home/eomahony/cpZilla/CSP/knights/knights-15-9.xml
7.44/7.64 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.44/7.64 c choco : 10.09
7.44/7.64 c mistral : 10.5634
7.44/7.64 c abscon : 0.893863
7.44/7.64 c
7.44/7.64 c
7.44/7.64 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-12-5-mul.xml
7.44/7.64 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.44/7.65 c choco : 11.06
7.44/7.65 c mistral : 1.70074
7.44/7.65 c abscon : 0.840871
7.44/7.65 c
7.44/7.65 c
7.44/7.65 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/lseu.xml
7.44/7.65 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.44/7.65 c choco : 1.34
7.44/7.65 c mistral : 0.04
7.44/7.65 c abscon : 1.12983
7.44/7.65 c
7.44/7.65 c
7.44/7.66 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-lseu.xml
7.44/7.66 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.44/7.66 c choco : 1.34
7.44/7.66 c mistral : 0.04
7.44/7.66 c abscon : 1.3278
7.44/7.66 c
7.44/7.66 c
7.44/7.66 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-10-5-mul.xml
7.44/7.66 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.44/7.67 c choco : 7.88
7.44/7.67 c mistral : 2.12568
7.44/7.67 c abscon : 0.836872
7.44/7.67 c
7.44/7.67 c
7.44/7.67 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-15-5-mul.xml
7.44/7.67 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.44/7.67 c choco : 1801.0
7.44/7.67 c mistral : 6.70198
7.44/7.67 c abscon : 1.00285
7.44/7.67 c
7.44/7.67 c
7.44/7.67 c /home/eomahony/cpZilla/CSP/knights/knights-12-9.xml
7.44/7.67 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.44/7.68 c choco : 4.64
7.44/7.68 c mistral : 2.98454
7.44/7.68 c abscon : 0.835872
7.44/7.68 c
7.44/7.68 c
7.44/7.68 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/blast-tlan2.xml
7.44/7.68 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.44/7.68 c choco : 14.02
7.44/7.68 c mistral : 4.44432
7.44/7.68 c abscon : 77.6532
7.44/7.68 c
7.44/7.68 c
7.44/7.68 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-8-5-mul.xml
7.44/7.68 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.44/7.69 c choco : 4.16
7.44/7.69 c mistral : 0.385941
7.44/7.69 c abscon : 0.737887
7.44/7.69 c
7.44/7.69 c
7.44/7.69 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-20-5-mul.xml
7.44/7.69 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.44/7.70 c choco : 1801.0
7.44/7.70 c mistral : 83.0154
7.44/7.70 c abscon : 1.26981
7.44/7.70 c
7.44/7.70 c
7.44/7.70 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-40-2-1.xml
7.44/7.70 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.44/7.70 c choco : 1.47
7.44/7.70 c mistral : 0.02
7.44/7.70 c abscon : 1.80672
7.44/7.70 c
7.44/7.70 c
7.44/7.70 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-25-5-mul.xml
7.44/7.70 c 19 > 29.885100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 35.517200 | c 15 > 12.146300 | c 34 > 51.609200 | c 16 > 2.000000 | c 13 > 3.392760 | c 14 > 1.000000 | c 11 > 9.299210 | c 12 > 1.926600 | c 21 > 11.180300 | c 20 > 70.114900 | 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 > 4.643860 | c 2 > -1.000000 | c 10 > 10.016800 | 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 > 14.646700 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 9.228820 | c
7.51/7.71 c choco : 1801.0
7.51/7.71 c mistral : 162.159
7.51/7.71 c abscon : 1.9547
7.51/7.71 c
7.51/7.71 c
7.51/7.71 c /home/eomahony/cpZilla/CSP/knights/knights-50-9.xml
7.51/7.71 c 19 > 25.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 22.500000 | c 15 > 0.000000 | c 34 > 65.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 3.169930 | c 12 > 3.000000 | c 21 > 50.000000 | c 20 > 75.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 > 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 > 14.457600 | c 31 > -1.000000 | c 4 > 3.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/7.71 c choco : 1801.0
7.51/7.71 c mistral : 1800.01
7.51/7.71 c abscon : 30.9453
7.51/7.71 c
7.51/7.71 c
7.51/7.71 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-60-2-1.xml
7.51/7.71 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.51/7.72 c choco : 1.56
7.51/7.72 c mistral : 0.02
7.51/7.72 c abscon : 2.07768
7.51/7.72 c
7.51/7.72 c
7.51/7.72 c /home/eomahony/cpZilla/CSP/queenAttacking/queenAttacking-3.xml
7.51/7.72 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.51/7.73 c choco : 1.43
7.51/7.73 c mistral : 0.01
7.51/7.73 c abscon : 0.675896
7.51/7.73 c
7.51/7.73 c
7.51/7.73 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-40-2-1.xml
7.51/7.73 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.51/7.73 c choco : 1.42
7.51/7.73 c mistral : 0.019996
7.51/7.73 c abscon : 1.01284
7.51/7.73 c
7.51/7.73 c
7.51/7.73 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-2-1.xml
7.51/7.73 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.51/7.74 c choco : 1.61
7.51/7.74 c mistral : 0.025995
7.51/7.74 c abscon : 2.43363
7.51/7.74 c
7.51/7.74 c
7.51/7.74 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-60-2-1.xml
7.51/7.74 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.51/7.75 c choco : 1.54
7.51/7.75 c mistral : 0.024995
7.51/7.75 c abscon : 1.10383
7.51/7.75 c
7.51/7.75 c
7.51/7.75 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-20-2-1.xml
7.51/7.75 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.51/7.75 c choco : 1.34
7.51/7.75 c mistral : 0.017997
7.51/7.75 c abscon : 1.3248
7.51/7.75 c
7.51/7.75 c
7.51/7.76 c Length: 40
7.51/7.76 c 1.6428658784270858 8.490653081779044 16.67898830221078 21.92020143219911 24.40508586472303 26.436533133427766 35.84696552346494 60.91398841728691 60.91398841728691 62.77169272634182 63.383331520892696 63.38522680129578 64.16152913379644 65.1257878513179 66.25667344833698 66.2752420216562 68.11512354500316 68.11512354500316 68.30381060173161 69.20655974232751 69.61707601865926 70.88794565056843 71.25648754362456 71.51692889563246 71.5192703971675 71.74009990817049 71.90863302673681 72.16050904711221 72.77503187008868 72.99917325475751 74.6251446645451 77.58220693911646 77.91012072506335 77.94388040917954 78.0372385555103 78.14191005745319 78.22100528778218 78.61702809483683 78.64269149280739 78.8766603527418
7.51/7.76 c
7.51/7.76 c 1.0 0.9185578212645489 0.8370419858469216 0.7920510658841569 0.7723687278030247 0.7569902569880678 0.6930658110929082 0.5657949630258419 0.5657949630258419 0.5581984045708902 0.5557417208727359 0.5557341419726739 0.5526471285657389 0.548860124257458 0.5444843152881436 0.5444130488481912 0.5374428795705414 0.5374428795705414 0.5367381386212107 0.5333918105949015 0.5318838632851611 0.5272691701901397 0.5259458865856983 0.5250147462637528 0.5250063897878406 0.524219475412047 0.5236205018148887 0.5227278712571897 0.5205627640716562 0.5197775189086687 0.514151334127959 0.5042254583648238 0.5031483160276564 0.5030376823002121 0.5027319918371618 0.5023896985892046 0.5021313530374552 0.5008418251025324 0.5007584885182617 0.5
7.51/7.77 c
7.51/7.77 c solver 0
7.51/7.77 c before 0.0 seconds: {} 0
7.51/7.77 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 20394
7.51/7.77 c before 36.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, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21590
7.51/7.77 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} 22111
7.51/7.77 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} 22648
7.51/7.77 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} 23186
7.51/7.77 c
7.51/7.77 c solver 1
7.51/7.77 c before 0.0 seconds: {} 0
7.51/7.77 c before 18.0 seconds: {2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 34, 35, 36, 37, 38, 39} 16914
7.51/7.77 c before 36.0 seconds: {1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 34, 35, 36, 37, 38, 39} 17832
7.51/7.77 c before 72.0 seconds: {1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 34, 35, 36, 37, 38, 39} 18364
7.51/7.77 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 19878
7.51/7.77 c before 180.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 20381
7.51/7.77 c before 216.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 20915
7.51/7.77 c before 1746.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 21452
7.51/7.77 c
7.51/7.77 c solver 2
7.51/7.77 c before 0.0 seconds: {} 0
7.51/7.77 c before 18.0 seconds: {2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 21, 22, 23, 24, 25, 27, 28, 29, 31, 34, 35, 36, 37, 38, 39} 15853
7.51/7.77 c before 54.0 seconds: {2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 21, 22, 23, 24, 25, 27, 28, 29, 31, 34, 35, 36, 37, 38, 39} 16390
7.51/7.77 c before 306.0 seconds: {0, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 21, 22, 23, 24, 25, 27, 28, 29, 31, 34, 35, 36, 37, 38, 39} 17390
7.51/7.77 c
7.51/7.77 cTotal time: 124
7.51/7.78 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} 23186
7.51/7.78 c run mistral for 216.0 seconds {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 20915
7.51/7.78 c run choco for 306.0 seconds {0, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 21, 22, 23, 24, 25, 27, 28, 29, 31, 34, 35, 36, 37, 38, 39} 17390
7.51/7.78 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.51/7.78 c On Instance: HOME/instance-1081541-1215217403.xml
7.51/7.78 c Running for: 180 seconds
9.23/9.50 s UNSATISFIABLE
9.23/9.50 d ASSIGNMENTS 621
9.23/9.50 d CHECKS 11640674