0.00/0.00 c cpHydra_k_40 version 0.0
8.57/8.71 c CASE TO CLASSIFY:
8.57/8.71 c Case: 0
8.57/8.71 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.122600 | c 15 > 19.630200 | c 34 > 26.051700 | c 16 > 2.000000 | c 13 > 7.017110 | c 14 > 11.198400 | c 11 > 9.766530 | c 12 > 5.868740 | 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.57/8.72 c choco : 1801.0
8.57/8.72 c mistral : 1801.0
8.57/8.72 c abscon : 1801.0
8.57/8.72 c
8.57/8.72 c
8.57/8.80 c List of same ones: 40
8.57/8.80 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_27.xml
8.57/8.80 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.67/8.81 c choco : 20.85
8.67/8.81 c mistral : 0.030994
8.67/8.81 c abscon : 1800.17
8.67/8.81 c
8.67/8.81 c
8.67/8.81 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_28.xml
8.67/8.81 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.67/8.81 c choco : 17.03
8.67/8.81 c mistral : 0.028994
8.67/8.81 c abscon : 1800.16
8.67/8.81 c
8.67/8.81 c
8.67/8.81 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_26.xml
8.67/8.81 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.67/8.82 c choco : 20.9
8.67/8.82 c mistral : 0.030994
8.67/8.82 c abscon : 1800.2
8.67/8.82 c
8.67/8.82 c
8.67/8.82 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_29.xml
8.67/8.82 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.67/8.83 c choco : 32.04
8.67/8.83 c mistral : 0.029994
8.67/8.83 c abscon : 1800.13
8.67/8.83 c
8.67/8.83 c
8.67/8.83 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_33.xml
8.67/8.83 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.67/8.84 c choco : 93.84
8.67/8.84 c mistral : 0.037993
8.67/8.84 c abscon : 1800.2
8.67/8.84 c
8.67/8.84 c
8.67/8.84 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_30.xml
8.67/8.84 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.67/8.85 c choco : 28.42
8.67/8.85 c mistral : 0.033993
8.67/8.85 c abscon : 1800.14
8.67/8.85 c
8.67/8.85 c
8.67/8.85 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_34.xml
8.67/8.85 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.67/8.86 c choco : 185.56
8.67/8.86 c mistral : 0.036993
8.67/8.86 c abscon : 1800.19
8.67/8.86 c
8.67/8.86 c
8.67/8.86 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_31.xml
8.67/8.86 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.67/8.87 c choco : 63.2
8.67/8.87 c mistral : 0.033994
8.67/8.87 c abscon : 1800.17
8.67/8.87 c
8.67/8.87 c
8.67/8.87 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_36.xml
8.67/8.87 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.67/8.88 c choco : 28.08
8.67/8.88 c mistral : 0.042992
8.67/8.88 c abscon : 1800.13
8.67/8.88 c
8.67/8.88 c
8.67/8.88 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_38.xml
8.67/8.88 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.67/8.89 c choco : 30.11
8.67/8.89 c mistral : 0.044992
8.67/8.89 c abscon : 1800.13
8.67/8.89 c
8.67/8.89 c
8.67/8.89 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_32.xml
8.67/8.89 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
8.67/8.90 c choco : 17.1
8.67/8.90 c mistral : 0.035993
8.67/8.90 c abscon : 1800.19
8.67/8.90 c
8.67/8.90 c
8.67/8.90 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_37.xml
8.73/8.90 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
8.73/8.91 c choco : 27.22
8.73/8.91 c mistral : 0.042992
8.73/8.91 c abscon : 1800.23
8.73/8.91 c
8.73/8.91 c
8.73/8.91 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_35.xml
8.73/8.91 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
8.73/8.92 c choco : 22.2
8.73/8.92 c mistral : 0.039992
8.73/8.92 c abscon : 1800.22
8.73/8.92 c
8.73/8.92 c
8.73/8.92 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_23.xml
8.73/8.92 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
8.73/8.93 c choco : 76.95
8.73/8.93 c mistral : 0.022996
8.73/8.93 c abscon : 1800.15
8.73/8.93 c
8.73/8.93 c
8.73/8.93 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_25.xml
8.73/8.93 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
8.73/8.94 c choco : 112.89
8.73/8.94 c mistral : 0.027994
8.73/8.94 c abscon : 1800.16
8.73/8.94 c
8.73/8.94 c
8.73/8.94 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_24.xml
8.73/8.94 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
8.73/8.95 c choco : 64.29
8.73/8.95 c mistral : 0.026995
8.73/8.95 c abscon : 1800.18
8.73/8.95 c
8.73/8.95 c
8.73/8.95 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_39.xml
8.73/8.95 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
8.73/8.95 c choco : 32.28
8.73/8.95 c mistral : 0.044992
8.73/8.95 c abscon : 1800.22
8.73/8.95 c
8.73/8.95 c
8.73/8.95 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_40.xml
8.73/8.95 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
8.73/8.96 c choco : 33.97
8.73/8.96 c mistral : 0.046992
8.73/8.96 c abscon : 1800.13
8.73/8.96 c
8.73/8.96 c
8.73/8.96 c /home/eomahony/cpZilla/CSP/zhou/route.xml
8.73/8.96 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
8.73/8.97 c choco : 28.64
8.73/8.97 c mistral : 2.04869
8.73/8.97 c abscon : 36.1775
8.73/8.97 c
8.73/8.97 c
8.73/8.97 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-60-3-5.xml
8.73/8.97 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
8.73/8.98 c choco : 1801.0
8.73/8.98 c mistral : 0.032994
8.73/8.98 c abscon : 1800.06
8.73/8.98 c
8.73/8.98 c
8.73/8.98 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-3-5.xml
8.73/8.98 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
8.73/8.98 c choco : 8.75
8.73/8.98 c mistral : 0.039993
8.73/8.98 c abscon : 1800.1
8.73/8.98 c
8.73/8.98 c
8.73/8.98 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-60-3-5.xml
8.73/8.98 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
8.73/8.99 c choco : 15.32
8.73/8.99 c mistral : 0.031995
8.73/8.99 c abscon : 1010.32
8.73/8.99 c
8.73/8.99 c
8.73/8.99 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-80-3-5.xml
8.73/8.99 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
8.73/8.99 c choco : 4.44
8.73/8.99 c mistral : 0.037993
8.73/8.99 c abscon : 138.188
8.73/8.99 c
8.73/8.99 c
8.73/8.99 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-20-3-5.xml
8.73/8.99 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
8.80/9.00 c choco : 1.57
8.80/9.00 c mistral : 0.019996
8.80/9.00 c abscon : 5.75012
8.80/9.00 c
8.80/9.00 c
8.80/9.00 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-60-3-3.xml
8.80/9.00 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
8.80/9.01 c choco : 3.33
8.80/9.01 c mistral : 0.029994
8.80/9.01 c abscon : 3.73343
8.80/9.01 c
8.80/9.01 c
8.80/9.01 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-60-3-3.xml
8.80/9.01 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
8.80/9.01 c choco : 1.89
8.80/9.01 c mistral : 0.031994
8.80/9.01 c abscon : 3.9194
8.80/9.01 c
8.80/9.01 c
8.80/9.01 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-80-3-7.xml
8.80/9.01 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
8.80/9.02 c choco : 28.38
8.80/9.02 c mistral : 0.044992
8.80/9.02 c abscon : 5.41318
8.80/9.02 c
8.80/9.02 c
8.80/9.02 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-3-7.xml
8.80/9.02 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
8.80/9.02 c choco : 2.89
8.80/9.02 c mistral : 0.043992
8.80/9.02 c abscon : 2.74458
8.80/9.02 c
8.80/9.02 c
8.80/9.02 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-40-3-1.xml
8.80/9.02 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
8.80/9.03 c choco : 1.62
8.80/9.03 c mistral : 0.020996
8.80/9.03 c abscon : 6.37703
8.80/9.03 c
8.80/9.03 c
8.80/9.03 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-20-3-1.xml
8.80/9.03 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
8.80/9.04 c choco : 1.68
8.80/9.04 c mistral : 0.020996
8.80/9.04 c abscon : 78.4451
8.80/9.04 c
8.80/9.04 c
8.80/9.04 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-40-2-5.xml
8.80/9.04 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
8.80/9.04 c choco : 2.22
8.80/9.04 c mistral : 0.022995
8.80/9.04 c abscon : 9.00963
8.80/9.04 c
8.80/9.04 c
8.80/9.04 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-60-3-1.xml
8.80/9.04 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
8.80/9.05 c choco : 1.74
8.80/9.05 c mistral : 0.025995
8.80/9.05 c abscon : 2.35264
8.80/9.05 c
8.80/9.05 c
8.80/9.05 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-20-3-1.xml
8.80/9.05 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
8.80/9.05 c choco : 1.61
8.80/9.05 c mistral : 0.018997
8.80/9.05 c abscon : 43.8063
8.80/9.05 c
8.80/9.05 c
8.80/9.05 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-20-3-7.xml
8.80/9.05 c 19 > 0.000000 | c 35 > 9.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 15.000000 | c 15 > 13.988000 | c 34 > 19.000000 | c 16 > 10.000000 | c 13 > 6.817480 | c 14 > 8.531380 | c 11 > 6.832890 | c 12 > 4.257220 | 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.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.930740 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.812000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.80/9.06 c choco : 1.46
8.80/9.06 c mistral : 0.021996
8.80/9.06 c abscon : 1800.12
8.80/9.06 c
8.80/9.06 c
8.80/9.06 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-40-3-1.xml
8.80/9.06 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
8.80/9.07 c choco : 1.75
8.80/9.07 c mistral : 0.020996
8.80/9.07 c abscon : 3.17452
8.80/9.07 c
8.80/9.07 c
8.80/9.07 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-20-3-5.xml
8.80/9.07 c 19 > 0.000000 | c 35 > 11.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 18.000000 | c 15 > 12.493900 | c 34 > 22.000000 | c 16 > 8.000000 | c 13 > 1.764290 | c 14 > 7.707360 | c 11 > 6.643860 | c 12 > 1.000000 | 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 > 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 > 18.544100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.80/9.08 c choco : 1.49
8.80/9.08 c mistral : 0.019996
8.80/9.08 c abscon : 21.9207
8.80/9.08 c
8.80/9.08 c
8.80/9.08 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-60-3-1.xml
8.80/9.08 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
8.80/9.08 c choco : 1.73
8.80/9.08 c mistral : 0.025995
8.80/9.08 c abscon : 7.18591
8.80/9.08 c
8.80/9.08 c
8.80/9.08 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-40-3-1.xml
8.80/9.08 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
8.80/9.09 c choco : 1.7
8.80/9.09 c mistral : 0.023995
8.80/9.09 c abscon : 7.12692
8.80/9.09 c
8.80/9.09 c
8.80/9.09 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-3-3.xml
8.80/9.09 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
8.80/9.09 c choco : 1.86
8.80/9.09 c mistral : 0.033994
8.80/9.09 c abscon : 2.25666
8.80/9.09 c
8.80/9.09 c
8.80/9.09 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-40-2-5.xml
8.80/9.09 c 19 > 0.000000 | c 35 > 10.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 19.478200 | c 34 > 20.500000 | c 16 > 7.000000 | c 13 > 10.115400 | c 14 > 11.849000 | c 11 > 6.643860 | c 12 > 8.008540 | 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.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.920900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.85/9.11 c choco : 1.77
8.85/9.11 c mistral : 0.025995
8.85/9.11 c abscon : 549.931
8.85/9.11 c
8.85/9.11 c
8.85/9.11 c Length: 40
8.85/9.11 c 1.4663639236901571 1.6490913741815512 1.73790524008071 2.6997161390227666 3.118314704980882 3.645258677213455 3.6679402326510173 3.7410184140952842 3.7729487858967836 4.703537356203308 4.703623372805266 5.341456232732793 6.001191269481419 6.5352729775503615 6.889659033566174 6.896357261264818 7.022246071115708 7.37451109292677 19.17238752537357 21.677668623468254 21.822133593058677 21.861821877846776 21.891083241696837 22.668214508893282 22.703027566443645 22.908845440405763 22.93605465941778 22.976708965622123 23.031001467313576 23.104816685645872 23.17879926164209 23.330278144636424 23.53211616263187 23.562848742656307 23.634124006599016 23.68709578971428 23.691001861502183 23.745130505808973 23.75186200514814 23.795324205555595
8.85/9.11 c
8.85/9.11 c 1.0 0.9918829963944128 0.9879851641694755 0.9476557228633957 0.9311139273674738 0.9110940247370882 0.910251604125766 0.9075479553935801 0.9063716735831335 0.8733804075079002 0.8733774690517788 0.8521185875505699 0.8311918107511174 0.8149889324696294 0.8045818246725314 0.8043876793045996 0.8007561935659532 0.7907665585270127 0.5577362125788401 0.5248900140020416 0.5231135421818438 0.5226276027566671 0.5222699073118429 0.5129461141914425 0.5125362216893983 0.5101262230432009 0.5098093151977747 0.5093365443850806 0.5087065400890671 0.5078524920174575 0.5069993801880802 0.5052615502629229 0.5029644075609271 0.5026164674588138 0.5018113716880154 0.501214693195657 0.501170751052912 0.5005626121669421 0.5004870864961928 0.5
8.85/9.13 c
8.85/9.13 c solver 0
8.85/9.13 c before 0.0 seconds: {} 0
8.85/9.13 c before 18.0 seconds: {23, 24, 25, 26, 27, 28, 30, 31, 34, 36, 37, 38} 6079
8.85/9.13 c before 36.0 seconds: {23, 24, 25, 26, 27, 28, 30, 31, 34, 35, 36, 37, 38} 6580
8.85/9.13 c before 54.0 seconds: {18, 23, 24, 25, 26, 27, 28, 30, 31, 32, 34, 35, 36, 37, 38} 7641
8.85/9.13 c before 90.0 seconds: {18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38} 8149
8.85/9.13 c before 144.0 seconds: {18, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38} 8671
8.85/9.13 c before 558.0 seconds: {18, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 9171
8.85/9.13 c before 1026.0 seconds: {18, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 9694
8.85/9.13 c
8.85/9.13 c solver 1
8.85/9.13 c before 0.0 seconds: {} 0
8.85/9.13 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} 27184
8.85/9.13 c
8.85/9.13 c solver 2
8.85/9.13 c before 0.0 seconds: {} 0
8.85/9.13 c before 18.0 seconds: {1, 10, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 11517
8.85/9.13 c before 36.0 seconds: {0, 1, 2, 3, 5, 8, 9, 10, 11, 12, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21486
8.85/9.13 c before 72.0 seconds: {0, 1, 2, 3, 5, 7, 8, 9, 10, 11, 12, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23198
8.85/9.13 c before 90.0 seconds: {0, 1, 2, 3, 5, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24013
8.85/9.13 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24944
8.85/9.13 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 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} 25749
8.85/9.13 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} 26659
8.85/9.13 c
8.85/9.13 cTotal time: 69
8.85/9.13 c 1242.0 seconds unused
8.85/9.13 c 0 c 0 c 0
8.85/9.13 c 21 c 0 c 1
8.85/9.13 c 20 c 0 c 0
8.85/9.13 c is solver0 dominated by:
8.85/9.13 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)
8.85/9.13 c is dominated? true
8.85/9.13 c
8.85/9.13 c is solver1 dominated by:
8.85/9.13 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)
8.85/9.13 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)
8.85/9.13 c is dominated? false
8.85/9.13 c
8.85/9.13 c is solver2 dominated by:
8.85/9.13 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)
8.85/9.13 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)
8.85/9.13 c is dominated? true
8.85/9.13 c
8.85/9.13 c Number of non-dominated solvers: 1
8.85/9.13 c remove dominated solvers
8.85/9.13 c solver 1 is not dominated by another solver
8.85/9.13 c solver 2 is dominated by another solver
8.85/9.13 c solver 0 is dominated by another solver
8.85/9.13 c
8.85/9.13 c solver 0: 0.0
8.85/9.13 c
8.85/9.13 c solver 1: 18.0
8.85/9.13 c
8.85/9.13 c+ 1/1 of 99
8.85/9.13 c
8.85/9.13 c solver 2: 0.0
8.85/9.13 c do not run abscon
8.85/9.13 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} 27184
8.85/9.13 c do not run choco
8.85/9.13 c Starting solver: HOME/cpHydra_k_40/solver/mistral
8.85/9.13 c On Instance: HOME/instance-1082003-1215220586.xml
8.85/9.13 c Running for: 1800 seconds