0.00/0.00 c cpHydra_k_40 version 0.0
7.02/7.13 c CASE TO CLASSIFY:
7.02/7.13 c Case: 0
7.02/7.13 c 19 > 0.000000 | c 35 > 30.059200 | c 17 > 0.000000 | c 18 > 9.139780 | c 33 > 0.000000 | c 15 > 20.217500 | c 34 > 20.059200 | c 16 > 19.000000 | c 13 > 7.935030 | c 14 > 10.946200 | c 11 > 7.562240 | c 12 > 6.963650 | c 21 > 5.854290 | c 20 > 90.860200 | c 22 > 6.000000 | c 23 > 97.571900 | c 24 > 97.297300 | c 25 > 17.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.546890 | c 2 > -1.000000 | c 10 > 10.374000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.662400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.02/7.14 c choco : 1801.0
7.02/7.14 c mistral : 1801.0
7.02/7.14 c abscon : 1801.0
7.02/7.14 c
7.02/7.14 c
7.12/7.22 c List of same ones: 40
7.12/7.22 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-18.xml
7.12/7.22 c 19 > 0.000000 | c 35 > 30.066200 | c 17 > 0.000000 | c 18 > 9.580840 | c 33 > 0.000000 | c 15 > 19.566600 | c 34 > 20.066200 | c 16 > 18.000000 | c 13 > 7.171760 | c 14 > 10.479800 | c 11 > 7.409390 | c 12 > 6.242450 | c 21 > 5.682050 | c 20 > 90.419200 | c 22 > 5.830950 | c 23 > 97.449000 | c 24 > 97.142900 | c 25 > 16.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.392320 | c 2 > -1.000000 | c 10 > 10.151000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.423600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.12/7.23 c choco : 229.74
7.12/7.23 c mistral : 552.16
7.12/7.23 c abscon : 1801.0
7.12/7.23 c
7.12/7.23 c
7.12/7.23 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-17.xml
7.12/7.23 c 19 > 0.000000 | c 35 > 30.074600 | c 17 > 0.000000 | c 18 > 10.067100 | c 33 > 0.000000 | c 15 > 19.717200 | c 34 > 20.074600 | c 16 > 17.000000 | c 13 > 7.763330 | c 14 > 10.791200 | c 11 > 7.247930 | c 12 > 6.864670 | c 21 > 5.504540 | c 20 > 89.932900 | c 22 > 5.656850 | c 23 > 97.313100 | c 24 > 96.969700 | c 25 > 15.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.228820 | c 2 > -1.000000 | c 10 > 9.915880 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.170900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.12/7.24 c choco : 24.02
7.12/7.24 c mistral : 1801.0
7.12/7.24 c abscon : 1801.0
7.12/7.24 c
7.12/7.24 c
7.12/7.24 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-16.xml
7.12/7.24 c 19 > 0.000000 | c 35 > 30.084700 | c 17 > 0.000000 | c 18 > 10.606100 | c 33 > 0.000000 | c 15 > 19.923600 | c 34 > 20.084700 | c 16 > 16.000000 | c 13 > 8.520580 | c 14 > 11.147200 | c 11 > 7.076820 | c 12 > 7.612850 | c 21 > 5.321260 | c 20 > 89.393900 | c 22 > 5.477230 | c 23 > 97.162300 | c 24 > 96.774200 | c 25 > 14.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.055280 | c 2 > -1.000000 | c 10 > 9.667110 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.902400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.12/7.25 c choco : 81.95
7.12/7.25 c mistral : 110.72
7.12/7.25 c abscon : 72.55
7.12/7.25 c
7.12/7.25 c
7.12/7.25 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-15.xml
7.12/7.25 c 19 > 0.000000 | c 35 > 30.097100 | c 17 > 0.000000 | c 18 > 11.206900 | c 33 > 0.000000 | c 15 > 20.200100 | c 34 > 20.097100 | c 16 > 15.000000 | c 13 > 8.563910 | c 14 > 11.674600 | c 11 > 6.894820 | c 12 > 7.884080 | c 21 > 5.131600 | c 20 > 88.793100 | c 22 > 5.291500 | c 23 > 96.993800 | c 24 > 96.551700 | c 25 > 13.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.870360 | c 2 > -1.000000 | c 10 > 9.403010 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.616100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.12/7.26 c choco : 33.25
7.12/7.26 c mistral : 36.8
7.12/7.26 c abscon : 10.75
7.12/7.26 c
7.12/7.26 c
7.12/7.26 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-14.xml
7.12/7.26 c 19 > 0.000000 | c 35 > 30.112400 | c 17 > 0.000000 | c 18 > 11.881200 | c 33 > 0.000000 | c 15 > 20.330700 | c 34 > 20.112400 | c 16 > 14.000000 | c 13 > 8.939850 | c 14 > 11.970800 | c 11 > 6.700440 | c 12 > 8.323700 | c 21 > 4.934870 | c 20 > 88.118800 | c 22 > 5.099020 | c 23 > 96.804600 | c 24 > 96.296300 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.672430 | c 2 > -1.000000 | c 10 > 9.121530 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.309500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.12/7.27 c choco : 17.59
7.12/7.27 c mistral : 7.72
7.12/7.27 c abscon : 7.11
7.12/7.27 c
7.12/7.27 c
7.12/7.27 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-13.xml
7.12/7.27 c 19 > 0.000000 | c 35 > 30.131600 | c 17 > 0.000000 | c 18 > 12.643700 | c 33 > 0.000000 | c 15 > 17.286500 | c 34 > 20.131600 | c 16 > 13.000000 | c 13 > 6.100340 | c 14 > 9.131860 | c 11 > 6.491850 | c 12 > 5.083210 | c 21 > 4.730220 | c 20 > 87.356300 | c 22 > 4.898980 | c 23 > 96.590900 | c 24 > 96.000000 | c 25 > 11.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.459430 | c 2 > -1.000000 | c 10 > 8.820180 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.979400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.12/7.28 c choco : 17.72
7.12/7.28 c mistral : 0.2
7.12/7.28 c abscon : 6.83
7.12/7.28 c
7.12/7.28 c
7.12/7.28 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-12.xml
7.12/7.28 c 19 > 0.000000 | c 35 > 30.156200 | c 17 > 0.000000 | c 18 > 13.513500 | c 33 > 0.000000 | c 15 > 15.511500 | c 34 > 20.156200 | c 16 > 12.000000 | c 13 > 4.685810 | c 14 > 7.569860 | c 11 > 6.266790 | c 12 > 4.069720 | c 21 > 4.516640 | c 20 > 86.486500 | c 22 > 4.690420 | c 23 > 96.347800 | c 24 > 95.652200 | c 25 > 10.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.228820 | c 2 > -1.000000 | c 10 > 8.495860 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.622100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.12/7.29 c choco : 12.41
7.12/7.29 c mistral : 0.15
7.12/7.29 c abscon : 5.75
7.12/7.29 c
7.12/7.29 c
7.12/7.29 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-11.xml
7.12/7.29 c 19 > 0.000000 | c 35 > 30.188700 | c 17 > 0.000000 | c 18 > 14.516100 | c 33 > 0.000000 | c 15 > 16.090600 | c 34 > 20.188700 | c 16 > 11.000000 | c 13 > 5.307610 | c 14 > 8.426260 | c 11 > 6.022370 | c 12 > 4.572890 | c 21 > 4.292850 | c 20 > 85.483900 | c 22 > 4.472140 | c 23 > 96.069500 | c 24 > 95.238100 | c 25 > 9.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.977280 | c 2 > -1.000000 | c 10 > 8.144660 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.232400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.12/7.30 c choco : 16.54
7.12/7.30 c mistral : 0.03
7.12/7.30 c abscon : 4.59
7.12/7.30 c
7.12/7.30 c
7.12/7.30 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-10.xml
7.12/7.30 c 19 > 0.000000 | c 35 > 30.232600 | c 17 > 0.000000 | c 18 > 15.686300 | c 33 > 0.000000 | c 15 > 11.582600 | c 34 > 20.232600 | c 16 > 10.000000 | c 13 > 2.476970 | c 14 > 4.087460 | c 11 > 5.754890 | c 12 > 2.567040 | c 21 > 4.057280 | c 20 > 84.313700 | c 22 > 4.242640 | c 23 > 95.749000 | c 24 > 94.736800 | c 25 > 8.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.700440 | c 2 > -1.000000 | c 10 > 7.761550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.804130 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.20/7.30 c choco : 3.04
7.20/7.30 c mistral : 0.03
7.20/7.30 c abscon : 2.48
7.20/7.30 c
7.20/7.30 c
7.20/7.30 c /home/eomahony/cpZilla/CSP/xml/nengfa/protein.xml
7.20/7.30 c 19 > 3.236250 | c 35 > 24.350600 | c 17 > 0.000000 | c 18 > 0.323625 | c 33 > 8.766230 | c 15 > 20.288100 | c 34 > 25.746800 | c 16 > 27.000000 | c 13 > 8.883710 | c 14 > 12.222500 | c 11 > 8.988680 | c 12 > 7.640540 | c 21 > 9.363670 | c 20 > 96.440100 | c 22 > 31.796200 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.199670 | c 2 > 6.442940 | c 10 > 9.660000 | c 1 > 5.643860 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 4.643860 | c 6 > 6.000000 | c 32 > 0.000000 | c 5 > 15.647000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.321930 | c
7.20/7.31 c choco : 53.77
7.20/7.31 c mistral : 0.019996
7.20/7.31 c abscon : 639.803
7.20/7.31 c
7.20/7.31 c
7.20/7.31 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-3.xml
7.20/7.31 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.374100 | c 33 > 30.000000 | c 15 > 20.367100 | c 34 > 30.000000 | c 16 > 13.000000 | c 13 > 5.641070 | c 14 > 11.004200 | c 11 > 12.284200 | c 12 > 2.935000 | c 21 > 4.848200 | c 20 > 97.625900 | c 22 > 6.708200 | c 23 > 94.525000 | c 24 > 66.666700 | c 25 > 66.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.209450 | c 2 > -1.000000 | c 10 > 13.356700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.240800 | c 32 > 0.000000 | c 5 > 13.806700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.32 c choco : 1801.0
7.20/7.32 c mistral : 6.57
7.20/7.32 c abscon : 10.45
7.20/7.32 c
7.20/7.32 c
7.20/7.32 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-4.xml
7.20/7.32 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.949030 | c 33 > 30.000000 | c 15 > 21.524000 | c 34 > 30.000000 | c 16 > 12.000000 | c 13 > 6.061550 | c 14 > 11.531900 | c 11 > 12.669100 | c 12 > 2.868540 | c 21 > 4.887740 | c 20 > 98.051000 | c 22 > 6.708200 | c 23 > 99.350000 | c 24 > 50.000000 | c 25 > 65.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.451210 | c 2 > -1.000000 | c 10 > 13.477300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.629800 | c 32 > 0.000000 | c 5 > 14.089200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.34 c choco : 1801.0
7.20/7.34 c mistral : 1801.0
7.20/7.34 c abscon : 11.05
7.20/7.34 c
7.20/7.34 c
7.20/7.34 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-5.xml
7.20/7.34 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.459890 | c 33 > 30.000000 | c 15 > 21.370900 | c 34 > 30.000000 | c 16 > 19.000000 | c 13 > 11.389900 | c 14 > 16.796700 | c 11 > 12.409400 | c 12 > 7.399610 | c 21 > 4.865700 | c 20 > 97.540100 | c 22 > 6.708200 | c 23 > 92.808300 | c 24 > 50.000000 | c 25 > 69.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.375040 | c 2 > -1.000000 | c 10 > 13.713900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.364700 | c 32 > 0.000000 | c 5 > 13.896400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.35 c choco : 1801.0
7.20/7.35 c mistral : 26.31
7.20/7.35 c abscon : 11.66
7.20/7.35 c
7.20/7.35 c
7.20/7.35 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-1.xml
7.20/7.35 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.537630 | c 33 > 30.000000 | c 15 > 21.497200 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 7.743320 | c 14 > 13.117000 | c 11 > 12.028600 | c 12 > 4.472700 | c 21 > 4.829600 | c 20 > 97.462400 | c 22 > 6.708200 | c 23 > 95.033300 | c 24 > 40.000000 | c 25 > 59.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.076820 | c 2 > -1.000000 | c 10 > 13.196600 | c 1 > 4.087460 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.975100 | c 32 > 0.000000 | c 5 > 13.629000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.36 c choco : 1801.0
7.20/7.36 c mistral : 1801.0
7.20/7.36 c abscon : 9.29
7.20/7.36 c
7.20/7.36 c
7.20/7.36 c /home/eomahony/cpZilla/CSP/xml/nengfa/queens2.xml
7.20/7.36 c 19 > 0.000000 | c 35 > 19.807700 | c 17 > 0.000000 | c 18 > 1.421800 | c 33 > 0.000000 | c 15 > 15.868300 | c 34 > 19.807700 | c 16 > 104.000000 | c 13 > 5.052650 | c 14 > 6.523560 | c 11 > 8.276120 | c 12 > 5.750310 | c 21 > 10.198000 | c 20 > 98.578200 | c 22 > 10.198000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 3.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.276120 | c 2 > -1.000000 | c 10 > 13.990500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 14.976600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.36 c choco : 7.96
7.20/7.36 c mistral : 0.043992
7.20/7.36 c abscon : 4.92825
7.20/7.36 c
7.20/7.36 c
7.20/7.36 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-2.xml
7.20/7.36 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 4.399320 | c 33 > 30.000000 | c 15 > 16.020600 | c 34 > 30.000000 | c 16 > 17.000000 | c 13 > 4.058140 | c 14 > 7.118940 | c 11 > 11.503300 | c 12 > 1.983760 | c 21 > 4.826490 | c 20 > 95.600700 | c 22 > 6.708200 | c 23 > 95.233300 | c 24 > 40.000000 | c 25 > 78.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.118940 | c 2 > -1.000000 | c 10 > 13.119600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.432500 | c 32 > 0.000000 | c 5 > 13.305800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.37 c choco : 13.82
7.20/7.37 c mistral : 0.32
7.20/7.37 c abscon : 7.62
7.20/7.37 c
7.20/7.37 c
7.20/7.37 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-10.xml
7.20/7.37 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.20/7.38 c choco : 1.36
7.20/7.38 c mistral : 0.02
7.20/7.38 c abscon : 0.719889
7.20/7.38 c
7.20/7.38 c
7.20/7.38 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-35.xml
7.20/7.38 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.20/7.39 c choco : 2.63
7.20/7.39 c mistral : 1800.03
7.20/7.39 c abscon : 2.32365
7.20/7.39 c
7.20/7.39 c
7.20/7.39 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-40.xml
7.20/7.39 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.20/7.39 c choco : 2.94
7.20/7.39 c mistral : 1800.01
7.20/7.39 c abscon : 3.38349
7.20/7.39 c
7.20/7.39 c
7.20/7.39 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-30.xml
7.20/7.39 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.27/7.40 c choco : 2.42
7.27/7.40 c mistral : 1.26
7.27/7.40 c abscon : 1.59976
7.27/7.40 c
7.27/7.40 c
7.27/7.40 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-17-7-a4.xml
7.27/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.27/7.41 c choco : 2.24
7.27/7.41 c mistral : 0.108983
7.27/7.41 c abscon : 0.937856
7.27/7.41 c
7.27/7.41 c
7.27/7.41 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-45.xml
7.27/7.41 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.27/7.41 c choco : 3.28
7.27/7.41 c mistral : 1800.02
7.27/7.41 c abscon : 5.34119
7.27/7.41 c
7.27/7.41 c
7.27/7.41 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-11.xml
7.27/7.41 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.27/7.42 c choco : 1.42
7.27/7.42 c mistral : 0.02
7.27/7.42 c abscon : 0.757884
7.27/7.42 c
7.27/7.42 c
7.27/7.42 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-25.xml
7.27/7.42 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.27/7.43 c choco : 2.2
7.27/7.43 c mistral : 4.04
7.27/7.43 c abscon : 1.11883
7.27/7.43 c
7.27/7.43 c
7.27/7.43 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-25-7-a4.xml
7.27/7.43 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.27/7.43 c choco : 2.14
7.27/7.43 c mistral : 1.10983
7.27/7.43 c abscon : 0.921859
7.27/7.43 c
7.27/7.43 c
7.27/7.43 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-50.xml
7.27/7.43 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.27/7.44 c choco : 3.47
7.27/7.44 c mistral : 25.06
7.27/7.44 c abscon : 7.93379
7.27/7.44 c
7.27/7.44 c
7.27/7.44 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-20.xml
7.27/7.44 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.27/7.44 c choco : 1.97
7.27/7.44 c mistral : 1.67
7.27/7.44 c abscon : 0.926858
7.27/7.44 c
7.27/7.44 c
7.27/7.44 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-9.xml
7.27/7.44 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.27/7.45 c choco : 1.29
7.27/7.45 c mistral : 0.015996
7.27/7.45 c abscon : 0.676896
7.27/7.45 c
7.27/7.45 c
7.27/7.45 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-18.xml
7.27/7.45 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.27/7.45 c choco : 1.78
7.27/7.45 c mistral : 0.66
7.27/7.45 c abscon : 0.834872
7.27/7.45 c
7.27/7.45 c
7.27/7.45 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-34-8-a3.xml
7.27/7.45 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.27/7.46 c choco : 2.1
7.27/7.46 c mistral : 0.082986
7.27/7.46 c abscon : 3.39848
7.27/7.46 c
7.27/7.46 c
7.27/7.46 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-60.xml
7.27/7.46 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.27/7.47 c choco : 4.06
7.27/7.47 c mistral : 1800.09
7.27/7.47 c abscon : 19.4
7.27/7.47 c
7.27/7.47 c
7.27/7.47 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-17-6-a4.xml
7.27/7.47 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.27/7.47 c choco : 1.71
7.27/7.47 c mistral : 0.030994
7.27/7.47 c abscon : 0.751885
7.27/7.47 c
7.27/7.47 c
7.27/7.47 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-67-11-a3.xml
7.27/7.47 c 19 > 0.000000 | c 35 > 20.344800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.105200 | c 34 > 10.344800 | c 16 > 3.000000 | c 13 > 9.954950 | c 14 > 12.186700 | c 11 > 6.044390 | c 12 > 9.765150 | c 21 > 8.195530 | c 20 > 100.000000 | c 22 > 8.246210 | 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.781360 | c 2 > 3.459430 | c 10 > 10.639300 | 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.110800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.48 c choco : 1801.0
7.27/7.48 c mistral : 822.148
7.27/7.48 c abscon : 1800.08
7.27/7.48 c
7.27/7.48 c
7.27/7.48 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-55-10-a3.xml
7.27/7.48 c 19 > 0.000000 | c 35 > 20.416700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.990200 | c 34 > 10.416700 | c 16 > 3.000000 | c 13 > 10.402300 | c 14 > 12.573200 | c 11 > 5.781360 | c 12 > 10.441500 | c 21 > 7.428450 | 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 > 5.491850 | c 2 > 3.321930 | c 10 > 10.076800 | 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.563200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.48 c choco : 1801.0
7.27/7.48 c mistral : 6.87196
7.27/7.48 c abscon : 130.402
7.27/7.48 c
7.27/7.48 c
7.27/7.48 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-25-7-a3.xml
7.27/7.48 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.27/7.49 c choco : 1.81
7.27/7.49 c mistral : 0.02
7.27/7.49 c abscon : 1.43678
7.27/7.49 c
7.27/7.49 c
7.27/7.49 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-25-8-a4.xml
7.27/7.49 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.34/7.50 c choco : 9.13
7.34/7.50 c mistral : 1.35979
7.34/7.50 c abscon : 2.70059
7.34/7.50 c
7.34/7.50 c
7.34/7.50 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-13.xml
7.34/7.50 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.34/7.51 c choco : 1.52
7.34/7.51 c mistral : 0.03
7.34/7.51 c abscon : 0.804877
7.34/7.51 c
7.34/7.51 c
7.34/7.51 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-70-12-a3.xml
7.34/7.51 c 19 > 0.000000 | c 35 > 20.289900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.749400 | c 34 > 10.289900 | c 16 > 3.000000 | c 13 > 9.961920 | c 14 > 12.747800 | c 11 > 6.285400 | c 12 > 9.443420 | c 21 > 8.375790 | c 20 > 100.000000 | c 22 > 8.426150 | 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.044390 | c 2 > 3.584960 | c 10 > 11.152900 | 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.414900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.51 c choco : 1801.0
7.34/7.51 c mistral : 757.64
7.34/7.51 c abscon : 1800.07
7.34/7.51 c
7.34/7.51 c
7.34/7.51 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-14.xml
7.34/7.51 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.34/7.52 c choco : 1.58
7.34/7.52 c mistral : 0.04
7.34/7.52 c abscon : 0.793879
7.34/7.52 c
7.34/7.52 c
7.34/7.52 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-34-8-a4.xml
7.34/7.52 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.34/7.52 c choco : 4.6
7.34/7.52 c mistral : 1.09783
7.34/7.52 c abscon : 1.09283
7.34/7.52 c
7.34/7.52 c
7.34/7.53 c Length: 40
7.34/7.53 c 2.0938531381164265 3.3316162268784812 5.074047679052693 6.868579962932664 8.781377119825802 11.315752869919882 14.407313450924846 15.77412827505216 21.362708398604333 38.82009833202416 69.34459350093415 77.75308471938268 80.1160944480995 80.59584874682629 88.12896294528491 91.71650217583257 105.56295931615739 105.58658854505056 105.59412454849085 105.60444298803199 105.61770339270353 105.62316009868621 105.62556515178322 105.63017679754589 105.63070573735507 105.64561595278339 105.65700131928314 105.65945908757342 105.67665469736633 105.67945251660608 105.6848599292912 105.68761585902864 105.69993016168365 105.7010075954643 105.7171249105475 105.72337017485206 105.72422193312751 105.72521950430323 105.73334703126729 105.7352584821941
7.34/7.53 c
7.34/7.53 c 1.0 0.9881981988677315 0.9720488667948122 0.955959258744095 0.9393855807123626 0.9182914258482567 0.8938081619684307 0.883395165489897 0.8432282612882837 0.7383567719973405 0.6064726082955127 0.578031439939788 0.5705126328408479 0.5690099383339285 0.5464113744468314 0.5362684006376773 0.5004159594913132 0.5003588735700558 0.5003406700571188 0.5003157476085123 0.500283722985186 0.5002705459238442 0.5002647383304598 0.5002536027524619 0.5002523255718939 0.5002163259778479 0.5001888403550491 0.5001829074077838 0.5001414018798853 0.5001346493563006 0.5001215991079377 0.5001149482098293 0.5000852322067 0.5000826323878019 0.5000437449639246 0.500028678184102 0.5000266233767536 0.5000242168274396 0.5000046107743981 0.5
7.34/7.54 c
7.34/7.54 c solver 0
7.34/7.54 c before 0.0 seconds: {} 0
7.34/7.54 c before 18.0 seconds: {3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 34, 35, 36, 38, 39} 18844
7.34/7.54 c before 36.0 seconds: {3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 38, 39} 19344
7.34/7.54 c before 90.0 seconds: {2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 38, 39} 20316
7.34/7.54 c before 144.0 seconds: {2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 38, 39} 20816
7.34/7.54 c before 648.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 38, 39} 21555
7.34/7.54 c
7.34/7.54 c solver 1
7.34/7.54 c before 0.0 seconds: {} 0
7.34/7.54 c before 18.0 seconds: {4, 5, 6, 7, 8, 9, 10, 14, 15, 16, 19, 20, 22, 23, 24, 26, 27, 28, 29, 31, 33, 34, 35, 36, 38, 39} 15408
7.34/7.54 c before 36.0 seconds: {4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 38, 39} 16479
7.34/7.54 c before 54.0 seconds: {3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 38, 39} 17435
7.34/7.54 c before 126.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 38, 39} 18407
7.34/7.54 c before 558.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 38, 39} 19407
7.34/7.54 c before 774.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 19907
7.34/7.54 c before 828.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20407
7.34/7.54 c
7.34/7.54 c solver 2
7.34/7.54 c before 0.0 seconds: {} 0
7.34/7.54 c before 18.0 seconds: {4, 5, 6, 7, 8, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 38, 39} 16064
7.34/7.55 c before 36.0 seconds: {1, 3, 4, 5, 6, 7, 8, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 38, 39} 18008
7.34/7.55 c before 54.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 38, 39} 18747
7.34/7.55 c before 90.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 38, 39} 19719
7.34/7.55 c before 234.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 38, 39} 20719
7.34/7.55 c
7.34/7.55 cTotal time: 95
7.34/7.55 c 1710.0 seconds unused
7.34/7.55 c 0 c 6 c 5
7.34/7.55 c 3 c 0 c 5
7.34/7.55 c 2 c 5 c 0
7.34/7.55 c is solver0 dominated by:
7.34/7.55 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.34/7.55 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: false) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
7.34/7.55 c is dominated? false
7.34/7.55 c
7.34/7.55 c is solver1 dominated by:
7.34/7.55 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.34/7.55 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.34/7.55 c is dominated? false
7.34/7.55 c
7.34/7.55 c is solver2 dominated by:
7.34/7.55 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.34/7.55 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
7.34/7.55 c is dominated? false
7.34/7.55 c
7.34/7.55 c Number of non-dominated solvers: 3
7.34/7.55 c remove dominated solvers
7.34/7.55 c solver 0 is not dominated by another solver
7.34/7.55 c solver 1 is not dominated by another solver
7.34/7.55 c solver 2 is not dominated by another solver
7.34/7.55 c
7.34/7.55 c solver 0: 648.0
7.34/7.55 c
7.34/7.55 c+ 36/95 of 5
7.34/7.55 c
7.34/7.55 c solver 1: 828.0
7.34/7.55 c
7.34/7.55 c+ 46/95 of 5
7.34/7.55 c
7.34/7.55 c solver 2: 234.0
7.34/7.55 c
7.34/7.55 c+ 13/95 of 5
7.34/7.55 c run abscon for 666.0 seconds {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 38, 39} 21555
7.34/7.55 c run mistral for 864.0 seconds {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20407
7.34/7.55 c run choco for 234.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 38, 39} 20719
7.34/7.55 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.34/7.55 c On Instance: HOME/instance-1046403-1215026625.xml
7.34/7.55 c Running for: 666 seconds
673.56/681.36 c Starting solver: HOME/cpHydra_k_40/solver/mistral
673.56/681.36 c On Instance: HOME/instance-1046403-1215026625.xml
673.56/681.36 c Running for: 864 seconds
1537.44/1549.46 c Starting solver: HOME/cpHydra_k_40/solver/choco
1537.44/1549.46 c On Instance: HOME/instance-1046403-1215026625.xml
1537.44/1549.46 c Running for: 234 seconds