0.00/0.00 c cpHydra_k_40 version 0.0
7.37/7.54 c CASE TO CLASSIFY:
7.37/7.54 c Case: 0
7.37/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.394600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.412200 | c 14 > 13.107900 | c 11 > 5.643860 | c 12 > 11.220600 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | 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.879580 | 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.167400 | c 31 > -1.000000 | c 4 > 5.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.55 c choco : 1801.0
7.37/7.55 c mistral : 1801.0
7.37/7.55 c abscon : 1801.0
7.37/7.55 c
7.37/7.55 c
7.47/7.63 c List of same ones: 40
7.47/7.63 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-23_ext.xml
7.47/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.821200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.156000 | c 14 > 12.858800 | c 11 > 5.321930 | c 12 > 11.050600 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.379380 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.64 c choco : 65.95
7.47/7.64 c mistral : 6.46
7.47/7.64 c abscon : 25.4031
7.47/7.64 c
7.47/7.64 c
7.47/7.64 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-43_ext.xml
7.47/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.814500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.956240 | c 14 > 12.898800 | c 11 > 5.321930 | c 12 > 11.009500 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.409390 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.65 c choco : 383.01
7.47/7.65 c mistral : 136.456
7.47/7.65 c abscon : 83.8203
7.47/7.65 c
7.47/7.65 c
7.47/7.65 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-37_ext.xml
7.47/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.833700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.922950 | c 14 > 12.801300 | c 11 > 5.321930 | c 12 > 10.997300 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.392320 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.66 c choco : 461.85
7.47/7.66 c mistral : 88.2516
7.47/7.66 c abscon : 19.3101
7.47/7.66 c
7.47/7.66 c
7.47/7.66 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-19_ext.xml
7.47/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.692500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.179600 | c 14 > 12.720000 | c 11 > 5.321930 | c 12 > 11.246400 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.388020 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.67 c choco : 1801.0
7.47/7.67 c mistral : 73.92
7.47/7.67 c abscon : 2.17767
7.47/7.67 c
7.47/7.67 c
7.47/7.67 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-49_ext.xml
7.47/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.878800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.742350 | c 14 > 12.938500 | c 11 > 5.321930 | c 12 > 11.135900 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.442940 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.68 c choco : 32.14
7.47/7.68 c mistral : 2.98854
7.47/7.68 c abscon : 14.2088
7.47/7.68 c
7.47/7.68 c
7.47/7.68 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-39_ext.xml
7.47/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.798100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.095100 | c 14 > 12.699100 | c 11 > 5.321930 | c 12 > 10.776000 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.455330 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.69 c choco : 1801.0
7.47/7.69 c mistral : 8.71567
7.47/7.69 c abscon : 21.7987
7.47/7.69 c
7.47/7.69 c
7.47/7.69 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-21_ext.xml
7.47/7.69 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.831600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.805410 | c 14 > 12.868200 | c 11 > 5.321930 | c 12 > 11.082000 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.375040 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.70 c choco : 417.75
7.47/7.70 c mistral : 124.962
7.47/7.70 c abscon : 17.8703
7.47/7.70 c
7.47/7.70 c
7.47/7.70 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-7_ext.xml
7.47/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.733100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.911780 | c 14 > 12.824800 | c 11 > 5.321930 | c 12 > 11.179700 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.379380 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.71 c choco : 1056.91
7.56/7.71 c mistral : 387.366
7.56/7.71 c abscon : 379.2
7.56/7.71 c
7.56/7.71 c
7.56/7.71 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-29_ext.xml
7.56/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.744900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.080800 | c 14 > 12.699800 | c 11 > 5.321930 | c 12 > 10.836400 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.366320 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.71 c choco : 1801.0
7.56/7.71 c mistral : 43.15
7.56/7.71 c abscon : 43.5314
7.56/7.71 c
7.56/7.71 c
7.56/7.71 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-37_ext.xml
7.56/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.681200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.887010 | c 14 > 12.807800 | c 11 > 5.321930 | c 12 > 11.058000 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.392320 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.72 c choco : 839.83
7.56/7.72 c mistral : 346.46
7.56/7.72 c abscon : 305.646
7.56/7.72 c
7.56/7.72 c
7.56/7.72 c /home/eomahony/cpZilla/CSP/frb/frb40-19/frb40-19-5-mgd_ext.xml
7.56/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.640700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.949300 | c 14 > 12.700900 | c 11 > 5.321930 | c 12 > 11.217200 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.348730 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.73 c choco : 1801.0
7.56/7.73 c mistral : 44.0
7.56/7.73 c abscon : 80.4258
7.56/7.73 c
7.56/7.73 c
7.56/7.73 c /home/eomahony/cpZilla/CSP/frb/frb40-19/frb40-19-4-mgd_ext.xml
7.56/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.719700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.971580 | c 14 > 12.709700 | c 11 > 5.321930 | c 12 > 10.834700 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.348730 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.75 c choco : 67.08
7.56/7.75 c mistral : 31.8752
7.56/7.75 c abscon : 10.2504
7.56/7.75 c
7.56/7.75 c
7.56/7.75 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-29_ext.xml
7.56/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.728700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.892020 | c 14 > 12.740200 | c 11 > 5.321930 | c 12 > 10.780700 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.366320 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.76 c choco : 1801.0
7.56/7.76 c mistral : 46.99
7.56/7.76 c abscon : 4.64829
7.56/7.76 c
7.56/7.76 c
7.56/7.76 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-31_ext.xml
7.56/7.76 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.758600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.747300 | c 14 > 12.733000 | c 11 > 5.321930 | c 12 > 10.966400 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.366320 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.76 c choco : 101.55
7.56/7.76 c mistral : 21.2988
7.56/7.76 c abscon : 26.8099
7.56/7.76 c
7.56/7.76 c
7.56/7.76 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-33_ext.xml
7.56/7.76 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.799500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.663360 | c 14 > 12.864600 | c 11 > 5.321930 | c 12 > 10.884700 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.379380 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.77 c choco : 1801.0
7.56/7.77 c mistral : 56.7
7.56/7.77 c abscon : 365.688
7.56/7.77 c
7.56/7.77 c
7.56/7.77 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-2_ext.xml
7.56/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.313400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.395100 | c 14 > 12.269400 | c 11 > 5.643860 | c 12 > 10.763900 | c 21 > 4.472140 | 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 > 8.864190 | 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.965780 | c 31 > -1.000000 | c 4 > 5.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.77 c choco : 8.27
7.56/7.77 c mistral : 3.5
7.56/7.77 c abscon : 0.992848
7.56/7.77 c
7.56/7.77 c
7.56/7.77 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-43_ext.xml
7.56/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.682100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.790560 | c 14 > 12.652200 | c 11 > 5.321930 | c 12 > 10.905500 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.409390 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.78 c choco : 874.26
7.56/7.78 c mistral : 367.294
7.56/7.78 c abscon : 311.807
7.56/7.78 c
7.56/7.78 c
7.56/7.78 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-13_ext.xml
7.56/7.78 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.639700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.984510 | c 14 > 12.543500 | c 11 > 5.321930 | c 12 > 10.840100 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.417850 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.79 c choco : 1801.0
7.56/7.79 c mistral : 23.6864
7.56/7.79 c abscon : 21.2378
7.56/7.79 c
7.56/7.79 c
7.56/7.79 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-45_ext.xml
7.56/7.79 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.759300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.732990 | c 14 > 12.706900 | c 11 > 5.321930 | c 12 > 10.709200 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.434630 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.80 c choco : 1801.0
7.61/7.80 c mistral : 93.89
7.61/7.80 c abscon : 64.1932
7.61/7.80 c
7.61/7.80 c
7.61/7.80 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-11_ext.xml
7.61/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.718000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.642020 | c 14 > 12.741700 | c 11 > 5.321930 | c 12 > 10.910300 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.400880 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.81 c choco : 799.39
7.61/7.81 c mistral : 287.57
7.61/7.81 c abscon : 270.083
7.61/7.81 c
7.61/7.81 c
7.61/7.81 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-35_ext.xml
7.61/7.81 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.597700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.745170 | c 14 > 12.638900 | c 11 > 5.321930 | c 12 > 10.987300 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.422060 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.82 c choco : 513.75
7.61/7.82 c mistral : 84.4412
7.61/7.82 c abscon : 99.7048
7.61/7.82 c
7.61/7.82 c
7.61/7.82 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-49_ext.xml
7.61/7.82 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.734400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.543060 | c 14 > 12.776800 | c 11 > 5.321930 | c 12 > 10.932800 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.442940 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.82 c choco : 1801.0
7.61/7.82 c mistral : 56.53
7.61/7.82 c abscon : 212.71
7.61/7.82 c
7.61/7.82 c
7.61/7.82 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-27_ext.xml
7.61/7.82 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.751100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.713620 | c 14 > 12.720900 | c 11 > 5.321930 | c 12 > 10.658200 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.400880 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.83 c choco : 1801.0
7.61/7.83 c mistral : 68.06
7.61/7.83 c abscon : 61.4207
7.61/7.83 c
7.61/7.83 c
7.61/7.83 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-33_ext.xml
7.61/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.745900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.587500 | c 14 > 12.718500 | c 11 > 5.321930 | c 12 > 10.870600 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.379380 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.84 c choco : 1801.0
7.61/7.84 c mistral : 508.89
7.61/7.84 c abscon : 411.682
7.61/7.84 c
7.61/7.84 c
7.61/7.84 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-39_ext.xml
7.61/7.84 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.713900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.790420 | c 14 > 12.620000 | c 11 > 5.321930 | c 12 > 10.529700 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.455330 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.84 c choco : 1801.0
7.61/7.84 c mistral : 28.7486
7.61/7.84 c abscon : 1.58576
7.61/7.84 c
7.61/7.84 c
7.61/7.84 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-1_ext.xml
7.61/7.84 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.652300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.801770 | c 14 > 12.620700 | c 11 > 5.321930 | c 12 > 10.583600 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.434630 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.85 c choco : 1801.0
7.61/7.85 c mistral : 98.2
7.61/7.85 c abscon : 82.2015
7.61/7.85 c
7.61/7.85 c
7.61/7.85 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-77_ext.xml
7.61/7.85 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.747800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.480600 | c 14 > 13.305900 | c 11 > 5.321930 | c 12 > 11.224300 | c 21 > 5.000000 | 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 > 7.491850 | 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.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.85 c choco : 1801.0
7.61/7.85 c mistral : 18.65
7.61/7.85 c abscon : 20.1049
7.61/7.85 c
7.61/7.85 c
7.61/7.85 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-59_ext.xml
7.61/7.85 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.777600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.629900 | c 14 > 13.309800 | c 11 > 5.321930 | c 12 > 11.205400 | c 21 > 5.000000 | 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 > 7.491850 | 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.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.86 c choco : 43.48
7.61/7.86 c mistral : 7.1
7.61/7.86 c abscon : 8.36973
7.61/7.86 c
7.61/7.86 c
7.61/7.86 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-35_ext.xml
7.61/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.688500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.571510 | c 14 > 12.683900 | c 11 > 5.321930 | c 12 > 10.781300 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.422060 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.86 c choco : 210.51
7.61/7.86 c mistral : 212.56
7.61/7.86 c abscon : 45.968
7.61/7.86 c
7.61/7.86 c
7.61/7.86 c /home/eomahony/cpZilla/CSP/frb/frb40-19/frb40-19-3-mgd_ext.xml
7.61/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.628200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.657700 | c 14 > 12.696100 | c 11 > 5.321930 | c 12 > 10.909900 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.266790 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.87 c choco : 1801.0
7.61/7.87 c mistral : 8.79966
7.61/7.87 c abscon : 17.2404
7.61/7.87 c
7.61/7.87 c
7.61/7.87 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-73_ext.xml
7.61/7.87 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.715900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.335400 | c 14 > 13.259300 | c 11 > 5.321930 | c 12 > 11.383700 | c 21 > 5.000000 | 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 > 7.491850 | 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.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.88 c choco : 110.59
7.61/7.88 c mistral : 8.35
7.61/7.88 c abscon : 1.61075
7.61/7.88 c
7.61/7.88 c
7.61/7.88 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-65_ext.xml
7.61/7.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.751000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.614300 | c 14 > 13.346700 | c 11 > 5.321930 | c 12 > 11.306600 | c 21 > 5.000000 | 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 > 7.491850 | 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.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.88 c choco : 1801.0
7.61/7.88 c mistral : 8.61
7.61/7.88 c abscon : 11.4753
7.61/7.88 c
7.61/7.88 c
7.61/7.88 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-53_ext.xml
7.61/7.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.720100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.485900 | c 14 > 13.312600 | c 11 > 5.321930 | c 12 > 11.376600 | c 21 > 5.000000 | 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 > 7.491850 | 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.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.89 c choco : 1801.0
7.61/7.89 c mistral : 32.0
7.61/7.89 c abscon : 34.0228
7.61/7.89 c
7.61/7.89 c
7.61/7.89 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-67_ext.xml
7.61/7.89 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.679600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.446400 | c 14 > 13.252800 | c 11 > 5.321930 | c 12 > 11.249400 | c 21 > 5.000000 | 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 > 7.491850 | 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.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.90 c choco : 106.5
7.61/7.90 c mistral : 21.44
7.61/7.90 c abscon : 23.7804
7.61/7.90 c
7.61/7.90 c
7.61/7.90 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-13_ext.xml
7.61/7.90 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.662500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.680320 | c 14 > 12.670000 | c 11 > 5.321930 | c 12 > 10.610500 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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.417850 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.68/7.90 c choco : 1801.0
7.68/7.90 c mistral : 81.74
7.68/7.90 c abscon : 68.6956
7.68/7.90 c
7.68/7.90 c
7.68/7.90 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-75_ext.xml
7.68/7.90 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.836200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.726700 | c 14 > 13.417100 | c 11 > 5.321930 | c 12 > 11.410200 | c 21 > 5.000000 | 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 > 7.491850 | 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.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.68/7.91 c choco : 40.54
7.68/7.91 c mistral : 7.05
7.68/7.91 c abscon : 7.43887
7.68/7.91 c
7.68/7.91 c
7.68/7.91 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-33_ext.xml
7.68/7.91 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.698300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.644400 | c 14 > 13.249300 | c 11 > 5.321930 | c 12 > 11.186400 | c 21 > 5.000000 | 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 > 7.491850 | 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.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.68/7.92 c choco : 75.44
7.68/7.92 c mistral : 10.98
7.68/7.92 c abscon : 15.8256
7.68/7.92 c
7.68/7.92 c
7.68/7.92 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-41_ext.xml
7.68/7.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.665900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.596600 | c 14 > 13.208400 | c 11 > 5.321930 | c 12 > 11.128600 | c 21 > 5.000000 | 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 > 7.491850 | 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.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.68/7.92 c choco : 113.11
7.68/7.92 c mistral : 12.51
7.68/7.92 c abscon : 16.0916
7.68/7.92 c
7.68/7.92 c
7.68/7.92 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-63_ext.xml
7.68/7.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.664500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.420500 | c 14 > 13.287400 | c 11 > 5.321930 | c 12 > 11.365700 | c 21 > 5.000000 | 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 > 7.491850 | 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.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.68/7.93 c choco : 95.41
7.68/7.93 c mistral : 13.46
7.68/7.93 c abscon : 2.44663
7.68/7.93 c
7.68/7.93 c
7.68/7.93 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-25_ext.xml
7.68/7.93 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.659600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.558900 | c 14 > 13.256400 | c 11 > 5.321930 | c 12 > 11.284800 | c 21 > 5.000000 | 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 > 7.491850 | 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.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.68/7.93 c choco : 39.98
7.68/7.93 c mistral : 9.94
7.68/7.93 c abscon : 3.04653
7.68/7.93 c
7.68/7.93 c
7.68/7.94 c Length: 40
7.68/7.94 c 1.2968131712779603 1.341613856107637 1.3716452461551425 1.3733018622284043 1.3738344708515662 1.3954522111846035 1.4009058915216248 1.4022012828406631 1.4337624206262347 1.4438949840275783 1.475212341902007 1.4781973204210601 1.500769376419975 1.5037749295689167 1.51105150368874 1.5268860136565534 1.5389182001977895 1.5412535483170833 1.5592919315509854 1.5673718651296507 1.5842476518840112 1.5876166005682855 1.5948260932151808 1.6035653186571486 1.6405754149383087 1.6464795682303504 1.6490422356325503 1.6511119722477943 1.6533509844252672 1.6566267157389445 1.665277545906387 1.6663074790986205 1.6684465334256304 1.6707225667057954 1.6718071983634952 1.673131021438548 1.6783944515220495 1.6854272766571687 1.6862630177110574 1.6867168063726643
7.68/7.94 c
7.68/7.94 c 1.0 0.8969398674541121 0.8389792880738407 0.8359992506758361 0.835045648979274 0.7980953457006162 0.7892844367801762 0.7872201338424486 0.7400616882015068 0.7260972092631853 0.6860843043024932 0.6824995139969648 0.6565583470660087 0.6532522063023521 0.6453841250337652 0.6289006910129061 0.6169276740891927 0.6146564445105006 0.5976611843961953 0.5903495445632753 0.5756410661923561 0.5727921091093044 0.5667891419520079 0.5596790336112885 0.5314457798641612 0.527203129114723 0.5253826376118925 0.5239214710940441 0.522349925788539 0.5200676278030286 0.5141351297730138 0.5134378341845985 0.5119956568185084 0.5104699966010837 0.5097461456259856 0.5088654424311724 0.5053937249356069 0.500828195459432 0.500291131477797 0.5
7.68/7.95 c
7.68/7.95 c solver 0
7.68/7.95 c before 0.0 seconds: {} 0
7.68/7.95 c before 18.0 seconds: {3, 4, 6, 11, 12, 15, 24, 27, 29, 30, 31, 35, 36, 37, 38, 39} 9546
7.68/7.95 c before 36.0 seconds: {0, 2, 3, 4, 5, 6, 11, 12, 13, 15, 17, 24, 26, 27, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 14999
7.68/7.95 c before 54.0 seconds: {0, 2, 3, 4, 5, 6, 8, 11, 12, 13, 15, 17, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 16261
7.68/7.95 c before 72.0 seconds: {0, 2, 3, 4, 5, 6, 8, 11, 12, 13, 15, 17, 18, 22, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17936
7.68/7.95 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 13, 15, 17, 18, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20046
7.68/7.95 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 13, 15, 17, 18, 20, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20621
7.68/7.95 c before 216.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 13, 15, 17, 18, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21194
7.68/7.95 c before 288.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 13, 15, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21785
7.68/7.95 c before 306.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 15, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22511
7.68/7.95 c before 324.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23128
7.68/7.95 c before 378.0 seconds: {0, 1, 2, 3, 4, 5, 6, 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} 23773
7.68/7.96 c before 396.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} 24560
7.68/7.96 c before 414.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} 25120
7.68/7.96 c
7.68/7.96 c solver 1
7.68/7.96 c before 0.0 seconds: {} 0
7.68/7.96 c before 18.0 seconds: {0, 4, 5, 15, 27, 29, 30, 31, 35, 36, 37, 38, 39} 7848
7.68/7.96 c before 36.0 seconds: {0, 4, 5, 11, 13, 15, 17, 24, 26, 27, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 11878
7.68/7.96 c before 54.0 seconds: {0, 4, 5, 8, 10, 11, 12, 13, 15, 17, 24, 26, 27, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 13961
7.68/7.96 c before 72.0 seconds: {0, 4, 5, 8, 10, 11, 12, 13, 14, 15, 17, 21, 22, 24, 26, 27, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 15746
7.68/7.96 c before 90.0 seconds: {0, 2, 3, 4, 5, 8, 10, 11, 12, 13, 14, 15, 17, 20, 21, 22, 24, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18506
7.68/7.96 c before 108.0 seconds: {0, 2, 3, 4, 5, 8, 10, 11, 12, 13, 14, 15, 17, 18, 20, 21, 22, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19631
7.68/7.96 c before 126.0 seconds: {0, 2, 3, 4, 5, 6, 8, 10, 11, 12, 13, 14, 15, 17, 18, 20, 21, 22, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20420
7.68/7.96 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 13, 14, 15, 17, 18, 20, 21, 22, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21317
7.68/7.96 c before 216.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 13, 14, 15, 17, 18, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21840
7.68/7.96 c before 288.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22430
7.68/7.96 c before 360.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23156
7.68/7.96 c before 378.0 seconds: {0, 1, 2, 3, 4, 5, 6, 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} 23773
7.68/7.96 c before 396.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} 24560
7.68/7.96 c before 522.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} 25120
7.68/7.96 c
7.68/7.96 c solver 2
7.68/7.96 c before 0.0 seconds: {} 0
7.68/7.96 c before 18.0 seconds: {15} 628
7.68/7.96 c before 36.0 seconds: {4, 15} 1463
7.68/7.96 c before 54.0 seconds: {4, 15, 27, 35, 39} 2996
7.68/7.96 c before 72.0 seconds: {0, 4, 11, 15, 27, 35, 39} 4679
7.68/7.96 c before 90.0 seconds: {0, 4, 11, 15, 27, 35, 36, 39} 5184
7.68/7.96 c before 108.0 seconds: {0, 4, 11, 13, 15, 27, 33, 35, 36, 38, 39} 6848
7.68/7.96 c before 126.0 seconds: {0, 4, 11, 13, 15, 27, 30, 33, 35, 36, 37, 38, 39} 7863
7.68/7.96 c before 216.0 seconds: {0, 4, 11, 13, 15, 27, 28, 30, 33, 35, 36, 37, 38, 39} 8385
7.68/7.96 c before 396.0 seconds: {0, 1, 4, 11, 13, 15, 27, 28, 30, 33, 35, 36, 37, 38, 39} 9282
7.68/7.96 c before 432.0 seconds: {0, 1, 4, 6, 11, 13, 15, 27, 28, 30, 33, 35, 36, 37, 38, 39} 10072
7.68/7.96 c before 468.0 seconds: {0, 1, 2, 4, 6, 11, 13, 15, 27, 28, 30, 33, 35, 36, 37, 38, 39} 10911
7.68/7.96 c before 522.0 seconds: {0, 1, 2, 4, 6, 11, 13, 15, 20, 27, 28, 30, 33, 35, 36, 37, 38, 39} 11486
7.68/7.96 c before 810.0 seconds: {0, 1, 2, 4, 6, 11, 13, 15, 19, 20, 27, 28, 30, 33, 35, 36, 37, 38, 39} 12077
7.68/7.96 c before 846.0 seconds: {0, 1, 2, 4, 6, 9, 11, 13, 15, 19, 20, 27, 28, 30, 33, 35, 36, 37, 38, 39} 12803
7.68/7.96 c before 882.0 seconds: {0, 1, 2, 4, 6, 9, 11, 13, 15, 16, 19, 20, 27, 28, 30, 33, 35, 36, 37, 38, 39} 13420
7.68/7.96 c before 1062.0 seconds: {0, 1, 2, 4, 6, 7, 9, 11, 13, 15, 16, 19, 20, 27, 28, 30, 33, 35, 36, 37, 38, 39} 14207
7.68/7.96 c
7.68/7.96 cTotal time: 111
7.68/7.96 c run abscon for 414.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} 25120
7.68/7.96 c run mistral for 522.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} 25120
7.68/7.96 c run choco for 846.0 seconds {0, 1, 2, 4, 6, 9, 11, 13, 15, 19, 20, 27, 28, 30, 33, 35, 36, 37, 38, 39} 12803
7.68/7.96 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.68/7.96 c On Instance: HOME/instance-1100947-1215289066.xml
7.68/7.96 c Running for: 414 seconds
421.88/422.40 c Starting solver: HOME/cpHydra_k_40/solver/mistral
421.88/422.40 c On Instance: HOME/instance-1100947-1215289066.xml
421.88/422.40 c Running for: 522 seconds
943.84/949.27 c Starting solver: HOME/cpHydra_k_40/solver/choco
943.84/949.27 c On Instance: HOME/instance-1100947-1215289066.xml
943.84/949.27 c Running for: 846 seconds