0.00/0.00 c cpHydra_k_40 version 0.0
7.01/7.27 c CASE TO CLASSIFY:
7.01/7.27 c Case: 0
7.01/7.27 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.557200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.062300 | c 14 > 13.551600 | c 11 > 4.754890 | c 12 > 11.829000 | c 21 > 5.196150 | c 20 > 0.000000 | c 22 > 5.196150 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.455330 | 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.509780 | c 31 > -1.000000 | c 4 > 4.754890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.28 c choco : 1801.0
7.01/7.28 c mistral : 1801.0
7.01/7.28 c abscon : 1801.0
7.01/7.28 c
7.01/7.28 c
7.11/7.36 c List of same ones: 40
7.11/7.36 c /home/eomahony/cpZilla/CSP/random/rand-2-25/rand-25-25-300-147-52021_ext.xml
7.11/7.36 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.293600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.017100 | c 14 > 13.448100 | c 11 > 4.643860 | c 12 > 12.063900 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.228820 | 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.287710 | c 31 > -1.000000 | c 4 > 4.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.37 c choco : 391.36
7.11/7.37 c mistral : 275.489
7.11/7.37 c abscon : 304.569
7.11/7.37 c
7.11/7.37 c
7.11/7.37 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-47021_ext.xml
7.11/7.37 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.186200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.847930 | c 14 > 13.524700 | c 11 > 4.523560 | c 12 > 12.000700 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | 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.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.37 c choco : 1801.0
7.11/7.38 c mistral : 87.28
7.11/7.38 c abscon : 95.6315
7.11/7.38 c
7.11/7.38 c
7.11/7.38 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-48021_ext.xml
7.11/7.38 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.056900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.888660 | c 14 > 13.373500 | c 11 > 4.523560 | c 12 > 11.901900 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | 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.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.39 c choco : 1801.0
7.11/7.39 c mistral : 32.602
7.11/7.39 c abscon : 62.8434
7.11/7.39 c
7.11/7.39 c
7.11/7.39 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-51021_ext.xml
7.11/7.39 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.035600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.900150 | c 14 > 13.407300 | c 11 > 4.523560 | c 12 > 11.948300 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | 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.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.39 c choco : 1801.0
7.11/7.39 c mistral : 90.08
7.11/7.39 c abscon : 101.899
7.11/7.39 c
7.11/7.39 c
7.11/7.39 c /home/eomahony/cpZilla/CSP/random/rand-2-24/rand-24-24-276-139-50021_ext.xml
7.11/7.39 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.886400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.676820 | c 14 > 13.145300 | c 11 > 4.584960 | c 12 > 11.670100 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.108520 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.19/7.41 c choco : 112.05
7.19/7.41 c mistral : 27.24
7.19/7.41 c abscon : 138.649
7.19/7.41 c
7.19/7.41 c
7.19/7.41 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-55021_ext.xml
7.19/7.41 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.002300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.099800 | c 14 > 13.346100 | c 11 > 4.523560 | c 12 > 12.116200 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | 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.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.19/7.42 c choco : 1801.0
7.19/7.42 c mistral : 95.25
7.19/7.42 c abscon : 95.2655
7.19/7.42 c
7.19/7.42 c
7.19/7.42 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-50021_ext.xml
7.19/7.42 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.944600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.806920 | c 14 > 13.303600 | c 11 > 4.523560 | c 12 > 11.896500 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | 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.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.19/7.42 c choco : 1801.0
7.19/7.42 c mistral : 31.2942
7.19/7.42 c abscon : 59.9849
7.19/7.42 c
7.19/7.42 c
7.19/7.42 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-54021_ext.xml
7.19/7.42 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.985800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.714940 | c 14 > 13.308600 | c 11 > 4.523560 | c 12 > 11.788000 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | 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.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.19/7.43 c choco : 1801.0
7.19/7.43 c mistral : 4.64529
7.19/7.43 c abscon : 12.3941
7.19/7.43 c
7.19/7.43 c
7.19/7.43 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-46021_ext.xml
7.19/7.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.889900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.733450 | c 14 > 13.227800 | c 11 > 4.523560 | c 12 > 11.834200 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | 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.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.19/7.44 c choco : 1801.0
7.19/7.44 c mistral : 83.47
7.19/7.44 c abscon : 101.002
7.19/7.44 c
7.19/7.44 c
7.19/7.44 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-52021_ext.xml
7.19/7.44 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.880600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.678130 | c 14 > 13.205500 | c 11 > 4.523560 | c 12 > 11.815300 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | 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.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.19/7.45 c choco : 1801.0
7.19/7.45 c mistral : 88.66
7.19/7.45 c abscon : 92.282
7.19/7.45 c
7.19/7.45 c
7.19/7.45 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-49021_ext.xml
7.19/7.45 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.814200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.591420 | c 14 > 13.129000 | c 11 > 4.523560 | c 12 > 11.752900 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | 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.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.65 c choco : 36.95
7.38/7.65 c mistral : 7.76
7.38/7.65 c abscon : 2.01169
7.38/7.65 c
7.38/7.65 c
7.38/7.65 c /home/eomahony/cpZilla/CSP/random/rand-2-25/rand-25-25-300-147-58021_ext.xml
7.38/7.65 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.658600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.777100 | c 14 > 12.827500 | c 11 > 4.643860 | c 12 > 11.357200 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.228820 | 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.287710 | c 31 > -1.000000 | c 4 > 4.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.66 c choco : 1801.0
7.38/7.66 c mistral : 573.9
7.38/7.66 c abscon : 539.853
7.38/7.66 c
7.38/7.66 c
7.38/7.66 c /home/eomahony/cpZilla/CSP/random/rand-2-24/rand-24-24-276-139-51021_ext.xml
7.38/7.66 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.785000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.350980 | c 14 > 13.024600 | c 11 > 4.584960 | c 12 > 11.494600 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.108520 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.67 c choco : 591.06
7.38/7.67 c mistral : 270.003
7.38/7.67 c abscon : 218.831
7.38/7.67 c
7.38/7.67 c
7.38/7.67 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-53021_ext.xml
7.38/7.67 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.755000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.572340 | c 14 > 13.071000 | c 11 > 4.523560 | c 12 > 11.648500 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | 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.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.68 c choco : 1801.0
7.38/7.68 c mistral : 14.6088
7.38/7.68 c abscon : 51.1922
7.38/7.68 c
7.38/7.68 c
7.38/7.68 c /home/eomahony/cpZilla/CSP/random/rand-2-24/rand-24-24-276-139-48021_ext.xml
7.38/7.68 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.765400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.293040 | c 14 > 13.018700 | c 11 > 4.584960 | c 12 > 11.402200 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.108520 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.68 c choco : 1801.0
7.38/7.68 c mistral : 13.383
7.38/7.68 c abscon : 147.566
7.38/7.68 c
7.38/7.68 c
7.38/7.68 c /home/eomahony/cpZilla/CSP/random/rand-2-24/rand-24-24-276-139-52021_ext.xml
7.38/7.68 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.607300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.501440 | c 14 > 12.865000 | c 11 > 4.584960 | c 12 > 11.448500 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.108520 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.69 c choco : 661.79
7.38/7.69 c mistral : 268.842
7.38/7.69 c abscon : 215.91
7.38/7.69 c
7.38/7.69 c
7.38/7.69 c /home/eomahony/cpZilla/CSP/random/rand-2-24/rand-24-24-276-139-49021_ext.xml
7.38/7.69 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.753100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.186300 | c 14 > 12.939200 | c 11 > 4.584960 | c 12 > 11.344600 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.108520 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.70 c choco : 567.85
7.38/7.70 c mistral : 241.78
7.38/7.70 c abscon : 228.635
7.38/7.70 c
7.38/7.70 c
7.38/7.70 c /home/ehebrard/new_instances/competition_4c/data/langford/langford-3-11-ext.xml
7.38/7.70 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.691300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.671710 | c 14 > 12.895200 | c 11 > 5.044390 | c 12 > 12.458900 | c 21 > 5.744560 | c 20 > 0.000000 | c 22 > 5.744560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.105910 | 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.088800 | c 31 > -1.000000 | c 4 > 5.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.70 c choco : 12.43
7.38/7.70 c mistral : 2.58
7.38/7.70 c abscon : 6.55
7.38/7.70 c
7.38/7.70 c
7.38/7.70 c /home/eomahony/cpZilla/CSP/langford/langford-3-11-ext.xml
7.38/7.70 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.804200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.559760 | c 14 > 13.003200 | c 11 > 5.044390 | c 12 > 12.493900 | c 21 > 5.744560 | c 20 > 0.000000 | c 22 > 5.744560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.105910 | 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.088800 | c 31 > -1.000000 | c 4 > 5.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.72 c choco : 5.91
7.46/7.72 c mistral : 1.95
7.46/7.72 c abscon : 5.51616
7.46/7.72 c
7.46/7.72 c
7.46/7.72 c /home/eomahony/cpZilla/CSP/random/rand-2-25/rand-25-25-300-147-55021_ext.xml
7.46/7.72 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.772600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.091060 | c 14 > 12.885300 | c 11 > 4.643860 | c 12 > 11.206600 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.228820 | 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.287710 | c 31 > -1.000000 | c 4 > 4.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.73 c choco : 1801.0
7.46/7.73 c mistral : 612.121
7.46/7.73 c abscon : 532.17
7.46/7.73 c
7.46/7.73 c
7.46/7.73 c /home/eomahony/cpZilla/CSP/langford/slangford-3-11-ext.xml
7.46/7.73 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.677700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.594940 | c 14 > 12.789700 | c 11 > 5.044390 | c 12 > 12.353800 | c 21 > 5.744560 | c 20 > 0.000000 | c 22 > 5.744560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.162390 | 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.088800 | c 31 > -1.000000 | c 4 > 5.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.73 c choco : 6.84
7.46/7.73 c mistral : 2.08
7.46/7.73 c abscon : 6.03008
7.46/7.73 c
7.46/7.73 c
7.46/7.73 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-5_ext.xml
7.46/7.73 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.794700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.484800 | c 14 > 13.533800 | c 11 > 5.321930 | c 12 > 11.516900 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | 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 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.74 c choco : 1801.0
7.46/7.74 c mistral : 6.69
7.46/7.74 c abscon : 14.9237
7.46/7.74 c
7.46/7.74 c
7.46/7.74 c /home/eomahony/cpZilla/CSP/random/rand-2-26/rand-26-26-325-155-60021_ext.xml
7.46/7.74 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.759500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.241420 | c 14 > 12.797300 | c 11 > 4.700440 | c 12 > 10.936000 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.344300 | 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.400880 | c 31 > -1.000000 | c 4 > 4.700440 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.74 c choco : 1801.0
7.46/7.74 c mistral : 1381.28
7.46/7.74 c abscon : 1289.82
7.46/7.74 c
7.46/7.74 c
7.46/7.74 c /home/eomahony/cpZilla/CSP/random/rand-2-26/rand-26-26-325-155-56021_ext.xml
7.46/7.74 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.653000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.326990 | c 14 > 12.706300 | c 11 > 4.700440 | c 12 > 11.035200 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.344300 | 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.400880 | c 31 > -1.000000 | c 4 > 4.700440 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.75 c choco : 1801.0
7.46/7.75 c mistral : 1414.49
7.46/7.75 c abscon : 1318.13
7.46/7.75 c
7.46/7.75 c
7.46/7.75 c /home/eomahony/cpZilla/CSP/random/rand-2-25/rand-25-25-300-147-57021_ext.xml
7.46/7.75 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.687900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.172800 | c 14 > 12.808600 | c 11 > 4.643860 | c 12 > 11.097300 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.228820 | 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.287710 | c 31 > -1.000000 | c 4 > 4.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.76 c choco : 1801.0
7.46/7.76 c mistral : 569.468
7.46/7.76 c abscon : 521.111
7.46/7.76 c
7.46/7.76 c
7.46/7.76 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-29_ext.xml
7.46/7.76 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.862300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.714500 | c 14 > 13.455700 | c 11 > 5.321930 | c 12 > 11.525900 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | 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 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.76 c choco : 1801.0
7.46/7.76 c mistral : 25.88
7.46/7.76 c abscon : 28.1027
7.46/7.76 c
7.46/7.76 c
7.46/7.76 c /home/ehebrard/new_instances/competition_4c/data/langford/slangford-3-11-ext.xml
7.46/7.76 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.577100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.490330 | c 14 > 12.683400 | c 11 > 5.044390 | c 12 > 12.257800 | c 21 > 5.744560 | c 20 > 0.000000 | c 22 > 5.744560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.162390 | 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.088800 | c 31 > -1.000000 | c 4 > 5.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.77 c choco : 11.59
7.46/7.77 c mistral : 2.78
7.46/7.77 c abscon : 7.34
7.46/7.77 c
7.46/7.77 c
7.46/7.77 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-31_ext.xml
7.46/7.77 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.883100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.733700 | c 14 > 13.539400 | c 11 > 5.321930 | c 12 > 11.492300 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | 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 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.77 c choco : 60.5
7.46/7.77 c mistral : 12.57
7.46/7.77 c abscon : 8.16776
7.46/7.77 c
7.46/7.77 c
7.46/7.77 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-73_ext.xml
7.46/7.77 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.715900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.335400 | c 14 > 13.259300 | c 11 > 5.321930 | c 12 > 11.383700 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | 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 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.78 c choco : 110.59
7.46/7.78 c mistral : 8.35
7.46/7.78 c abscon : 1.61075
7.46/7.78 c
7.46/7.78 c
7.46/7.78 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-69_ext.xml
7.46/7.78 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.786700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.664000 | c 14 > 13.372700 | c 11 > 5.321930 | c 12 > 11.534300 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | 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 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.78 c choco : 58.34
7.46/7.78 c mistral : 7.02
7.46/7.78 c abscon : 5.48817
7.46/7.78 c
7.46/7.78 c
7.46/7.78 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-53_ext.xml
7.46/7.78 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.720100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.485900 | c 14 > 13.312600 | c 11 > 5.321930 | c 12 > 11.376600 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | 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 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.79 c choco : 1801.0
7.46/7.79 c mistral : 32.0
7.46/7.79 c abscon : 34.0228
7.46/7.79 c
7.46/7.79 c
7.46/7.79 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-75_ext.xml
7.46/7.79 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.836200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.726700 | c 14 > 13.417100 | c 11 > 5.321930 | c 12 > 11.410200 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | 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 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.80 c choco : 40.54
7.46/7.80 c mistral : 7.05
7.46/7.80 c abscon : 7.43887
7.46/7.80 c
7.46/7.80 c
7.46/7.80 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-51_ext.xml
7.46/7.80 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.596800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.271900 | c 14 > 13.335900 | c 11 > 5.321930 | c 12 > 11.428700 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | 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 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/7.80 c choco : 22.54
7.51/7.80 c mistral : 8.69
7.51/7.80 c abscon : 1.27181
7.51/7.80 c
7.51/7.80 c
7.51/7.80 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-35_ext.xml
7.51/7.80 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.659400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.507700 | c 14 > 13.285000 | c 11 > 5.321930 | c 12 > 11.491400 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | 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 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/7.81 c choco : 35.37
7.51/7.81 c mistral : 3.82842
7.51/7.81 c abscon : 7.83981
7.51/7.81 c
7.51/7.81 c
7.51/7.81 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-63_ext.xml
7.51/7.81 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.664500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.420500 | c 14 > 13.287400 | c 11 > 5.321930 | c 12 > 11.365700 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | 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 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/7.82 c choco : 95.41
7.51/7.82 c mistral : 13.46
7.51/7.82 c abscon : 2.44663
7.51/7.82 c
7.51/7.82 c
7.51/7.82 c /home/eomahony/cpZilla/CSP/random/rand-2-24/rand-24-24-276-139-56021_ext.xml
7.51/7.82 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.601500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.148990 | c 14 > 12.834100 | c 11 > 4.584960 | c 12 > 11.242400 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.108520 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/7.82 c choco : 650.73
7.51/7.82 c mistral : 285.133
7.51/7.82 c abscon : 232.713
7.51/7.82 c
7.51/7.82 c
7.51/7.82 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-77_ext.xml
7.51/7.82 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.747800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.480600 | c 14 > 13.305900 | c 11 > 5.321930 | c 12 > 11.224300 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | 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 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/7.83 c choco : 1801.0
7.51/7.83 c mistral : 18.65
7.51/7.83 c abscon : 20.1049
7.51/7.83 c
7.51/7.83 c
7.51/7.83 c /home/eomahony/cpZilla/CSP/random/rand-2-24/rand-24-24-276-139-57021_ext.xml
7.51/7.83 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.593700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.183530 | c 14 > 12.825200 | c 11 > 4.584960 | c 12 > 11.181200 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.108520 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/7.83 c choco : 578.02
7.51/7.83 c mistral : 250.8
7.51/7.83 c abscon : 216.885
7.51/7.83 c
7.51/7.83 c
7.51/7.83 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-65_ext.xml
7.51/7.83 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.751000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.614300 | c 14 > 13.346700 | c 11 > 5.321930 | c 12 > 11.306600 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | 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 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/7.84 c choco : 1801.0
7.51/7.84 c mistral : 8.61
7.51/7.84 c abscon : 11.4753
7.51/7.84 c
7.51/7.84 c
7.51/7.84 c /home/eomahony/cpZilla/CSP/frb/frb35-17/frb35-17-3-mgd_ext.xml
7.51/7.84 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.105600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.299600 | c 14 > 13.308100 | c 11 > 5.129280 | c 12 > 11.746600 | c 21 > 4.123110 | c 20 > 0.000000 | c 22 > 4.123110 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.055280 | 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.216750 | c 31 > -1.000000 | c 4 > 5.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/7.85 c choco : 13.76
7.51/7.85 c mistral : 2.03669
7.51/7.85 c abscon : 1.07084
7.51/7.85 c
7.51/7.85 c
7.51/7.85 c Length: 40
7.51/7.85 c 0.5827907787534041 1.0385079155692567 1.0872826924953805 1.0945834167846706 1.1220712974673241 1.1396196926167956 1.171006681535166 1.1715739939926977 1.2341003955513516 1.2609701593217826 1.3501324520949807 1.3557152657545766 1.4007030265548808 1.4183937906660495 1.4679906211553273 1.5176367766366254 1.5791698946598514 1.5892842354657644 1.6074937245911727 1.6101144615833995 1.6410904392506838 1.6473869699011237 1.6509305570192847 1.6588833339930829 1.6842070721262288 1.6927980826430542 1.6939633795038194 1.6955685119156954 1.7094878644202196 1.7119621837529018 1.7315334846892243 1.7352233656218443 1.7404927401744605 1.7452001027389386 1.7509760531200889 1.7540100006271353 1.764194407824717 1.765791151042503 1.7679921630482425 1.7763467766176755
7.51/7.85 c
7.51/7.85 c 1.0 0.7236860728321759 0.7028988933152314 0.6998897308980422 0.6887874224979805 0.6818820191304147 0.6698702552394686 0.6696570378350972 0.6469609430510214 0.6376734722318115 0.6086783698051402 0.6069503394771498 0.5933755108668061 0.588202300614918 0.5741684399604288 0.560775643064127 0.5450188867966771 0.5425132582276221 0.5380598154480345 0.5374248808882591 0.5300321951952738 0.5285542771085273 0.527726147106527 0.5258770113249364 0.5200742520603112 0.5181346642202121 0.5178726894705465 0.5175122671136638 0.514407676617696 0.5138596963176547 0.5095660924577525 0.5087646229959206 0.5076244370171347 0.5066101723972494 0.5053711902730186 0.5047228116660101 0.5025584369214391 0.502220781654443 0.5017560877860208 0.5
7.51/7.86 c
7.51/7.86 c solver 0
7.51/7.86 c before 0.0 seconds: {} 0
7.51/7.86 c before 18.0 seconds: {7, 10, 17, 18, 20, 21, 26, 27, 28, 29, 31, 32, 33, 34, 38, 39} 8511
7.51/7.86 c before 36.0 seconds: {7, 10, 17, 18, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 38, 39} 10041
7.51/7.86 c before 54.0 seconds: {7, 10, 13, 17, 18, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 38, 39} 10629
7.51/7.86 c before 72.0 seconds: {2, 6, 7, 10, 13, 17, 18, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 38, 39} 12002
7.51/7.87 c before 108.0 seconds: {1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 17, 18, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 38, 39} 15392
7.51/7.87 c before 144.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 17, 18, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 38, 39} 16081
7.51/7.87 c before 162.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 17, 18, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 38, 39} 16655
7.51/7.87 c before 216.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 17, 18, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 38, 39} 17216
7.51/7.87 c before 234.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19361
7.51/7.87 c before 306.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20361
7.51/7.87 c before 522.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 20, 21, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20881
7.51/7.87 c before 540.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22026
7.51/7.87 c before 1296.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, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22553
7.51/7.87 c before 1332.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} 23079
7.51/7.87 c
7.51/7.87 c solver 1
7.51/7.87 c before 0.0 seconds: {} 0
7.51/7.87 c before 18.0 seconds: {7, 10, 13, 14, 17, 18, 20, 21, 26, 27, 28, 29, 31, 32, 33, 34, 38, 39} 9673
7.51/7.87 c before 36.0 seconds: {2, 4, 6, 7, 10, 13, 14, 17, 18, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 38, 39} 13265
7.51/7.87 c before 90.0 seconds: {1, 2, 4, 6, 7, 8, 9, 10, 13, 14, 17, 18, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 38, 39} 15273
7.51/7.87 c before 108.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 17, 18, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 38, 39} 16655
7.51/7.87 c before 252.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 16, 17, 18, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 17702
7.51/7.87 c before 270.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 16, 17, 18, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 18263
7.51/7.87 c before 288.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20361
7.51/7.87 c before 576.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21488
7.51/7.87 c before 630.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22026
7.51/7.87 c before 1386.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, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22553
7.51/7.87 c before 1422.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} 23079
7.51/7.87 c
7.51/7.87 c solver 2
7.51/7.87 c before 0.0 seconds: {} 0
7.51/7.87 c before 18.0 seconds: {17, 18, 20, 26, 39} 2628
7.51/7.87 c before 36.0 seconds: {17, 18, 20, 26, 32, 33, 39} 3642
7.51/7.87 c before 54.0 seconds: {10, 17, 18, 20, 26, 31, 32, 33, 39} 4760
7.51/7.87 c before 72.0 seconds: {10, 17, 18, 20, 26, 27, 29, 31, 32, 33, 39} 5791
7.51/7.87 c before 108.0 seconds: {10, 17, 18, 20, 26, 27, 29, 31, 32, 33, 34, 39} 6296
7.51/7.87 c before 126.0 seconds: {4, 10, 17, 18, 20, 26, 27, 28, 29, 31, 32, 33, 34, 39} 7500
7.51/7.87 c before 396.0 seconds: {0, 4, 10, 17, 18, 20, 26, 27, 28, 29, 31, 32, 33, 34, 39} 8500
7.51/7.87 c before 576.0 seconds: {0, 4, 10, 16, 17, 18, 20, 26, 27, 28, 29, 31, 32, 33, 34, 39} 9045
7.51/7.87 c before 594.0 seconds: {0, 4, 10, 12, 16, 17, 18, 20, 26, 27, 28, 29, 31, 32, 33, 34, 37, 39} 10140
7.51/7.87 c before 666.0 seconds: {0, 4, 10, 12, 15, 16, 17, 18, 20, 26, 27, 28, 29, 31, 32, 33, 34, 35, 37, 39} 11206
7.51/7.87 c
7.51/7.87 cTotal time: 190
7.51/7.87 c run abscon for 1332.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} 23079
7.51/7.87 c run mistral for 288.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20361
7.51/7.87 c run choco for 126.0 seconds {4, 10, 17, 18, 20, 26, 27, 28, 29, 31, 32, 33, 34, 39} 7500
7.51/7.87 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.51/7.87 c On Instance: HOME/instance-1045989-1215020932.xml
7.51/7.87 c Running for: 1332 seconds
1339.66/1340.50 c Starting solver: HOME/cpHydra_k_40/solver/mistral
1339.66/1340.50 c On Instance: HOME/instance-1045989-1215020932.xml
1339.66/1340.50 c Running for: 288 seconds
1627.57/1630.94 c Starting solver: HOME/cpHydra_k_40/solver/choco
1627.57/1630.94 c On Instance: HOME/instance-1045989-1215020932.xml
1627.57/1630.94 c Running for: 126 seconds