0.00/0.00 c cpHydra_k_40 version 0.0
7.08/7.21 c CASE TO CLASSIFY:
7.08/7.21 c Case: 0
7.08/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.246300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 14.222800 | c 14 > 15.284700 | c 11 > 6.066090 | c 12 > 13.684900 | c 21 > 2.651410 | c 20 > 0.000000 | c 22 > 3.162280 | 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.651050 | 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.266790 | c 31 > -1.000000 | c 4 > 6.066090 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.22 c choco : 1801.0
7.08/7.22 c mistral : 1801.0
7.08/7.22 c abscon : 1801.0
7.08/7.22 c
7.08/7.22 c
7.08/7.29 c List of same ones: 40
7.08/7.29 c /home/eomahony/cpZilla/CSP/coloring/myciel-5g-5-ext.xml
7.08/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.558100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 13.893900 | c 14 > 15.991200 | c 11 > 5.554590 | c 12 > 14.810000 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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.882640 | 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 > 7.876520 | c 31 > -1.000000 | c 4 > 5.554590 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.17/7.30 c choco : 110.99
7.17/7.30 c mistral : 54.65
7.17/7.30 c abscon : 149.631
7.17/7.30 c
7.17/7.30 c
7.17/7.30 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-2_ext.xml
7.17/7.30 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.17/7.31 c choco : 1.73
7.17/7.31 c mistral : 2.31065
7.17/7.31 c abscon : 1.27481
7.17/7.31 c
7.17/7.31 c
7.17/7.31 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-9_ext.xml
7.17/7.31 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.17/7.32 c choco : 2.18
7.17/7.32 c mistral : 3.68944
7.17/7.32 c abscon : 6.576
7.17/7.32 c
7.17/7.32 c
7.17/7.32 c /home/eomahony/cpZilla/CSP/cril/cril-7.ext.xml
7.17/7.32 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.517500 | c 34 > -1.000000 | c 16 > 4.000000 | c 13 > 14.612000 | c 14 > 15.069700 | c 11 > 5.169930 | c 12 > 14.976700 | c 21 > 3.000000 | c 20 > 0.000000 | c 22 > 3.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.411760 | c 27 > 0.588235 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.294620 | 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.339850 | c 31 > -1.000000 | c 4 > 5.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.17/7.33 c choco : 7.56
7.17/7.33 c mistral : 14.2688
7.17/7.33 c abscon : 41.8156
7.17/7.33 c
7.17/7.33 c
7.17/7.33 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-6_ext.xml
7.17/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.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.17/7.34 c choco : 1.98
7.17/7.34 c mistral : 0.888864
7.17/7.34 c abscon : 1.51277
7.17/7.34 c
7.17/7.34 c
7.17/7.34 c /home/eomahony/cpZilla/CSP/cril/cril-6_ext.xml
7.17/7.34 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.226200 | c 34 > -1.000000 | c 16 > 4.000000 | c 13 > 13.049100 | c 14 > 14.270700 | c 11 > 5.169930 | c 12 > 13.287200 | c 21 > 3.000000 | c 20 > 0.000000 | c 22 > 3.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.411760 | c 27 > 0.588235 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.294620 | 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.339850 | c 31 > -1.000000 | c 4 > 5.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.17/7.35 c choco : 24.03
7.17/7.35 c mistral : 2.05069
7.17/7.35 c abscon : 26.436
7.17/7.35 c
7.17/7.35 c
7.17/7.35 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-0_ext.xml
7.17/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.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.17/7.36 c choco : 1.71
7.17/7.36 c mistral : 0.294955
7.17/7.36 c abscon : 1.3438
7.17/7.36 c
7.17/7.36 c
7.17/7.36 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-6_ext.xml
7.17/7.36 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.17/7.36 c choco : 10.43
7.17/7.36 c mistral : 141.615
7.17/7.36 c abscon : 373.165
7.17/7.36 c
7.17/7.36 c
7.17/7.36 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-5_ext.xml
7.17/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.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.17/7.37 c choco : 2.41
7.17/7.37 c mistral : 2.56061
7.17/7.37 c abscon : 5.59815
7.17/7.37 c
7.17/7.37 c
7.17/7.37 c /home/eomahony/cpZilla/CSP/random/rand-2-30-15/rand-2-30-15-306-230-23_ext.xml
7.17/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.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.17/7.38 c choco : 9.97
7.17/7.38 c mistral : 1.48077
7.17/7.38 c abscon : 1.51977
7.17/7.38 c
7.17/7.38 c
7.17/7.38 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-53_ext.xml
7.17/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.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.35/7.58 c choco : 1801.0
7.35/7.58 c mistral : 29.78
7.35/7.58 c abscon : 45.5191
7.35/7.58 c
7.35/7.58 c
7.35/7.58 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-13_ext.xml
7.35/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.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.35/7.59 c choco : 37.72
7.35/7.59 c mistral : 7.42687
7.35/7.59 c abscon : 4.5723
7.35/7.59 c
7.35/7.59 c
7.35/7.59 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-43_ext.xml
7.35/7.59 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.44/7.61 c choco : 1801.0
7.44/7.61 c mistral : 29.08
7.44/7.61 c abscon : 40.2689
7.44/7.61 c
7.44/7.61 c
7.44/7.61 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-49_ext.xml
7.44/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.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.44/7.61 c choco : 75.11
7.44/7.61 c mistral : 11.29
7.44/7.61 c abscon : 17.3174
7.44/7.61 c
7.44/7.61 c
7.44/7.61 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-41_ext.xml
7.44/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.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.44/7.62 c choco : 44.86
7.44/7.62 c mistral : 7.36
7.44/7.62 c abscon : 9.11261
7.44/7.62 c
7.44/7.62 c
7.44/7.62 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-47_ext.xml
7.44/7.62 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.44/7.62 c choco : 88.64
7.44/7.62 c mistral : 16.37
7.44/7.62 c abscon : 21.6117
7.44/7.62 c
7.44/7.62 c
7.44/7.62 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-31_ext.xml
7.44/7.62 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.043900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.413200 | c 14 > 13.456200 | c 11 > 5.321930 | c 12 > 11.886800 | 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.44/7.63 c choco : 18.16
7.44/7.63 c mistral : 1.89971
7.44/7.63 c abscon : 12.2961
7.44/7.63 c
7.44/7.63 c
7.44/7.63 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-15_ext.xml
7.44/7.63 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.44/7.64 c choco : 44.45
7.44/7.64 c mistral : 6.96
7.44/7.64 c abscon : 11.4633
7.44/7.64 c
7.44/7.64 c
7.44/7.64 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-65_ext.xml
7.44/7.64 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.44/7.65 c choco : 64.63
7.44/7.65 c mistral : 11.81
7.44/7.65 c abscon : 14.0419
7.44/7.65 c
7.44/7.65 c
7.44/7.65 c /home/eomahony/cpZilla/CSP/random/rand-2-30-15/rand-2-30-15-306-230-33_ext.xml
7.44/7.65 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.44/7.66 c choco : 30.89
7.44/7.66 c mistral : 3.34
7.44/7.66 c abscon : 5.74013
7.44/7.66 c
7.44/7.66 c
7.44/7.66 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-25_ext.xml
7.44/7.66 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.032000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.418600 | c 14 > 13.435000 | c 11 > 5.321930 | c 12 > 11.670200 | 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.44/7.67 c choco : 15.93
7.44/7.67 c mistral : 4.93
7.44/7.67 c abscon : 14.7028
7.44/7.67 c
7.44/7.67 c
7.44/7.67 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-19_ext.xml
7.44/7.67 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.001700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.485300 | c 14 > 13.309900 | c 11 > 5.321930 | c 12 > 11.640400 | 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.44/7.67 c choco : 36.05
7.44/7.67 c mistral : 5.88
7.44/7.67 c abscon : 8.30274
7.44/7.67 c
7.44/7.67 c
7.44/7.67 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-55_ext.xml
7.44/7.67 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.44/7.68 c choco : 48.03
7.44/7.68 c mistral : 4.66
7.44/7.68 c abscon : 8.85565
7.44/7.68 c
7.44/7.68 c
7.44/7.68 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-7_ext.xml
7.44/7.68 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.44/7.68 c choco : 110.69
7.44/7.68 c mistral : 21.86
7.44/7.68 c abscon : 26.8269
7.44/7.68 c
7.44/7.68 c
7.44/7.68 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-77_ext.xml
7.44/7.68 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.44/7.69 c choco : 98.77
7.44/7.69 c mistral : 19.83
7.44/7.69 c abscon : 15.2867
7.44/7.69 c
7.44/7.69 c
7.44/7.69 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-59_ext.xml
7.44/7.69 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.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.44/7.70 c choco : 40.58
7.44/7.70 c mistral : 7.95
7.44/7.70 c abscon : 1.47678
7.44/7.70 c
7.44/7.70 c
7.44/7.70 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-79_ext.xml
7.44/7.70 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.44/7.70 c choco : 1801.0
7.44/7.70 c mistral : 20.68
7.44/7.70 c abscon : 28.7956
7.44/7.70 c
7.44/7.70 c
7.44/7.70 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-29_ext.xml
7.44/7.70 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.119500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.369700 | c 14 > 13.490500 | c 11 > 5.321930 | c 12 > 11.553400 | 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.51/7.71 c choco : 1801.0
7.51/7.71 c mistral : 20.49
7.51/7.71 c abscon : 26.285
7.51/7.71 c
7.51/7.71 c
7.51/7.71 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-77_ext.xml
7.51/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.974500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.301700 | c 14 > 13.385100 | c 11 > 5.321930 | c 12 > 11.721800 | 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.51/7.71 c choco : 17.86
7.51/7.71 c mistral : 3.27
7.51/7.71 c abscon : 1.18482
7.51/7.71 c
7.51/7.71 c
7.51/7.71 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-33_ext.xml
7.51/7.71 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.028300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.456000 | c 14 > 13.353600 | c 11 > 5.321930 | c 12 > 11.422200 | 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.51/7.72 c choco : 66.83
7.51/7.72 c mistral : 6.4
7.51/7.72 c abscon : 3.10753
7.51/7.72 c
7.51/7.72 c
7.51/7.72 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-75_ext.xml
7.51/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.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.51/7.72 c choco : 66.65
7.51/7.72 c mistral : 5.25
7.51/7.72 c abscon : 15.5486
7.51/7.72 c
7.51/7.72 c
7.51/7.72 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-37_ext.xml
7.51/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.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.51/7.73 c choco : 96.66
7.51/7.73 c mistral : 22.48
7.51/7.73 c abscon : 25.4361
7.51/7.73 c
7.51/7.73 c
7.51/7.73 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-17_ext.xml
7.51/7.73 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.926400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.379200 | c 14 > 13.300600 | c 11 > 5.321930 | c 12 > 11.514100 | 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.51/7.74 c choco : 32.57
7.51/7.74 c mistral : 4.99
7.51/7.74 c abscon : 9.98948
7.51/7.74 c
7.51/7.74 c
7.51/7.74 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-71_ext.xml
7.51/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.159900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.353600 | c 14 > 13.465900 | c 11 > 5.321930 | c 12 > 11.382500 | 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.51/7.75 c choco : 51.1
7.51/7.75 c mistral : 8.18
7.51/7.75 c abscon : 11.9162
7.51/7.75 c
7.51/7.75 c
7.51/7.75 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-59_ext.xml
7.51/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.877500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.299800 | c 14 > 13.269100 | c 11 > 5.321930 | c 12 > 11.618800 | 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.51/7.75 c choco : 51.33
7.51/7.75 c mistral : 7.51
7.51/7.75 c abscon : 11.3503
7.51/7.75 c
7.51/7.75 c
7.51/7.75 c /home/eomahony/cpZilla/CSP/frb/frb35-17/frb35-17-3-mgd_ext.xml
7.51/7.75 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.105600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.299600 | c 14 > 13.308100 | c 11 > 5.129280 | c 12 > 11.746600 | c 21 > 4.123110 | c 20 > 0.000000 | c 22 > 4.123110 | 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.055280 | 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.216750 | c 31 > -1.000000 | c 4 > 5.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/7.76 c choco : 13.76
7.51/7.76 c mistral : 2.03669
7.51/7.76 c abscon : 1.07084
7.51/7.76 c
7.51/7.76 c
7.51/7.76 c /home/eomahony/cpZilla/CSP/tightness/tightness0.2/rand-2-40-11-414-200-79_ext.xml
7.51/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.51/7.76 c choco : 111.24
7.51/7.76 c mistral : 23.95
7.51/7.76 c abscon : 33.2509
7.51/7.76 c
7.51/7.76 c
7.51/7.76 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-51_ext.xml
7.51/7.76 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.879400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.352500 | c 14 > 13.292500 | c 11 > 5.321930 | c 12 > 11.418100 | 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.51/7.77 c choco : 32.35
7.51/7.77 c mistral : 1.92871
7.51/7.77 c abscon : 2.44963
7.51/7.77 c
7.51/7.77 c
7.51/7.77 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-35_ext.xml
7.51/7.77 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.949500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.196600 | c 14 > 13.342100 | c 11 > 5.321930 | c 12 > 11.636800 | 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.51/7.77 c choco : 1801.0
7.51/7.77 c mistral : 23.22
7.51/7.77 c abscon : 31.3442
7.51/7.77 c
7.51/7.77 c
7.51/7.77 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-37_ext.xml
7.51/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.075700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.067300 | c 14 > 13.519900 | c 11 > 5.321930 | c 12 > 11.702400 | 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.51/7.78 c choco : 26.75
7.51/7.78 c mistral : 9.51
7.51/7.78 c abscon : 8.14576
7.51/7.78 c
7.51/7.78 c
7.51/7.78 c Length: 40
7.51/7.78 c 2.065620509846858 2.9408938717505606 3.624918627183237 3.6258158280620116 3.807160950590348 3.8647223818826903 3.8692108464646897 4.614961162664319 4.663400930576312 4.865892455398084 4.9036395718078625 5.023629478793196 5.029448184463183 5.05371548666919 5.080955491853869 5.101180247766197 5.132399747700875 5.151677962586559 5.185498804377453 5.196889325115555 5.216244022301871 5.226804386066116 5.230712225596052 5.246074509592863 5.251026740495615 5.260209180194264 5.263405845096881 5.275967885630086 5.303025137617207 5.319417085564922 5.326764924435844 5.360013514852365 5.360555550518995 5.366394151588197 5.391501497746245 5.401567939552367 5.404199603734117 5.425128032609 5.429338674295424 5.436271083215038
7.51/7.79 c
7.51/7.79 c 1.0 0.793855618883654 0.6837090576061282 0.6835846521023267 0.6593358041716068 0.6519945798110196 0.65142899837984 0.569367494745419 0.5647465098786466 0.5462150210173788 0.5428941740092228 0.5326010272525208 0.5321117922286099 0.5300810587187583 0.5278199495034948 0.5261535930890704 0.5236019144616095 0.5220385620255491 0.5193183239718622 0.5184085455225607 0.5168699442791012 0.516034293181003 0.5157257468643816 0.5145163744143808 0.5141277255717128 0.5134086433475601 0.513158782434898 0.5121792468880516 0.5100820847845576 0.5088199056479932 0.5082561477682926 0.5057207104099146 0.5056795859418981 0.5052370325566004 0.503342744304211 0.5025872389881402 0.5023901014774801 0.5008278446395223 0.5005147036930637 0.5
7.57/7.80 c
7.57/7.80 c solver 0
7.57/7.80 c before 0.0 seconds: {} 0
7.57/7.80 c before 18.0 seconds: {1, 2, 4, 6, 8, 9, 11, 13, 14, 16, 17, 18, 19, 20, 21, 22, 24, 25, 28, 29, 30, 32, 33, 34, 35, 37, 39} 14694
7.57/7.80 c before 36.0 seconds: {1, 2, 4, 5, 6, 8, 9, 11, 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} 18920
7.57/7.80 c before 54.0 seconds: {1, 2, 3, 4, 5, 6, 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} 20679
7.57/7.80 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 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} 21679
7.57/7.80 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, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22248
7.57/7.80 c
7.57/7.80 c solver 1
7.57/7.80 c before 0.0 seconds: {} 0
7.57/7.80 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 8, 9, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 25, 28, 29, 30, 32, 33, 34, 35, 37, 39} 16041
7.57/7.80 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 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} 20679
7.57/7.80 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 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} 21679
7.57/7.80 c before 144.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} 22248
7.57/7.80 c
7.57/7.80 c solver 2
7.57/7.80 c before 0.0 seconds: {} 0
7.57/7.80 c before 18.0 seconds: {1, 2, 3, 4, 6, 7, 8, 9, 20, 28, 35} 6681
7.57/7.80 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 16, 19, 20, 28, 32, 35, 37, 39} 9882
7.57/7.80 c before 54.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 14, 16, 17, 19, 20, 21, 22, 25, 28, 32, 33, 34, 35, 37, 39} 14018
7.57/7.80 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 14, 16, 17, 18, 19, 20, 21, 22, 25, 28, 29, 30, 32, 33, 34, 35, 37, 39} 15554
7.57/7.80 c before 90.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 25, 28, 29, 30, 32, 33, 34, 35, 37, 39} 16611
7.57/7.80 c before 108.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 28, 29, 30, 31, 32, 33, 34, 35, 37, 39} 17630
7.57/7.80 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 19647
7.57/7.80 c
7.57/7.80 cTotal time: 36
7.57/7.80 c 648.0 seconds unused
7.57/7.80 c 0 c 0 c 5
7.57/7.80 c 0 c 0 c 5
7.57/7.80 c 0 c 0 c 0
7.57/7.80 c is solver0 dominated by:
7.57/7.80 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.57/7.80 c is dominated? true
7.57/7.80 c
7.57/7.80 c is solver1 dominated by:
7.57/7.80 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.57/7.80 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: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.57/7.80 c is dominated? false
7.57/7.80 c
7.57/7.80 c is solver2 dominated by:
7.57/7.80 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: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.57/7.80 c is dominated? true
7.57/7.80 c
7.57/7.80 c Number of non-dominated solvers: 1
7.57/7.80 c remove dominated solvers
7.57/7.80 c solver 1 is not dominated by another solver
7.57/7.80 c solver 2 is dominated by another solver
7.57/7.80 c solver 0 is dominated by another solver
7.57/7.80 c
7.57/7.80 c solver 0: 0.0
7.57/7.80 c
7.57/7.80 c solver 1: 144.0
7.57/7.80 c
7.57/7.80 c+ 8/8 of 92
7.57/7.80 c
7.57/7.80 c solver 2: 0.0
7.57/7.81 c do not run abscon
7.57/7.81 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} 22248
7.57/7.81 c do not run choco
7.57/7.81 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.57/7.81 c On Instance: HOME/instance-1046245-1215024225.xml
7.57/7.81 c Running for: 1800 seconds
14.28/14.62 c mistral-prime version 1.313
14.28/14.62 s UNSATISFIABLE
14.28/14.62 d CHECKS 24446556
14.28/14.62 d ASSIGNMENTS 211005