0.00/0.00 c cpHydra_k_40 version 0.0
6.99/7.18 c CASE TO CLASSIFY:
6.99/7.18 c Case: 0
6.99/7.18 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.806800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.127100 | c 14 > 13.726600 | c 11 > 5.321930 | c 12 > 12.091700 | 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.19 c choco : 1801.0
6.99/7.19 c mistral : 1801.0
6.99/7.19 c abscon : 1801.0
6.99/7.19 c
6.99/7.19 c
7.10/7.27 c List of same ones: 40
7.10/7.27 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-59_ext.xml
7.10/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.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.10/7.27 c choco : 40.58
7.10/7.27 c mistral : 7.95
7.10/7.27 c abscon : 1.47678
7.10/7.27 c
7.10/7.27 c
7.10/7.27 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-55_ext.xml
7.10/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.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.10/7.29 c choco : 48.03
7.10/7.29 c mistral : 4.66
7.10/7.29 c abscon : 8.85565
7.10/7.29 c
7.10/7.29 c
7.10/7.29 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-77_ext.xml
7.10/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.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.10/7.30 c choco : 98.77
7.10/7.30 c mistral : 19.83
7.10/7.30 c abscon : 15.2867
7.10/7.30 c
7.10/7.30 c
7.10/7.30 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-79_ext.xml
7.10/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.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.18/7.31 c choco : 111.24
7.18/7.31 c mistral : 23.95
7.18/7.31 c abscon : 33.2509
7.18/7.31 c
7.18/7.31 c
7.18/7.31 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-43_ext.xml
7.18/7.31 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.18/7.32 c choco : 34.79
7.18/7.32 c mistral : 4.93725
7.18/7.32 c abscon : 0.816874
7.18/7.32 c
7.18/7.32 c
7.18/7.32 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-37_ext.xml
7.18/7.32 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.18/7.33 c choco : 96.66
7.18/7.33 c mistral : 22.48
7.18/7.33 c abscon : 25.4361
7.18/7.33 c
7.18/7.33 c
7.18/7.33 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-35_ext.xml
7.18/7.33 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.18/7.33 c choco : 40.85
7.18/7.33 c mistral : 10.7444
7.18/7.33 c abscon : 1.91171
7.18/7.33 c
7.18/7.33 c
7.18/7.33 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-3_ext.xml
7.18/7.33 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.18/7.34 c choco : 66.38
7.18/7.34 c mistral : 13.24
7.18/7.34 c abscon : 15.5286
7.18/7.34 c
7.18/7.34 c
7.18/7.34 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-19_ext.xml
7.18/7.34 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.18/7.35 c choco : 51.3
7.18/7.35 c mistral : 11.76
7.18/7.35 c abscon : 15.4197
7.18/7.35 c
7.18/7.35 c
7.18/7.35 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-61_ext.xml
7.18/7.35 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.18/7.36 c choco : 68.99
7.18/7.36 c mistral : 5.09
7.18/7.36 c abscon : 1.51277
7.18/7.36 c
7.18/7.36 c
7.18/7.36 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-13_ext.xml
7.18/7.36 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.18/7.37 c choco : 93.65
7.18/7.37 c mistral : 19.23
7.18/7.37 c abscon : 21.5947
7.18/7.37 c
7.18/7.37 c
7.18/7.37 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-63_ext.xml
7.18/7.37 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.18/7.38 c choco : 23.06
7.18/7.38 c mistral : 1.19382
7.18/7.38 c abscon : 1.55976
7.18/7.38 c
7.18/7.38 c
7.18/7.38 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-69_ext.xml
7.18/7.38 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.18/7.39 c choco : 68.73
7.18/7.39 c mistral : 11.85
7.18/7.39 c abscon : 16.0806
7.18/7.39 c
7.18/7.39 c
7.18/7.39 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-53_ext.xml
7.18/7.39 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.25/7.40 c choco : 75.62
7.25/7.40 c mistral : 19.787
7.25/7.40 c abscon : 5.10922
7.25/7.40 c
7.25/7.40 c
7.25/7.40 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-9_ext.xml
7.25/7.40 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.25/7.41 c choco : 55.94
7.25/7.41 c mistral : 11.21
7.25/7.41 c abscon : 14.6708
7.25/7.41 c
7.25/7.41 c
7.25/7.41 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-33_ext.xml
7.25/7.41 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.25/7.41 c choco : 20.51
7.25/7.41 c mistral : 2.5
7.25/7.41 c abscon : 1.18182
7.25/7.41 c
7.25/7.41 c
7.25/7.41 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-15_ext.xml
7.25/7.41 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.25/7.42 c choco : 34.38
7.25/7.42 c mistral : 13.78
7.25/7.42 c abscon : 2.22666
7.25/7.42 c
7.25/7.42 c
7.25/7.42 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-5_ext.xml
7.25/7.42 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.25/7.43 c choco : 86.67
7.25/7.43 c mistral : 18.06
7.25/7.43 c abscon : 24.0723
7.25/7.43 c
7.25/7.43 c
7.25/7.43 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-39_ext.xml
7.25/7.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.25/7.44 c choco : 100.04
7.25/7.44 c mistral : 19.23
7.25/7.44 c abscon : 28.0987
7.25/7.44 c
7.25/7.44 c
7.25/7.44 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-67_ext.xml
7.25/7.44 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.25/7.45 c choco : 64.4
7.25/7.45 c mistral : 14.7
7.25/7.45 c abscon : 18.1322
7.25/7.45 c
7.25/7.45 c
7.25/7.45 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-27_ext.xml
7.25/7.45 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.25/7.46 c choco : 24.04
7.25/7.46 c mistral : 0.885864
7.25/7.46 c abscon : 0.887864
7.25/7.46 c
7.25/7.46 c
7.25/7.46 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-31_ext.xml
7.25/7.46 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.25/7.46 c choco : 11.08
7.25/7.46 c mistral : 6.44
7.25/7.46 c abscon : 2.49662
7.25/7.46 c
7.25/7.46 c
7.25/7.46 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-29_ext.xml
7.25/7.46 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.25/7.47 c choco : 94.36
7.25/7.47 c mistral : 21.71
7.25/7.47 c abscon : 25.5321
7.25/7.47 c
7.25/7.47 c
7.25/7.47 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-25_ext.xml
7.25/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.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.25/7.47 c choco : 80.84
7.25/7.47 c mistral : 18.33
7.25/7.47 c abscon : 22.0476
7.25/7.47 c
7.25/7.47 c
7.25/7.47 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-73_ext.xml
7.25/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.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.25/7.48 c choco : 9.28
7.25/7.48 c mistral : 0.990849
7.25/7.48 c abscon : 1.89871
7.25/7.48 c
7.25/7.48 c
7.25/7.48 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-75_ext.xml
7.25/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.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.25/7.49 c choco : 116.82
7.25/7.49 c mistral : 23.04
7.25/7.49 c abscon : 32.1371
7.25/7.49 c
7.25/7.49 c
7.25/7.49 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-11_ext.xml
7.25/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.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.25/7.49 c choco : 70.39
7.25/7.49 c mistral : 14.62
7.25/7.49 c abscon : 18.7242
7.25/7.49 c
7.25/7.49 c
7.25/7.49 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-65_ext.xml
7.25/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.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.25/7.50 c choco : 38.96
7.25/7.50 c mistral : 2.5986
7.25/7.50 c abscon : 1.08283
7.25/7.50 c
7.25/7.50 c
7.25/7.50 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-51_ext.xml
7.25/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.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.32/7.50 c choco : 50.37
7.32/7.50 c mistral : 4.08238
7.32/7.50 c abscon : 2.21966
7.32/7.50 c
7.32/7.50 c
7.32/7.50 c /home/eomahony/cpZilla/CSP/random/rand-2-30-15/rand-2-30-15-306-230-33_ext.xml
7.32/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.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.32/7.51 c choco : 30.89
7.32/7.51 c mistral : 3.34
7.32/7.51 c abscon : 5.74013
7.32/7.51 c
7.32/7.51 c
7.32/7.51 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-71_ext.xml
7.32/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.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.32/7.51 c choco : 65.84
7.32/7.51 c mistral : 14.66
7.32/7.51 c abscon : 2.89856
7.32/7.51 c
7.32/7.51 c
7.32/7.51 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-47_ext.xml
7.32/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.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.32/7.52 c choco : 66.34
7.32/7.52 c mistral : 13.05
7.32/7.52 c abscon : 18.5732
7.32/7.52 c
7.32/7.52 c
7.32/7.52 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-41_ext.xml
7.32/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.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.32/7.53 c choco : 70.51
7.32/7.53 c mistral : 14.28
7.32/7.53 c abscon : 17.8863
7.32/7.53 c
7.32/7.53 c
7.32/7.53 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-13_ext.xml
7.32/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.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.32/7.54 c choco : 37.72
7.32/7.54 c mistral : 7.42687
7.32/7.54 c abscon : 4.5723
7.32/7.54 c
7.32/7.54 c
7.32/7.54 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-53_ext.xml
7.32/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.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.32/7.54 c choco : 1801.0
7.32/7.54 c mistral : 29.78
7.32/7.54 c abscon : 45.5191
7.32/7.54 c
7.32/7.54 c
7.32/7.54 c /home/eomahony/cpZilla/CSP/random/rand-2-30-15/rand-2-30-15-306-230-23_ext.xml
7.32/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.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.32/7.55 c choco : 9.97
7.32/7.55 c mistral : 1.48077
7.32/7.55 c abscon : 1.51977
7.32/7.55 c
7.32/7.55 c
7.32/7.55 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-7_ext.xml
7.32/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.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.32/7.55 c choco : 110.69
7.32/7.55 c mistral : 21.86
7.32/7.55 c abscon : 26.8269
7.32/7.55 c
7.32/7.55 c
7.32/7.55 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-79_ext.xml
7.32/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.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.32/7.56 c choco : 1801.0
7.32/7.56 c mistral : 20.68
7.32/7.56 c abscon : 28.7956
7.32/7.56 c
7.32/7.56 c
7.32/7.56 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-75_ext.xml
7.32/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.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.32/7.56 c choco : 66.65
7.32/7.56 c mistral : 5.25
7.32/7.56 c abscon : 15.5486
7.32/7.56 c
7.32/7.56 c
7.32/7.56 c /home/eomahony/cpZilla/CSP/random/rand-2-30-15/rand-2-30-15-306-230-35_ext.xml
7.32/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.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.32/7.57 c choco : 8.84
7.32/7.57 c mistral : 1.61
7.32/7.57 c abscon : 3.17252
7.32/7.57 c
7.32/7.57 c
7.32/7.57 c Length: 40
7.32/7.57 c 0.4655722285532077 0.5122062900824217 0.6517231390705694 0.7060193294804321 0.7588094092721832 0.8414959655280587 0.8483765157640789 0.8869425179232286 0.8954734540454006 0.9340565092648294 0.9624603048437896 1.0332174033087125 1.0441200034478795 1.0838669034526334 1.0993640525776691 1.1105455657468535 1.1159747716234447 1.1198250918781918 1.159709864578205 1.1684255389625813 1.2171075729367549 1.2228107387899394 1.228955407042906 1.2389843784729482 1.2583910172915247 1.258931863287286 1.2693685446315404 1.2739363447205658 1.4105329605861754 1.4186484599434772 1.4188102096122646 1.4487642726130425 1.4810685068895344 1.4858906951051274 1.49041067085552 1.4987442700140685 1.5166158768125833 1.5249145706563378 1.551963375147751 1.5600663743571943
7.32/7.58 c
7.32/7.58 c 1.0 0.9591333723682135 0.8546428539285662 0.8198818850522505 0.788693117237832 0.7443422435366336 0.740875453018895 0.7220264031581087 0.7179857446518932 0.7002618380625849 0.6877632102509097 0.6584852017312062 0.6541940953559182 0.6390128967297305 0.6332830127138205 0.6292121908009685 0.6272544115549528 0.625873348226134 0.6119169730310844 0.6089496730419948 0.5928909324697731 0.5910648830615641 0.589110018994437 0.5859470297357292 0.5799219227358365 0.5797557825119488 0.5765683217512987 0.5751842728791057 0.5366601427165709 0.5345331022534862 0.5344908796643539 0.5267851089079644 0.5187199587647054 0.5175371753550861 0.5164334054722185 0.5144106497321266 0.5101257823714029 0.5081602767661841 0.5018577316371673 0.5
7.32/7.59 c
7.32/7.59 c solver 0
7.32/7.59 c before 0.0 seconds: {} 0
7.32/7.59 c before 18.0 seconds: {0, 1, 2, 4, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 20, 21, 24, 27, 28, 29, 30, 32, 33, 35, 38, 39} 16822
7.32/7.59 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} 24797
7.32/7.59 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} 25313
7.32/7.59 c
7.32/7.59 c solver 1
7.32/7.59 c before 0.0 seconds: {} 0
7.32/7.59 c before 18.0 seconds: {0, 1, 4, 6, 7, 8, 9, 11, 12, 14, 15, 16, 19, 20, 21, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 38, 39} 17040
7.32/7.59 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} 25313
7.32/7.59 c
7.32/7.59 c solver 2
7.32/7.59 c before 0.0 seconds: {} 0
7.32/7.59 c before 18.0 seconds: {21, 24, 35, 39} 2185
7.32/7.59 c before 36.0 seconds: {4, 11, 15, 16, 20, 21, 24, 29, 35, 39} 6016
7.32/7.59 c before 54.0 seconds: {0, 1, 4, 6, 8, 11, 15, 16, 20, 21, 24, 27, 28, 29, 33, 35, 39} 11063
7.32/7.59 c before 72.0 seconds: {0, 1, 4, 6, 7, 8, 9, 11, 12, 14, 15, 16, 19, 20, 21, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 38, 39} 17040
7.32/7.59 c before 90.0 seconds: {0, 1, 4, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 38, 39} 18891
7.32/7.59 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, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 38, 39} 22379
7.32/7.59 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} 24289
7.32/7.59 c
7.32/7.59 cTotal time: 12
7.32/7.59 c 216.0 seconds unused
7.32/7.59 c 0 c 0 c 2
7.32/7.59 c 0 c 0 c 2
7.32/7.59 c 0 c 0 c 0
7.32/7.59 c is solver0 dominated by:
7.32/7.59 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.32/7.59 c is dominated? true
7.32/7.59 c
7.32/7.59 c is solver1 dominated by:
7.32/7.59 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.32/7.59 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.32/7.59 c is dominated? false
7.32/7.59 c
7.32/7.59 c is solver2 dominated by:
7.32/7.59 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.32/7.59 c is dominated? true
7.32/7.59 c
7.32/7.59 c Number of non-dominated solvers: 1
7.32/7.59 c remove dominated solvers
7.32/7.59 c solver 1 is not dominated by another solver
7.32/7.59 c solver 2 is dominated by another solver
7.32/7.59 c solver 0 is dominated by another solver
7.32/7.59 c
7.32/7.59 c solver 0: 0.0
7.32/7.59 c
7.32/7.59 c solver 1: 36.0
7.32/7.59 c
7.32/7.59 c+ 2/2 of 98
7.32/7.60 c
7.32/7.60 c solver 2: 0.0
7.32/7.60 c do not run abscon
7.32/7.60 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} 25313
7.32/7.60 c do not run choco
7.32/7.60 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.32/7.60 c On Instance: HOME/instance-1096701-1215281193.xml
7.32/7.60 c Running for: 1800 seconds
13.72/14.02 c mistral-prime version 1.313
13.72/14.02 s SATISFIABLE
13.72/14.02 v 0 0 2 8 7 2 1 4 1 0 7 10 4 6 9 3 5 3 1 3 0 6 3 8 10 9 2 4 4 4 9 9 2 8 6 5 3 7 10 4
13.72/14.02 d CHECKS 32059758
13.72/14.02 d ASSIGNMENTS 58819