0.00/0.00 c cpHydra_k_40 version 0.0
7.17/7.39 c CASE TO CLASSIFY:
7.17/7.39 c Case: 0
7.17/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.261900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.884890 | c 14 > 13.511900 | c 11 > 5.321930 | c 12 > 11.873800 | 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.27/7.40 c choco : 1801.0
7.27/7.40 c mistral : 1801.0
7.27/7.40 c abscon : 1801.0
7.27/7.40 c
7.27/7.40 c
7.27/7.48 c List of same ones: 40
7.27/7.48 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-65_ext.xml
7.27/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.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.27/7.48 c choco : 79.72
7.27/7.48 c mistral : 17.21
7.27/7.48 c abscon : 19.502
7.27/7.48 c
7.27/7.48 c
7.27/7.48 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-63_ext.xml
7.27/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.27/7.49 c choco : 38.17
7.27/7.49 c mistral : 13.49
7.27/7.49 c abscon : 3.40348
7.27/7.49 c
7.27/7.49 c
7.27/7.49 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-73_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.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.36/7.50 c choco : 66.54
7.36/7.50 c mistral : 19.16
7.36/7.50 c abscon : 20.7438
7.36/7.50 c
7.36/7.50 c
7.36/7.50 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-17_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.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.36/7.51 c choco : 74.96
7.36/7.51 c mistral : 18.64
7.36/7.51 c abscon : 20.9138
7.36/7.51 c
7.36/7.51 c
7.36/7.51 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-79_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.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.36/7.52 c choco : 63.09
7.36/7.52 c mistral : 15.85
7.36/7.52 c abscon : 18.5372
7.36/7.52 c
7.36/7.52 c
7.36/7.52 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-15_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.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.36/7.53 c choco : 21.25
7.36/7.53 c mistral : 4.19936
7.36/7.53 c abscon : 10.4084
7.36/7.53 c
7.36/7.53 c
7.36/7.53 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-29_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.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.36/7.54 c choco : 49.99
7.36/7.54 c mistral : 8.69
7.36/7.54 c abscon : 2.31465
7.36/7.54 c
7.36/7.54 c
7.36/7.54 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-77_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.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.36/7.55 c choco : 15.25
7.36/7.55 c mistral : 1.11883
7.36/7.55 c abscon : 0.97585
7.36/7.55 c
7.36/7.55 c
7.36/7.55 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-7_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.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.36/7.55 c choco : 12.19
7.36/7.55 c mistral : 5.82611
7.36/7.55 c abscon : 1.00485
7.36/7.56 c
7.36/7.56 c
7.36/7.56 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-47_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.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.36/7.56 c choco : 58.61
7.36/7.56 c mistral : 14.71
7.36/7.56 c abscon : 14.2218
7.36/7.56 c
7.36/7.56 c
7.36/7.56 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-33_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.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.54/7.76 c choco : 58.82
7.54/7.76 c mistral : 15.0947
7.54/7.76 c abscon : 14.0539
7.54/7.76 c
7.54/7.76 c
7.54/7.76 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-27_ext.xml
7.54/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.413500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.577100 | c 14 > 12.660400 | c 11 > 5.321930 | c 12 > 10.871400 | 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.54/7.78 c choco : 57.53
7.54/7.78 c mistral : 9.99648
7.54/7.78 c abscon : 2.39164
7.54/7.78 c
7.54/7.78 c
7.54/7.78 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-53_ext.xml
7.54/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.324000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.695470 | c 14 > 12.575300 | c 11 > 5.321930 | c 12 > 10.987800 | 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.54/7.78 c choco : 58.5
7.54/7.78 c mistral : 13.07
7.54/7.78 c abscon : 12.976
7.54/7.78 c
7.54/7.78 c
7.54/7.78 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-59_ext.xml
7.54/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.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.54/7.79 c choco : 40.58
7.54/7.79 c mistral : 7.95
7.54/7.79 c abscon : 1.47678
7.54/7.79 c
7.54/7.79 c
7.54/7.79 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-45_ext.xml
7.54/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.302500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.542110 | c 14 > 12.674900 | c 11 > 5.321930 | c 12 > 10.915100 | 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.54/7.80 c choco : 68.21
7.54/7.80 c mistral : 5.41
7.54/7.80 c abscon : 9.14461
7.54/7.80 c
7.54/7.80 c
7.54/7.80 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-0_ext.xml
7.54/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.262900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.817420 | c 14 > 12.581000 | c 11 > 5.321930 | c 12 > 10.975900 | 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.62/7.80 c choco : 44.93
7.62/7.80 c mistral : 3.73643
7.62/7.80 c abscon : 3.35549
7.62/7.80 c
7.62/7.80 c
7.62/7.80 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-69_ext.xml
7.62/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.484800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.162210 | c 14 > 12.682600 | c 11 > 5.321930 | c 12 > 10.940800 | 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.62/7.81 c choco : 65.14
7.62/7.81 c mistral : 14.07
7.62/7.81 c abscon : 16.9494
7.62/7.81 c
7.62/7.81 c
7.62/7.81 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-71_ext.xml
7.62/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.453000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.109570 | c 14 > 12.719000 | c 11 > 5.321930 | c 12 > 10.976700 | 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.62/7.82 c choco : 22.3
7.62/7.82 c mistral : 4.00539
7.62/7.82 c abscon : 6.78797
7.62/7.82 c
7.62/7.82 c
7.62/7.82 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-3_ext.xml
7.62/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.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.62/7.83 c choco : 66.38
7.62/7.83 c mistral : 13.24
7.62/7.83 c abscon : 15.5286
7.62/7.83 c
7.62/7.83 c
7.62/7.83 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-33_ext.xml
7.62/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.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.62/7.84 c choco : 20.51
7.62/7.84 c mistral : 2.5
7.62/7.84 c abscon : 1.18182
7.62/7.84 c
7.62/7.84 c
7.62/7.84 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-63_ext.xml
7.62/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.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.62/7.85 c choco : 23.06
7.62/7.85 c mistral : 1.19382
7.62/7.85 c abscon : 1.55976
7.62/7.85 c
7.62/7.85 c
7.62/7.85 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-43_ext.xml
7.62/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.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.62/7.85 c choco : 34.79
7.62/7.85 c mistral : 4.93725
7.62/7.85 c abscon : 0.816874
7.62/7.85 c
7.62/7.85 c
7.62/7.85 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-15_ext.xml
7.62/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.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.62/7.86 c choco : 34.38
7.62/7.86 c mistral : 13.78
7.62/7.86 c abscon : 2.22666
7.62/7.86 c
7.62/7.86 c
7.62/7.86 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-79_ext.xml
7.62/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.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.62/7.86 c choco : 111.24
7.62/7.86 c mistral : 23.95
7.62/7.86 c abscon : 33.2509
7.62/7.86 c
7.62/7.86 c
7.62/7.86 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-23_ext.xml
7.62/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.297600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.675720 | c 14 > 12.584000 | c 11 > 5.321930 | c 12 > 10.848500 | 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.62/7.87 c choco : 22.15
7.62/7.87 c mistral : 5.01
7.62/7.87 c abscon : 1.50877
7.62/7.87 c
7.62/7.87 c
7.62/7.87 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-1_ext.xml
7.62/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.301500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.384610 | c 14 > 12.527700 | c 11 > 5.321930 | c 12 > 10.994400 | 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.62/7.87 c choco : 53.2
7.62/7.87 c mistral : 12.1941
7.62/7.87 c abscon : 16.1645
7.62/7.87 c
7.62/7.87 c
7.62/7.87 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-25_ext.xml
7.62/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.264000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.589230 | c 14 > 12.565300 | c 11 > 5.321930 | c 12 > 10.882100 | 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.62/7.88 c choco : 17.98
7.62/7.88 c mistral : 2.40563
7.62/7.88 c abscon : 1.07383
7.62/7.88 c
7.62/7.88 c
7.62/7.88 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-29_ext.xml
7.62/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.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.62/7.89 c choco : 94.36
7.62/7.89 c mistral : 21.71
7.62/7.89 c abscon : 25.5321
7.62/7.89 c
7.62/7.89 c
7.62/7.89 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-31_ext.xml
7.62/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.359500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.013050 | c 14 > 12.592900 | c 11 > 5.321930 | c 12 > 11.123900 | 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.62/7.89 c choco : 62.67
7.62/7.89 c mistral : 16.25
7.62/7.89 c abscon : 20.003
7.62/7.89 c
7.62/7.89 c
7.62/7.89 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-55_ext.xml
7.62/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.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.62/7.90 c choco : 48.03
7.62/7.90 c mistral : 4.66
7.62/7.90 c abscon : 8.85565
7.62/7.90 c
7.62/7.90 c
7.62/7.90 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-37_ext.xml
7.62/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.217400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.602990 | c 14 > 12.512500 | c 11 > 5.321930 | c 12 > 10.938300 | 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.69/7.90 c choco : 54.94
7.69/7.90 c mistral : 15.1807
7.69/7.90 c abscon : 15.3627
7.69/7.90 c
7.69/7.90 c
7.69/7.90 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-13_ext.xml
7.69/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.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.69/7.91 c choco : 93.65
7.69/7.91 c mistral : 19.23
7.69/7.91 c abscon : 21.5947
7.69/7.91 c
7.69/7.91 c
7.69/7.91 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-35_ext.xml
7.69/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.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.69/7.91 c choco : 40.85
7.69/7.91 c mistral : 10.7444
7.69/7.91 c abscon : 1.91171
7.69/7.92 c
7.69/7.92 c
7.69/7.92 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-65_ext.xml
7.69/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.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.69/7.92 c choco : 38.96
7.69/7.92 c mistral : 2.5986
7.69/7.92 c abscon : 1.08283
7.69/7.92 c
7.69/7.92 c
7.69/7.92 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-69_ext.xml
7.69/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.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.69/7.93 c choco : 68.73
7.69/7.93 c mistral : 11.85
7.69/7.93 c abscon : 16.0806
7.69/7.93 c
7.69/7.93 c
7.69/7.93 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-73_ext.xml
7.69/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.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.69/7.94 c choco : 9.28
7.69/7.94 c mistral : 0.990849
7.69/7.94 c abscon : 1.89871
7.69/7.94 c
7.69/7.94 c
7.69/7.94 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-51_ext.xml
7.69/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.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.69/7.94 c choco : 50.37
7.69/7.94 c mistral : 4.08238
7.69/7.94 c abscon : 2.21966
7.69/7.94 c
7.69/7.94 c
7.69/7.94 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-47_ext.xml
7.69/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.69/7.95 c choco : 66.34
7.69/7.95 c mistral : 13.05
7.69/7.95 c abscon : 18.5732
7.69/7.95 c
7.69/7.95 c
7.69/7.95 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-9_ext.xml
7.69/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.302000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.362010 | c 14 > 12.533800 | c 11 > 5.321930 | c 12 > 10.846700 | 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.69/7.96 c choco : 72.54
7.69/7.96 c mistral : 11.65
7.69/7.96 c abscon : 14.9777
7.69/7.96 c
7.69/7.96 c
7.69/7.96 c /home/eomahony/cpZilla/CSP/tightness/tightness0.1/rand-2-40-8-753-100-51_ext.xml
7.69/7.96 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.338600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.164420 | c 14 > 12.617500 | c 11 > 5.321930 | c 12 > 10.849400 | 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.69/7.97 c choco : 52.51
7.69/7.97 c mistral : 12.47
7.69/7.97 c abscon : 14.9997
7.69/7.97 c
7.69/7.97 c
7.69/7.97 c Length: 40
7.69/7.97 c 1.1727814315122846 1.2032119809908808 1.2461276838671063 1.338469850986567 1.4476181156990267 1.4508141312035803 1.4569543949279962 1.4888362178896641 1.516842364947657 1.5222584192245405 1.590438777601955 1.5951109492759445 1.6055424790394048 1.620699169247642 1.6302212053583418 1.6356515849348865 1.6384072394859595 1.6397935293200803 1.6522645991184328 1.6535742558470126 1.673425095634699 1.6735780208881796 1.6782393645424951 1.6966046267766686 1.6987844964267846 1.7072334125127706 1.7212621479600376 1.7263980875510707 1.7266573029990635 1.732134752148341 1.744824391278389 1.744911327833022 1.746286061531729 1.7729000065429514 1.780025850823521 1.7826763301283828 1.784851921224839 1.788878425047381 1.790649469996851 1.7946894765669086
7.69/7.97 c
7.69/7.97 c 1.0 0.9533516033949047 0.8945044243119192 0.7896277764865447 0.6935173687396522 0.691054437400995 0.6863713500678508 0.6630412466399619 0.6438178232460334 0.6402281526648497 0.5982385046216891 0.5955618407138713 0.5896712527454878 0.581317121964251 0.5761887263440613 0.5733043362483105 0.5718516654197809 0.5711236486266371 0.5646568066874266 0.5639861745996636 0.5540128262871341 0.5539373633832738 0.5516469869980636 0.5428044755779419 0.54177369628503 0.5378152400997862 0.5313687772055395 0.5290471943942636 0.5289305596932995 0.5264779354660397 0.5208823834006517 0.5208444585423095 0.5202454834403444 0.5089153008886322 0.5059649336304886 0.5048762452226032 0.503986112831341 0.5023469417887617 0.501629329127936 0.5
7.69/7.98 c
7.69/7.98 c solver 0
7.69/7.98 c before 0.0 seconds: {} 0
7.69/7.98 c before 18.0 seconds: {1, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 29, 30, 32, 33, 34, 35, 36, 38, 39} 17927
7.69/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} 23928
7.69/7.98 c
7.69/7.98 c solver 1
7.69/7.98 c before 0.0 seconds: {} 0
7.69/7.98 c before 18.0 seconds: {0, 1, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 20652
7.69/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} 23928
7.69/7.98 c
7.69/7.98 c solver 2
7.69/7.98 c before 0.0 seconds: {} 0
7.69/7.98 c before 18.0 seconds: {7, 8, 26, 35} 2343
7.69/7.98 c before 36.0 seconds: {5, 7, 8, 17, 19, 20, 21, 22, 24, 26, 35} 6370
7.69/7.98 c before 54.0 seconds: {1, 5, 6, 7, 8, 13, 15, 17, 19, 20, 21, 22, 24, 25, 26, 29, 32, 33, 35, 36, 39} 12262
7.69/7.98 c before 72.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 28, 29, 30, 32, 33, 34, 35, 36, 37, 39} 20044
7.69/7.98 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 22336
7.69/7.98 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23386
7.69/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} 23928
7.69/7.98 c
7.69/7.98 cTotal time: 11
7.69/7.99 c 198.0 seconds unused
7.69/7.99 c 0 c 0 c 0
7.69/7.99 c 0 c 0 c 0
7.69/7.99 c 0 c 0 c 0
7.69/7.99 c is solver0 dominated by:
7.69/7.99 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.69/7.99 c is dominated? true
7.69/7.99 c
7.69/7.99 c is solver1 dominated by:
7.69/7.99 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.69/7.99 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.69/7.99 c is dominated? false
7.69/7.99 c
7.69/7.99 c is solver2 dominated by:
7.69/7.99 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.69/7.99 c is dominated? true
7.69/7.99 c
7.69/7.99 c Number of non-dominated solvers: 1
7.69/7.99 c remove dominated solvers
7.69/7.99 c solver 1 is not dominated by another solver
7.69/7.99 c solver 2 is dominated by another solver
7.69/7.99 c solver 0 is dominated by another solver
7.69/7.99 c
7.69/7.99 c solver 0: 0.0
7.69/7.99 c
7.69/7.99 c solver 1: 36.0
7.69/7.99 c
7.69/7.99 c+ 2/2 of 98
7.69/7.99 c
7.69/7.99 c solver 2: 0.0
7.69/7.99 c do not run abscon
7.69/7.99 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} 23928
7.69/7.99 c do not run choco
7.69/7.99 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.69/7.99 c On Instance: HOME/instance-1102509-1215299498.xml
7.69/7.99 c Running for: 1800 seconds
13.88/14.25 c mistral-prime version 1.313
13.88/14.25 s UNSATISFIABLE
13.88/14.25 d CHECKS 42034417
13.88/14.25 d ASSIGNMENTS 49942