0.00/0.00 c cpHydra_k_40 version 0.0
6.98/7.12 c CASE TO CLASSIFY:
6.98/7.12 c Case: 0
6.98/7.12 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.800000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.181600 | c 14 > 13.689000 | c 11 > 5.321930 | c 12 > 12.048300 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.98/7.13 c choco : 1801.0
6.98/7.13 c mistral : 1801.0
6.98/7.13 c abscon : 1801.0
6.98/7.13 c
6.98/7.13 c
7.09/7.21 c List of same ones: 40
7.09/7.21 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-55_ext.xml
7.09/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.578600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.930040 | c 14 > 13.426800 | c 11 > 5.321930 | c 12 > 11.806100 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.22 c choco : 48.03
7.09/7.22 c mistral : 4.66
7.09/7.22 c abscon : 8.85565
7.09/7.22 c
7.09/7.22 c
7.09/7.22 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-59_ext.xml
7.09/7.22 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.602200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.737900 | c 14 > 13.580300 | c 11 > 5.321930 | c 12 > 12.046800 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.22 c choco : 40.58
7.09/7.23 c mistral : 7.95
7.09/7.23 c abscon : 1.47678
7.09/7.23 c
7.09/7.23 c
7.09/7.23 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-77_ext.xml
7.09/7.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.449000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.961700 | c 14 > 13.406200 | c 11 > 5.321930 | c 12 > 11.683400 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.24 c choco : 98.77
7.09/7.24 c mistral : 19.83
7.09/7.24 c abscon : 15.2867
7.09/7.24 c
7.09/7.24 c
7.09/7.24 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-79_ext.xml
7.09/7.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.491300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.780540 | c 14 > 13.418600 | c 11 > 5.321930 | c 12 > 11.662800 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.24 c choco : 111.24
7.09/7.24 c mistral : 23.95
7.09/7.24 c abscon : 33.2509
7.09/7.24 c
7.09/7.24 c
7.09/7.24 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-43_ext.xml
7.09/7.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.484500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.722460 | c 14 > 13.398900 | c 11 > 5.321930 | c 12 > 11.643600 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.25 c choco : 34.79
7.09/7.25 c mistral : 4.93725
7.09/7.25 c abscon : 0.816874
7.09/7.25 c
7.09/7.25 c
7.09/7.25 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-37_ext.xml
7.09/7.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.351100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.930000 | c 14 > 13.281600 | c 11 > 5.321930 | c 12 > 11.578300 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.26 c choco : 96.66
7.09/7.26 c mistral : 22.48
7.09/7.26 c abscon : 25.4361
7.09/7.26 c
7.09/7.26 c
7.09/7.26 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-35_ext.xml
7.09/7.26 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.338300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.717850 | c 14 > 13.318500 | c 11 > 5.321930 | c 12 > 11.684000 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.27 c choco : 40.85
7.09/7.27 c mistral : 10.7444
7.09/7.27 c abscon : 1.91171
7.09/7.27 c
7.09/7.27 c
7.09/7.27 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-19_ext.xml
7.09/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.357400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.868970 | c 14 > 13.199100 | c 11 > 5.321930 | c 12 > 11.586700 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.28 c choco : 51.3
7.09/7.28 c mistral : 11.76
7.09/7.28 c abscon : 15.4197
7.09/7.28 c
7.09/7.28 c
7.09/7.28 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-3_ext.xml
7.09/7.28 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.409500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.589610 | c 14 > 13.291600 | c 11 > 5.321930 | c 12 > 11.703500 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.29 c choco : 66.38
7.09/7.29 c mistral : 13.24
7.09/7.29 c abscon : 15.5286
7.09/7.29 c
7.09/7.29 c
7.09/7.29 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-61_ext.xml
7.09/7.29 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.297400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.834050 | c 14 > 13.204900 | c 11 > 5.321930 | c 12 > 11.586800 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.30 c choco : 68.99
7.09/7.30 c mistral : 5.09
7.09/7.30 c abscon : 1.51277
7.09/7.30 c
7.09/7.30 c
7.09/7.30 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-13_ext.xml
7.09/7.30 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.375600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.685820 | c 14 > 13.247200 | c 11 > 5.321930 | c 12 > 11.529700 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.49 c choco : 93.65
7.27/7.49 c mistral : 19.23
7.27/7.49 c abscon : 21.5947
7.27/7.49 c
7.27/7.49 c
7.27/7.49 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-69_ext.xml
7.27/7.49 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.364800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.687640 | c 14 > 13.247300 | c 11 > 5.321930 | c 12 > 11.404700 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.51 c choco : 68.73
7.37/7.51 c mistral : 11.85
7.37/7.51 c abscon : 16.0806
7.37/7.51 c
7.37/7.51 c
7.37/7.51 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-63_ext.xml
7.37/7.51 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.279600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.455450 | c 14 > 13.257400 | c 11 > 5.321930 | c 12 > 11.747700 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.51 c choco : 23.06
7.37/7.51 c mistral : 1.19382
7.37/7.51 c abscon : 1.55976
7.37/7.51 c
7.37/7.51 c
7.37/7.51 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-9_ext.xml
7.37/7.51 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.278500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.848590 | c 14 > 13.128500 | c 11 > 5.321930 | c 12 > 11.388700 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.52 c choco : 55.94
7.37/7.52 c mistral : 11.21
7.37/7.52 c abscon : 14.6708
7.37/7.52 c
7.37/7.52 c
7.37/7.52 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-53_ext.xml
7.37/7.52 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.256700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.634980 | c 14 > 13.236600 | c 11 > 5.321930 | c 12 > 11.467300 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.53 c choco : 75.62
7.37/7.53 c mistral : 19.787
7.37/7.53 c abscon : 5.10922
7.37/7.53 c
7.37/7.53 c
7.37/7.53 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-5_ext.xml
7.37/7.53 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.198700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.752180 | c 14 > 13.098700 | c 11 > 5.321930 | c 12 > 11.500600 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.53 c choco : 86.67
7.37/7.53 c mistral : 18.06
7.37/7.53 c abscon : 24.0723
7.37/7.53 c
7.37/7.53 c
7.37/7.53 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-33_ext.xml
7.37/7.53 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.346700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.420540 | c 14 > 13.317000 | c 11 > 5.321930 | c 12 > 11.496200 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.54 c choco : 20.51
7.37/7.54 c mistral : 2.5
7.37/7.54 c abscon : 1.18182
7.37/7.54 c
7.37/7.54 c
7.37/7.54 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-15_ext.xml
7.37/7.54 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.291500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.425130 | c 14 > 13.230000 | c 11 > 5.321930 | c 12 > 11.601300 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.55 c choco : 34.38
7.37/7.55 c mistral : 13.78
7.37/7.55 c abscon : 2.22666
7.37/7.55 c
7.37/7.55 c
7.37/7.55 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-39_ext.xml
7.37/7.55 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.187000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.711300 | c 14 > 13.131400 | c 11 > 5.321930 | c 12 > 11.433200 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.56 c choco : 100.04
7.37/7.56 c mistral : 19.23
7.37/7.56 c abscon : 28.0987
7.37/7.56 c
7.37/7.56 c
7.37/7.56 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-67_ext.xml
7.37/7.56 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.262800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.581110 | c 14 > 13.176600 | c 11 > 5.321930 | c 12 > 11.407100 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.57 c choco : 64.4
7.37/7.57 c mistral : 14.7
7.37/7.57 c abscon : 18.1322
7.37/7.57 c
7.37/7.57 c
7.37/7.57 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-27_ext.xml
7.37/7.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.240900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.744310 | c 14 > 13.105400 | c 11 > 5.321930 | c 12 > 11.298800 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.57 c choco : 24.04
7.37/7.57 c mistral : 0.885864
7.37/7.57 c abscon : 0.887864
7.37/7.57 c
7.37/7.57 c
7.37/7.57 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-31_ext.xml
7.37/7.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.198200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.500370 | c 14 > 13.158500 | c 11 > 5.321930 | c 12 > 11.451900 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.58 c choco : 11.08
7.37/7.58 c mistral : 6.44
7.37/7.58 c abscon : 2.49662
7.37/7.58 c
7.37/7.58 c
7.37/7.58 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-29_ext.xml
7.37/7.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.301200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.431250 | c 14 > 13.176600 | c 11 > 5.321930 | c 12 > 11.407600 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.59 c choco : 94.36
7.37/7.59 c mistral : 21.71
7.37/7.59 c abscon : 25.5321
7.37/7.59 c
7.37/7.59 c
7.37/7.59 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-25_ext.xml
7.37/7.59 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.220700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.569590 | c 14 > 13.161400 | c 11 > 5.321930 | c 12 > 11.342500 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.59 c choco : 80.84
7.37/7.59 c mistral : 18.33
7.37/7.59 c abscon : 22.0476
7.37/7.59 c
7.37/7.59 c
7.37/7.59 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-75_ext.xml
7.37/7.59 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.221500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.522180 | c 14 > 13.103300 | c 11 > 5.321930 | c 12 > 11.393200 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.60 c choco : 116.82
7.37/7.60 c mistral : 23.04
7.37/7.60 c abscon : 32.1371
7.37/7.60 c
7.37/7.60 c
7.37/7.60 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-11_ext.xml
7.37/7.60 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.104600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.616490 | c 14 > 12.995100 | c 11 > 5.321930 | c 12 > 11.523900 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.61 c choco : 70.39
7.44/7.61 c mistral : 14.62
7.44/7.61 c abscon : 18.7242
7.44/7.61 c
7.44/7.61 c
7.44/7.61 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-73_ext.xml
7.44/7.61 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.152200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.407920 | c 14 > 13.132200 | c 11 > 5.321930 | c 12 > 11.558300 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.61 c choco : 9.28
7.44/7.61 c mistral : 0.990849
7.44/7.61 c abscon : 1.89871
7.44/7.61 c
7.44/7.61 c
7.44/7.61 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-65_ext.xml
7.44/7.61 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.254100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.446580 | c 14 > 13.102300 | c 11 > 5.321930 | c 12 > 11.410100 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.62 c choco : 38.96
7.44/7.62 c mistral : 2.5986
7.44/7.62 c abscon : 1.08283
7.44/7.62 c
7.44/7.62 c
7.44/7.62 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-51_ext.xml
7.44/7.62 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.233500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.329830 | c 14 > 13.068100 | c 11 > 5.321930 | c 12 > 11.322500 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.63 c choco : 50.37
7.44/7.63 c mistral : 4.08238
7.44/7.63 c abscon : 2.21966
7.44/7.63 c
7.44/7.63 c
7.44/7.63 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-71_ext.xml
7.44/7.63 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.081400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.479630 | c 14 > 12.963300 | c 11 > 5.321930 | c 12 > 11.395300 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.63 c choco : 65.84
7.44/7.63 c mistral : 14.66
7.44/7.63 c abscon : 2.89856
7.44/7.63 c
7.44/7.63 c
7.44/7.63 c /home/eomahony/cpZilla/CSP/random/rand-2-30-15/rand-2-30-15-306-230-33_ext.xml
7.44/7.63 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.246400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.181300 | c 14 > 13.694900 | c 11 > 4.906890 | c 12 > 12.102700 | c 21 > 3.872980 | c 20 > 0.000000 | c 22 > 3.872980 | 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.839200 | 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.813780 | c 31 > -1.000000 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.64 c choco : 30.89
7.44/7.64 c mistral : 3.34
7.44/7.64 c abscon : 5.74013
7.44/7.64 c
7.44/7.64 c
7.44/7.64 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-47_ext.xml
7.44/7.64 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.207600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.281340 | c 14 > 13.093900 | c 11 > 5.321930 | c 12 > 11.301600 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.64 c choco : 66.34
7.44/7.64 c mistral : 13.05
7.44/7.64 c abscon : 18.5732
7.44/7.64 c
7.44/7.64 c
7.44/7.64 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-41_ext.xml
7.44/7.64 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.110700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.460990 | c 14 > 13.001900 | c 11 > 5.321930 | c 12 > 11.231400 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | 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.693490 | 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.781360 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.65 c choco : 70.51
7.44/7.65 c mistral : 14.28
7.44/7.65 c abscon : 17.8863
7.44/7.65 c
7.44/7.65 c
7.44/7.65 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-13_ext.xml
7.44/7.65 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.234000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.439000 | c 14 > 13.635600 | c 11 > 5.321930 | c 12 > 11.956000 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.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.965780 | 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.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.66 c choco : 37.72
7.44/7.66 c mistral : 7.42687
7.44/7.66 c abscon : 4.5723
7.44/7.66 c
7.44/7.66 c
7.44/7.66 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-53_ext.xml
7.44/7.66 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.267000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.534600 | c 14 > 13.735500 | c 11 > 5.321930 | c 12 > 12.002200 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.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.965780 | 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.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.66 c choco : 1801.0
7.44/7.66 c mistral : 29.78
7.44/7.66 c abscon : 45.5191
7.44/7.66 c
7.44/7.66 c
7.44/7.66 c /home/eomahony/cpZilla/CSP/random/rand-2-30-15/rand-2-30-15-306-230-23_ext.xml
7.44/7.66 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.297900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.501000 | c 14 > 13.775600 | c 11 > 4.906890 | c 12 > 12.337300 | c 21 > 3.872980 | c 20 > 0.000000 | c 22 > 3.872980 | 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.787900 | 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.813780 | c 31 > -1.000000 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.67 c choco : 9.97
7.44/7.67 c mistral : 1.48077
7.44/7.67 c abscon : 1.51977
7.44/7.67 c
7.44/7.67 c
7.44/7.67 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-7_ext.xml
7.44/7.67 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.175300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.261200 | c 14 > 13.565600 | c 11 > 5.321930 | c 12 > 11.772900 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.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.965780 | 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.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.68 c choco : 110.69
7.44/7.68 c mistral : 21.86
7.44/7.68 c abscon : 26.8269
7.44/7.68 c
7.44/7.68 c
7.44/7.68 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-79_ext.xml
7.44/7.68 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.157700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.247300 | c 14 > 13.542900 | c 11 > 5.321930 | c 12 > 11.775400 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.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.965780 | 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.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.68 c choco : 1801.0
7.44/7.68 c mistral : 20.68
7.44/7.68 c abscon : 28.7956
7.44/7.68 c
7.44/7.68 c
7.44/7.68 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-75_ext.xml
7.44/7.68 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.104500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.184700 | c 14 > 13.522300 | c 11 > 5.321930 | c 12 > 11.753300 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.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.965780 | 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.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.69 c choco : 66.65
7.44/7.69 c mistral : 5.25
7.44/7.69 c abscon : 15.5486
7.44/7.69 c
7.44/7.69 c
7.44/7.69 c /home/eomahony/cpZilla/CSP/random/rand-2-30-15/rand-2-30-15-306-230-35_ext.xml
7.44/7.69 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.076700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.096700 | c 14 > 13.516400 | c 11 > 4.906890 | c 12 > 11.718300 | c 21 > 3.872980 | c 20 > 0.000000 | c 22 > 3.872980 | 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.826550 | 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.813780 | c 31 > -1.000000 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.69 c choco : 8.84
7.44/7.69 c mistral : 1.61
7.44/7.69 c abscon : 3.17252
7.44/7.69 c
7.44/7.69 c
7.44/7.70 c Length: 40
7.44/7.70 c 0.4896019542444645 0.4978076636613787 0.6202296832625781 0.6912823038383087 0.7471879881261476 0.8072722774875905 0.8355930184605419 0.864123166510424 0.8830380569941465 0.9059430569853715 0.9434226880884313 1.0211343553127574 1.0367009706274994 1.0639973308707114 1.0659245162768334 1.092882704776685 1.1081027134701906 1.1141405256519488 1.1341150118043584 1.1501579370243027 1.1858138825717972 1.2096944915556154 1.2185552152036427 1.2192867300598327 1.241651112994306 1.248768610311773 1.2523385414495554 1.260863727926217 1.3995487961839708 1.4007845412125306 1.4155984539762685 1.4398301037275194 1.4607687298474035 1.4675748116535665 1.4726777236720883 1.4932765774966155 1.4978161395177991 1.506147276264843 1.5343852084141065 1.5444374323358017
7.44/7.70 c
7.44/7.70 c 1.0 0.9922809111130038 0.8898087024255886 0.8394923922562996 0.8037322372943714 0.7685471908867265 0.7530093457208717 0.7379791798698334 0.7283409355300533 0.7170012708431078 0.6991887679554206 0.6649374914538302 0.6584760373971787 0.6474438383222159 0.6466788944689499 0.636164980404891 0.6303786737939789 0.6281122888650885 0.620729330070655 0.6149240579497991 0.6024025815775825 0.5942976103468284 0.591345519230495 0.5911031134457967 0.5837868431575219 0.5814962718225145 0.580354142887481 0.577644743217877 0.5368714220081022 0.5365339702814305 0.5325214303388626 0.5260857877948816 0.5206487190070579 0.518905525754673 0.5176061908365923 0.5124266708251264 0.5112991203376963 0.5092426646198742 0.502393821260794 0.5
7.50/7.71 c
7.50/7.71 c solver 0
7.50/7.71 c before 0.0 seconds: {} 0
7.50/7.71 c before 18.0 seconds: {0, 1, 2, 4, 6, 7, 8, 9, 11, 12, 13, 14, 16, 17, 20, 21, 26, 27, 28, 29, 30, 32, 33, 35, 38, 39} 17013
7.50/7.71 c before 36.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, 35, 36, 37, 38, 39} 25086
7.50/7.71 c before 54.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} 25604
7.50/7.71 c
7.50/7.71 c solver 1
7.50/7.71 c before 0.0 seconds: {} 0
7.50/7.71 c before 18.0 seconds: {0, 1, 4, 6, 7, 8, 9, 11, 12, 13, 16, 17, 19, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 38, 39} 17199
7.50/7.71 c before 36.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} 25604
7.50/7.71 c
7.50/7.71 c solver 2
7.50/7.71 c before 0.0 seconds: {} 0
7.50/7.71 c before 18.0 seconds: {21, 26, 35, 39} 2187
7.50/7.71 c before 36.0 seconds: {4, 12, 16, 17, 20, 21, 26, 30, 35, 39} 6042
7.50/7.71 c before 54.0 seconds: {0, 1, 4, 6, 7, 12, 16, 17, 20, 21, 26, 27, 28, 30, 33, 35, 39} 11159
7.50/7.71 c before 72.0 seconds: {0, 1, 4, 6, 7, 8, 9, 11, 12, 13, 16, 17, 19, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 38, 39} 17199
7.50/7.71 c before 90.0 seconds: {0, 1, 4, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 38, 39} 19073
7.50/7.71 c before 108.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 38, 39} 22642
7.50/7.71 c before 126.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, 35, 36, 38, 39} 24577
7.50/7.71 c
7.50/7.71 cTotal time: 12
7.50/7.71 c 216.0 seconds unused
7.50/7.71 c 0 c 0 c 2
7.50/7.71 c 0 c 0 c 2
7.50/7.71 c 0 c 0 c 0
7.50/7.72 c is solver0 dominated by:
7.50/7.72 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.50/7.72 c is dominated? true
7.50/7.72 c
7.50/7.72 c is solver1 dominated by:
7.50/7.72 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.50/7.72 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.50/7.72 c is dominated? false
7.50/7.72 c
7.50/7.72 c is solver2 dominated by:
7.50/7.72 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.50/7.72 c is dominated? true
7.50/7.72 c
7.50/7.72 c Number of non-dominated solvers: 1
7.50/7.72 c remove dominated solvers
7.50/7.72 c solver 1 is not dominated by another solver
7.50/7.72 c solver 2 is dominated by another solver
7.50/7.72 c solver 0 is dominated by another solver
7.50/7.72 c
7.50/7.72 c solver 0: 0.0
7.50/7.72 c
7.50/7.72 c solver 1: 36.0
7.50/7.72 c
7.50/7.72 c+ 2/2 of 98
7.50/7.72 c
7.50/7.72 c solver 2: 0.0
7.50/7.72 c do not run abscon
7.50/7.72 c run mistral for 1800.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} 25604
7.50/7.72 c do not run choco
7.50/7.72 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.50/7.72 c On Instance: HOME/instance-1096767-1215281245.xml
7.50/7.72 c Running for: 1800 seconds
11.15/11.42 c mistral-prime version 1.313
11.15/11.42 s SATISFIABLE
11.15/11.42 v 9 4 0 9 2 1 7 3 2 10 7 4 2 2 10 9 4 1 2 4 9 7 1 8 10 5 4 8 5 9 0 5 9 4 1 9 9 10 9 5
11.15/11.42 d CHECKS 18513769
11.15/11.42 d ASSIGNMENTS 33576