0.00/0.00 c cpHydra_k_40 version 0.0
7.09/7.28 c CASE TO CLASSIFY:
7.09/7.28 c Case: 0
7.09/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.412400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.164900 | c 14 > 13.050700 | c 11 > 5.643860 | c 12 > 11.167700 | 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.861090 | 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.09/7.30 c choco : 1801.0
7.09/7.30 c mistral : 1801.0
7.09/7.30 c abscon : 1801.0
7.09/7.30 c
7.09/7.30 c
7.19/7.37 c List of same ones: 40
7.19/7.37 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-23_ext.xml
7.19/7.37 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.19/7.38 c choco : 65.95
7.19/7.38 c mistral : 6.46
7.19/7.38 c abscon : 25.4031
7.19/7.38 c
7.19/7.38 c
7.19/7.38 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-49_ext.xml
7.19/7.38 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.19/7.39 c choco : 32.14
7.19/7.39 c mistral : 2.98854
7.19/7.39 c abscon : 14.2088
7.19/7.39 c
7.19/7.39 c
7.19/7.39 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-43_ext.xml
7.19/7.39 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.28/7.40 c choco : 383.01
7.28/7.40 c mistral : 136.456
7.28/7.40 c abscon : 83.8203
7.28/7.40 c
7.28/7.40 c
7.28/7.40 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-37_ext.xml
7.28/7.40 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.28/7.41 c choco : 461.85
7.28/7.41 c mistral : 88.2516
7.28/7.41 c abscon : 19.3101
7.28/7.41 c
7.28/7.41 c
7.28/7.41 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-21_ext.xml
7.28/7.41 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.28/7.42 c choco : 417.75
7.28/7.42 c mistral : 124.962
7.28/7.42 c abscon : 17.8703
7.28/7.42 c
7.28/7.42 c
7.28/7.42 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-7_ext.xml
7.28/7.42 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.28/7.43 c choco : 1056.91
7.28/7.43 c mistral : 387.366
7.28/7.43 c abscon : 379.2
7.28/7.43 c
7.28/7.43 c
7.28/7.43 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-39_ext.xml
7.28/7.43 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.28/7.44 c choco : 1801.0
7.28/7.44 c mistral : 8.71567
7.28/7.44 c abscon : 21.7987
7.28/7.44 c
7.28/7.44 c
7.28/7.44 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-19_ext.xml
7.28/7.44 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.28/7.44 c choco : 1801.0
7.28/7.44 c mistral : 73.92
7.28/7.44 c abscon : 2.17767
7.28/7.44 c
7.28/7.44 c
7.28/7.44 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-37_ext.xml
7.28/7.44 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.28/7.45 c choco : 839.83
7.28/7.45 c mistral : 346.46
7.28/7.45 c abscon : 305.646
7.28/7.45 c
7.28/7.45 c
7.28/7.45 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-29_ext.xml
7.28/7.45 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.28/7.46 c choco : 1801.0
7.28/7.46 c mistral : 43.15
7.28/7.46 c abscon : 43.5314
7.28/7.46 c
7.28/7.46 c
7.28/7.46 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-33_ext.xml
7.28/7.46 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.28/7.47 c choco : 1801.0
7.28/7.47 c mistral : 56.7
7.28/7.47 c abscon : 365.688
7.28/7.47 c
7.28/7.47 c
7.28/7.47 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-31_ext.xml
7.28/7.47 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.28/7.49 c choco : 101.55
7.28/7.49 c mistral : 21.2988
7.28/7.49 c abscon : 26.8099
7.28/7.49 c
7.28/7.49 c
7.28/7.49 c /home/eomahony/cpZilla/CSP/frb/frb40-19/frb40-19-4-mgd_ext.xml
7.28/7.49 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.28/7.49 c choco : 67.08
7.28/7.49 c mistral : 31.8752
7.28/7.49 c abscon : 10.2504
7.28/7.49 c
7.28/7.49 c
7.28/7.49 c /home/eomahony/cpZilla/CSP/frb/frb40-19/frb40-19-5-mgd_ext.xml
7.28/7.49 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.35/7.50 c choco : 1801.0
7.35/7.50 c mistral : 44.0
7.35/7.50 c abscon : 80.4258
7.35/7.50 c
7.35/7.50 c
7.35/7.50 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-29_ext.xml
7.35/7.50 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.35/7.51 c choco : 1801.0
7.35/7.51 c mistral : 46.99
7.35/7.51 c abscon : 4.64829
7.35/7.51 c
7.35/7.51 c
7.35/7.51 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-43_ext.xml
7.35/7.51 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.45/7.70 c choco : 874.26
7.54/7.70 c mistral : 367.294
7.54/7.70 c abscon : 311.807
7.54/7.70 c
7.54/7.70 c
7.54/7.70 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-45_ext.xml
7.54/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.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.54/7.71 c choco : 1801.0
7.54/7.71 c mistral : 93.89
7.54/7.71 c abscon : 64.1932
7.54/7.71 c
7.54/7.71 c
7.54/7.71 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-11_ext.xml
7.54/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.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.54/7.72 c choco : 799.39
7.54/7.72 c mistral : 287.57
7.54/7.72 c abscon : 270.083
7.54/7.72 c
7.54/7.72 c
7.54/7.72 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-49_ext.xml
7.54/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.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.54/7.73 c choco : 1801.0
7.54/7.73 c mistral : 56.53
7.54/7.73 c abscon : 212.71
7.54/7.73 c
7.54/7.73 c
7.54/7.73 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-13_ext.xml
7.54/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.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.54/7.74 c choco : 1801.0
7.54/7.74 c mistral : 23.6864
7.54/7.74 c abscon : 21.2378
7.54/7.74 c
7.54/7.74 c
7.54/7.74 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-33_ext.xml
7.54/7.74 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.54/7.75 c choco : 1801.0
7.54/7.75 c mistral : 508.89
7.54/7.75 c abscon : 411.682
7.54/7.75 c
7.54/7.75 c
7.54/7.75 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-27_ext.xml
7.54/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.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.54/7.75 c choco : 1801.0
7.54/7.75 c mistral : 68.06
7.54/7.75 c abscon : 61.4207
7.54/7.75 c
7.54/7.75 c
7.54/7.75 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-35_ext.xml
7.54/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.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.54/7.76 c choco : 513.75
7.54/7.76 c mistral : 84.4412
7.54/7.76 c abscon : 99.7048
7.54/7.76 c
7.54/7.76 c
7.54/7.76 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-2_ext.xml
7.54/7.76 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 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.54/7.76 c choco : 8.27
7.54/7.76 c mistral : 3.5
7.54/7.76 c abscon : 0.992848
7.54/7.76 c
7.54/7.76 c
7.54/7.76 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-35_ext.xml
7.54/7.76 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 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.54/7.77 c choco : 210.51
7.54/7.77 c mistral : 212.56
7.54/7.77 c abscon : 45.968
7.54/7.77 c
7.54/7.77 c
7.54/7.77 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-39_ext.xml
7.54/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.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.54/7.78 c choco : 1801.0
7.54/7.78 c mistral : 28.7486
7.54/7.78 c abscon : 1.58576
7.54/7.78 c
7.54/7.78 c
7.54/7.78 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-1_ext.xml
7.54/7.78 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 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.54/7.78 c choco : 1801.0
7.54/7.78 c mistral : 98.2
7.54/7.78 c abscon : 82.2015
7.54/7.78 c
7.54/7.78 c
7.54/7.78 c /home/eomahony/cpZilla/CSP/frb/frb40-19/frb40-19-3-mgd_ext.xml
7.54/7.78 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 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.54/7.79 c choco : 1801.0
7.54/7.79 c mistral : 8.79966
7.54/7.79 c abscon : 17.2404
7.54/7.79 c
7.54/7.79 c
7.54/7.79 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-13_ext.xml
7.54/7.79 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 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.54/7.79 c choco : 1801.0
7.54/7.79 c mistral : 81.74
7.54/7.79 c abscon : 68.6956
7.54/7.79 c
7.54/7.79 c
7.54/7.79 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-21_ext.xml
7.54/7.79 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.558500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.576770 | c 14 > 12.650800 | c 11 > 5.321930 | c 12 > 10.895900 | 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.60/7.80 c choco : 1801.0
7.60/7.80 c mistral : 39.67
7.60/7.80 c abscon : 38.5111
7.60/7.80 c
7.60/7.80 c
7.60/7.80 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-41_ext.xml
7.60/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.565600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.718590 | c 14 > 12.488100 | c 11 > 5.321930 | c 12 > 10.722300 | 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.405140 | 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.60/7.80 c choco : 1801.0
7.60/7.80 c mistral : 5.96
7.60/7.80 c abscon : 20.1389
7.60/7.80 c
7.60/7.80 c
7.60/7.80 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-25_ext.xml
7.60/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.722200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.491670 | c 14 > 12.676600 | c 11 > 5.321930 | c 12 > 10.558200 | 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.405140 | 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.60/7.81 c choco : 394.9
7.60/7.81 c mistral : 169.9
7.60/7.81 c abscon : 138.093
7.60/7.81 c
7.60/7.81 c
7.60/7.81 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-25_ext.xml
7.60/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.531300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.653830 | c 14 > 12.533300 | c 11 > 5.321930 | c 12 > 10.779200 | 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.405140 | 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.60/7.82 c choco : 1801.0
7.60/7.82 c mistral : 31.21
7.60/7.82 c abscon : 10.2294
7.60/7.82 c
7.60/7.82 c
7.60/7.82 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-17_ext.xml
7.60/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.525500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.879670 | c 14 > 12.442400 | c 11 > 5.321930 | c 12 > 10.650400 | 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.60/7.82 c choco : 1801.0
7.60/7.83 c mistral : 37.47
7.60/7.83 c abscon : 8.20775
7.60/7.83 c
7.60/7.83 c
7.60/7.83 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-17_ext.xml
7.60/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.437300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.875930 | c 14 > 12.399800 | c 11 > 5.321930 | c 12 > 10.831000 | 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.60/7.83 c choco : 534.75
7.60/7.83 c mistral : 63.8113
7.60/7.83 c abscon : 110.58
7.60/7.83 c
7.60/7.83 c
7.60/7.83 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-27_ext.xml
7.60/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.552400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.604830 | c 14 > 12.527500 | c 11 > 5.321930 | c 12 > 10.660700 | 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.60/7.84 c choco : 1801.0
7.60/7.84 c mistral : 72.043
7.60/7.84 c abscon : 17.2764
7.60/7.84 c
7.60/7.84 c
7.60/7.84 c /home/eomahony/cpZilla/CSP/frb/frb45-21/frb45-21-4-mgd_ext.xml
7.60/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.491000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.529080 | c 14 > 12.285400 | c 11 > 5.491850 | c 12 > 10.381400 | c 21 > 4.582580 | c 20 > 0.000000 | c 22 > 4.582580 | 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.562240 | 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.884170 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.84 c choco : 1001.97
7.60/7.84 c mistral : 472.64
7.60/7.84 c abscon : 2.28465
7.60/7.84 c
7.60/7.84 c
7.60/7.84 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-5_ext.xml
7.60/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.659600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.435560 | c 14 > 12.541800 | c 11 > 5.321930 | c 12 > 10.669500 | 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.383700 | 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.60/7.85 c choco : 788.59
7.60/7.85 c mistral : 237.446
7.60/7.85 c abscon : 225.652
7.60/7.85 c
7.60/7.85 c
7.60/7.85 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-73_ext.xml
7.60/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.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.60/7.85 c choco : 110.59
7.60/7.85 c mistral : 8.35
7.60/7.85 c abscon : 1.61075
7.60/7.86 c
7.60/7.86 c
7.60/7.86 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-77_ext.xml
7.60/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.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.60/7.86 c choco : 1801.0
7.60/7.86 c mistral : 18.65
7.60/7.86 c abscon : 20.1049
7.60/7.86 c
7.60/7.86 c
7.60/7.87 c Length: 40
7.60/7.87 c 1.2563147477045717 1.2640706136130226 1.2646361914795907 1.284742338603349 1.2998479117958375 1.3247207666900986 1.3304422981850814 1.343119896397937 1.3597071950239883 1.3698410360695148 1.3856778366200433 1.3907710394238157 1.3975107274006895 1.4055158699922263 1.406781197805829 1.4322011230270715 1.438583411172256 1.4405802336905784 1.448297338014539 1.461775868900565 1.4677977841991734 1.4721652127733484 1.4767964162334644 1.511452227693619 1.5162074377208419 1.5269160878057462 1.5374341936161047 1.5374535834294323 1.5476373493813078 1.57836292106727 1.6078559418679286 1.610929448051653 1.615612180753785 1.6206705145093503 1.6408407432167211 1.6559004922397977 1.6624958866114545 1.6672959811923018 1.6764456118824735 1.6780368528730236
7.60/7.87 c
7.60/7.87 c 1.0 0.981941178754749 0.9806497649006408 0.9368485835997731 0.9064316581292401 0.8604323734664194 0.8505039791073516 0.8293008918712684 0.8031049666600028 0.7878998055173799 0.7652575494601817 0.7582497046421716 0.7491713563793433 0.7386669255821695 0.7370334503976004 0.7056829327823388 0.6982260773964098 0.6959253148485021 0.6871743173476855 0.6724065431612747 0.6660118142136979 0.6614495742994984 0.6566795812184055 0.6230570038693046 0.6187103157791087 0.6091402913622427 0.6000244358354093 0.6000078829710715 0.5914385186790451 0.5670058583159552 0.5453796986522829 0.5432205483139547 0.5399635790557145 0.5364889665572642 0.5230674091665475 0.5134762870227118 0.5093857382325675 0.5064493987126648 0.5009450824838129 0.5
7.60/7.88 c
7.60/7.88 c solver 0
7.60/7.88 c before 0.0 seconds: {} 0
7.60/7.88 c before 18.0 seconds: {1, 4, 7, 12, 14, 23, 25, 27, 32, 33, 35, 36, 38} 8636
7.60/7.88 c before 36.0 seconds: {0, 1, 3, 4, 6, 7, 11, 12, 14, 19, 23, 25, 27, 30, 32, 33, 35, 36, 38, 39} 13899
7.60/7.88 c before 54.0 seconds: {0, 1, 3, 4, 6, 7, 9, 11, 12, 14, 19, 23, 24, 25, 27, 29, 30, 32, 33, 35, 36, 38, 39} 15873
7.60/7.88 c before 72.0 seconds: {0, 1, 3, 4, 6, 7, 9, 11, 12, 14, 16, 19, 21, 23, 24, 25, 27, 28, 29, 30, 32, 33, 35, 36, 38, 39} 17824
7.60/7.88 c before 90.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 11, 12, 13, 14, 16, 19, 21, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 35, 36, 38, 39} 20143
7.60/7.88 c before 108.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 11, 12, 13, 14, 16, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 35, 36, 38, 39} 20800
7.60/7.88 c before 126.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 11, 12, 13, 14, 16, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 38, 39} 21323
7.60/7.88 c before 144.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 11, 12, 13, 14, 16, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 21866
7.60/7.88 c before 216.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 11, 12, 13, 14, 16, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 22553
7.60/7.88 c before 234.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 11, 12, 13, 14, 16, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23060
7.60/7.88 c before 288.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 11, 12, 13, 14, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23756
7.60/7.88 c before 306.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 11, 12, 13, 14, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24559
7.60/7.88 c before 324.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25265
7.60/7.88 c before 378.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26030
7.60/7.88 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, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26890
7.60/7.88 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} 27556
7.60/7.88 c
7.60/7.88 c solver 1
7.60/7.88 c before 0.0 seconds: {} 0
7.60/7.88 c before 18.0 seconds: {0, 1, 6, 23, 27, 30, 38} 5101
7.60/7.88 c before 36.0 seconds: {0, 1, 6, 11, 12, 19, 23, 25, 27, 30, 32, 38, 39} 8930
7.60/7.88 c before 54.0 seconds: {0, 1, 6, 9, 11, 12, 13, 14, 19, 23, 25, 27, 29, 30, 32, 33, 38, 39} 12297
7.60/7.88 c before 72.0 seconds: {0, 1, 6, 9, 10, 11, 12, 13, 14, 18, 19, 21, 23, 25, 27, 29, 30, 32, 33, 34, 38, 39} 14934
7.60/7.88 c before 90.0 seconds: {0, 1, 3, 6, 7, 9, 10, 11, 12, 13, 14, 18, 19, 21, 22, 23, 25, 27, 28, 29, 30, 32, 33, 34, 35, 38, 39} 18462
7.60/7.88 c before 108.0 seconds: {0, 1, 3, 6, 7, 9, 10, 11, 12, 13, 14, 16, 18, 19, 21, 22, 23, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 38, 39} 19760
7.60/7.88 c before 126.0 seconds: {0, 1, 3, 4, 6, 7, 9, 10, 11, 12, 13, 14, 16, 18, 19, 21, 22, 23, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 38, 39} 20667
7.60/7.88 c before 144.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 13, 14, 16, 18, 19, 21, 22, 23, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 38, 39} 21647
7.60/7.88 c before 180.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 13, 14, 16, 18, 19, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 38, 39} 22191
7.60/7.88 c before 216.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 13, 14, 16, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 38, 39} 22809
7.60/7.88 c before 252.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 13, 14, 16, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 23316
7.60/7.88 c before 288.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 24012
7.60/7.88 c before 360.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 24815
7.60/7.88 c before 378.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 25520
7.60/7.88 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, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 26381
7.60/7.88 c before 486.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, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26890
7.60/7.88 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} 27556
7.60/7.88 c
7.60/7.88 c solver 2
7.60/7.89 c before 0.0 seconds: {} 0
7.60/7.89 c before 18.0 seconds: {23} 623
7.60/7.89 c before 36.0 seconds: {1, 23} 1604
7.60/7.89 c before 72.0 seconds: {0, 1, 12, 23} 3354
7.60/7.89 c before 108.0 seconds: {0, 1, 11, 12, 23} 4112
7.60/7.89 c before 126.0 seconds: {0, 1, 11, 12, 23, 38} 4613
7.60/7.89 c before 216.0 seconds: {0, 1, 11, 12, 23, 24, 38} 5232
7.60/7.89 c before 396.0 seconds: {0, 1, 2, 11, 12, 23, 24, 31, 38} 6755
7.60/7.89 c before 432.0 seconds: {0, 1, 2, 4, 11, 12, 23, 24, 31, 38} 7662
7.60/7.89 c before 468.0 seconds: {0, 1, 2, 3, 4, 11, 12, 23, 24, 31, 38} 8599
7.60/7.89 c before 522.0 seconds: {0, 1, 2, 3, 4, 11, 12, 22, 23, 24, 31, 38} 9255
7.60/7.89 c before 540.0 seconds: {0, 1, 2, 3, 4, 11, 12, 22, 23, 24, 31, 34, 38} 9778
7.60/7.89 c before 792.0 seconds: {0, 1, 2, 3, 4, 11, 12, 22, 23, 24, 31, 34, 37, 38} 10285
7.60/7.89 c before 810.0 seconds: {0, 1, 2, 3, 4, 11, 12, 17, 22, 23, 24, 31, 34, 37, 38} 10981
7.60/7.89 c before 846.0 seconds: {0, 1, 2, 3, 4, 8, 11, 12, 17, 22, 23, 24, 31, 34, 37, 38} 11784
7.60/7.89 c before 882.0 seconds: {0, 1, 2, 3, 4, 8, 11, 12, 15, 17, 22, 23, 24, 31, 34, 37, 38} 12490
7.60/7.89 c before 1008.0 seconds: {0, 1, 2, 3, 4, 8, 11, 12, 15, 17, 22, 23, 24, 31, 34, 36, 37, 38} 12999
7.60/7.89 c before 1062.0 seconds: {0, 1, 2, 3, 4, 5, 8, 11, 12, 15, 17, 22, 23, 24, 31, 34, 36, 37, 38} 13859
7.60/7.89 c
7.60/7.89 cTotal time: 111
7.60/7.89 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} 27556
7.60/7.89 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} 27556
7.60/7.89 c run choco for 846.0 seconds {0, 1, 2, 3, 4, 8, 11, 12, 17, 22, 23, 24, 31, 34, 37, 38} 11784
7.60/7.89 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.60/7.89 c On Instance: HOME/instance-1100837-1215287985.xml
7.60/7.89 c Running for: 414 seconds
35.75/36.04 s SAT
35.75/36.04 v 10 11 2 9 15 21 10 12 17 4 7 13 2 13 1 1 6 19 15 3 3 4 4 12 19 6 17 4 18 0 20 5 12 14 1 5 11 11 3 7 20 14 2 8 4 18 13 4 5 14
35.75/36.04 d ASSIGNMENTS 101562
35.75/36.04 d CHECKS 164162511