0.00/0.00 c cpHydra_k_40 version 0.0
7.66/7.89 c CASE TO CLASSIFY:
7.66/7.89 c Case: 0
7.66/7.90 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.578200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 11.301800 | c 14 > 12.454800 | c 11 > 4.584960 | c 12 > 11.672700 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/7.91 c choco : 1801.0
7.76/7.91 c mistral : 1801.0
7.76/7.91 c abscon : 1801.0
7.76/7.91 c
7.76/7.91 c
7.96/8.18 c List of same ones: 40
7.96/8.18 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-39_ext.xml
7.96/8.18 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.349500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.982800 | c 14 > 12.188000 | c 11 > 4.584960 | c 12 > 11.415800 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.96/8.19 c choco : 1801.0
7.96/8.19 c mistral : 772.763
7.96/8.19 c abscon : 1274.72
7.96/8.19 c
7.96/8.19 c
7.96/8.19 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-17_ext.xml
7.96/8.19 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.455000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 11.133100 | c 14 > 12.685600 | c 11 > 4.321930 | c 12 > 11.638200 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.96/8.20 c choco : 1801.0
7.96/8.20 c mistral : 28.8786
7.96/8.20 c abscon : 51.0712
7.96/8.20 c
7.96/8.20 c
7.96/8.20 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-35_ext.xml
8.05/8.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.029500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.902200 | c 14 > 11.847800 | c 11 > 4.584960 | c 12 > 11.158100 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.05/8.21 c choco : 1801.0
8.05/8.21 c mistral : 40.01
8.05/8.21 c abscon : 320.414
8.05/8.21 c
8.05/8.21 c
8.05/8.21 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-35_ext.xml
8.05/8.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.254500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 11.151600 | c 14 > 12.350100 | c 11 > 4.321930 | c 12 > 11.964800 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.832890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.05/8.22 c choco : 1801.0
8.05/8.22 c mistral : 21.86
8.05/8.22 c abscon : 74.1807
8.05/8.22 c
8.05/8.22 c
8.05/8.22 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-31_ext.xml
8.05/8.22 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.351100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.869200 | c 14 > 12.396100 | c 11 > 4.321930 | c 12 > 11.818300 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.882640 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.05/8.23 c choco : 1801.0
8.05/8.23 c mistral : 62.89
8.05/8.23 c abscon : 215.477
8.05/8.23 c
8.05/8.23 c
8.05/8.23 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-35_ext.xml
8.05/8.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.301100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.880100 | c 14 > 12.414700 | c 11 > 4.321930 | c 12 > 11.695600 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.832890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.05/8.24 c choco : 1801.0
8.05/8.24 c mistral : 7.55985
8.05/8.24 c abscon : 24.3843
8.05/8.24 c
8.05/8.24 c
8.05/8.24 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-31_ext.xml
8.05/8.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.331900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.844300 | c 14 > 12.314300 | c 11 > 4.321930 | c 12 > 11.772300 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.882640 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.05/8.24 c choco : 1801.0
8.05/8.24 c mistral : 43.0794
8.05/8.25 c abscon : 20.8628
8.05/8.25 c
8.05/8.25 c
8.05/8.25 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-5_ext.xml
8.05/8.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.292500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.945600 | c 14 > 12.518200 | c 11 > 4.321930 | c 12 > 11.512600 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.781360 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.05/8.25 c choco : 1801.0
8.05/8.25 c mistral : 74.26
8.05/8.25 c abscon : 247.837
8.05/8.25 c
8.05/8.25 c
8.05/8.25 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-25_ext.xml
8.05/8.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.364500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.821400 | c 14 > 12.166200 | c 11 > 4.321930 | c 12 > 11.683300 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.882640 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.05/8.26 c choco : 1801.0
8.05/8.26 c mistral : 25.86
8.05/8.26 c abscon : 86.6928
8.05/8.26 c
8.05/8.26 c
8.05/8.26 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-3_ext.xml
8.05/8.26 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.286000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.771900 | c 14 > 12.343200 | c 11 > 4.321930 | c 12 > 11.552200 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.882640 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.05/8.27 c choco : 1801.0
8.05/8.27 c mistral : 90.37
8.05/8.27 c abscon : 260.024
8.05/8.27 c
8.05/8.27 c
8.05/8.27 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-23_ext.xml
8.05/8.27 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.312100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.749000 | c 14 > 12.363300 | c 11 > 4.321930 | c 12 > 11.725900 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.832890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.05/8.28 c choco : 1801.0
8.05/8.28 c mistral : 7.30789
8.05/8.28 c abscon : 36.7414
8.05/8.28 c
8.05/8.28 c
8.05/8.28 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-25_ext.xml
8.05/8.28 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.451200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.706000 | c 14 > 12.255300 | c 11 > 4.321930 | c 12 > 11.502000 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.882640 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.05/8.30 c choco : 1801.0
8.05/8.30 c mistral : 31.21
8.05/8.30 c abscon : 9.34158
8.05/8.30 c
8.05/8.30 c
8.05/8.30 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-13_ext.xml
8.05/8.30 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.438200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.691600 | c 14 > 12.347900 | c 11 > 4.321930 | c 12 > 11.522400 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.31 c choco : 1801.0
8.11/8.31 c mistral : 40.83
8.11/8.31 c abscon : 38.2792
8.11/8.31 c
8.11/8.31 c
8.11/8.31 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-43_ext.xml
8.11/8.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.028300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 11.328500 | c 14 > 12.157700 | c 11 > 4.321930 | c 12 > 11.809300 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.832890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.31 c choco : 1801.0
8.11/8.31 c mistral : 5.73
8.11/8.31 c abscon : 15.2207
8.11/8.31 c
8.11/8.31 c
8.11/8.31 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-27_ext.xml
8.11/8.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.199700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.825100 | c 14 > 12.277600 | c 11 > 4.321930 | c 12 > 11.403900 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.32 c choco : 1801.0
8.11/8.32 c mistral : 28.63
8.11/8.32 c abscon : 14.7738
8.11/8.32 c
8.11/8.32 c
8.11/8.32 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-15_ext.xml
8.11/8.32 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.289700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.862600 | c 14 > 12.162100 | c 11 > 4.321930 | c 12 > 11.961800 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.32 c choco : 1801.0
8.11/8.32 c mistral : 5.62414
8.11/8.32 c abscon : 23.8904
8.11/8.32 c
8.11/8.32 c
8.11/8.32 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-43_ext.xml
8.11/8.32 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.059200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 11.407600 | c 14 > 12.137300 | c 11 > 4.321930 | c 12 > 11.887500 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.832890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.33 c choco : 1801.0
8.11/8.33 c mistral : 6.51
8.11/8.33 c abscon : 22.0826
8.11/8.33 c
8.11/8.33 c
8.11/8.33 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-21_ext.xml
8.11/8.33 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.096200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.988100 | c 14 > 12.162700 | c 11 > 4.321930 | c 12 > 11.489200 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.34 c choco : 1801.0
8.11/8.34 c mistral : 34.91
8.11/8.34 c abscon : 88.5065
8.11/8.34 c
8.11/8.34 c
8.11/8.34 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-1_ext.xml
8.11/8.34 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.475100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.639700 | c 14 > 12.346800 | c 11 > 4.321930 | c 12 > 11.491900 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.35 c choco : 1801.0
8.11/8.35 c mistral : 14.5298
8.11/8.35 c abscon : 73.4458
8.11/8.35 c
8.11/8.35 c
8.11/8.35 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-11_ext.xml
8.11/8.35 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.410300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.627600 | c 14 > 12.334300 | c 11 > 4.321930 | c 12 > 11.551800 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.36 c choco : 1801.0
8.11/8.36 c mistral : 4.6253
8.11/8.36 c abscon : 41.7786
8.11/8.36 c
8.11/8.36 c
8.11/8.36 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-39_ext.xml
8.11/8.36 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.309100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.766300 | c 14 > 12.179000 | c 11 > 4.321930 | c 12 > 11.425500 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.882640 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.37 c choco : 1801.0
8.11/8.37 c mistral : 95.35
8.11/8.37 c abscon : 225.117
8.11/8.37 c
8.11/8.37 c
8.11/8.37 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-15_ext.xml
8.11/8.37 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.318100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.678200 | c 14 > 12.199700 | c 11 > 4.321930 | c 12 > 11.664500 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.37 c choco : 82.48
8.11/8.37 c mistral : 5.65514
8.11/8.37 c abscon : 34.5348
8.11/8.37 c
8.11/8.37 c
8.11/8.37 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-21_ext.xml
8.11/8.37 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.173100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.908200 | c 14 > 12.078500 | c 11 > 4.321930 | c 12 > 11.421200 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.38 c choco : 1801.0
8.11/8.38 c mistral : 7.39
8.11/8.38 c abscon : 52.1431
8.11/8.38 c
8.11/8.38 c
8.11/8.38 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-3_ext.xml
8.11/8.38 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.050900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.626600 | c 14 > 11.937000 | c 11 > 4.584960 | c 12 > 11.009300 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.39 c choco : 1801.0
8.11/8.39 c mistral : 976.11
8.11/8.39 c abscon : 1800.09
8.11/8.39 c
8.11/8.39 c
8.11/8.39 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-39_ext.xml
8.11/8.39 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.319500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.711900 | c 14 > 12.207300 | c 11 > 4.321930 | c 12 > 11.348800 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.882640 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.39 c choco : 1801.0
8.11/8.39 c mistral : 19.81
8.11/8.39 c abscon : 89.5534
8.11/8.39 c
8.11/8.39 c
8.11/8.39 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-11_ext.xml
8.11/8.39 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.378400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.585400 | c 14 > 12.329000 | c 11 > 4.321930 | c 12 > 11.465200 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.40 c choco : 1801.0
8.18/8.40 c mistral : 170.881
8.18/8.40 c abscon : 441.821
8.18/8.40 c
8.18/8.40 c
8.18/8.40 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-9_ext.xml
8.18/8.40 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.218800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.793100 | c 14 > 12.103000 | c 11 > 4.321930 | c 12 > 11.370300 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.882640 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.40 c choco : 1801.0
8.18/8.40 c mistral : 11.7202
8.18/8.40 c abscon : 41.5317
8.18/8.40 c
8.18/8.40 c
8.18/8.40 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-37_ext.xml
8.18/8.40 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.453500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.523300 | c 14 > 12.261200 | c 11 > 4.321930 | c 12 > 11.560600 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.41 c choco : 1801.0
8.18/8.41 c mistral : 188.511
8.18/8.41 c abscon : 173.762
8.18/8.41 c
8.18/8.41 c
8.18/8.41 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-27_ext.xml
8.18/8.41 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.154300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.769500 | c 14 > 12.065400 | c 11 > 4.321930 | c 12 > 11.327200 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.42 c choco : 1801.0
8.18/8.42 c mistral : 47.85
8.18/8.42 c abscon : 8.06377
8.18/8.42 c
8.18/8.42 c
8.18/8.42 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-49_ext.xml
8.18/8.42 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.377200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.511600 | c 14 > 12.287400 | c 11 > 4.321930 | c 12 > 11.580200 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.832890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.42 c choco : 99.3
8.18/8.42 c mistral : 9.29
8.18/8.42 c abscon : 51.2542
8.18/8.42 c
8.18/8.42 c
8.18/8.42 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-7_ext.xml
8.18/8.42 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.271100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.604400 | c 14 > 12.150400 | c 11 > 4.321930 | c 12 > 11.494200 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.832890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.43 c choco : 1801.0
8.18/8.43 c mistral : 19.79
8.18/8.43 c abscon : 8.66768
8.18/8.43 c
8.18/8.43 c
8.18/8.43 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-23_ext.xml
8.18/8.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.365000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.501000 | c 14 > 12.362500 | c 11 > 4.321930 | c 12 > 11.563800 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.832890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.43 c choco : 1801.0
8.18/8.43 c mistral : 45.17
8.18/8.43 c abscon : 130.86
8.18/8.43 c
8.18/8.43 c
8.18/8.43 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-9_ext.xml
8.18/8.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.298700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.376100 | c 14 > 12.166500 | c 11 > 4.584960 | c 12 > 10.882100 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.44 c choco : 1801.0
8.18/8.44 c mistral : 1487.13
8.18/8.44 c abscon : 1800.05
8.18/8.44 c
8.18/8.44 c
8.18/8.44 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-49_ext.xml
8.18/8.44 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.328700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.520300 | c 14 > 12.265000 | c 11 > 4.321930 | c 12 > 11.571100 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.832890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.45 c choco : 1801.0
8.18/8.45 c mistral : 73.82
8.18/8.45 c abscon : 110.126
8.18/8.45 c
8.18/8.45 c
8.18/8.45 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-41_ext.xml
8.18/8.45 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.454400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.533600 | c 14 > 12.194800 | c 11 > 4.321930 | c 12 > 11.298600 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.46 c choco : 1801.0
8.18/8.46 c mistral : 6.39
8.18/8.46 c abscon : 15.0097
8.18/8.46 c
8.18/8.46 c
8.18/8.46 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-45_ext.xml
8.18/8.46 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.282800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.688000 | c 14 > 12.201800 | c 11 > 4.321930 | c 12 > 11.183300 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.832890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.46 c choco : 1801.0
8.18/8.46 c mistral : 22.58
8.18/8.46 c abscon : 58.5241
8.18/8.46 c
8.18/8.46 c
8.18/8.46 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-19_ext.xml
8.18/8.46 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.482800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.357400 | c 14 > 12.435700 | c 11 > 4.321930 | c 12 > 11.844900 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.47 c choco : 1801.0
8.18/8.47 c mistral : 18.63
8.18/8.47 c abscon : 80.2688
8.18/8.47 c
8.18/8.47 c
8.18/8.47 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-19_ext.xml
8.18/8.47 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.445100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.325700 | c 14 > 12.468400 | c 11 > 4.321930 | c 12 > 11.683700 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.48 c choco : 1801.0
8.18/8.48 c mistral : 60.49
8.18/8.48 c abscon : 196.655
8.18/8.48 c
8.18/8.48 c
8.18/8.48 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-29_ext.xml
8.18/8.48 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.252600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.476100 | c 14 > 12.078800 | c 11 > 4.321930 | c 12 > 11.498200 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.832890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.48 c choco : 107.48
8.18/8.48 c mistral : 25.7781
8.18/8.48 c abscon : 95.0525
8.18/8.48 c
8.18/8.48 c
8.18/8.48 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-17_ext.xml
8.18/8.48 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.385700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.839600 | c 14 > 12.637300 | c 11 > 4.321930 | c 12 > 10.824800 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.49 c choco : 25.57
8.18/8.49 c mistral : 1.8
8.18/8.49 c abscon : 10.1335
8.18/8.49 c
8.18/8.49 c
8.18/8.49 c Length: 40
8.18/8.49 c 0.5396707700070483 1.0075331773693612 1.0459512464737555 1.0769822527785684 1.0782888250835214 1.0922510072323115 1.0949771323182962 1.1035755205240823 1.1221402498351087 1.1368791625762165 1.1505929266252244 1.1573201589447932 1.158873601174866 1.160299708178882 1.1650327561060247 1.1672220326484586 1.1678032680207737 1.1690819618401445 1.173244033779845 1.1811079598410985 1.1813945616516106 1.1994575872034823 1.2003779377762647 1.2010545062152689 1.2167250019211406 1.2227729931594016 1.2257640965128644 1.2604308761292702 1.2716839280261432 1.279711136467915 1.2811960516642256 1.2819430263471159 1.2820223035891394 1.2867026240744204 1.3023637713020126 1.3052959445275236 1.3594250451937393 1.3739792805934161 1.376911995299627 1.3856233375271942
8.18/8.50 c
8.18/8.50 c 1.0 0.6438901852186831 0.6255967277844237 0.611562606099518 0.6109854952242518 0.6048857521609187 0.6037089573601754 0.600027078412368 0.5922287247600345 0.5861803297864929 0.580662532957657 0.5779936025553439 0.5773807804125697 0.5768193341024022 0.5749637733408411 0.574109513802482 0.5738831410070396 0.5733857580255243 0.5717727596421054 0.5687497599989839 0.5686401899907358 0.5618187158459541 0.5614755260965915 0.5612235076058999 0.5554489762188835 0.553251964992101 0.5521718186242601 0.5399538675802216 0.5361032586630214 0.5333898716665239 0.5328909426727075 0.5326403131415869 0.5326137273920525 0.5310488640416812 0.5258787789676096 0.5249219727054427 0.5078640165429356 0.503464954668503 0.5025877419061207 0.5
8.24/8.51 c
8.24/8.51 c solver 0
8.24/8.51 c before 0.0 seconds: {} 0
8.24/8.51 c before 18.0 seconds: {11, 13, 14, 28, 30, 34, 39} 3824
8.24/8.51 c before 36.0 seconds: {5, 6, 11, 13, 14, 15, 16, 21, 28, 30, 34, 39} 6743
8.24/8.51 c before 54.0 seconds: {1, 5, 6, 10, 11, 12, 13, 14, 15, 16, 19, 21, 22, 26, 28, 29, 30, 34, 39} 10760
8.24/8.51 c before 72.0 seconds: {1, 5, 6, 10, 11, 12, 13, 14, 15, 16, 19, 21, 22, 26, 28, 29, 30, 34, 35, 39} 11285
8.24/8.51 c before 90.0 seconds: {1, 3, 5, 6, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 24, 26, 28, 29, 30, 34, 35, 36, 39} 14697
8.24/8.51 c before 108.0 seconds: {1, 3, 5, 6, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 24, 26, 28, 29, 30, 34, 35, 36, 38, 39} 15200
8.24/8.51 c before 126.0 seconds: {1, 3, 5, 6, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 24, 26, 28, 29, 30, 33, 34, 35, 36, 38, 39} 15731
8.24/8.51 c before 144.0 seconds: {1, 3, 5, 6, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 24, 26, 28, 29, 30, 31, 33, 34, 35, 36, 38, 39} 16264
8.24/8.51 c before 180.0 seconds: {1, 3, 5, 6, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 38, 39} 16804
8.24/8.51 c before 198.0 seconds: {1, 3, 5, 6, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 17307
8.24/8.51 c before 216.0 seconds: {1, 3, 4, 5, 6, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 17918
8.24/8.51 c before 234.0 seconds: {1, 3, 4, 5, 6, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 18487
8.24/8.51 c before 252.0 seconds: {1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 19087
8.24/8.51 c before 270.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 19673
8.24/8.51 c before 324.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 20299
8.24/8.51 c before 450.0 seconds: {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, 33, 34, 35, 36, 37, 38, 39} 20852
8.24/8.51 c before 1278.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, 33, 34, 35, 36, 37, 38, 39} 21852
8.24/8.51 c
8.24/8.51 c solver 1
8.24/8.51 c before 0.0 seconds: {} 0
8.24/8.51 c before 18.0 seconds: {5, 10, 13, 15, 16, 18, 19, 21, 22, 26, 29, 34, 39} 7285
8.24/8.51 c before 36.0 seconds: {1, 3, 5, 8, 10, 11, 13, 14, 15, 16, 17, 18, 19, 21, 22, 24, 26, 29, 30, 34, 35, 36, 38, 39} 13483
8.24/8.51 c before 54.0 seconds: {1, 2, 3, 5, 6, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 24, 26, 28, 29, 30, 31, 34, 35, 36, 38, 39} 16358
8.24/8.51 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 24, 26, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 17473
8.24/8.51 c before 90.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 24, 26, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 18604
8.24/8.51 c before 108.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 26, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 19759
8.24/8.51 c before 180.0 seconds: {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, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 20312
8.24/8.51 c before 198.0 seconds: {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, 33, 34, 35, 36, 37, 38, 39} 20852
8.24/8.51 c before 774.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, 33, 34, 35, 36, 37, 38, 39} 21852
8.24/8.51 c before 990.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, 33, 34, 35, 36, 37, 38, 39} 22413
8.24/8.51 c before 1494.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} 22946
8.24/8.51 c
8.24/8.51 c solver 2
8.24/8.51 c before 0.0 seconds: {} 0
8.24/8.51 c before 36.0 seconds: {39} 500
8.24/8.51 c before 90.0 seconds: {21, 39} 1061
8.24/8.51 c before 108.0 seconds: {21, 29, 38, 39} 2097
8.24/8.51 c
8.24/8.51 cTotal time: 160
8.24/8.52 c run abscon for 270.0 seconds {1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 19673
8.24/8.52 c run mistral for 1494.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} 22946
8.24/8.52 c run choco for 36.0 seconds {39} 500
8.24/8.52 c Starting solver: HOME/cpHydra_k_40/solver/abscon
8.24/8.52 c On Instance: HOME/instance-1072075-1215171313.xml
8.24/8.52 c Running for: 270 seconds
278.59/280.54 c Starting solver: HOME/cpHydra_k_40/solver/mistral
278.59/280.54 c On Instance: HOME/instance-1072075-1215171313.xml
278.59/280.54 c Running for: 1494 seconds
1353.84/1365.56 c mistral-prime version 1.313
1353.84/1365.56 s SATISFIABLE
1353.84/1365.56 v 0 0 13 8 4 17 4 9 22 8 8 14 1 1 6 16 15 18 14 0 0 19 22 13
1353.84/1365.56 d CHECKS 515620337
1353.84/1365.56 d ASSIGNMENTS 3116316