0.00/0.00 c cpHydra_k_40 version 0.0
7.10/7.29 c CASE TO CLASSIFY:
7.10/7.29 c Case: 0
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.444900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.785000 | c 14 > 14.073600 | c 11 > 6.906890 | c 12 > 11.780800 | c 21 > 2.909750 | 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 > 9.766530 | 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.960000 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.30 c choco : 1801.0
7.20/7.30 c mistral : 1801.0
7.20/7.30 c abscon : 1801.0
7.20/7.30 c
7.20/7.30 c
7.41/7.58 c List of same ones: 40
7.41/7.58 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-6_ext.xml
7.41/7.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.093200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.831100 | c 14 > 13.897600 | c 11 > 6.906890 | c 12 > 11.922100 | c 21 > 2.909750 | 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 > 9.763210 | 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.971540 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.58 c choco : 1.98
7.41/7.58 c mistral : 0.888864
7.41/7.58 c abscon : 1.51277
7.41/7.58 c
7.41/7.58 c
7.41/7.58 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-0_ext.xml
7.41/7.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.056900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.834800 | c 14 > 13.928800 | c 11 > 6.906890 | c 12 > 11.801700 | c 21 > 2.909750 | 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 > 9.766530 | 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.052570 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.59 c choco : 1.71
7.41/7.59 c mistral : 0.294955
7.41/7.59 c abscon : 1.3438
7.41/7.59 c
7.41/7.59 c
7.41/7.59 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-9_ext.xml
7.41/7.59 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.896900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 12.197100 | c 14 > 13.726400 | c 11 > 6.906890 | c 12 > 12.021500 | c 21 > 2.909750 | 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 > 9.763210 | 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.971540 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.61 c choco : 2.18
7.50/7.61 c mistral : 3.68944
7.50/7.61 c abscon : 6.576
7.50/7.61 c
7.50/7.61 c
7.50/7.61 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-5_ext.xml
7.50/7.61 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.139700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.031500 | c 14 > 13.664100 | c 11 > 6.906890 | c 12 > 11.386800 | c 21 > 2.909750 | 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 > 9.763210 | 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.915880 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.62 c choco : 2.41
7.50/7.62 c mistral : 2.56061
7.50/7.62 c abscon : 5.59815
7.50/7.62 c
7.50/7.62 c
7.50/7.62 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-2_ext.xml
7.50/7.62 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.881300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 13.056200 | c 14 > 14.189400 | c 11 > 6.906890 | c 12 > 12.221700 | c 21 > 2.909750 | 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 > 9.764870 | 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.033420 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.63 c choco : 1.73
7.50/7.63 c mistral : 2.31065
7.50/7.63 c abscon : 1.27481
7.50/7.63 c
7.50/7.63 c
7.50/7.63 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-8_ext.xml
7.50/7.63 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.625500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.844100 | c 14 > 13.151000 | c 11 > 7.546890 | c 12 > 10.952100 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 10.647500 | 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.714250 | c 31 > -1.000000 | c 4 > 7.546890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.64 c choco : 13.14
7.50/7.64 c mistral : 111.164
7.50/7.64 c abscon : 90.4513
7.50/7.64 c
7.50/7.64 c
7.50/7.64 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-6_ext.xml
7.50/7.64 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.539900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 13.207000 | c 14 > 13.388300 | c 11 > 7.539160 | c 12 > 11.691100 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 10.633900 | 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.668880 | c 31 > -1.000000 | c 4 > 7.539160 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.65 c choco : 10.43
7.50/7.65 c mistral : 141.615
7.50/7.65 c abscon : 373.165
7.50/7.65 c
7.50/7.65 c
7.50/7.65 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-0_ext.xml
7.50/7.65 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.461000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.525900 | c 14 > 12.725600 | c 11 > 7.546890 | c 12 > 10.964100 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 10.647500 | 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.693490 | c 31 > -1.000000 | c 4 > 7.546890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.65 c choco : 9.89
7.50/7.65 c mistral : 47.8837
7.50/7.65 c abscon : 83.9172
7.50/7.65 c
7.50/7.65 c
7.50/7.65 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-1_ext.xml
7.50/7.65 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.514700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.111600 | c 14 > 13.089100 | c 11 > 7.546890 | c 12 > 10.653900 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 10.649300 | 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.724510 | c 31 > -1.000000 | c 4 > 7.546890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.66 c choco : 2.04
7.50/7.66 c mistral : 3.37
7.50/7.66 c abscon : 10.3474
7.50/7.66 c
7.50/7.66 c
7.50/7.66 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-7_ext.xml
7.50/7.66 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.560400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.527600 | c 14 > 12.829100 | c 11 > 7.366320 | c 12 > 10.625800 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 10.277300 | 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.317410 | c 31 > -1.000000 | c 4 > 7.366320 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.67 c choco : 3.32
7.50/7.67 c mistral : 4.6143
7.50/7.67 c abscon : 17.1644
7.50/7.67 c
7.50/7.67 c
7.50/7.67 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-9_ext.xml
7.50/7.67 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.436000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.204200 | c 14 > 12.550000 | c 11 > 7.357550 | c 12 > 10.531900 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 10.259700 | 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.236010 | c 31 > -1.000000 | c 4 > 7.357550 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.68 c choco : 2.8
7.50/7.68 c mistral : 2.81857
7.50/7.68 c abscon : 3.75643
7.50/7.68 c
7.50/7.68 c
7.50/7.68 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-2_ext.xml
7.50/7.68 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.560200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.780500 | c 14 > 12.765100 | c 11 > 7.546890 | c 12 > 10.302000 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 10.647500 | c 1 > 0.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.665340 | c 31 > -1.000000 | c 4 > 7.539160 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.69 c choco : 33.57
7.50/7.69 c mistral : 1800.04
7.50/7.69 c abscon : 1800.1
7.50/7.69 c
7.50/7.69 c
7.50/7.69 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-7_ext.xml
7.50/7.70 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.423200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.437400 | c 14 > 12.697200 | c 11 > 7.546890 | c 12 > 10.321500 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 10.647500 | 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.672430 | c 31 > -1.000000 | c 4 > 7.546890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.70 c choco : 42.27
7.58/7.70 c mistral : 15.4926
7.58/7.70 c abscon : 525.707
7.58/7.70 c
7.58/7.70 c
7.58/7.70 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-4_ext.xml
7.58/7.70 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.448200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.026000 | c 14 > 12.641100 | c 11 > 7.357550 | c 12 > 10.169500 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 10.258600 | 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.285400 | c 31 > -1.000000 | c 4 > 7.357550 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.71 c choco : 3.46
7.58/7.71 c mistral : 0.866867
7.58/7.71 c abscon : 2.79157
7.58/7.71 c
7.58/7.71 c
7.58/7.71 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-3_ext.xml
7.58/7.71 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.408600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.417600 | c 14 > 12.447100 | c 11 > 7.539160 | c 12 > 10.312100 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 10.632100 | 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.674190 | c 31 > -1.000000 | c 4 > 7.539160 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.72 c choco : 67.22
7.58/7.72 c mistral : 1800.1
7.58/7.72 c abscon : 149.661
7.58/7.72 c
7.58/7.72 c
7.58/7.72 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-77_ext.xml
7.58/7.72 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.58/7.72 c choco : 98.77
7.58/7.72 c mistral : 19.83
7.58/7.72 c abscon : 15.2867
7.58/7.72 c
7.58/7.72 c
7.58/7.72 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-5_ext.xml
7.58/7.72 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.348600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.328700 | c 14 > 12.777300 | c 11 > 7.546890 | c 12 > 10.061000 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 10.645700 | 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.726220 | c 31 > -1.000000 | c 4 > 7.546890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.73 c choco : 6.84
7.58/7.73 c mistral : 193.235
7.58/7.73 c abscon : 52.387
7.58/7.73 c
7.58/7.73 c
7.58/7.73 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-55_ext.xml
7.58/7.73 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.58/7.74 c choco : 48.03
7.58/7.74 c mistral : 4.66
7.58/7.74 c abscon : 8.85565
7.58/7.74 c
7.58/7.74 c
7.58/7.74 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-37_ext.xml
7.58/7.74 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.58/7.75 c choco : 96.66
7.58/7.75 c mistral : 22.48
7.58/7.75 c abscon : 25.4361
7.58/7.75 c
7.58/7.75 c
7.58/7.75 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-15/qwh-15-106-5_ext.xml
7.58/7.75 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.203400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.705370 | c 14 > 13.041000 | c 11 > 6.727920 | c 12 > 9.837850 | c 21 > 2.756000 | 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 > 9.396600 | 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.629360 | c 31 > -1.000000 | c 4 > 6.727920 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.76 c choco : 1.68
7.58/7.76 c mistral : 0.554915
7.58/7.76 c abscon : 1.36679
7.58/7.76 c
7.58/7.76 c
7.58/7.76 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-79_ext.xml
7.58/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.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.58/7.76 c choco : 111.24
7.58/7.76 c mistral : 23.95
7.58/7.76 c abscon : 33.2509
7.58/7.76 c
7.58/7.76 c
7.58/7.76 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-19_ext.xml
7.58/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.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.58/7.77 c choco : 51.3
7.58/7.77 c mistral : 11.76
7.58/7.77 c abscon : 15.4197
7.58/7.77 c
7.58/7.77 c
7.58/7.77 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-59_ext.xml
7.58/7.77 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.58/7.78 c choco : 40.58
7.58/7.78 c mistral : 7.95
7.58/7.78 c abscon : 1.47678
7.58/7.78 c
7.58/7.78 c
7.58/7.78 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-61_ext.xml
7.58/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.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.58/7.78 c choco : 68.99
7.58/7.78 c mistral : 5.09
7.58/7.78 c abscon : 1.51277
7.58/7.78 c
7.58/7.78 c
7.58/7.78 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-43_ext.xml
7.58/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.177900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.614500 | c 14 > 13.581300 | c 11 > 5.321930 | c 12 > 11.645700 | 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.58/7.79 c choco : 1801.0
7.58/7.79 c mistral : 29.08
7.58/7.79 c abscon : 40.2689
7.58/7.79 c
7.58/7.79 c
7.58/7.79 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-53_ext.xml
7.58/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.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.58/7.79 c choco : 1801.0
7.58/7.79 c mistral : 29.78
7.58/7.79 c abscon : 45.5191
7.58/7.79 c
7.58/7.79 c
7.58/7.79 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-43_ext.xml
7.58/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.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.64/7.80 c choco : 34.79
7.64/7.80 c mistral : 4.93725
7.64/7.80 c abscon : 0.816874
7.64/7.80 c
7.64/7.80 c
7.64/7.80 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-25/qcp-25-264-3_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 > 21.509300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 13.208800 | c 14 > 13.296800 | c 11 > 8.027910 | c 12 > 11.467300 | c 21 > 3.337300 | c 20 > 0.000000 | c 22 > 5.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 > 11.301500 | 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 > 10.179900 | c 31 > -1.000000 | c 4 > 8.027910 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.81 c choco : 373.6
7.64/7.81 c mistral : 1800.04
7.64/7.81 c abscon : 1800.02
7.64/7.81 c
7.64/7.81 c
7.64/7.81 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-49_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.187900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.588700 | c 14 > 13.515800 | c 11 > 5.321930 | c 12 > 11.687400 | 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.64/7.81 c choco : 75.11
7.64/7.81 c mistral : 11.29
7.64/7.81 c abscon : 17.3174
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-9_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.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.64/7.82 c choco : 55.94
7.64/7.82 c mistral : 11.21
7.64/7.82 c abscon : 14.6708
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-35_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.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.64/7.82 c choco : 40.85
7.64/7.82 c mistral : 10.7444
7.64/7.82 c abscon : 1.91171
7.64/7.82 c
7.64/7.82 c
7.64/7.82 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-47_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.134300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.544800 | c 14 > 13.501000 | c 11 > 5.321930 | c 12 > 11.662700 | 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.64/7.83 c choco : 88.64
7.64/7.83 c mistral : 16.37
7.64/7.83 c abscon : 21.6117
7.64/7.83 c
7.64/7.83 c
7.64/7.83 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-0_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 > 21.669500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.482750 | c 14 > 12.969600 | c 11 > 7.366320 | c 12 > 9.963750 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 10.277300 | 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.333160 | c 31 > -1.000000 | c 4 > 7.366320 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.83 c choco : 5.75
7.64/7.83 c mistral : 3.82342
7.64/7.83 c abscon : 4.02439
7.64/7.83 c
7.64/7.83 c
7.64/7.84 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-41_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.017700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.651400 | c 14 > 13.344300 | c 11 > 5.321930 | c 12 > 11.676700 | 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.64/7.84 c choco : 44.86
7.64/7.84 c mistral : 7.36
7.64/7.84 c abscon : 9.11261
7.64/7.84 c
7.64/7.84 c
7.64/7.84 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-15_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.116100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.585400 | c 14 > 13.438900 | c 11 > 5.321930 | c 12 > 11.522900 | 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.64/7.85 c choco : 44.45
7.64/7.85 c mistral : 6.96
7.64/7.85 c abscon : 11.4633
7.64/7.85 c
7.64/7.85 c
7.64/7.85 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-13_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.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.64/7.86 c choco : 37.72
7.64/7.86 c mistral : 7.42687
7.64/7.86 c abscon : 4.5723
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-13_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.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.64/7.86 c choco : 93.65
7.64/7.86 c mistral : 19.23
7.64/7.86 c abscon : 21.5947
7.64/7.86 c
7.64/7.86 c
7.64/7.86 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-8_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 > 21.339600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.710560 | c 14 > 12.598100 | c 11 > 7.375040 | c 12 > 10.069300 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 10.292300 | 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.379380 | c 31 > -1.000000 | c 4 > 7.375040 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.87 c choco : 4.36
7.64/7.87 c mistral : 5.2462
7.64/7.87 c abscon : 3.13152
7.64/7.87 c
7.64/7.87 c
7.64/7.87 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-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.063500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.490500 | c 14 > 13.393400 | c 11 > 5.321930 | c 12 > 11.650700 | 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.64/7.87 c choco : 64.63
7.64/7.87 c mistral : 11.81
7.64/7.87 c abscon : 14.0419
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-5_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.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.64/7.88 c choco : 86.67
7.64/7.88 c mistral : 18.06
7.64/7.88 c abscon : 24.0723
7.64/7.88 c
7.64/7.88 c
7.64/7.89 c Length: 40
7.64/7.89 c 0.4205995530192596 0.4277815971965145 0.80545573062708 0.9928711582073486 1.465192854882934 2.1887763844440586 2.4055894692985347 2.462987590041819 2.480834357771595 2.5339724854070536 2.9133382237907086 3.031074277727289 3.0660221759635067 3.139120783292673 3.1966840811221866 3.234494142968881 3.248648846058927 3.2496685619459718 3.2864413627661153 3.322855887365566 3.338497415380158 3.341235611536547 3.3484422842420325 3.361969807032776 3.3622373478831022 3.3706301448690565 3.378207584281937 3.378592601158063 3.3793071070117318 3.3921869360340384 3.3980320883417208 3.402801228914201 3.4071116358728264 3.4077754523295685 3.4086911760234306 3.4178067943492647 3.4409229101071124 3.447608007285631 3.45013966289772 3.450292275054391
7.64/7.89 c
7.64/7.89 c 1.0 0.9976350542152214 0.8872893055805808 0.8411223562479706 0.7436131641872133 0.6314662556530537 0.6041643989366209 0.5973273821842692 0.5952329784835536 0.5890830344406864 0.5486157285686798 0.5371636127194391 0.5338557082747963 0.5270667979952928 0.5218410199879934 0.5184645253475484 0.5172117027752791 0.5171216822189731 0.5138961879881272 0.5107415274876419 0.5093983318192358 0.5091639191328616 0.508547997037656 0.5073958747693583 0.5073731412892061 0.5066610214222086 0.5060197987158696 0.5059872609091713 0.5059268890497202 0.5048410787368064 0.5043498499260242 0.503949757181076 0.503588694250109 0.5035331353732728 0.5034565129494258 0.5026950406429997 0.5007743256236632 0.5002215948658044 0.5000125933563625 0.5
7.70/7.91 c
7.70/7.91 c solver 0
7.70/7.91 c before 0.0 seconds: {} 0
7.70/7.91 c before 18.0 seconds: {0, 1, 2, 3, 4, 8, 9, 10, 13, 15, 17, 19, 21, 22, 23, 26, 28, 29, 30, 32, 33, 34, 35, 37, 38} 14835
7.70/7.91 c before 36.0 seconds: {0, 1, 2, 3, 4, 8, 9, 10, 13, 15, 17, 18, 19, 20, 21, 22, 23, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17363
7.70/7.91 c before 54.0 seconds: {0, 1, 2, 3, 4, 8, 9, 10, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18895
7.70/7.91 c before 90.0 seconds: {0, 1, 2, 3, 4, 7, 8, 9, 10, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19492
7.70/7.91 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20123
7.70/7.91 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20645
7.70/7.91 c before 378.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21249
7.70/7.91 c before 540.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21783
7.70/7.91 c
7.70/7.91 c solver 1
7.70/7.91 c before 0.0 seconds: {} 0
7.70/7.91 c before 18.0 seconds: {0, 1, 2, 3, 4, 8, 9, 10, 12, 13, 17, 19, 21, 22, 23, 26, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38} 15355
7.70/7.91 c before 36.0 seconds: {0, 1, 2, 3, 4, 8, 9, 10, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18911
7.70/7.91 c before 54.0 seconds: {0, 1, 2, 3, 4, 7, 8, 9, 10, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19508
7.70/7.91 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20140
7.70/7.91 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20744
7.70/7.91 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21261
7.70/7.91 c
7.70/7.91 c solver 2
7.70/7.91 c before 0.0 seconds: {} 0
7.70/7.91 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 16, 19, 32, 37} 10594
7.70/7.91 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 16, 19, 26, 32, 37} 11637
7.70/7.91 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 16, 17, 19, 21, 22, 26, 30, 32, 33, 34, 35, 37} 15720
7.70/7.91 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 19, 21, 22, 23, 26, 29, 30, 32, 33, 34, 35, 37, 38} 17754
7.70/7.91 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 19, 21, 22, 23, 26, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 19264
7.70/7.91 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, 21, 22, 23, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20797
7.70/7.91 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, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21306
7.70/7.91 c before 378.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, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21812
7.70/7.91 c
7.70/7.91 cTotal time: 62
7.70/7.91 c 1116.0 seconds unused
7.70/7.91 c 0 c 1 c 2
7.70/7.91 c 0 c 0 c 2
7.70/7.91 c 2 c 3 c 0
7.70/7.91 c is solver0 dominated by:
7.70/7.91 c solver 1 (0 solves instances that 1 can't: true) (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.70/7.91 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: false) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
7.70/7.91 c is dominated? false
7.70/7.91 c
7.70/7.91 c is solver1 dominated by:
7.70/7.91 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.70/7.91 c is dominated? true
7.70/7.91 c
7.70/7.91 c is solver2 dominated by:
7.70/7.91 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.70/7.91 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true)
7.70/7.91 c is dominated? false
7.70/7.91 c
7.70/7.91 c Number of non-dominated solvers: 2
7.70/7.91 c remove dominated solvers
7.70/7.91 c solver 0 is not dominated by another solver
7.70/7.91 c solver 2 is not dominated by another solver
7.70/7.91 c solver 1 is dominated by another solver
7.70/7.91 c
7.70/7.91 c solver 0: 540.0
7.70/7.91 c
7.70/7.91 c+ 30/51 of 49
7.70/7.91 c
7.70/7.91 c solver 1: 0.0
7.70/7.91 c
7.70/7.91 c solver 2: 378.0
7.70/7.91 c
7.70/7.91 c+ 21/51 of 49
7.70/7.91 c run abscon for 1044.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21783
7.70/7.91 c do not run mistral
7.70/7.91 c run choco for 738.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, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21812
7.70/7.91 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.70/7.91 c On Instance: HOME/instance-1045954-1215020703.xml
7.70/7.91 c Running for: 1044 seconds
8.88/9.12 s UNSATISFIABLE
8.88/9.12 d ASSIGNMENTS 497
8.88/9.12 d CHECKS 54673