0.00/0.00 c cpHydra_k_40 version 0.0
6.99/7.12 c CASE TO CLASSIFY:
6.99/7.12 c Case: 0
6.99/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.793400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.226500 | c 14 > 13.658300 | c 11 > 5.321930 | c 12 > 11.936300 | 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.99/7.13 c choco : 1801.0
6.99/7.13 c mistral : 1801.0
6.99/7.13 c abscon : 1801.0
6.99/7.13 c
6.99/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.21 c choco : 48.03
7.09/7.21 c mistral : 4.66
7.09/7.21 c abscon : 8.85565
7.09/7.21 c
7.09/7.21 c
7.09/7.21 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-59_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.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.22 c mistral : 7.95
7.09/7.22 c abscon : 1.47678
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-77_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.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.23 c choco : 98.77
7.09/7.23 c mistral : 19.83
7.09/7.23 c abscon : 15.2867
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-79_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.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-61_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.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.28 c choco : 68.99
7.09/7.28 c mistral : 5.09
7.09/7.28 c abscon : 1.51277
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-13_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.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.36/7.50 c choco : 68.73
7.36/7.50 c mistral : 11.85
7.36/7.50 c abscon : 16.0806
7.36/7.50 c
7.36/7.50 c
7.36/7.50 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-9_ext.xml
7.36/7.50 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.36/7.51 c choco : 55.94
7.36/7.51 c mistral : 11.21
7.36/7.51 c abscon : 14.6708
7.36/7.51 c
7.36/7.51 c
7.36/7.51 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-53_ext.xml
7.36/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.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.36/7.52 c choco : 75.62
7.36/7.52 c mistral : 19.787
7.36/7.52 c abscon : 5.10922
7.36/7.52 c
7.36/7.52 c
7.36/7.52 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-63_ext.xml
7.36/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.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.36/7.52 c choco : 23.06
7.36/7.52 c mistral : 1.19382
7.36/7.52 c abscon : 1.55976
7.36/7.52 c
7.36/7.52 c
7.36/7.52 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-5_ext.xml
7.36/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.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.36/7.53 c choco : 86.67
7.36/7.53 c mistral : 18.06
7.36/7.53 c abscon : 24.0723
7.36/7.53 c
7.36/7.53 c
7.36/7.53 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-33_ext.xml
7.36/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.36/7.54 c choco : 20.51
7.36/7.54 c mistral : 2.5
7.36/7.54 c abscon : 1.18182
7.36/7.54 c
7.36/7.54 c
7.36/7.54 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-39_ext.xml
7.36/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.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.36/7.55 c choco : 100.04
7.36/7.55 c mistral : 19.23
7.36/7.55 c abscon : 28.0987
7.36/7.55 c
7.36/7.55 c
7.36/7.55 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-15_ext.xml
7.36/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.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.36/7.56 c choco : 34.38
7.36/7.56 c mistral : 13.78
7.36/7.56 c abscon : 2.22666
7.36/7.56 c
7.36/7.56 c
7.36/7.56 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-67_ext.xml
7.36/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.36/7.57 c choco : 64.4
7.36/7.57 c mistral : 14.7
7.36/7.57 c abscon : 18.1322
7.36/7.57 c
7.36/7.57 c
7.36/7.57 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-27_ext.xml
7.36/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.36/7.57 c choco : 24.04
7.36/7.57 c mistral : 0.885864
7.36/7.57 c abscon : 0.887864
7.36/7.57 c
7.36/7.57 c
7.36/7.57 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-25_ext.xml
7.36/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.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.36/7.58 c choco : 80.84
7.36/7.58 c mistral : 18.33
7.36/7.58 c abscon : 22.0476
7.36/7.58 c
7.36/7.58 c
7.36/7.58 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-31_ext.xml
7.36/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.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.36/7.58 c choco : 11.08
7.36/7.58 c mistral : 6.44
7.36/7.58 c abscon : 2.49662
7.36/7.58 c
7.36/7.58 c
7.36/7.58 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-29_ext.xml
7.36/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.36/7.59 c choco : 94.36
7.36/7.59 c mistral : 21.71
7.36/7.59 c abscon : 25.5321
7.36/7.59 c
7.36/7.59 c
7.36/7.59 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-75_ext.xml
7.36/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.36/7.60 c choco : 116.82
7.36/7.60 c mistral : 23.04
7.36/7.60 c abscon : 32.1371
7.36/7.60 c
7.36/7.60 c
7.36/7.60 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-11_ext.xml
7.36/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.43/7.61 c choco : 70.39
7.43/7.61 c mistral : 14.62
7.43/7.61 c abscon : 18.7242
7.43/7.61 c
7.43/7.61 c
7.43/7.61 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-65_ext.xml
7.43/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.43/7.61 c choco : 38.96
7.43/7.61 c mistral : 2.5986
7.43/7.61 c abscon : 1.08283
7.43/7.61 c
7.43/7.61 c
7.43/7.61 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-73_ext.xml
7.43/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.43/7.62 c choco : 9.28
7.43/7.62 c mistral : 0.990849
7.43/7.62 c abscon : 1.89871
7.43/7.62 c
7.43/7.62 c
7.43/7.62 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-71_ext.xml
7.43/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.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.43/7.62 c choco : 65.84
7.43/7.62 c mistral : 14.66
7.43/7.62 c abscon : 2.89856
7.43/7.62 c
7.43/7.62 c
7.43/7.62 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-51_ext.xml
7.43/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.43/7.63 c choco : 50.37
7.43/7.63 c mistral : 4.08238
7.43/7.63 c abscon : 2.21966
7.43/7.63 c
7.43/7.63 c
7.43/7.63 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-47_ext.xml
7.43/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.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.43/7.64 c choco : 66.34
7.43/7.64 c mistral : 13.05
7.43/7.64 c abscon : 18.5732
7.43/7.64 c
7.43/7.64 c
7.43/7.64 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-41_ext.xml
7.43/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.43/7.64 c choco : 70.51
7.43/7.64 c mistral : 14.28
7.43/7.64 c abscon : 17.8863
7.43/7.64 c
7.43/7.64 c
7.43/7.64 c /home/eomahony/cpZilla/CSP/random/rand-2-30-15/rand-2-30-15-306-230-33_ext.xml
7.43/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.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.43/7.65 c choco : 30.89
7.43/7.65 c mistral : 3.34
7.43/7.65 c abscon : 5.74013
7.43/7.65 c
7.43/7.65 c
7.43/7.65 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-13_ext.xml
7.43/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.43/7.66 c choco : 37.72
7.43/7.66 c mistral : 7.42687
7.43/7.66 c abscon : 4.5723
7.43/7.66 c
7.43/7.66 c
7.43/7.66 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-53_ext.xml
7.43/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.43/7.66 c choco : 1801.0
7.43/7.66 c mistral : 29.78
7.43/7.66 c abscon : 45.5191
7.43/7.66 c
7.43/7.66 c
7.43/7.66 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-7_ext.xml
7.43/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.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.43/7.67 c choco : 110.69
7.43/7.67 c mistral : 21.86
7.43/7.67 c abscon : 26.8269
7.43/7.67 c
7.43/7.67 c
7.43/7.67 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-79_ext.xml
7.43/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.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.43/7.67 c choco : 1801.0
7.43/7.67 c mistral : 20.68
7.43/7.67 c abscon : 28.7956
7.43/7.67 c
7.43/7.67 c
7.43/7.67 c /home/eomahony/cpZilla/CSP/random/rand-2-30-15/rand-2-30-15-306-230-23_ext.xml
7.43/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.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.43/7.68 c choco : 9.97
7.43/7.68 c mistral : 1.48077
7.43/7.68 c abscon : 1.51977
7.43/7.68 c
7.43/7.68 c
7.43/7.68 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-75_ext.xml
7.43/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.43/7.69 c choco : 66.65
7.43/7.69 c mistral : 5.25
7.43/7.69 c abscon : 15.5486
7.43/7.69 c
7.43/7.69 c
7.43/7.69 c /home/eomahony/cpZilla/CSP/random/rand-2-30-15/rand-2-30-15-306-230-35_ext.xml
7.43/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.43/7.69 c choco : 8.84
7.43/7.69 c mistral : 1.61
7.43/7.69 c abscon : 3.17252
7.43/7.69 c
7.43/7.69 c
7.43/7.70 c Length: 40
7.43/7.70 c 0.452296210021705 0.5418317543296993 0.5623550657725036 0.6499254354154781 0.7088280338699923 0.7440486744830608 0.8030941180833028 0.8068509781242137 0.8530854661169643 0.8612042801217352 0.8951080786139739 0.9620746434658797 0.9942292382041459 1.017710514046111 1.0270342314158754 1.0400164433315469 1.0767014960517134 1.0788351217864562 1.0907627500515404 1.1000691533262796 1.1179750024486226 1.165771885104456 1.1687477131100608 1.1773877791534932 1.1942021949402022 1.2068411826334045 1.2186640785712834 1.2251023901698979 1.3566373122172328 1.3574209291520445 1.3992428365369598 1.4070642558532975 1.4229308918215244 1.4542290767963617 1.4622309796335191 1.474563924623141 1.4830870904299593 1.5100213233262647 1.511327121373794 1.5213125459286794
7.43/7.70 c
7.43/7.70 c 1.0 0.9227177083417437 0.9066566267109255 0.8439743276005144 0.8064711402898773 0.7855973296989285 0.7529268990279528 0.7509398953772619 0.7273181852919157 0.7233227434109426 0.7071017280439349 0.6771091193482465 0.6635940022306244 0.6540603864057858 0.6503504195494125 0.6452542641781168 0.6312759457294538 0.630481570786271 0.6260773393235108 0.6226834876310096 0.6162560316484681 0.5997313476391992 0.5987317791781129 0.5958484062773681 0.5903159531545701 0.586224510748895 0.5824482597764887 0.5804122419985416 0.5417246339998575 0.541509601443737 0.5302757817646238 0.5282263987968014 0.5241172762529167 0.5161963096548802 0.5142094650851389 0.5111770137811201 0.5091021345201867 0.5026545828141453 0.5023461472877885 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, 18, 20, 22, 26, 27, 28, 29, 31, 32, 33, 37, 38, 39} 17027
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} 25185
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} 25699
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, 14, 16, 18, 19, 20, 22, 25, 26, 27, 28, 29, 30, 31, 32, 33, 37, 38, 39} 17205
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} 25699
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: {22, 27, 37, 39} 2181
7.50/7.71 c before 36.0 seconds: {4, 14, 16, 18, 20, 22, 27, 32, 37, 39} 6036
7.50/7.71 c before 54.0 seconds: {0, 1, 4, 6, 7, 14, 16, 18, 20, 22, 26, 27, 29, 32, 33, 37, 39} 11103
7.50/7.71 c before 72.0 seconds: {0, 1, 4, 6, 7, 8, 9, 11, 12, 14, 16, 18, 19, 20, 22, 25, 26, 27, 28, 29, 30, 31, 32, 33, 37, 38, 39} 17205
7.50/7.71 c before 90.0 seconds: {0, 1, 4, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 25, 26, 27, 28, 29, 30, 31, 32, 33, 37, 38, 39} 19104
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, 37, 38, 39} 22730
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, 37, 38, 39} 24676
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.71 c is solver0 dominated by:
7.50/7.71 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.71 c is dominated? true
7.50/7.71 c
7.50/7.71 c is solver1 dominated by:
7.50/7.71 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.71 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.71 c is dominated? false
7.50/7.71 c
7.50/7.71 c is solver2 dominated by:
7.50/7.71 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.71 c is dominated? true
7.50/7.71 c
7.50/7.71 c Number of non-dominated solvers: 1
7.50/7.71 c remove dominated solvers
7.50/7.71 c solver 1 is not dominated by another solver
7.50/7.71 c solver 2 is dominated by another solver
7.50/7.71 c solver 0 is dominated by another solver
7.50/7.71 c
7.50/7.71 c solver 0: 0.0
7.50/7.71 c
7.50/7.71 c solver 1: 36.0
7.50/7.71 c
7.50/7.71 c+ 2/2 of 98
7.50/7.71 c
7.50/7.71 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} 25699
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-1096525-1215281014.xml
7.50/7.72 c Running for: 1800 seconds
11.74/12.02 c mistral-prime version 1.313
11.74/12.02 s SATISFIABLE
11.74/12.02 v 0 1 0 7 4 5 1 1 0 1 4 6 3 10 1 5 10 3 4 6 7 6 9 3 10 2 5 6 4 4 1 7 9 4 1 10 4 10 6 8
11.74/12.02 d CHECKS 20967149
11.74/12.02 d ASSIGNMENTS 37778