0.00/0.00 c cpHydra_k_40 version 0.0
8.79/9.25 c CASE TO CLASSIFY:
8.79/9.25 c Case: 0
8.79/9.26 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.344300 | c 15 > 20.790800 | c 34 > 25.962100 | c 16 > 2.000000 | c 13 > 5.234850 | c 14 > 11.500800 | c 11 > 10.300400 | c 12 > 5.858380 | c 21 > 6.000000 | c 20 > 100.000000 | c 22 > 6.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 10.300400 | c 2 > -1.000000 | c 10 > 15.477600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.045100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.836200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.79/9.27 c choco : 1801.0
8.79/9.27 c mistral : 1801.0
8.79/9.27 c abscon : 1801.0
8.79/9.27 c
8.79/9.27 c
8.88/9.34 c List of same ones: 40
8.88/9.34 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_33.xml
8.88/9.34 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.195700 | c 15 > 19.716800 | c 34 > 25.955500 | c 16 > 2.000000 | c 13 > 4.127900 | c 14 > 10.747400 | c 11 > 10.045800 | c 12 > 5.693280 | c 21 > 5.744560 | c 20 > 100.000000 | c 22 > 5.744560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 10.045800 | c 2 > -1.000000 | c 10 > 15.093700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.655300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.199300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.88/9.35 c choco : 93.84
8.88/9.35 c mistral : 0.037993
8.88/9.35 c abscon : 1800.2
8.88/9.35 c
8.88/9.35 c
8.88/9.35 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_36.xml
8.88/9.35 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.344300 | c 15 > 19.539300 | c 34 > 25.962100 | c 16 > 2.000000 | c 13 > 4.103400 | c 14 > 9.968670 | c 11 > 10.300400 | c 12 > 5.810860 | c 21 > 6.000000 | c 20 > 100.000000 | c 22 > 6.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 10.300400 | c 2 > -1.000000 | c 10 > 15.477600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.045100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.836200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.88/9.36 c choco : 28.08
8.88/9.36 c mistral : 0.042992
8.88/9.36 c abscon : 1800.13
8.88/9.36 c
8.88/9.36 c
8.88/9.36 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_34.xml
8.88/9.36 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.298900 | c 15 > 19.497200 | c 34 > 26.008800 | c 16 > 2.000000 | c 13 > 3.768550 | c 14 > 10.268000 | c 11 > 10.133100 | c 12 > 5.722750 | c 21 > 5.830950 | c 20 > 100.000000 | c 22 > 5.830950 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 10.133100 | c 2 > -1.000000 | c 10 > 15.228000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.794100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.423000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.88/9.37 c choco : 185.56
8.88/9.37 c mistral : 0.036993
8.88/9.37 c abscon : 1800.19
8.88/9.37 c
8.88/9.37 c
8.88/9.37 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_38.xml
8.88/9.37 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.352400 | c 15 > 19.208500 | c 34 > 25.887600 | c 16 > 2.000000 | c 13 > 3.682880 | c 14 > 9.259740 | c 11 > 10.458400 | c 12 > 5.867950 | c 21 > 6.164410 | c 20 > 100.000000 | c 22 > 6.164410 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 10.458400 | c 2 > -1.000000 | c 10 > 15.712100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.279100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.223900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.88/9.38 c choco : 30.11
8.88/9.38 c mistral : 0.044992
8.88/9.38 c abscon : 1800.13
8.88/9.38 c
8.88/9.38 c
8.88/9.38 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_28.xml
8.88/9.38 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.144800 | c 15 > 18.773600 | c 34 > 26.205800 | c 16 > 2.000000 | c 13 > 6.250140 | c 14 > 10.323100 | c 11 > 9.564150 | c 12 > 5.667670 | c 21 > 5.291500 | c 20 > 100.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 9.564150 | c 2 > -1.000000 | c 10 > 14.379900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.942000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.021500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.88/9.39 c choco : 17.03
8.88/9.39 c mistral : 0.028994
8.88/9.39 c abscon : 1800.16
8.88/9.39 c
8.88/9.39 c
8.88/9.39 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_29.xml
8.88/9.39 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.143400 | c 15 > 18.500000 | c 34 > 26.136200 | c 16 > 2.000000 | c 13 > 5.315300 | c 14 > 9.497850 | c 11 > 9.667110 | c 12 > 5.587250 | c 21 > 5.385160 | c 20 > 100.000000 | c 22 > 5.385160 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 9.667110 | c 2 > -1.000000 | c 10 > 14.531700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.093100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.271600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.97/9.40 c choco : 32.04
8.97/9.40 c mistral : 0.029994
8.97/9.40 c abscon : 1800.13
8.97/9.40 c
8.97/9.40 c
8.97/9.40 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_27.xml
8.97/9.40 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.070300 | c 15 > 19.003000 | c 34 > 26.204400 | c 16 > 2.000000 | c 13 > 6.693440 | c 14 > 10.688300 | c 11 > 9.457380 | c 12 > 5.717540 | c 21 > 5.196150 | c 20 > 100.000000 | c 22 > 5.196150 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 9.457380 | c 2 > -1.000000 | c 10 > 14.218800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.778000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.754800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.97/9.41 c choco : 20.85
8.97/9.41 c mistral : 0.030994
8.97/9.41 c abscon : 1800.17
8.97/9.41 c
8.97/9.41 c
8.97/9.41 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_31.xml
8.97/9.41 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.151600 | c 15 > 18.303400 | c 34 > 26.020800 | c 16 > 2.000000 | c 13 > 4.518000 | c 14 > 8.791160 | c 11 > 9.862640 | c 12 > 5.623070 | c 21 > 5.567760 | c 20 > 100.000000 | c 22 > 5.567760 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 9.862640 | c 2 > -1.000000 | c 10 > 14.820900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.381400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.748300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.97/9.42 c choco : 63.2
8.97/9.42 c mistral : 0.033994
8.97/9.42 c abscon : 1800.17
8.97/9.42 c
8.97/9.42 c
8.97/9.42 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_30.xml
8.97/9.42 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.122600 | c 15 > 18.386500 | c 34 > 26.051700 | c 16 > 2.000000 | c 13 > 4.472520 | c 14 > 8.921840 | c 11 > 9.766530 | c 12 > 5.579850 | c 21 > 5.477230 | c 20 > 100.000000 | c 22 > 5.477230 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 9.766530 | c 2 > -1.000000 | c 10 > 14.677600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.237200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.511400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.97/9.43 c choco : 28.42
8.97/9.43 c mistral : 0.033993
8.97/9.43 c abscon : 1800.14
8.97/9.43 c
8.97/9.43 c
8.97/9.43 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_26.xml
8.97/9.43 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.088500 | c 15 > 19.099100 | c 34 > 26.300900 | c 16 > 2.000000 | c 13 > 6.859100 | c 14 > 10.783800 | c 11 > 9.346510 | c 12 > 5.723860 | c 21 > 5.099020 | c 20 > 100.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 9.346510 | c 2 > -1.000000 | c 10 > 14.056200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.617100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.487900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.97/9.44 c choco : 20.9
8.97/9.44 c mistral : 0.030994
8.97/9.44 c abscon : 1800.2
8.97/9.44 c
8.97/9.44 c
8.97/9.44 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_37.xml
8.97/9.44 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.346000 | c 15 > 18.795200 | c 34 > 25.921500 | c 16 > 2.000000 | c 13 > 3.591100 | c 14 > 7.954200 | c 11 > 10.380500 | c 12 > 5.824490 | c 21 > 6.082760 | c 20 > 100.000000 | c 22 > 6.082760 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 10.380500 | c 2 > -1.000000 | c 10 > 15.596300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.163500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.032400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.15/9.66 c choco : 27.22
9.15/9.66 c mistral : 0.042992
9.15/9.66 c abscon : 1800.23
9.15/9.66 c
9.15/9.66 c
9.15/9.66 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_32.xml
9.15/9.66 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.118100 | c 15 > 18.008800 | c 34 > 25.931000 | c 16 > 2.000000 | c 13 > 3.954650 | c 14 > 8.108520 | c 11 > 9.955650 | c 12 > 5.641880 | c 21 > 5.656850 | c 20 > 100.000000 | c 22 > 5.656850 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 9.955650 | c 2 > -1.000000 | c 10 > 14.956800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.515000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.971700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.15/9.67 c choco : 17.1
9.15/9.67 c mistral : 0.035993
9.15/9.67 c abscon : 1800.19
9.15/9.67 c
9.15/9.67 c
9.15/9.67 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_35.xml
9.15/9.67 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.300300 | c 15 > 18.366400 | c 34 > 25.962900 | c 16 > 2.000000 | c 13 > 3.520500 | c 14 > 6.820180 | c 11 > 10.218000 | c 12 > 5.744400 | c 21 > 5.916080 | c 20 > 100.000000 | c 22 > 5.916080 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 10.218000 | c 2 > -1.000000 | c 10 > 15.353500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.919300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.630400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.15/9.68 c choco : 22.2
9.15/9.68 c mistral : 0.039992
9.15/9.68 c abscon : 1800.22
9.15/9.68 c
9.15/9.68 c
9.15/9.68 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_39.xml
9.15/9.68 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.373300 | c 15 > 18.354000 | c 34 > 25.870300 | c 16 > 2.000000 | c 13 > 3.631700 | c 14 > 5.954200 | c 11 > 10.534300 | c 12 > 5.897680 | c 21 > 6.245000 | c 20 > 100.000000 | c 22 > 6.245000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 10.534300 | c 2 > -1.000000 | c 10 > 15.825500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.393300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.411900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.15/9.69 c choco : 32.28
9.15/9.69 c mistral : 0.044992
9.15/9.69 c abscon : 1800.22
9.15/9.69 c
9.15/9.69 c
9.15/9.69 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_40.xml
9.15/9.69 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.386800 | c 15 > 18.306600 | c 34 > 25.847500 | c 16 > 2.000000 | c 13 > 3.658070 | c 14 > 5.643860 | c 11 > 10.608300 | c 12 > 5.933510 | c 21 > 6.324560 | c 20 > 100.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 10.608300 | c 2 > -1.000000 | c 10 > 15.935800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.503800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.594500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.25/9.70 c choco : 33.97
9.25/9.70 c mistral : 0.046992
9.25/9.70 c abscon : 1800.13
9.25/9.70 c
9.25/9.70 c
9.25/9.70 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_25.xml
9.25/9.70 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.043100 | c 15 > 17.779400 | c 34 > 26.339700 | c 16 > 2.000000 | c 13 > 3.651010 | c 14 > 8.848620 | c 11 > 13.005100 | c 12 > 2.276800 | c 21 > 5.000000 | c 20 > 100.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 9.231220 | c 2 > -1.000000 | c 10 > 13.884200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.443700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.204100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.25/9.71 c choco : 112.89
9.25/9.71 c mistral : 0.027994
9.25/9.71 c abscon : 1800.16
9.25/9.71 c
9.25/9.71 c
9.25/9.71 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_23.xml
9.25/9.71 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.703100 | c 15 > 17.810500 | c 34 > 26.189000 | c 16 > 2.000000 | c 13 > 4.231750 | c 14 > 9.430450 | c 11 > 12.627300 | c 12 > 2.393540 | c 21 > 4.795830 | c 20 > 100.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 8.985840 | c 2 > -1.000000 | c 10 > 13.506700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.051200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.576700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.25/9.71 c choco : 76.95
9.25/9.71 c mistral : 0.022996
9.25/9.71 c abscon : 1800.15
9.25/9.71 c
9.25/9.71 c
9.25/9.71 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_24.xml
9.25/9.71 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.801700 | c 15 > 18.066800 | c 34 > 26.189300 | c 16 > 2.000000 | c 13 > 3.545800 | c 14 > 8.960000 | c 11 > 12.813400 | c 12 > 2.267310 | c 21 > 4.898980 | c 20 > 100.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 9.111140 | c 2 > -1.000000 | c 10 > 13.695800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.244200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.889300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.25/9.72 c choco : 64.29
9.25/9.72 c mistral : 0.026995
9.25/9.72 c abscon : 1800.18
9.25/9.72 c
9.25/9.72 c
9.25/9.72 c /home/eomahony/cpZilla/CSP/zhou/route.xml
9.25/9.72 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.974600 | c 34 > 19.213600 | c 16 > 2.000000 | c 13 > 9.561130 | c 14 > 4.643860 | c 11 > 6.169930 | c 12 > 9.422210 | c 21 > 3.368560 | c 20 > 100.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.149750 | c 2 > -1.000000 | c 10 > 15.522700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.461900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.321900 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.25/9.72 c choco : 28.64
9.25/9.72 c mistral : 2.04869
9.25/9.72 c abscon : 36.1775
9.25/9.72 c
9.25/9.72 c
9.25/9.72 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-60-3-5.xml
9.25/9.72 c 19 > 0.000000 | c 35 > 9.166670 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 15.000000 | c 15 > 21.519200 | c 34 > 18.333300 | c 16 > 8.000000 | c 13 > 8.587660 | c 14 > 11.344900 | c 11 > 6.643860 | c 12 > 7.512700 | c 21 > 6.782330 | c 20 > 100.000000 | c 22 > 6.782330 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.299210 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.154820 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.232000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.25/9.74 c choco : 1801.0
9.25/9.74 c mistral : 0.032994
9.25/9.74 c abscon : 1800.06
9.25/9.74 c
9.25/9.74 c
9.25/9.74 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-3-5.xml
9.25/9.74 c 19 > 0.000000 | c 35 > 8.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.250000 | c 15 > 21.262000 | c 34 > 17.500000 | c 16 > 8.000000 | c 13 > 7.276280 | c 14 > 10.692600 | c 11 > 6.643860 | c 12 > 6.179110 | c 21 > 6.782330 | c 20 > 100.000000 | c 22 > 6.782330 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.714250 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.569860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.643300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.25/9.74 c choco : 8.75
9.25/9.74 c mistral : 0.039993
9.25/9.74 c abscon : 1800.1
9.25/9.74 c
9.25/9.74 c
9.25/9.74 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-80-3-5.xml
9.25/9.74 c 19 > 0.000000 | c 35 > 8.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.250000 | c 15 > 21.104700 | c 34 > 17.500000 | c 16 > 8.000000 | c 13 > 6.357010 | c 14 > 10.125400 | c 11 > 7.189820 | c 12 > 5.136320 | c 21 > 5.291500 | c 20 > 100.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.714250 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.569860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.085400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.25/9.75 c choco : 4.44
9.25/9.75 c mistral : 0.037993
9.25/9.75 c abscon : 138.188
9.25/9.75 c
9.25/9.75 c
9.25/9.75 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-60-3-5.xml
9.25/9.75 c 19 > 0.000000 | c 35 > 9.166670 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 15.000000 | c 15 > 21.291800 | c 34 > 18.333300 | c 16 > 8.000000 | c 13 > 9.302280 | c 14 > 11.949500 | c 11 > 7.055280 | c 12 > 7.956080 | c 21 > 5.291500 | c 20 > 100.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.299210 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.154820 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.663500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.25/9.75 c choco : 15.32
9.25/9.75 c mistral : 0.031995
9.25/9.75 c abscon : 1010.32
9.25/9.75 c
9.25/9.75 c
9.25/9.75 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-3-7.xml
9.25/9.75 c 19 > 0.000000 | c 35 > 8.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.250000 | c 15 > 20.313000 | c 34 > 16.500000 | c 16 > 10.000000 | c 13 > 6.402330 | c 14 > 9.691740 | c 11 > 6.643860 | c 12 > 5.337350 | c 21 > 6.782330 | c 20 > 100.000000 | c 22 > 6.782330 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.948370 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.826550 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.134800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.25/9.76 c choco : 2.89
9.25/9.76 c mistral : 0.043992
9.25/9.76 c abscon : 2.74458
9.25/9.76 c
9.25/9.76 c
9.25/9.76 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-60-3-3.xml
9.25/9.76 c 19 > 0.000000 | c 35 > 16.666700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 17.905700 | c 34 > 33.333300 | c 16 > 6.000000 | c 13 > 4.719610 | c 14 > 8.511750 | c 11 > 6.643860 | c 12 > 3.495700 | c 21 > 6.782330 | c 20 > 100.000000 | c 22 > 6.782330 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.988680 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.612800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.25/9.77 c choco : 1.89
9.25/9.77 c mistral : 0.031994
9.25/9.77 c abscon : 3.9194
9.25/9.77 c
9.25/9.77 c
9.25/9.77 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-60-3-3.xml
9.25/9.77 c 19 > 0.000000 | c 35 > 16.666700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.267600 | c 34 > 33.333300 | c 16 > 6.000000 | c 13 > 8.292220 | c 14 > 11.345400 | c 11 > 6.988680 | c 12 > 6.765470 | c 21 > 5.291500 | c 20 > 100.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.988680 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.999700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.25/9.77 c choco : 3.33
9.25/9.77 c mistral : 0.029994
9.25/9.77 c abscon : 3.73343
9.25/9.77 c
9.25/9.77 c
9.25/9.77 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-80-3-7.xml
9.25/9.77 c 19 > 0.000000 | c 35 > 8.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.250000 | c 15 > 20.815600 | c 34 > 16.500000 | c 16 > 10.000000 | c 13 > 7.275120 | c 14 > 10.698700 | c 11 > 7.219170 | c 12 > 5.918460 | c 21 > 5.291500 | c 20 > 100.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.948370 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.826550 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.630300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.25/9.78 c choco : 28.38
9.25/9.78 c mistral : 0.044992
9.25/9.78 c abscon : 5.41318
9.25/9.78 c
9.25/9.78 c
9.25/9.78 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-40-3-1.xml
9.25/9.78 c 19 > 0.000000 | c 35 > 13.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 18.256100 | c 34 > 27.000000 | c 16 > 4.000000 | c 13 > 7.751020 | c 14 > 11.156100 | c 11 > 6.643860 | c 12 > 6.023700 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.930740 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.672430 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.287400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.25/9.78 c choco : 1.62
9.25/9.78 c mistral : 0.020996
9.25/9.78 c abscon : 6.37703
9.25/9.78 c
9.25/9.78 c
9.25/9.78 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-60-3-1.xml
9.25/9.78 c 19 > 0.000000 | c 35 > 12.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.000000 | c 15 > 14.853700 | c 34 > 25.000000 | c 16 > 4.000000 | c 13 > 2.376510 | c 14 > 6.714250 | c 11 > 6.643860 | c 12 > 1.550900 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.531380 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.276120 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.787200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.25/9.79 c choco : 1.74
9.25/9.79 c mistral : 0.025995
9.25/9.79 c abscon : 2.35264
9.25/9.79 c
9.25/9.79 c
9.25/9.79 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-20-3-5.xml
9.25/9.79 c 19 > 0.000000 | c 35 > 11.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 18.000000 | c 15 > 13.542800 | c 34 > 22.000000 | c 16 > 8.000000 | c 13 > 5.143230 | c 14 > 8.189820 | c 11 > 6.754890 | c 12 > 2.885360 | c 21 > 5.291500 | c 20 > 100.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.643860 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.491850 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.180500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.25/9.79 c choco : 1.57
9.25/9.79 c mistral : 0.019996
9.25/9.79 c abscon : 5.75012
9.25/9.79 c
9.25/9.79 c
9.25/9.79 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-40-2-5.xml
9.25/9.79 c 19 > 0.000000 | c 35 > 10.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 17.913000 | c 34 > 20.500000 | c 16 > 7.000000 | c 13 > 7.368620 | c 14 > 11.419400 | c 11 > 6.643860 | c 12 > 5.556740 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.266790 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.066090 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.141700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.30/9.81 c choco : 2.22
9.30/9.81 c mistral : 0.022995
9.30/9.81 c abscon : 9.00963
9.30/9.81 c
9.30/9.81 c
9.30/9.81 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-20-3-1.xml
9.30/9.81 c 19 > 0.000000 | c 35 > 10.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 21.000000 | c 15 > 17.230700 | c 34 > 21.000000 | c 16 > 4.000000 | c 13 > 8.031840 | c 14 > 10.891800 | c 11 > 6.643860 | c 12 > 5.590960 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 6.977280 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.727920 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.703200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.30/9.81 c choco : 1.68
9.30/9.81 c mistral : 0.020996
9.30/9.81 c abscon : 78.4451
9.30/9.81 c
9.30/9.81 c
9.30/9.81 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-60-3-1.xml
9.30/9.81 c 19 > 0.000000 | c 35 > 12.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.000000 | c 15 > 14.870600 | c 34 > 25.000000 | c 16 > 4.000000 | c 13 > 2.195370 | c 14 > 6.870360 | c 11 > 6.643860 | c 12 > 1.469890 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.531380 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.276120 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.820500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.30/9.82 c choco : 1.73
9.30/9.82 c mistral : 0.025995
9.30/9.82 c abscon : 7.18591
9.30/9.82 c
9.30/9.82 c
9.30/9.82 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-60-3-1.xml
9.30/9.82 c 19 > 0.000000 | c 35 > 12.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.000000 | c 15 > 15.403400 | c 34 > 25.000000 | c 16 > 4.000000 | c 13 > 2.352130 | c 14 > 6.658210 | c 11 > 6.643860 | c 12 > 1.599320 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.531380 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.276120 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.207000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.30/9.82 c choco : 1.74
9.30/9.82 c mistral : 0.027995
9.30/9.82 c abscon : 5.71813
9.30/9.82 c
9.30/9.82 c
9.30/9.82 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-20-3-1.xml
9.30/9.82 c 19 > 0.000000 | c 35 > 10.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 21.000000 | c 15 > 15.902000 | c 34 > 21.000000 | c 16 > 4.000000 | c 13 > 4.402590 | c 14 > 8.361940 | c 11 > 6.643860 | c 12 > 2.477680 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 6.977280 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.727920 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.463000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.30/9.83 c choco : 1.61
9.30/9.83 c mistral : 0.018997
9.30/9.83 c abscon : 43.8063
9.30/9.83 c
9.30/9.83 c
9.30/9.83 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-3-3.xml
9.30/9.83 c 19 > 0.000000 | c 35 > 15.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.250000 | c 15 > 15.215200 | c 34 > 31.750000 | c 16 > 6.000000 | c 13 > 1.992980 | c 14 > 4.584960 | c 11 > 6.643860 | c 12 > 1.835920 | c 21 > 6.782330 | c 20 > 100.000000 | c 22 > 6.782330 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.400880 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.219170 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.996100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.30/9.84 c choco : 1.86
9.30/9.84 c mistral : 0.033994
9.30/9.84 c abscon : 2.25666
9.30/9.84 c
9.30/9.84 c
9.30/9.84 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-40-3-1.xml
9.30/9.84 c 19 > 0.000000 | c 35 > 13.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 15.398500 | c 34 > 27.000000 | c 16 > 4.000000 | c 13 > 3.989870 | c 14 > 8.569860 | c 11 > 6.643860 | c 12 > 2.587360 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.930740 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.672430 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.129700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.30/9.85 c choco : 1.75
9.30/9.85 c mistral : 0.020996
9.30/9.85 c abscon : 3.17452
9.30/9.85 c
9.30/9.85 c
9.30/9.85 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-40-3-1.xml
9.30/9.85 c 19 > 0.000000 | c 35 > 13.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.830500 | c 34 > 27.000000 | c 16 > 4.000000 | c 13 > 10.218000 | c 14 > 12.461500 | c 11 > 6.643860 | c 12 > 8.246650 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 7.930740 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.672430 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.596800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.30/9.85 c choco : 1.7
9.30/9.85 c mistral : 0.023995
9.30/9.85 c abscon : 7.12692
9.30/9.85 c
9.30/9.85 c
9.30/9.85 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-40-2-5.xml
9.30/9.85 c 19 > 0.000000 | c 35 > 10.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 17.184800 | c 34 > 20.500000 | c 16 > 7.000000 | c 13 > 6.438330 | c 14 > 10.399800 | c 11 > 6.643860 | c 12 > 4.599320 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.266790 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.066090 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.419600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.30/9.86 c choco : 3.33
9.30/9.86 c mistral : 0.023996
9.30/9.86 c abscon : 1800.07
9.30/9.86 c
9.30/9.86 c
9.30/9.86 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-60-2-3.xml
9.30/9.86 c 19 > 0.000000 | c 35 > 9.666670 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.000000 | c 15 > 17.066600 | c 34 > 19.333300 | c 16 > 5.000000 | c 13 > 3.967550 | c 14 > 8.614710 | c 11 > 6.643860 | c 12 > 2.589760 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.592460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.348730 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.480800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.30/9.86 c choco : 1.78
9.30/9.86 c mistral : 0.027995
9.30/9.86 c abscon : 6.99394
9.30/9.86 c
9.30/9.86 c
9.30/9.87 c Length: 40
9.30/9.87 c 1.9902049541944171 2.279498155252599 2.4031312535731386 3.2100449180034842 3.798082512689794 3.9009487962930267 4.04642459085796 4.117200608253138 4.160769996166576 4.385186164565879 4.399845214300156 4.770515004525192 5.553475280407756 6.331417298875505 6.661641684007028 7.359487770680785 7.42761676108158 7.431474885633404 20.393527736953704 22.651770613947598 22.659106724160598 22.814934718190624 23.036348376821792 23.71841928078893 23.754849783789417 23.774218001900717 23.84394727404001 23.930069043657188 24.099113323906753 24.100318370614943 24.106287608005925 24.168759780189383 24.314954958981524 24.415803407836083 24.452977284707075 24.49905147421834 24.5269820260076 24.56306753593899 24.66630551423135 24.666355217767784
9.30/9.87 c
9.30/9.87 c 1.0 0.987403108435345 0.9821159456831078 0.9489521065165464 0.9261609416704778 0.9222860832325374 0.9168611966844371 0.9142449243687801 0.9126417711443849 0.9044725519125275 0.9039440173180423 0.8907817498565506 0.8642016383700071 0.839317685903407 0.8291828551110415 0.8085505472082041 0.8065911465342075 0.8064804703383067 0.5520068438559916 0.5232428562615575 0.523154297889111 0.5212802648866389 0.5186404543714553 0.5106739049835289 0.5102552781972896 0.510032995263883 0.5092343355891454 0.5082513665192563 0.5063329368228117 0.5063193131179381 0.5062518384693486 0.5055467473990162 0.5039043692091791 0.5027776285516405 0.5023635691859498 0.5018513196354832 0.5015412980310512 0.5011413252503638 0.500000547972102 0.5
9.30/9.88 c
9.30/9.88 c solver 0
9.30/9.88 c before 0.0 seconds: {} 0
9.30/9.88 c before 18.0 seconds: {23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 35, 36, 37, 39} 7078
9.30/9.88 c before 54.0 seconds: {18, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 39} 8132
9.30/9.88 c before 90.0 seconds: {18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 8638
9.30/9.88 c before 144.0 seconds: {18, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 9159
9.30/9.88 c before 1026.0 seconds: {18, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 9678
9.30/9.88 c
9.30/9.88 c solver 1
9.30/9.88 c before 0.0 seconds: {} 0
9.30/9.88 c before 18.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} 27388
9.30/9.88 c
9.30/9.88 c solver 2
9.30/9.88 c before 0.0 seconds: {} 0
9.30/9.88 c before 18.0 seconds: {4, 11, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 11457
9.30/9.88 c before 36.0 seconds: {1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21547
9.30/9.88 c before 72.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23268
9.30/9.88 c before 90.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24075
9.30/9.88 c before 108.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25075
9.30/9.88 c before 126.0 seconds: {0, 1, 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} 25883
9.30/9.88 c before 198.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} 26865
9.30/9.88 c
9.30/9.88 cTotal time: 69
9.30/9.88 c 1242.0 seconds unused
9.30/9.88 c 0 c 0 c 0
9.30/9.88 c 21 c 0 c 1
9.30/9.88 c 20 c 0 c 0
9.30/9.88 c is solver0 dominated by:
9.30/9.88 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
9.30/9.88 c is dominated? true
9.30/9.88 c
9.30/9.88 c is solver1 dominated by:
9.30/9.88 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
9.30/9.88 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
9.30/9.89 c is dominated? false
9.30/9.89 c
9.30/9.89 c is solver2 dominated by:
9.30/9.89 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
9.30/9.89 c solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true)
9.30/9.89 c is dominated? true
9.30/9.89 c
9.30/9.89 c Number of non-dominated solvers: 1
9.30/9.89 c remove dominated solvers
9.30/9.89 c solver 1 is not dominated by another solver
9.30/9.89 c solver 2 is dominated by another solver
9.30/9.89 c solver 0 is dominated by another solver
9.30/9.89 c
9.30/9.89 c solver 0: 0.0
9.30/9.89 c
9.30/9.89 c solver 1: 18.0
9.30/9.89 c
9.30/9.89 c+ 1/1 of 99
9.30/9.89 c
9.30/9.89 c solver 2: 0.0
9.30/9.89 c do not run abscon
9.30/9.89 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27388
9.30/9.89 c do not run choco
9.30/9.89 c Starting solver: HOME/cpHydra_k_40/solver/mistral
9.30/9.89 c On Instance: HOME/instance-1081982-1215220360.xml
9.30/9.89 c Running for: 1800 seconds