0.00/0.00 c cpHydra_k_40 version 0.0
7.09/7.27 c CASE TO CLASSIFY:
7.09/7.27 c Case: 0
7.09/7.27 c 19 > 0.000000 | c 35 > 35.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.652500 | c 34 > 28.400000 | c 16 > 4.000000 | c 13 > 7.582420 | c 14 > 10.284200 | c 11 > 9.348730 | c 12 > 5.200940 | 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 > -1.000000 | c 2 > 3.000000 | c 10 > 9.957100 | 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 > 15.448500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 9.330920 | c
7.09/7.28 c choco : 1801.0
7.09/7.28 c mistral : 1801.0
7.09/7.28 c abscon : 1801.0
7.09/7.28 c
7.09/7.28 c
7.20/7.36 c List of same ones: 40
7.20/7.36 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-34-8-a4.xml
7.20/7.36 c 19 > 0.000000 | c 35 > 35.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.304700 | c 34 > 28.400000 | c 16 > 4.000000 | c 13 > 6.487570 | c 14 > 8.778080 | c 11 > 9.348730 | c 12 > 4.055880 | 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 > -1.000000 | c 2 > 3.000000 | c 10 > 9.957100 | 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 > 15.448500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 9.330920 | c
7.20/7.36 c choco : 4.6
7.20/7.36 c mistral : 1.09783
7.20/7.36 c abscon : 1.09283
7.20/7.36 c
7.20/7.36 c
7.20/7.36 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-25-8-a4.xml
7.20/7.36 c 19 > 0.000000 | c 35 > 35.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.605800 | c 34 > 28.400000 | c 16 > 4.000000 | c 13 > 6.576820 | c 14 > 8.879580 | c 11 > 9.348730 | c 12 > 4.144250 | 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 > -1.000000 | c 2 > 3.000000 | c 10 > 9.957100 | 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 > 15.012400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 9.330920 | c
7.20/7.37 c choco : 9.13
7.20/7.37 c mistral : 1.35979
7.20/7.37 c abscon : 2.70059
7.20/7.37 c
7.20/7.37 c
7.20/7.37 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-44-9-a4.xml
7.20/7.37 c 19 > 0.000000 | c 35 > 35.876300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.185700 | c 34 > 28.762900 | c 16 > 4.000000 | c 13 > 5.914790 | c 14 > 8.118940 | c 11 > 10.104600 | c 12 > 3.174290 | c 21 > 6.708200 | c 20 > 100.000000 | c 22 > 6.708200 | 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 > 3.169930 | c 10 > 10.709100 | 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 > 16.574500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.092800 | c
7.20/7.38 c choco : 102.53
7.20/7.38 c mistral : 181.37
7.20/7.38 c abscon : 3.36049
7.20/7.38 c
7.20/7.38 c
7.20/7.38 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-34-9-a4.xml
7.20/7.38 c 19 > 0.000000 | c 35 > 35.876300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.208400 | c 34 > 28.762900 | c 16 > 4.000000 | c 13 > 5.550970 | c 14 > 7.679480 | c 11 > 10.104600 | c 12 > 3.006210 | 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 > -1.000000 | c 2 > 3.169930 | c 10 > 10.709100 | 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 > 16.207300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.092800 | c
7.20/7.39 c choco : 85.51
7.20/7.39 c mistral : 12.2391
7.20/7.39 c abscon : 9.69353
7.20/7.39 c
7.20/7.39 c
7.20/7.39 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-25-7-a4.xml
7.20/7.39 c 19 > 0.000000 | c 35 > 34.285700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.726300 | c 34 > 27.857100 | c 16 > 4.000000 | c 13 > 5.987050 | c 14 > 8.027910 | c 11 > 8.479780 | c 12 > 3.319910 | 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 > -1.000000 | c 2 > 2.807350 | c 10 > 9.092760 | 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 > 14.138300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 8.451210 | c
7.28/7.40 c choco : 2.14
7.28/7.40 c mistral : 1.10983
7.28/7.40 c abscon : 0.921859
7.28/7.40 c
7.28/7.40 c
7.28/7.40 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-17-7-a4.xml
7.28/7.40 c 19 > 0.000000 | c 35 > 34.285700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.918100 | c 34 > 27.857100 | c 16 > 4.000000 | c 13 > 6.133140 | c 14 > 7.994350 | c 11 > 8.479780 | c 12 > 3.996460 | c 21 > 4.242640 | c 20 > 100.000000 | c 22 > 4.242640 | 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 > 2.807350 | c 10 > 9.092760 | 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 > 13.595300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 8.451210 | c
7.28/7.41 c choco : 2.24
7.28/7.41 c mistral : 0.108983
7.28/7.41 c abscon : 0.937856
7.28/7.41 c
7.28/7.41 c
7.28/7.41 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-44-10-a4.xml
7.28/7.41 c 19 > 0.000000 | c 35 > 36.393400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.935800 | c 34 > 29.016400 | c 16 > 4.000000 | c 13 > 5.189370 | c 14 > 6.672430 | c 11 > 10.773100 | c 12 > 2.415450 | c 21 > 6.708200 | c 20 > 100.000000 | c 22 > 6.708200 | 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 > 3.321930 | c 10 > 11.374500 | 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 > 17.244800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.764900 | c
7.28/7.42 c choco : 131.18
7.28/7.42 c mistral : 110.014
7.28/7.42 c abscon : 92.8659
7.28/7.42 c
7.28/7.42 c
7.28/7.42 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-55-10-a4.xml
7.28/7.42 c 19 > 0.000000 | c 35 > 36.393400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.527500 | c 34 > 29.016400 | c 16 > 4.000000 | c 13 > 5.031180 | c 14 > 6.266790 | c 11 > 10.773100 | c 12 > 2.311670 | c 21 > 7.483310 | c 20 > 100.000000 | c 22 > 7.483310 | 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 > 3.321930 | c 10 > 11.374500 | 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 > 17.563500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.764900 | c
7.28/7.43 c choco : 1108.26
7.28/7.43 c mistral : 1800.02
7.28/7.43 c abscon : 11.1163
7.28/7.43 c
7.28/7.43 c
7.28/7.43 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-55-11-a4.xml
7.28/7.43 c 19 > 0.000000 | c 35 > 36.800000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.807400 | c 34 > 29.200000 | c 16 > 4.000000 | c 13 > 5.183860 | c 14 > 6.044390 | c 11 > 11.372300 | c 12 > 2.212880 | c 21 > 7.483310 | c 20 > 100.000000 | c 22 > 7.483310 | 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 > 3.459430 | c 10 > 11.971200 | 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 > 18.163800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.366300 | c
7.28/7.44 c choco : 1801.0
7.28/7.44 c mistral : 1480.11
7.28/7.44 c abscon : 659.985
7.28/7.44 c
7.28/7.44 c
7.28/7.44 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-17-6-a4.xml
7.28/7.44 c 19 > 0.000000 | c 35 > 33.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.037900 | c 34 > 27.000000 | c 16 > 4.000000 | c 13 > 4.840150 | c 14 > 6.285400 | c 11 > 7.459430 | c 12 > 2.641230 | c 21 > 4.242640 | c 20 > 100.000000 | c 22 > 4.242640 | 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 > 2.584960 | c 10 > 8.076820 | 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 > 12.564600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.409390 | c
7.28/7.45 c choco : 1.71
7.28/7.45 c mistral : 0.030994
7.28/7.45 c abscon : 0.751885
7.28/7.45 c
7.28/7.45 c
7.28/7.45 c /home/eomahony/cpZilla/CSP/zhou/queens1.xml
7.28/7.45 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.671100 | c 34 > 16.666700 | c 16 > 2.000000 | c 13 > 4.844620 | c 14 > 5.672430 | c 11 > 13.169900 | c 12 > 2.306820 | 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 > 6.569860 | c 2 > -1.000000 | c 10 > 14.476700 | 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 > 19.754900 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > 13.154800 | c
7.46/7.67 c choco : 22.46
7.46/7.67 c mistral : 1.11783
7.46/7.67 c abscon : 3.40848
7.46/7.67 c
7.46/7.67 c
7.46/7.67 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-10.xml
7.46/7.67 c 19 > 0.000000 | c 35 > 21.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.183700 | c 34 > 13.000000 | c 16 > 3.000000 | c 13 > 8.575760 | c 14 > 10.623000 | c 11 > 5.209450 | c 12 > 8.485450 | c 21 > 3.086470 | c 20 > 100.000000 | c 22 > 3.162280 | 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 > 4.247930 | c 2 > -1.000000 | c 10 > 6.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.758220 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.169930 | c
7.46/7.68 c choco : 1.36
7.46/7.68 c mistral : 0.02
7.46/7.68 c abscon : 0.719889
7.46/7.68 c
7.46/7.68 c
7.46/7.68 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-9.xml
7.46/7.68 c 19 > 0.000000 | c 35 > 21.111100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.200800 | c 34 > 13.333300 | c 16 > 3.000000 | c 13 > 6.695150 | c 14 > 8.794420 | c 11 > 5.044390 | c 12 > 6.626260 | c 21 > 2.920520 | c 20 > 100.000000 | c 22 > 3.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 > 4.087460 | c 2 > -1.000000 | c 10 > 6.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.430450 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.000000 | c
7.46/7.69 c choco : 1.29
7.46/7.69 c mistral : 0.015996
7.46/7.69 c abscon : 0.676896
7.46/7.69 c
7.46/7.69 c
7.46/7.69 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-40.xml
7.46/7.69 c 19 > 0.000000 | c 35 > 20.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.533600 | c 34 > 10.750000 | c 16 > 3.000000 | c 13 > 9.269850 | c 14 > 11.296900 | c 11 > 7.294620 | c 12 > 9.328520 | c 21 > 6.285410 | 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 > 6.303780 | c 2 > -1.000000 | c 10 > 10.679500 | 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 > 12.914900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.285400 | c
7.46/7.70 c choco : 2.94
7.46/7.70 c mistral : 1800.01
7.46/7.70 c abscon : 3.38349
7.46/7.70 c
7.46/7.70 c
7.46/7.70 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-11.xml
7.46/7.70 c 19 > 0.000000 | c 35 > 20.909100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.434500 | c 34 > 12.727300 | c 16 > 3.000000 | c 13 > 10.750700 | c 14 > 12.743200 | c 11 > 5.357550 | c 12 > 10.739700 | c 21 > 3.244040 | c 20 > 100.000000 | c 22 > 3.316620 | 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 > 4.392320 | c 2 > -1.000000 | c 10 > 7.044390 | 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.052570 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.321930 | c
7.56/7.71 c choco : 1.42
7.56/7.71 c mistral : 0.02
7.56/7.71 c abscon : 0.757884
7.56/7.71 c
7.56/7.71 c
7.56/7.71 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-35.xml
7.56/7.71 c 19 > 0.000000 | c 35 > 20.285700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.970600 | c 34 > 10.857100 | c 16 > 3.000000 | c 13 > 9.583130 | c 14 > 11.806500 | c 11 > 7.098030 | c 12 > 9.672770 | c 21 > 5.874290 | 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 > 6.108520 | c 2 > -1.000000 | c 10 > 10.299200 | 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 > 12.522300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.087460 | c
7.56/7.72 c choco : 2.63
7.56/7.72 c mistral : 1800.03
7.56/7.72 c abscon : 2.32365
7.56/7.72 c
7.56/7.72 c
7.56/7.72 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-45.xml
7.56/7.72 c 19 > 0.000000 | c 35 > 20.222200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.700700 | c 34 > 10.666700 | c 16 > 3.000000 | c 13 > 9.470560 | c 14 > 11.063400 | c 11 > 7.467610 | c 12 > 9.504530 | c 21 > 6.671250 | c 20 > 100.000000 | c 22 > 6.708200 | 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.475730 | c 2 > -1.000000 | c 10 > 11.015400 | 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 > 13.260500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.459430 | c
7.56/7.72 c choco : 3.28
7.56/7.72 c mistral : 1800.02
7.56/7.72 c abscon : 5.34119
7.56/7.72 c
7.56/7.72 c
7.56/7.72 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-30.xml
7.56/7.72 c 19 > 0.000000 | c 35 > 20.333300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.178300 | c 34 > 11.000000 | c 16 > 3.000000 | c 13 > 10.203700 | c 14 > 12.354500 | c 11 > 6.870360 | c 12 > 10.327600 | c 21 > 5.432170 | 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 > 5.882640 | c 2 > -1.000000 | c 10 > 9.861090 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.067800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 5.857980 | c
7.56/7.73 c choco : 2.42
7.56/7.73 c mistral : 1.26
7.56/7.73 c abscon : 1.59976
7.56/7.73 c
7.56/7.73 c
7.56/7.73 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-50.xml
7.56/7.73 c 19 > 0.000000 | c 35 > 20.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.610900 | c 34 > 10.600000 | c 16 > 3.000000 | c 13 > 9.356060 | c 14 > 11.174900 | c 11 > 7.622050 | c 12 > 9.409190 | c 21 > 7.035980 | c 20 > 100.000000 | c 22 > 7.071070 | 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.629360 | c 2 > -1.000000 | c 10 > 11.316300 | 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 > 13.569000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.614710 | c
7.56/7.74 c choco : 3.47
7.56/7.74 c mistral : 25.06
7.56/7.74 c abscon : 7.93379
7.56/7.74 c
7.56/7.74 c
7.56/7.74 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-60.xml
7.56/7.74 c 19 > 0.000000 | c 35 > 20.166700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.987900 | c 34 > 10.500000 | c 16 > 3.000000 | c 13 > 8.556550 | c 14 > 10.303800 | c 11 > 7.888740 | c 12 > 8.578890 | c 21 > 7.713900 | c 20 > 100.000000 | c 22 > 7.745970 | 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.894820 | c 2 > -1.000000 | c 10 > 11.837600 | 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 > 14.101900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.882640 | c
7.56/7.75 c choco : 4.06
7.56/7.75 c mistral : 1800.09
7.56/7.75 c abscon : 19.4
7.56/7.75 c
7.56/7.75 c
7.56/7.75 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-25.xml
7.56/7.75 c 19 > 0.000000 | c 35 > 20.400000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.516200 | c 34 > 11.200000 | c 16 > 3.000000 | c 13 > 10.776900 | c 14 > 12.690700 | c 11 > 6.599910 | c 12 > 10.916300 | c 21 > 4.950780 | 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 > 5.614710 | c 2 > -1.000000 | c 10 > 9.344300 | 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 > 11.528000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 5.584960 | c
7.56/7.75 c choco : 2.2
7.56/7.75 c mistral : 4.04
7.56/7.75 c abscon : 1.11883
7.56/7.75 c
7.56/7.75 c
7.56/7.75 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-70.xml
7.56/7.75 c 19 > 0.000000 | c 35 > 20.142900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.073400 | c 34 > 10.428600 | c 16 > 3.000000 | c 13 > 7.768240 | c 14 > 9.493860 | c 11 > 8.113740 | c 12 > 7.355010 | c 21 > 8.336880 | 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 > 7.118940 | c 2 > -1.000000 | c 10 > 12.279000 | 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 > 14.551500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.108520 | c
7.56/7.76 c choco : 4.77
7.56/7.76 c mistral : 1800.06
7.56/7.76 c abscon : 41.2627
7.56/7.76 c
7.56/7.76 c
7.56/7.76 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-20.xml
7.56/7.76 c 19 > 0.000000 | c 35 > 20.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.589400 | c 34 > 11.500000 | c 16 > 3.000000 | c 13 > 11.125000 | c 14 > 13.128300 | c 11 > 6.266790 | c 12 > 11.344100 | c 21 > 4.417330 | c 20 > 100.000000 | c 22 > 4.472140 | 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 > 5.285400 | c 2 > -1.000000 | c 10 > 8.714250 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.863400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 5.247930 | c
7.56/7.77 c choco : 1.97
7.56/7.77 c mistral : 1.67
7.56/7.77 c abscon : 0.926858
7.56/7.77 c
7.56/7.77 c
7.56/7.77 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-8.xml
7.56/7.77 c 19 > 0.000000 | c 35 > 21.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.928100 | c 34 > 13.750000 | c 16 > 3.000000 | c 13 > 4.792220 | c 14 > 6.584960 | c 11 > 4.857980 | c 12 > 4.659690 | c 21 > 2.744690 | c 20 > 100.000000 | c 22 > 2.828430 | 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 > 3.906890 | c 2 > -1.000000 | c 10 > 6.169930 | 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.060700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 3.807350 | c
7.56/7.77 c choco : 1.24
7.56/7.77 c mistral : 0.01
7.56/7.77 c abscon : 0.677896
7.56/7.77 c
7.56/7.77 c
7.56/7.77 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-18.xml
7.56/7.77 c 19 > 0.000000 | c 35 > 20.555600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.651400 | c 34 > 11.666700 | c 16 > 3.000000 | c 13 > 11.358300 | c 14 > 13.383800 | c 11 > 6.108520 | c 12 > 11.529200 | c 21 > 4.185010 | c 20 > 100.000000 | c 22 > 4.242640 | 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 > 5.129280 | c 2 > -1.000000 | c 10 > 8.417850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.547900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 5.087460 | c
7.56/7.78 c choco : 1.78
7.56/7.78 c mistral : 0.66
7.56/7.78 c abscon : 0.834872
7.56/7.78 c
7.56/7.78 c
7.56/7.78 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-13.xml
7.56/7.78 c 19 > 0.000000 | c 35 > 20.769200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.673100 | c 34 > 12.307700 | c 16 > 3.000000 | c 13 > 11.884400 | c 14 > 13.793500 | c 11 > 5.614710 | c 12 > 11.868100 | c 21 > 3.538360 | c 20 > 100.000000 | c 22 > 3.605550 | 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 > 4.643860 | c 2 > -1.000000 | c 10 > 7.507790 | 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.564150 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.584960 | c
7.56/7.78 c choco : 1.52
7.56/7.78 c mistral : 0.03
7.56/7.78 c abscon : 0.804877
7.56/7.78 c
7.56/7.78 c
7.56/7.78 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-14.xml
7.56/7.78 c 19 > 0.000000 | c 35 > 20.714300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.718800 | c 34 > 12.142900 | c 16 > 3.000000 | c 13 > 11.908500 | c 14 > 13.678700 | c 11 > 5.727920 | c 12 > 12.135200 | c 21 > 3.676750 | c 20 > 100.000000 | c 22 > 3.741660 | 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 > 4.754890 | c 2 > -1.000000 | c 10 > 7.714250 | 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.789530 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.700440 | c
7.56/7.79 c choco : 1.58
7.56/7.79 c mistral : 0.04
7.56/7.79 c abscon : 0.793879
7.56/7.79 c
7.56/7.79 c
7.56/7.79 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-16.xml
7.56/7.79 c 19 > 0.000000 | c 35 > 20.625000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.580100 | c 34 > 11.875000 | c 16 > 3.000000 | c 13 > 12.194200 | c 14 > 13.336900 | c 11 > 5.930740 | c 12 > 12.201500 | c 21 > 3.939050 | c 20 > 100.000000 | c 22 > 4.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 > 4.954200 | c 2 > -1.000000 | c 10 > 8.087460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.193500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.906890 | c
7.56/7.79 c choco : 1.68
7.56/7.80 c mistral : 0.21
7.56/7.80 c abscon : 0.808876
7.56/7.80 c
7.56/7.80 c
7.56/7.80 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-12.xml
7.56/7.80 c 19 > 0.000000 | c 35 > 20.833300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.618500 | c 34 > 12.500000 | c 16 > 3.000000 | c 13 > 12.222100 | c 14 > 13.773400 | c 11 > 5.491850 | c 12 > 12.438100 | c 21 > 3.394370 | c 20 > 100.000000 | c 22 > 3.464100 | 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 > 4.523560 | c 2 > -1.000000 | c 10 > 7.285400 | 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.319670 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.459430 | c
7.62/7.80 c choco : 1.44
7.62/7.80 c mistral : 0.03
7.62/7.80 c abscon : 0.726888
7.62/7.80 c
7.62/7.80 c
7.62/7.80 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-15.xml
7.62/7.80 c 19 > 0.000000 | c 35 > 20.666700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.640100 | c 34 > 12.000000 | c 16 > 3.000000 | c 13 > 12.122100 | c 14 > 13.485100 | c 11 > 5.832890 | c 12 > 12.348600 | c 21 > 3.810150 | c 20 > 100.000000 | c 22 > 3.872980 | 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 > 4.857980 | c 2 > -1.000000 | c 10 > 7.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 > 9.998590 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.807350 | c
7.62/7.81 c choco : 1.62
7.62/7.81 c mistral : 0.150976
7.62/7.81 c abscon : 0.78188
7.62/7.81 c
7.62/7.81 c
7.62/7.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein9.xml
7.62/7.81 c 19 > 0.000000 | c 35 > 34.615400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 7.539160 | c 34 > 34.615400 | c 16 > 9.000000 | c 13 > 0.738286 | c 14 > 2.000000 | c 11 > 5.357550 | c 12 > 0.642448 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 5.000000 | c 1 > 3.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 5.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.108520 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.81 c choco : 1.08
7.62/7.81 c mistral : 0.01
7.62/7.81 c abscon : 0.664898
7.62/7.81 c
7.62/7.81 c
7.62/7.81 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-80.xml
7.62/7.81 c 19 > 0.000000 | c 35 > 20.125000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.037700 | c 34 > 10.375000 | c 16 > 3.000000 | c 13 > 7.676200 | c 14 > 6.954200 | c 11 > 7.894820 | c 12 > 7.527940 | c 21 > 8.916450 | c 20 > 100.000000 | c 22 > 8.944270 | 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 > 7.312880 | c 2 > -1.000000 | c 10 > 12.661800 | 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 > 14.940500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.303780 | c
7.62/7.82 c choco : 5.54
7.62/7.82 c mistral : 1800.04
7.62/7.82 c abscon : 78.831
7.62/7.82 c
7.62/7.82 c
7.62/7.82 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein15.xml
7.62/7.82 c 19 > 0.000000 | c 35 > 33.333300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 8.980140 | c 34 > 33.333300 | c 16 > 15.000000 | c 13 > 1.312730 | c 14 > 2.584960 | c 11 > 6.629360 | c 12 > 0.762961 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 6.392320 | c 1 > 3.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.515700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.82 c choco : 1.18
7.62/7.82 c mistral : 0.01
7.62/7.83 c abscon : 0.696893
7.62/7.83 c
7.62/7.83 c
7.62/7.83 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-7.xml
7.62/7.83 c 19 > 0.000000 | c 35 > 21.428600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.295200 | c 34 > 14.285700 | c 16 > 3.000000 | c 13 > 3.309420 | c 14 > 5.087460 | c 11 > 4.643860 | c 12 > 3.214120 | c 21 > 2.557040 | c 20 > 100.000000 | c 22 > 2.645750 | 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 > 3.700440 | c 2 > -1.000000 | c 10 > 5.807350 | 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 > 7.636620 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 3.584960 | c
7.62/7.83 c choco : 1.21
7.62/7.83 c mistral : 0.01
7.62/7.83 c abscon : 0.693893
7.62/7.83 c
7.62/7.83 c
7.62/7.83 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-90.xml
7.62/7.83 c 19 > 0.000000 | c 35 > 20.111100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.782800 | c 34 > 10.333300 | c 16 > 3.000000 | c 13 > 7.694210 | c 14 > 6.066090 | c 11 > 8.066090 | c 12 > 7.577090 | c 21 > 9.460590 | c 20 > 100.000000 | c 22 > 9.486830 | 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 > 7.483820 | c 2 > -1.000000 | c 10 > 12.999600 | 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 > 15.283100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.475730 | c
7.62/7.84 c choco : 6.42
7.62/7.84 c mistral : 1800.02
7.62/7.84 c abscon : 133.526
7.62/7.84 c
7.62/7.84 c
7.62/7.84 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-34-8-a3.xml
7.62/7.84 c 19 > 0.000000 | c 35 > 20.645200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.619100 | c 34 > 10.645200 | c 16 > 3.000000 | c 13 > 6.547850 | c 14 > 8.761550 | c 11 > 5.169930 | c 12 > 6.356090 | c 21 > 5.849980 | 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 > 4.807350 | c 2 > 3.000000 | c 10 > 8.761550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.258600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.85 c choco : 2.1
7.62/7.85 c mistral : 0.082986
7.62/7.85 c abscon : 3.39848
7.62/7.85 c
7.62/7.85 c
7.62/7.85 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-25-7-a3.xml
7.62/7.85 c 19 > 0.000000 | c 35 > 20.833300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.088700 | c 34 > 10.833300 | c 16 > 3.000000 | c 13 > 6.624280 | c 14 > 8.912890 | c 11 > 4.807350 | c 12 > 6.608910 | c 21 > 5.024940 | 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 > 4.392320 | c 2 > 2.807350 | c 10 > 7.977280 | 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.453270 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.85 c choco : 1.81
7.62/7.85 c mistral : 0.02
7.62/7.85 c abscon : 1.43678
7.62/7.85 c
7.62/7.85 c
7.62/7.85 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-100.xml
7.62/7.85 c 19 > 0.000000 | c 35 > 20.100000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.449100 | c 34 > 10.300000 | c 16 > 3.000000 | c 13 > 7.251880 | c 14 > 5.523560 | c 11 > 8.219170 | c 12 > 7.283660 | c 21 > 9.975090 | c 20 > 100.000000 | c 22 > 10.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 > 7.636620 | c 2 > -1.000000 | c 10 > 13.302100 | 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 > 15.589400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.629360 | c
7.62/7.86 c choco : 7.48
7.62/7.86 c mistral : 1800.02
7.62/7.86 c abscon : 233.382
7.62/7.86 c
7.62/7.86 c
7.62/7.86 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-5.xml
7.62/7.86 c 19 > 0.000000 | c 35 > 32.533300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.368300 | c 34 > 32.533300 | c 16 > 15.000000 | c 13 > 2.757520 | c 14 > 8.588710 | c 11 > 13.064200 | c 12 > 1.778410 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 12.892700 | c 1 > 10.076800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.849400 | c 6 > 6.714250 | c 32 > -1.000000 | c 5 > 14.760200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.86 c choco : 1801.0
7.62/7.86 c mistral : 712.73
7.62/7.86 c abscon : 1579.13
7.62/7.86 c
7.62/7.86 c
7.62/7.86 c /home/eomahony/cpZilla/CSP/pseudoSeries/garden/g-9x3.xml
7.62/7.86 c 19 > 0.000000 | c 35 > 41.111100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 8.957100 | c 34 > 41.111100 | c 16 > 5.000000 | c 13 > 0.530942 | c 14 > 4.169930 | c 11 > 6.794420 | c 12 > 0.597902 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 6.392320 | c 1 > 4.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.543030 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.87 c choco : 1.14
7.62/7.87 c mistral : 0.014997
7.62/7.87 c abscon : 0.660898
7.62/7.87 c
7.62/7.87 c
7.62/7.87 c Length: 40
7.62/7.87 c 2.56803839934297 2.592628135251949 4.3111710975093525 4.5524341071563015 5.121778477618884 5.361953041868234 6.477741032682612 7.273204401541318 8.003282535516284 9.657816514362862 24.154697378129164 24.929251761278355 25.076443136383997 25.461163537660642 25.465561398742025 25.470970514668263 25.576925972024082 25.610212812563667 25.65361419680081 25.70846079085249 25.756927790101447 25.86660042288124 25.87770510196567 25.902155752429177 25.954375520460903 26.06570095404112 26.151905256047794 26.220309070830954 26.238888608885475 26.24450964289484 26.43653050775612 26.45389193282342 26.711436831584727 26.834794046899262 26.854538446962742 27.11735558274995 27.19173859834637 27.21257988261495 27.357812661917983 27.577808957691474
7.62/7.88 c
7.62/7.88 c 1.0 0.9990177605650814 0.9348432324726517 0.9264879793564567 0.9073506959275831 0.8995127939933134 0.8648072664593577 0.8416565355066079 0.8214734270714175 0.7791315327463786 0.5367314793597467 0.5279554800980082 0.5263200954767109 0.5220930842410236 0.5220451564061257 0.5219862199944404 0.5208344325262853 0.520473636876634 0.5200039599117926 0.5194116373405363 0.518889333951532 0.5177113185588592 0.5175923391506364 0.5173305590184645 0.5167723554131954 0.5155863535401511 0.5146717119513465 0.5139482423317272 0.5137520878707563 0.5136927730037338 0.511674703515101 0.5114930225939777 0.5088129834138732 0.5075392379293082 0.5073359556599112 0.5046454988976076 0.5038892138052619 0.5036777176045696 0.5022088183392498 0.5
7.62/7.89 c
7.62/7.89 c solver 0
7.62/7.89 c before 0.0 seconds: {} 0
7.62/7.89 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 35, 36, 39} 19685
7.62/7.89 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 35, 36, 39} 20204
7.62/7.89 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 35, 36, 39} 20722
7.62/7.89 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 7, 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, 35, 36, 39} 21233
7.62/7.89 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 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, 35, 36, 39} 22098
7.62/7.89 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 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, 39} 22606
7.62/7.89 c before 234.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 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, 39} 23109
7.62/7.89 c before 666.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, 39} 23931
7.62/7.89 c before 1584.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} 24433
7.62/7.89 c
7.62/7.89 c solver 1
7.62/7.89 c before 0.0 seconds: {} 0
7.62/7.89 c before 18.0 seconds: {0, 1, 3, 4, 5, 9, 10, 11, 12, 14, 17, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 35, 36, 39} 15823
7.62/7.89 c before 36.0 seconds: {0, 1, 3, 4, 5, 9, 10, 11, 12, 14, 17, 18, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 35, 36, 39} 16343
7.62/7.89 c before 126.0 seconds: {0, 1, 3, 4, 5, 6, 9, 10, 11, 12, 14, 17, 18, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 35, 36, 39} 17208
7.62/7.89 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 14, 17, 18, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 35, 36, 39} 18143
7.62/7.89 c before 720.0 seconds: {0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 14, 17, 18, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 35, 36, 38, 39} 18645
7.62/7.89 c before 1494.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 17, 18, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 35, 36, 38, 39} 19467
7.62/7.89 c
7.62/7.89 c solver 2
7.62/7.89 c before 0.0 seconds: {} 0
7.62/7.89 c before 18.0 seconds: {0, 1, 4, 5, 9, 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, 39} 19005
7.62/7.89 c before 36.0 seconds: {0, 1, 4, 5, 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, 39} 19541
7.62/7.89 c before 90.0 seconds: {0, 1, 3, 4, 5, 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, 39} 20468
7.62/7.89 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 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, 39} 21403
7.62/7.89 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 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, 39} 22268
7.62/7.89 c before 1116.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 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, 39} 23109
7.62/7.89 c
7.62/7.89 cTotal time: 233
7.62/7.89 c run abscon for 1584.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} 24433
7.62/7.89 c run mistral for 198.0 seconds {0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 14, 17, 18, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 35, 36, 39} 18143
7.62/7.90 c run choco for 18.0 seconds {0, 1, 4, 5, 9, 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, 39} 19005
7.62/7.90 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.62/7.90 c On Instance: HOME/instance-1051337-1215052928.xml
7.62/7.90 c Running for: 1584 seconds
8.86/9.16 s SAT
8.86/9.16 v 0 1 4 9 15 22 32 34
8.86/9.16 d ASSIGNMENTS 221
8.86/9.16 d CHECKS 285828