0.00/0.00 c cpHydra_k_40 version 0.0
7.19/7.39 c CASE TO CLASSIFY:
7.19/7.39 c Case: 0
7.19/7.39 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 23.216600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.313900 | c 14 > 13.499100 | c 11 > 5.321930 | c 12 > 12.178600 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | 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.556510 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.40 c choco : 1801.0
7.28/7.40 c mistral : 1801.0
7.28/7.40 c abscon : 1801.0
7.28/7.40 c
7.28/7.40 c
7.28/7.47 c List of same ones: 40
7.28/7.47 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-59_ext.xml
7.28/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.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.28/7.48 c choco : 40.58
7.28/7.48 c mistral : 7.95
7.28/7.48 c abscon : 1.47678
7.28/7.48 c
7.28/7.48 c
7.28/7.48 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-63_ext.xml
7.28/7.48 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.545800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.892050 | c 14 > 12.842000 | c 11 > 5.321930 | c 12 > 11.176600 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | 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.550750 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.49 c choco : 38.17
7.28/7.49 c mistral : 13.49
7.28/7.49 c abscon : 3.40348
7.28/7.49 c
7.28/7.49 c
7.28/7.49 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-65_ext.xml
7.28/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.602800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.808080 | c 14 > 12.856800 | c 11 > 5.321930 | c 12 > 11.162500 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | 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.554590 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.50 c choco : 79.72
7.38/7.50 c mistral : 17.21
7.38/7.50 c abscon : 19.502
7.38/7.50 c
7.38/7.50 c
7.38/7.50 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-73_ext.xml
7.38/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.507600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.750300 | c 14 > 12.833500 | c 11 > 5.321930 | c 12 > 11.162800 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | 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.556510 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.51 c choco : 66.54
7.38/7.51 c mistral : 19.16
7.38/7.51 c abscon : 20.7438
7.38/7.51 c
7.38/7.51 c
7.38/7.51 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-55_ext.xml
7.38/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.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.38/7.52 c choco : 48.03
7.38/7.52 c mistral : 4.66
7.38/7.52 c abscon : 8.85565
7.38/7.52 c
7.38/7.52 c
7.38/7.52 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-17_ext.xml
7.38/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.452800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.912230 | c 14 > 12.732800 | c 11 > 5.321930 | c 12 > 11.146400 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | 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.552670 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.53 c choco : 74.96
7.38/7.53 c mistral : 18.64
7.38/7.53 c abscon : 20.9138
7.38/7.53 c
7.38/7.53 c
7.38/7.53 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-3_ext.xml
7.38/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.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.38/7.54 c choco : 66.38
7.38/7.54 c mistral : 13.24
7.38/7.54 c abscon : 15.5286
7.38/7.54 c
7.38/7.54 c
7.38/7.54 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-43_ext.xml
7.38/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.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.38/7.55 c choco : 34.79
7.38/7.55 c mistral : 4.93725
7.38/7.55 c abscon : 0.816874
7.38/7.55 c
7.38/7.55 c
7.38/7.55 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-79_ext.xml
7.38/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.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.38/7.55 c choco : 111.24
7.38/7.55 c mistral : 23.95
7.38/7.55 c abscon : 33.2509
7.38/7.55 c
7.38/7.55 c
7.38/7.55 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-63_ext.xml
7.38/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.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.38/7.56 c choco : 23.06
7.38/7.56 c mistral : 1.19382
7.38/7.56 c abscon : 1.55976
7.38/7.56 c
7.38/7.56 c
7.38/7.56 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-35_ext.xml
7.38/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.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.56/7.76 c choco : 40.85
7.56/7.76 c mistral : 10.7444
7.56/7.76 c abscon : 1.91171
7.56/7.76 c
7.56/7.76 c
7.56/7.76 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-77_ext.xml
7.56/7.76 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.56/7.77 c choco : 98.77
7.56/7.77 c mistral : 19.83
7.56/7.77 c abscon : 15.2867
7.56/7.77 c
7.56/7.77 c
7.56/7.77 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-33_ext.xml
7.56/7.78 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.56/7.78 c choco : 20.51
7.56/7.78 c mistral : 2.5
7.56/7.78 c abscon : 1.18182
7.56/7.78 c
7.56/7.78 c
7.56/7.78 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-15_ext.xml
7.56/7.78 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.56/7.79 c choco : 34.38
7.56/7.79 c mistral : 13.78
7.56/7.79 c abscon : 2.22666
7.56/7.79 c
7.56/7.79 c
7.56/7.79 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-13_ext.xml
7.56/7.79 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.56/7.80 c choco : 93.65
7.56/7.80 c mistral : 19.23
7.56/7.80 c abscon : 21.5947
7.56/7.80 c
7.56/7.80 c
7.56/7.80 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-29_ext.xml
7.56/7.80 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.364300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.811440 | c 14 > 12.670900 | c 11 > 5.321930 | c 12 > 11.096400 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | 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.556510 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.80 c choco : 49.99
7.64/7.80 c mistral : 8.69
7.64/7.80 c abscon : 2.31465
7.64/7.80 c
7.64/7.80 c
7.64/7.80 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-19_ext.xml
7.64/7.80 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.64/7.81 c choco : 51.3
7.64/7.81 c mistral : 11.76
7.64/7.81 c abscon : 15.4197
7.64/7.81 c
7.64/7.81 c
7.64/7.81 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-69_ext.xml
7.64/7.81 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.64/7.82 c choco : 68.73
7.64/7.82 c mistral : 11.85
7.64/7.82 c abscon : 16.0806
7.64/7.82 c
7.64/7.82 c
7.64/7.82 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-37_ext.xml
7.64/7.82 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.64/7.83 c choco : 96.66
7.64/7.83 c mistral : 22.48
7.64/7.83 c abscon : 25.4361
7.64/7.83 c
7.64/7.83 c
7.64/7.83 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-29_ext.xml
7.64/7.83 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.64/7.84 c choco : 94.36
7.64/7.84 c mistral : 21.71
7.64/7.84 c abscon : 25.5321
7.64/7.84 c
7.64/7.84 c
7.64/7.84 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-61_ext.xml
7.64/7.84 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.64/7.84 c choco : 68.99
7.64/7.84 c mistral : 5.09
7.64/7.84 c abscon : 1.51277
7.64/7.84 c
7.64/7.84 c
7.64/7.84 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-53_ext.xml
7.64/7.84 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.64/7.85 c choco : 75.62
7.64/7.85 c mistral : 19.787
7.64/7.85 c abscon : 5.10922
7.64/7.85 c
7.64/7.85 c
7.64/7.85 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-73_ext.xml
7.64/7.85 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.64/7.86 c choco : 9.28
7.64/7.86 c mistral : 0.990849
7.64/7.86 c abscon : 1.89871
7.64/7.86 c
7.64/7.86 c
7.64/7.86 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-79_ext.xml
7.64/7.86 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.449200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.491060 | c 14 > 12.721300 | c 11 > 5.321930 | c 12 > 11.064500 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | 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.554590 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.86 c choco : 63.09
7.64/7.86 c mistral : 15.85
7.64/7.86 c abscon : 18.5372
7.64/7.86 c
7.64/7.86 c
7.64/7.86 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-67_ext.xml
7.64/7.86 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.64/7.87 c choco : 64.4
7.64/7.87 c mistral : 14.7
7.64/7.87 c abscon : 18.1322
7.64/7.87 c
7.64/7.87 c
7.64/7.87 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-65_ext.xml
7.64/7.87 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.64/7.87 c choco : 38.96
7.64/7.87 c mistral : 2.5986
7.64/7.87 c abscon : 1.08283
7.64/7.87 c
7.64/7.87 c
7.64/7.87 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-33_ext.xml
7.64/7.87 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.282300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.927720 | c 14 > 12.541800 | c 11 > 5.321930 | c 12 > 11.082000 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | 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.556510 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.88 c choco : 58.82
7.64/7.88 c mistral : 15.0947
7.64/7.88 c abscon : 14.0539
7.64/7.88 c
7.64/7.88 c
7.64/7.88 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-31_ext.xml
7.64/7.88 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.64/7.89 c choco : 11.08
7.64/7.89 c mistral : 6.44
7.64/7.89 c abscon : 2.49662
7.64/7.89 c
7.64/7.89 c
7.64/7.89 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-15_ext.xml
7.64/7.89 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.446600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.385020 | c 14 > 12.739100 | c 11 > 5.321930 | c 12 > 11.103700 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | 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.552670 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.89 c choco : 21.25
7.64/7.89 c mistral : 4.19936
7.64/7.89 c abscon : 10.4084
7.64/7.89 c
7.64/7.89 c
7.64/7.89 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-7_ext.xml
7.64/7.89 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.434300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.697380 | c 14 > 12.668700 | c 11 > 5.321930 | c 12 > 10.941200 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | 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.554590 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.90 c choco : 12.19
7.64/7.90 c mistral : 5.82611
7.70/7.90 c abscon : 1.00485
7.70/7.90 c
7.70/7.90 c
7.70/7.90 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-75_ext.xml
7.70/7.90 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.70/7.90 c choco : 116.82
7.70/7.90 c mistral : 23.04
7.70/7.90 c abscon : 32.1371
7.70/7.90 c
7.70/7.90 c
7.70/7.90 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-5_ext.xml
7.70/7.90 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.70/7.91 c choco : 86.67
7.70/7.91 c mistral : 18.06
7.70/7.91 c abscon : 24.0723
7.70/7.91 c
7.70/7.91 c
7.70/7.91 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-25_ext.xml
7.70/7.91 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.70/7.92 c choco : 80.84
7.70/7.92 c mistral : 18.33
7.70/7.92 c abscon : 22.0476
7.70/7.92 c
7.70/7.92 c
7.70/7.92 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-51_ext.xml
7.70/7.92 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.70/7.92 c choco : 50.37
7.70/7.92 c mistral : 4.08238
7.70/7.92 c abscon : 2.21966
7.70/7.92 c
7.70/7.92 c
7.70/7.92 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-39_ext.xml
7.70/7.92 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.70/7.93 c choco : 100.04
7.70/7.93 c mistral : 19.23
7.70/7.93 c abscon : 28.0987
7.70/7.93 c
7.70/7.93 c
7.70/7.93 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-9_ext.xml
7.70/7.93 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.70/7.94 c choco : 55.94
7.70/7.94 c mistral : 11.21
7.70/7.94 c abscon : 14.6708
7.70/7.94 c
7.70/7.94 c
7.70/7.94 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-47_ext.xml
7.70/7.94 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.70/7.94 c choco : 66.34
7.70/7.94 c mistral : 13.05
7.70/7.94 c abscon : 18.5732
7.70/7.94 c
7.70/7.94 c
7.70/7.94 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-47_ext.xml
7.70/7.94 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.436800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.428960 | c 14 > 12.677300 | c 11 > 5.321930 | c 12 > 11.018200 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | 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.554590 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.95 c choco : 58.61
7.70/7.95 c mistral : 14.71
7.70/7.95 c abscon : 14.2218
7.70/7.95 c
7.70/7.95 c
7.70/7.95 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-77_ext.xml
7.70/7.95 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.476700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.272900 | c 14 > 12.763200 | c 11 > 5.321930 | c 12 > 11.058400 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | 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.543030 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.95 c choco : 15.25
7.70/7.95 c mistral : 1.11883
7.70/7.95 c abscon : 0.97585
7.70/7.95 c
7.70/7.95 c
7.70/7.95 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-11_ext.xml
7.70/7.95 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.70/7.96 c choco : 70.39
7.70/7.96 c mistral : 14.62
7.70/7.96 c abscon : 18.7242
7.70/7.96 c
7.70/7.96 c
7.70/7.96 c Length: 40
7.70/7.96 c 1.4190723862791483 1.4365749719732688 1.4413939429593845 1.5149914059162175 1.5372684987015097 1.5483528359195142 1.5584418730257454 1.5593893423709153 1.564890177328747 1.604567698789926 1.6261520254883908 1.641720575341612 1.6430053764671613 1.645117205672592 1.6621277640121406 1.684028925404787 1.7085699729305783 1.720496345564267 1.7230421345689715 1.7270535110412741 1.727658513711548 1.7412331015403995 1.7588954539426147 1.764132580618588 1.7643391175168108 1.7676513004266408 1.7722884450337077 1.7744151905346155 1.7857051296336686 1.7924332084627304 1.7999038212915706 1.8112847169619684 1.817370926255836 1.8215229843183418 1.8279403074225358 1.832962021865154 1.8398357511201908 1.847456069843068 1.8514079967419383 1.8556107338555665
7.70/7.97 c
7.70/7.97 c 1.0 0.961451524715963 0.9513543099469615 0.8198559630434963 0.7869320892330695 0.7715161633436609 0.7580003631823707 0.7567553679414913 0.749607188148417 0.7017921626865415 0.6782569109924446 0.6622379604448208 0.6609497227449973 0.6588430997618062 0.6423519395763517 0.6222972623916321 0.6012627295654234 0.5915455891412154 0.5895119175783738 0.5863357021479187 0.5858596277772947 0.575377470407947 0.5622875364581766 0.5585199103703207 0.558372360842939 0.5560167491641886 0.5527520252840091 0.5512675059465165 0.5435185012329514 0.5390033276682811 0.5340769341799965 0.5267426730718963 0.5229025622668704 0.5203147787079677 0.516365165161912 0.5133160669914638 0.5092003681474592 0.5047141035370247 0.5024184964198447 0.5
7.70/7.98 c
7.70/7.98 c solver 0
7.70/7.98 c before 0.0 seconds: {} 0
7.70/7.98 c before 18.0 seconds: {0, 1, 4, 6, 7, 9, 10, 11, 12, 13, 15, 16, 17, 20, 21, 22, 25, 26, 27, 28, 29, 33, 35, 37, 38} 15947
7.70/7.98 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} 25283
7.70/7.98 c
7.70/7.98 c solver 1
7.70/7.98 c before 0.0 seconds: {} 0
7.70/7.98 c before 18.0 seconds: {0, 1, 2, 4, 6, 7, 9, 10, 12, 13, 15, 16, 17, 20, 22, 23, 24, 25, 26, 27, 28, 29, 33, 35, 36, 37, 38, 39} 17787
7.70/7.98 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} 25283
7.70/7.98 c
7.70/7.98 c solver 2
7.70/7.98 c before 0.0 seconds: {} 0
7.70/7.98 c before 18.0 seconds: {22, 27, 29, 38} 2154
7.70/7.98 c before 36.0 seconds: {7, 9, 12, 13, 22, 27, 28, 29, 38} 5476
7.70/7.98 c before 54.0 seconds: {0, 1, 4, 7, 9, 10, 12, 13, 15, 16, 22, 25, 27, 28, 29, 33, 38} 11203
7.70/7.98 c before 72.0 seconds: {0, 1, 3, 4, 6, 7, 9, 10, 12, 13, 15, 16, 17, 20, 22, 23, 24, 25, 26, 27, 28, 29, 33, 35, 36, 37, 38, 39} 17655
7.70/7.98 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 12, 13, 15, 16, 17, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 35, 36, 37, 38, 39} 21003
7.70/7.98 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24000
7.70/7.98 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, 34, 35, 36, 37, 38, 39} 25283
7.70/7.98 c
7.70/7.98 cTotal time: 11
7.70/7.98 c 198.0 seconds unused
7.70/7.98 c 0 c 0 c 0
7.70/7.98 c 0 c 0 c 0
7.70/7.98 c 0 c 0 c 0
7.70/7.98 c is solver0 dominated by:
7.70/7.98 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: true) (0 < 1: false)
7.70/7.98 c is dominated? true
7.70/7.98 c
7.70/7.98 c is solver1 dominated by:
7.70/7.98 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: false) (1 is equally as fast as 0: true) (1 < 0: true)
7.70/7.98 c solver 2 (1 solves instances that 2 can't: false) (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.70/7.98 c is dominated? false
7.70/7.98 c
7.70/7.98 c is solver2 dominated by:
7.70/7.98 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.70/7.98 c is dominated? true
7.70/7.98 c
7.70/7.98 c Number of non-dominated solvers: 1
7.70/7.98 c remove dominated solvers
7.70/7.98 c solver 1 is not dominated by another solver
7.70/7.98 c solver 2 is dominated by another solver
7.70/7.98 c solver 0 is dominated by another solver
7.70/7.98 c
7.70/7.98 c solver 0: 0.0
7.70/7.98 c
7.70/7.98 c solver 1: 36.0
7.70/7.98 c
7.70/7.98 c+ 2/2 of 98
7.70/7.98 c
7.70/7.98 c solver 2: 0.0
7.70/7.98 c do not run abscon
7.70/7.98 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} 25283
7.70/7.98 c do not run choco
7.70/7.98 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.70/7.98 c On Instance: HOME/instance-1102663-1215299666.xml
7.70/7.99 c Running for: 1800 seconds
12.50/12.85 c mistral-prime version 1.313
12.50/12.85 s UNSATISFIABLE
12.50/12.85 d CHECKS 32542866
12.50/12.85 d ASSIGNMENTS 38114