0.00/0.00 c cpHydra_k_40 version 0.0
7.00/7.15 c CASE TO CLASSIFY:
7.00/7.15 c Case: 0
7.00/7.15 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.447000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.041400 | c 14 > 13.056500 | c 11 > 5.727920 | c 12 > 10.904300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | 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.876520 | 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.312900 | c 31 > -1.000000 | c 4 > 5.727920 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.16 c choco : 1801.0
7.00/7.16 c mistral : 1801.0
7.00/7.16 c abscon : 1801.0
7.00/7.16 c
7.00/7.16 c
7.10/7.23 c List of same ones: 40
7.10/7.23 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-43_ext.xml
7.10/7.23 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.10/7.24 c choco : 383.01
7.10/7.24 c mistral : 136.456
7.10/7.24 c abscon : 83.8203
7.10/7.24 c
7.10/7.24 c
7.10/7.24 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-49_ext.xml
7.10/7.24 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.10/7.24 c choco : 32.14
7.10/7.24 c mistral : 2.98854
7.10/7.24 c abscon : 14.2088
7.10/7.24 c
7.10/7.24 c
7.10/7.24 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-37_ext.xml
7.10/7.24 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.10/7.25 c choco : 461.85
7.10/7.25 c mistral : 88.2516
7.10/7.25 c abscon : 19.3101
7.10/7.25 c
7.10/7.25 c
7.10/7.25 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-23_ext.xml
7.10/7.25 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.10/7.26 c choco : 65.95
7.10/7.26 c mistral : 6.46
7.10/7.26 c abscon : 25.4031
7.10/7.26 c
7.10/7.26 c
7.10/7.26 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-39_ext.xml
7.10/7.26 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.10/7.27 c choco : 1801.0
7.10/7.27 c mistral : 8.71567
7.10/7.27 c abscon : 21.7987
7.10/7.27 c
7.10/7.27 c
7.10/7.27 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-21_ext.xml
7.10/7.27 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.10/7.28 c choco : 417.75
7.10/7.28 c mistral : 124.962
7.10/7.28 c abscon : 17.8703
7.10/7.28 c
7.10/7.28 c
7.10/7.28 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-33_ext.xml
7.10/7.28 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.10/7.29 c choco : 1801.0
7.10/7.29 c mistral : 56.7
7.10/7.29 c abscon : 365.688
7.10/7.29 c
7.10/7.29 c
7.10/7.29 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-29_ext.xml
7.10/7.29 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 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.10/7.29 c choco : 1801.0
7.10/7.29 c mistral : 43.15
7.10/7.29 c abscon : 43.5314
7.10/7.29 c
7.10/7.29 c
7.10/7.29 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-7_ext.xml
7.10/7.29 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 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.18/7.30 c choco : 1056.91
7.18/7.30 c mistral : 387.366
7.18/7.30 c abscon : 379.2
7.18/7.30 c
7.18/7.30 c
7.18/7.30 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-29_ext.xml
7.18/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.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.18/7.31 c choco : 1801.0
7.18/7.31 c mistral : 46.99
7.18/7.31 c abscon : 4.64829
7.18/7.31 c
7.18/7.31 c
7.18/7.31 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-45_ext.xml
7.18/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.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.27/7.49 c choco : 1801.0
7.27/7.49 c mistral : 93.89
7.27/7.49 c abscon : 64.1932
7.27/7.49 c
7.27/7.49 c
7.27/7.49 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-31_ext.xml
7.27/7.49 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 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.36/7.51 c choco : 101.55
7.36/7.51 c mistral : 21.2988
7.36/7.51 c abscon : 26.8099
7.36/7.51 c
7.36/7.51 c
7.36/7.51 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-37_ext.xml
7.36/7.51 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 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.36/7.52 c choco : 839.83
7.36/7.52 c mistral : 346.46
7.36/7.52 c abscon : 305.646
7.36/7.52 c
7.36/7.52 c
7.36/7.52 c /home/eomahony/cpZilla/CSP/frb/frb40-19/frb40-19-4-mgd_ext.xml
7.36/7.52 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 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.36/7.52 c choco : 67.08
7.36/7.52 c mistral : 31.8752
7.36/7.52 c abscon : 10.2504
7.36/7.52 c
7.36/7.52 c
7.36/7.52 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-27_ext.xml
7.36/7.52 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 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.36/7.53 c choco : 1801.0
7.36/7.53 c mistral : 68.06
7.36/7.53 c abscon : 61.4207
7.36/7.53 c
7.36/7.53 c
7.36/7.53 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-11_ext.xml
7.36/7.53 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 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.36/7.53 c choco : 799.39
7.36/7.53 c mistral : 287.57
7.36/7.53 c abscon : 270.083
7.36/7.53 c
7.36/7.53 c
7.36/7.53 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-49_ext.xml
7.36/7.53 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 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.36/7.54 c choco : 1801.0
7.36/7.54 c mistral : 56.53
7.36/7.54 c abscon : 212.71
7.36/7.54 c
7.36/7.54 c
7.36/7.54 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-43_ext.xml
7.36/7.54 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 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.36/7.54 c choco : 874.26
7.36/7.55 c mistral : 367.294
7.36/7.55 c abscon : 311.807
7.36/7.55 c
7.36/7.55 c
7.36/7.55 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-19_ext.xml
7.36/7.55 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 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.36/7.56 c choco : 1801.0
7.36/7.56 c mistral : 73.92
7.36/7.56 c abscon : 2.17767
7.36/7.56 c
7.36/7.56 c
7.36/7.56 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-33_ext.xml
7.36/7.56 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 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.36/7.57 c choco : 1801.0
7.36/7.57 c mistral : 508.89
7.36/7.57 c abscon : 411.682
7.36/7.57 c
7.36/7.57 c
7.36/7.57 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-2_ext.xml
7.36/7.57 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.36/7.57 c choco : 8.27
7.36/7.57 c mistral : 3.5
7.36/7.57 c abscon : 0.992848
7.36/7.57 c
7.36/7.57 c
7.36/7.57 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-39_ext.xml
7.36/7.57 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.36/7.58 c choco : 1801.0
7.36/7.58 c mistral : 28.7486
7.36/7.58 c abscon : 1.58576
7.36/7.58 c
7.36/7.58 c
7.36/7.58 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-13_ext.xml
7.36/7.58 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.36/7.58 c choco : 1801.0
7.36/7.58 c mistral : 23.6864
7.36/7.58 c abscon : 21.2378
7.36/7.58 c
7.36/7.58 c
7.36/7.58 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-35_ext.xml
7.36/7.58 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.36/7.59 c choco : 210.51
7.36/7.59 c mistral : 212.56
7.36/7.59 c abscon : 45.968
7.36/7.59 c
7.36/7.59 c
7.36/7.59 c /home/eomahony/cpZilla/CSP/frb/frb40-19/frb40-19-5-mgd_ext.xml
7.36/7.59 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.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.36/7.59 c choco : 1801.0
7.36/7.59 c mistral : 44.0
7.36/7.59 c abscon : 80.4258
7.36/7.59 c
7.36/7.59 c
7.36/7.59 c /home/eomahony/cpZilla/CSP/frb/frb45-21/frb45-21-4-mgd_ext.xml
7.36/7.59 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.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.44/7.60 c choco : 1001.97
7.44/7.60 c mistral : 472.64
7.44/7.60 c abscon : 2.28465
7.44/7.60 c
7.44/7.60 c
7.44/7.60 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-1_ext.xml
7.44/7.60 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.44/7.61 c choco : 1801.0
7.44/7.61 c mistral : 98.2
7.44/7.61 c abscon : 82.2015
7.44/7.61 c
7.44/7.61 c
7.44/7.61 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-13_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 > 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.44/7.61 c choco : 1801.0
7.44/7.61 c mistral : 81.74
7.44/7.61 c abscon : 68.6956
7.44/7.61 c
7.44/7.61 c
7.44/7.61 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-35_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 > 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.44/7.62 c choco : 513.75
7.44/7.62 c mistral : 84.4412
7.44/7.62 c abscon : 99.7048
7.44/7.62 c
7.44/7.62 c
7.44/7.62 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-25_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 > 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.44/7.63 c choco : 394.9
7.44/7.63 c mistral : 169.9
7.44/7.63 c abscon : 138.093
7.44/7.63 c
7.44/7.63 c
7.44/7.63 c /home/eomahony/cpZilla/CSP/frb/frb40-19/frb40-19-3-mgd_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 > 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.44/7.63 c choco : 1801.0
7.44/7.63 c mistral : 8.79966
7.44/7.63 c abscon : 17.2404
7.44/7.63 c
7.44/7.63 c
7.44/7.63 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-21_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 > 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.44/7.64 c choco : 1801.0
7.44/7.64 c mistral : 39.67
7.44/7.64 c abscon : 38.5111
7.44/7.64 c
7.44/7.64 c
7.44/7.64 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-41_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 > 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.44/7.64 c choco : 1801.0
7.44/7.64 c mistral : 5.96
7.44/7.64 c abscon : 20.1389
7.44/7.64 c
7.44/7.64 c
7.44/7.64 c /home/eomahony/cpZilla/CSP/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-41_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 > 21.444800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.235880 | c 14 > 12.199100 | c 11 > 5.643860 | c 12 > 10.206700 | 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.848620 | 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.44/7.65 c choco : 1801.0
7.44/7.65 c mistral : 809.899
7.44/7.65 c abscon : 394.314
7.44/7.65 c
7.44/7.65 c
7.44/7.65 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-89_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 > 21.413700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.133600 | c 14 > 12.356200 | c 11 > 5.643860 | c 12 > 9.970050 | 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.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 > 9.965780 | c 31 > -1.000000 | c 4 > 5.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.65 c choco : 14.5
7.44/7.65 c mistral : 3.85
7.44/7.65 c abscon : 3.17252
7.44/7.66 c
7.44/7.66 c
7.44/7.66 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-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 > 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.44/7.66 c choco : 1801.0
7.44/7.66 c mistral : 31.21
7.44/7.66 c abscon : 10.2294
7.44/7.66 c
7.44/7.66 c
7.44/7.66 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-17_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 > 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.44/7.67 c choco : 1801.0
7.44/7.67 c mistral : 37.47
7.44/7.67 c abscon : 8.20775
7.44/7.67 c
7.44/7.67 c
7.44/7.67 c /home/eomahony/cpZilla/CSP/frb/frb45-21/frb45-21-3-mgd_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 > 21.458000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.378140 | c 14 > 12.331800 | c 11 > 5.491850 | c 12 > 10.254400 | 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.527480 | 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.44/7.67 c choco : 625.01
7.44/7.67 c mistral : 475.168
7.44/7.67 c abscon : 156.933
7.44/7.67 c
7.44/7.67 c
7.44/7.67 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-5_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 > 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.44/7.68 c choco : 788.59
7.44/7.68 c mistral : 237.446
7.44/7.68 c abscon : 225.652
7.44/7.68 c
7.44/7.68 c
7.44/7.68 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-27_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 > 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.44/7.68 c choco : 1801.0
7.44/7.68 c mistral : 72.043
7.44/7.68 c abscon : 17.2764
7.44/7.68 c
7.44/7.68 c
7.44/7.69 c Length: 40
7.44/7.69 c 1.4582840111240334 1.4604702439625397 1.4708942814152208 1.4756466291765102 1.4868384514465574 1.4893158916428697 1.5204162113710837 1.5335524525101827 1.5389183859451414 1.5424114169053593 1.5455536143401818 1.547365207247467 1.547691166447621 1.5500496189154715 1.5672522236704576 1.5752621523416337 1.577439218036624 1.5794936204682815 1.5882076106731136 1.5890976383469957 1.5964186423679714 1.6043135638334545 1.61176164044191 1.6191817465312521 1.6206971242955914 1.6244028882946497 1.6254674846332662 1.630041376744773 1.631567457722787 1.6670283296632957 1.6686780209195533 1.6989983937308473 1.7101493897025482 1.7124276634649405 1.7164835040570592 1.7220456915831226 1.7233779312443327 1.7271100925824039 1.736403340989643 1.7382332723486793
7.44/7.69 c
7.44/7.69 c 1.0 0.9922511244259932 0.9568967374747627 0.9416013309165718 0.9074421467900669 0.9002129828681591 0.8183701625345425 0.7881061646620146 0.7763781637309897 0.7689294222748254 0.762349890850396 0.758607468978069 0.7579379934451144 0.7531290366878828 0.719816619474993 0.7052908403454939 0.7014435657191949 0.6978513545709272 0.683014876115924 0.6815349416853483 0.6696006860529365 0.6571905739612122 0.64589730663511 0.6350259009667732 0.6328505257861465 0.6275930449365161 0.6260987833764042 0.6197590307225438 0.6176722385484305 0.5728523410516088 0.5709250595857218 0.5376777590318295 0.5264038262058053 0.5241583516915279 0.5202079519125372 0.514886201034899 0.5136276735612852 0.5101345476929531 0.5016395219048803 0.5
7.44/7.70 c
7.44/7.70 c solver 0
7.44/7.70 c before 0.0 seconds: {} 0
7.44/7.70 c before 18.0 seconds: {1, 5, 9, 13, 18, 20, 21, 25, 30, 34, 35, 36, 39} 8671
7.44/7.70 c before 36.0 seconds: {1, 2, 3, 4, 5, 9, 11, 13, 18, 20, 21, 22, 25, 30, 32, 34, 35, 36, 39} 13408
7.44/7.70 c before 54.0 seconds: {1, 2, 3, 4, 5, 7, 9, 11, 13, 18, 20, 21, 22, 23, 25, 30, 31, 32, 34, 35, 36, 39} 15369
7.44/7.70 c before 72.0 seconds: {1, 2, 3, 4, 5, 7, 9, 10, 11, 13, 14, 18, 20, 21, 22, 23, 25, 27, 30, 31, 32, 34, 35, 36, 39} 17471
7.44/7.70 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 13, 14, 18, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 34, 35, 36, 39} 19730
7.44/7.70 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 13, 14, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 34, 35, 36, 39} 20347
7.44/7.70 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 13, 14, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 39} 20920
7.44/7.70 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 13, 14, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 39} 21430
7.44/7.70 c before 216.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 13, 14, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 39} 22132
7.44/7.70 c before 234.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 13, 14, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 22633
7.44/7.70 c before 288.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 13, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 23339
7.44/7.70 c before 306.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 24097
7.44/7.70 c before 324.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 24794
7.44/7.70 c before 378.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 25613
7.44/7.70 c before 396.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26913
7.44/7.70 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} 27595
7.44/7.70 c
7.44/7.70 c solver 1
7.44/7.70 c before 0.0 seconds: {} 0
7.44/7.70 c before 18.0 seconds: {1, 3, 4, 20, 30, 32, 34} 5128
7.44/7.70 c before 36.0 seconds: {1, 3, 4, 11, 13, 20, 21, 22, 30, 32, 34, 35} 8458
7.44/7.70 c before 54.0 seconds: {1, 3, 4, 7, 9, 11, 13, 20, 21, 22, 24, 30, 31, 32, 34, 35, 36} 11699
7.44/7.70 c before 72.0 seconds: {1, 3, 4, 6, 7, 9, 11, 13, 14, 16, 20, 21, 22, 24, 30, 31, 32, 34, 35, 36} 13938
7.44/7.70 c before 90.0 seconds: {1, 2, 3, 4, 6, 7, 9, 11, 13, 14, 16, 18, 20, 21, 22, 24, 27, 28, 30, 31, 32, 34, 35, 36, 39} 17316
7.44/7.70 c before 108.0 seconds: {1, 2, 3, 4, 6, 7, 9, 10, 11, 13, 14, 16, 18, 20, 21, 22, 24, 26, 27, 28, 30, 31, 32, 34, 35, 36, 39} 18704
7.49/7.70 c before 126.0 seconds: {1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 13, 14, 16, 18, 20, 21, 22, 24, 26, 27, 28, 30, 31, 32, 34, 35, 36, 39} 19604
7.49/7.70 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 13, 14, 16, 18, 20, 21, 22, 24, 26, 27, 28, 30, 31, 32, 34, 35, 36, 39} 20604
7.49/7.70 c before 180.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 13, 14, 16, 18, 20, 21, 22, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 39} 21177
7.49/7.70 c before 216.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 13, 14, 16, 18, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 39} 21812
7.49/7.70 c before 252.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 13, 14, 16, 18, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 38, 39} 22314
7.49/7.70 c before 288.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 13, 14, 15, 16, 18, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 38, 39} 23019
7.49/7.70 c before 360.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 18, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 38, 39} 23777
7.49/7.70 c before 378.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 38, 39} 24475
7.49/7.70 c before 396.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 38, 39} 25251
7.49/7.71 c before 486.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 26389
7.49/7.71 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, 34, 35, 36, 37, 38, 39} 27071
7.49/7.71 c before 810.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} 27595
7.49/7.71 c
7.49/7.71 c solver 2
7.49/7.71 c before 0.0 seconds: {} 0
7.49/7.71 c before 18.0 seconds: {20, 34} 1189
7.49/7.71 c before 36.0 seconds: {1, 20, 34} 2182
7.49/7.71 c before 72.0 seconds: {1, 3, 13, 20, 34} 3876
7.49/7.71 c before 108.0 seconds: {1, 3, 11, 13, 20, 34} 4635
7.49/7.71 c before 216.0 seconds: {1, 3, 11, 13, 20, 23, 34} 5270
7.49/7.71 c before 396.0 seconds: {0, 1, 3, 11, 13, 20, 23, 29, 34} 6843
7.49/7.71 c before 432.0 seconds: {0, 1, 3, 5, 11, 13, 20, 23, 29, 34} 7743
7.49/7.71 c before 468.0 seconds: {0, 1, 2, 3, 5, 11, 13, 20, 23, 29, 34} 8700
7.49/7.71 c before 522.0 seconds: {0, 1, 2, 3, 5, 11, 13, 20, 23, 28, 29, 34} 9318
7.49/7.71 c before 630.0 seconds: {0, 1, 2, 3, 5, 11, 13, 20, 23, 28, 29, 34, 37} 9828
7.49/7.71 c before 792.0 seconds: {0, 1, 2, 3, 5, 11, 13, 20, 23, 28, 29, 34, 37, 38} 10329
7.49/7.71 c before 810.0 seconds: {0, 1, 2, 3, 5, 11, 13, 15, 20, 23, 28, 29, 34, 37, 38} 11035
7.49/7.71 c before 846.0 seconds: {0, 1, 2, 3, 5, 11, 12, 13, 15, 20, 23, 28, 29, 34, 37, 38} 11793
7.49/7.71 c before 882.0 seconds: {0, 1, 2, 3, 5, 11, 12, 13, 15, 17, 20, 23, 28, 29, 34, 37, 38} 12490
7.49/7.71 c before 1008.0 seconds: {0, 1, 2, 3, 5, 11, 12, 13, 15, 17, 20, 23, 25, 28, 29, 34, 37, 38} 13118
7.49/7.71 c before 1062.0 seconds: {0, 1, 2, 3, 5, 8, 11, 12, 13, 15, 17, 20, 23, 25, 28, 29, 34, 37, 38} 13894
7.49/7.71 c
7.49/7.71 cTotal time: 127
7.49/7.71 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} 27595
7.49/7.71 c run mistral for 810.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} 27595
7.49/7.71 c run choco for 522.0 seconds {0, 1, 2, 3, 5, 11, 13, 20, 23, 28, 29, 34} 9318
7.49/7.71 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.49/7.71 c On Instance: HOME/instance-1046023-1215020940.xml
7.49/7.71 c Running for: 414 seconds
421.68/428.19 c Starting solver: HOME/cpHydra_k_40/solver/mistral
421.68/428.19 c On Instance: HOME/instance-1046023-1215020940.xml
421.68/428.19 c Running for: 810 seconds
1231.60/1242.16 c Starting solver: HOME/cpHydra_k_40/solver/choco
1231.60/1242.16 c On Instance: HOME/instance-1046023-1215020940.xml
1231.60/1242.16 c Running for: 522 seconds