0.00/0.00 c cpHydra_k_40 version 0.0
6.89/7.10 c CASE TO CLASSIFY:
6.89/7.10 c Case: 0
6.98/7.10 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.552800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.094000 | c 14 > 13.542700 | 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
6.98/7.10 c choco : 1801.0
6.98/7.10 c mistral : 1801.0
6.98/7.10 c abscon : 1801.0
6.98/7.10 c
6.98/7.10 c
6.98/7.17 c List of same ones: 40
6.98/7.17 c /home/eomahony/cpZilla/CSP/random/rand-2-25/rand-25-25-300-147-52021_ext.xml
6.98/7.17 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
6.98/7.17 c choco : 391.36
6.98/7.17 c mistral : 275.489
6.98/7.17 c abscon : 304.569
6.98/7.17 c
6.98/7.17 c
6.98/7.17 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-47021_ext.xml
6.98/7.17 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
6.98/7.18 c choco : 1801.0
6.98/7.18 c mistral : 87.28
6.98/7.18 c abscon : 95.6315
6.98/7.18 c
6.98/7.18 c
6.98/7.18 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-48021_ext.xml
6.98/7.18 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
6.98/7.18 c choco : 1801.0
6.98/7.18 c mistral : 32.602
6.98/7.18 c abscon : 62.8434
6.98/7.18 c
6.98/7.18 c
6.98/7.18 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-51021_ext.xml
6.98/7.18 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
6.98/7.19 c choco : 1801.0
6.98/7.19 c mistral : 90.08
6.98/7.19 c abscon : 101.899
6.98/7.19 c
6.98/7.19 c
6.98/7.19 c /home/eomahony/cpZilla/CSP/random/rand-2-24/rand-24-24-276-139-50021_ext.xml
6.98/7.19 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
6.98/7.19 c choco : 112.05
6.98/7.19 c mistral : 27.24
6.98/7.19 c abscon : 138.649
6.98/7.19 c
6.98/7.19 c
6.98/7.19 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-55021_ext.xml
6.98/7.19 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
6.98/7.20 c choco : 1801.0
6.98/7.20 c mistral : 95.25
6.98/7.20 c abscon : 95.2655
6.98/7.20 c
6.98/7.20 c
6.98/7.20 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-50021_ext.xml
6.98/7.20 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.10/7.20 c choco : 1801.0
7.10/7.20 c mistral : 31.2942
7.10/7.20 c abscon : 59.9849
7.10/7.20 c
7.10/7.20 c
7.10/7.20 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-54021_ext.xml
7.10/7.20 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.10/7.20 c choco : 1801.0
7.10/7.20 c mistral : 4.64529
7.10/7.20 c abscon : 12.3941
7.10/7.20 c
7.10/7.20 c
7.10/7.20 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-46021_ext.xml
7.10/7.20 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.10/7.21 c choco : 1801.0
7.10/7.21 c mistral : 83.47
7.10/7.21 c abscon : 101.002
7.10/7.21 c
7.10/7.21 c
7.10/7.21 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-52021_ext.xml
7.10/7.21 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.10/7.21 c choco : 1801.0
7.10/7.21 c mistral : 88.66
7.10/7.21 c abscon : 92.282
7.10/7.21 c
7.10/7.21 c
7.10/7.21 c /home/eomahony/cpZilla/CSP/random/rand-2-25/rand-25-25-300-147-58021_ext.xml
7.10/7.21 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.30/7.40 c choco : 1801.0
7.30/7.40 c mistral : 573.9
7.30/7.40 c abscon : 539.853
7.30/7.40 c
7.30/7.40 c
7.30/7.40 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-49021_ext.xml
7.30/7.40 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.30/7.41 c choco : 36.95
7.30/7.41 c mistral : 7.76
7.30/7.41 c abscon : 2.01169
7.30/7.41 c
7.30/7.41 c
7.30/7.41 c /home/eomahony/cpZilla/CSP/random/rand-2-24/rand-24-24-276-139-51021_ext.xml
7.30/7.41 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.30/7.41 c choco : 591.06
7.30/7.41 c mistral : 270.003
7.30/7.41 c abscon : 218.831
7.30/7.41 c
7.30/7.41 c
7.30/7.41 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-53021_ext.xml
7.30/7.41 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.30/7.41 c choco : 1801.0
7.30/7.41 c mistral : 14.6088
7.30/7.41 c abscon : 51.1922
7.30/7.41 c
7.30/7.41 c
7.30/7.41 c /home/eomahony/cpZilla/CSP/random/rand-2-24/rand-24-24-276-139-48021_ext.xml
7.30/7.41 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.30/7.41 c choco : 1801.0
7.30/7.41 c mistral : 13.383
7.30/7.41 c abscon : 147.566
7.30/7.41 c
7.30/7.41 c
7.30/7.41 c /home/eomahony/cpZilla/CSP/random/rand-2-24/rand-24-24-276-139-52021_ext.xml
7.30/7.41 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.30/7.42 c choco : 661.79
7.30/7.42 c mistral : 268.842
7.30/7.42 c abscon : 215.91
7.30/7.42 c
7.30/7.42 c
7.30/7.42 c /home/eomahony/cpZilla/CSP/random/rand-2-24/rand-24-24-276-139-49021_ext.xml
7.30/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.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.30/7.42 c choco : 567.85
7.30/7.42 c mistral : 241.78
7.30/7.42 c abscon : 228.635
7.30/7.42 c
7.30/7.42 c
7.30/7.42 c /home/ehebrard/new_instances/competition_4c/data/langford/langford-3-11-ext.xml
7.30/7.42 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.30/7.42 c choco : 12.43
7.30/7.42 c mistral : 2.58
7.30/7.42 c abscon : 6.55
7.30/7.42 c
7.30/7.42 c
7.30/7.42 c /home/eomahony/cpZilla/CSP/langford/langford-3-11-ext.xml
7.30/7.42 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.30/7.43 c choco : 5.91
7.30/7.43 c mistral : 1.95
7.30/7.43 c abscon : 5.51616
7.30/7.43 c
7.30/7.43 c
7.30/7.43 c /home/eomahony/cpZilla/CSP/random/rand-2-25/rand-25-25-300-147-55021_ext.xml
7.30/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.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.30/7.43 c choco : 1801.0
7.30/7.43 c mistral : 612.121
7.30/7.43 c abscon : 532.17
7.30/7.43 c
7.30/7.43 c
7.30/7.43 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-5_ext.xml
7.30/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.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.30/7.43 c choco : 1801.0
7.30/7.43 c mistral : 6.69
7.30/7.43 c abscon : 14.9237
7.30/7.43 c
7.30/7.43 c
7.30/7.43 c /home/eomahony/cpZilla/CSP/langford/slangford-3-11-ext.xml
7.30/7.43 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.30/7.43 c choco : 6.84
7.30/7.43 c mistral : 2.08
7.30/7.43 c abscon : 6.03008
7.30/7.43 c
7.30/7.43 c
7.30/7.43 c /home/eomahony/cpZilla/CSP/random/rand-2-26/rand-26-26-325-155-60021_ext.xml
7.30/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.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.30/7.43 c choco : 1801.0
7.30/7.43 c mistral : 1381.28
7.30/7.43 c abscon : 1289.82
7.30/7.43 c
7.30/7.43 c
7.30/7.43 c /home/eomahony/cpZilla/CSP/random/rand-2-26/rand-26-26-325-155-56021_ext.xml
7.30/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.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.30/7.44 c choco : 1801.0
7.30/7.44 c mistral : 1414.49
7.30/7.44 c abscon : 1318.13
7.30/7.44 c
7.30/7.44 c
7.30/7.44 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-29_ext.xml
7.30/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.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.30/7.44 c choco : 1801.0
7.30/7.44 c mistral : 25.88
7.30/7.44 c abscon : 28.1027
7.30/7.44 c
7.30/7.44 c
7.30/7.44 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-31_ext.xml
7.30/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.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.30/7.44 c choco : 60.5
7.30/7.44 c mistral : 12.57
7.30/7.44 c abscon : 8.16776
7.30/7.44 c
7.30/7.44 c
7.30/7.44 c /home/eomahony/cpZilla/CSP/random/rand-2-25/rand-25-25-300-147-57021_ext.xml
7.30/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.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.30/7.44 c choco : 1801.0
7.30/7.44 c mistral : 569.468
7.30/7.44 c abscon : 521.111
7.30/7.44 c
7.30/7.44 c
7.30/7.44 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-69_ext.xml
7.30/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.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.30/7.45 c choco : 58.34
7.30/7.45 c mistral : 7.02
7.30/7.45 c abscon : 5.48817
7.30/7.45 c
7.30/7.45 c
7.30/7.45 c /home/ehebrard/new_instances/competition_4c/data/langford/slangford-3-11-ext.xml
7.30/7.45 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.30/7.45 c choco : 11.59
7.30/7.45 c mistral : 2.78
7.30/7.45 c abscon : 7.34
7.30/7.45 c
7.30/7.45 c
7.30/7.45 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-73_ext.xml
7.30/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.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.30/7.45 c choco : 110.59
7.30/7.45 c mistral : 8.35
7.30/7.45 c abscon : 1.61075
7.30/7.45 c
7.30/7.45 c
7.30/7.45 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-53_ext.xml
7.30/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.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.30/7.45 c choco : 1801.0
7.30/7.45 c mistral : 32.0
7.30/7.45 c abscon : 34.0228
7.30/7.45 c
7.30/7.45 c
7.30/7.45 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-75_ext.xml
7.30/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.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.30/7.46 c choco : 40.54
7.30/7.46 c mistral : 7.05
7.30/7.46 c abscon : 7.43887
7.30/7.46 c
7.30/7.46 c
7.30/7.46 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-51_ext.xml
7.30/7.46 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.30/7.46 c choco : 22.54
7.30/7.46 c mistral : 8.69
7.30/7.46 c abscon : 1.27181
7.30/7.46 c
7.30/7.46 c
7.30/7.46 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-35_ext.xml
7.30/7.46 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.30/7.46 c choco : 35.37
7.30/7.46 c mistral : 3.82842
7.30/7.46 c abscon : 7.83981
7.30/7.46 c
7.30/7.46 c
7.30/7.46 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-63_ext.xml
7.30/7.46 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.30/7.46 c choco : 95.41
7.30/7.46 c mistral : 13.46
7.30/7.46 c abscon : 2.44663
7.30/7.46 c
7.30/7.46 c
7.30/7.46 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-77_ext.xml
7.30/7.46 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.30/7.47 c choco : 1801.0
7.30/7.47 c mistral : 18.65
7.30/7.47 c abscon : 20.1049
7.30/7.47 c
7.30/7.47 c
7.30/7.47 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-65_ext.xml
7.30/7.47 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.30/7.47 c choco : 1801.0
7.30/7.47 c mistral : 8.61
7.30/7.47 c abscon : 11.4753
7.30/7.47 c
7.30/7.47 c
7.30/7.47 c /home/eomahony/cpZilla/CSP/random/rand-2-24/rand-24-24-276-139-56021_ext.xml
7.30/7.47 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.30/7.47 c choco : 650.73
7.30/7.47 c mistral : 285.133
7.30/7.47 c abscon : 232.713
7.30/7.47 c
7.30/7.47 c
7.30/7.47 c /home/eomahony/cpZilla/CSP/frb/frb35-17/frb35-17-3-mgd_ext.xml
7.30/7.47 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.30/7.47 c choco : 13.76
7.30/7.47 c mistral : 2.03669
7.30/7.47 c abscon : 1.07084
7.30/7.47 c
7.30/7.47 c
7.30/7.47 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-37_ext.xml
7.30/7.47 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.658500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.525500 | c 14 > 13.362200 | c 11 > 5.321930 | c 12 > 11.309100 | 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.30/7.47 c choco : 1801.0
7.30/7.47 c mistral : 47.03
7.30/7.47 c abscon : 58.995
7.30/7.47 c
7.30/7.47 c
7.30/7.48 c Length: 40
7.30/7.48 c 0.5826253099548618 1.04376701840018 1.089368197351108 1.0965117447159438 1.1275866745399232 1.1353052381628472 1.1742001193152727 1.1774370417988387 1.2382731751515903 1.2662507337411497 1.355120792328123 1.356375394276969 1.4113802310504426 1.4242169179587787 1.4793301010254611 1.5229257269479701 1.5913650166445166 1.594110224263052 1.6153676518365716 1.6236945634570554 1.6374290667384666 1.6466361145681219 1.660804821795747 1.6663171156175531 1.6785401957057808 1.6814696068023371 1.6950445368190183 1.6981770751603038 1.700470361135412 1.7010383001567022 1.7207076301917208 1.7208258856142307 1.7334470913760252 1.7337653758799088 1.7411927517078643 1.753701504988806 1.7553236649119737 1.7647596823080474 1.7700729168031484 1.7734398999120335
7.30/7.48 c
7.30/7.48 c 1.0 0.7208511454623459 0.7014870517454966 0.6985474711930703 0.6860416442807671 0.6830044933036999 0.6681001303155724 0.6668890211900581 0.6449167632048706 0.6352908501878307 0.60653414187586 0.606146799618106 0.5896378329342222 0.58591367766532 0.5704448067786968 0.5587753763046698 0.5413890403944759 0.5407141888062136 0.5355449068589254 0.5335468480794404 0.530283603928283 0.5281183158681049 0.5248204871989374 0.5235485783862319 0.5207500942316027 0.52008384166736 0.5170185420430323 0.5163163203849336 0.51580344228235 0.5156765838883549 0.5113212975399412 0.5112953352718669 0.5085395002026868 0.5084703868908126 0.5068629000666818 0.5041785155877353 0.5038324805961063 0.5018289937419333 0.5007078662549083 0.5
7.30/7.49 c
7.30/7.49 c solver 0
7.30/7.49 c before 0.0 seconds: {} 0
7.30/7.49 c before 18.0 seconds: {7, 11, 17, 18, 20, 21, 25, 27, 28, 29, 31, 32, 33, 34, 36, 38} 8515
7.30/7.49 c before 36.0 seconds: {7, 11, 17, 18, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38} 10051
7.30/7.49 c before 54.0 seconds: {7, 11, 13, 17, 18, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38} 10637
7.30/7.49 c before 72.0 seconds: {2, 6, 7, 11, 13, 17, 18, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 12507
7.30/7.49 c before 108.0 seconds: {1, 2, 3, 5, 6, 7, 8, 9, 11, 13, 17, 18, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 15889
7.30/7.49 c before 144.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 17, 18, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 16575
7.30/7.49 c before 162.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 17, 18, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 17146
7.30/7.49 c before 216.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 15, 17, 18, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 17704
7.30/7.49 c before 234.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19337
7.30/7.49 c before 306.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20337
7.30/7.49 c before 522.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 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} 20854
7.30/7.49 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} 21994
7.30/7.49 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} 22519
7.30/7.49 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} 23043
7.30/7.49 c
7.30/7.49 c solver 1
7.30/7.49 c before 0.0 seconds: {} 0
7.30/7.49 c before 18.0 seconds: {7, 11, 13, 14, 17, 18, 20, 21, 25, 27, 28, 29, 31, 32, 33, 34, 36, 38} 9671
7.30/7.49 c before 36.0 seconds: {2, 4, 6, 7, 11, 13, 14, 17, 18, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38} 13263
7.30/7.49 c before 54.0 seconds: {2, 4, 6, 7, 11, 13, 14, 17, 18, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 13763
7.30/7.49 c before 90.0 seconds: {1, 2, 4, 6, 7, 8, 9, 11, 13, 14, 17, 18, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 15764
7.30/7.49 c before 108.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 17, 18, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 17146
7.30/7.49 c before 252.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 16, 17, 18, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 17687
7.30/7.49 c before 270.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 15, 16, 17, 18, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 18246
7.30/7.49 c before 288.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20337
7.30/7.49 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} 21461
7.30/7.49 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} 21994
7.30/7.49 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} 22519
7.30/7.49 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} 23043
7.30/7.49 c
7.30/7.49 c solver 2
7.30/7.49 c before 0.0 seconds: {} 0
7.30/7.49 c before 18.0 seconds: {17, 18, 21, 28, 38} 2620
7.30/7.49 c before 36.0 seconds: {17, 18, 21, 28, 32, 33, 38} 3637
7.30/7.49 c before 54.0 seconds: {11, 17, 18, 21, 28, 31, 32, 33, 38} 4755
7.30/7.49 c before 72.0 seconds: {11, 17, 18, 21, 25, 27, 28, 31, 32, 33, 38} 5791
7.30/7.49 c before 108.0 seconds: {11, 17, 18, 21, 25, 27, 28, 31, 32, 33, 34, 38} 6298
7.30/7.49 c before 126.0 seconds: {4, 11, 17, 18, 21, 25, 27, 28, 29, 31, 32, 33, 34, 38} 7500
7.30/7.49 c before 396.0 seconds: {0, 4, 11, 17, 18, 21, 25, 27, 28, 29, 31, 32, 33, 34, 38} 8500
7.30/7.49 c before 576.0 seconds: {0, 4, 11, 16, 17, 18, 21, 25, 27, 28, 29, 31, 32, 33, 34, 38} 9041
7.30/7.49 c before 594.0 seconds: {0, 4, 11, 12, 16, 17, 18, 21, 25, 27, 28, 29, 31, 32, 33, 34, 38} 9631
7.30/7.49 c before 666.0 seconds: {0, 4, 11, 12, 15, 16, 17, 18, 21, 25, 27, 28, 29, 31, 32, 33, 34, 37, 38} 10691
7.30/7.49 c
7.30/7.49 cTotal time: 190
7.30/7.49 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} 23043
7.30/7.49 c run mistral for 288.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20337
7.30/7.49 c run choco for 126.0 seconds {4, 11, 17, 18, 21, 25, 27, 28, 29, 31, 32, 33, 34, 38} 7500
7.30/7.49 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.30/7.49 c On Instance: HOME/instance-1045988-1215020932.xml
7.30/7.49 c Running for: 1332 seconds
1339.49/1351.65 c Starting solver: HOME/cpHydra_k_40/solver/mistral
1339.49/1351.65 c On Instance: HOME/instance-1045988-1215020932.xml
1339.49/1351.65 c Running for: 288 seconds
1627.46/1645.33 c Starting solver: HOME/cpHydra_k_40/solver/choco
1627.46/1645.33 c On Instance: HOME/instance-1045988-1215020932.xml
1627.46/1645.33 c Running for: 126 seconds