0.00/0.00 c cpHydra_k_40 version 0.0
7.18/7.38 c CASE TO CLASSIFY:
7.18/7.38 c Case: 0
7.18/7.38 c 19 > 42.105300 | c 35 > 18.888900 | c 17 > 0.000000 | c 18 > 55.418000 | c 33 > 15.000000 | c 15 > 18.551600 | c 34 > 42.222200 | c 16 > 83.000000 | c 13 > 8.123250 | c 14 > 6.807350 | c 11 > 8.618390 | c 12 > 7.095140 | c 21 > 4.751650 | c 20 > 2.476780 | c 22 > 8.544000 | c 23 > 96.939600 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 10.055900 | c 3 > 7.813780 | c 2 > 6.459430 | c 10 > 9.691740 | 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 > 13.149900 | c 31 > 89.944100 | c 4 > 6.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.39 c choco : 1801.0
7.18/7.39 c mistral : 1801.0
7.18/7.39 c abscon : 1801.0
7.18/7.39 c
7.18/7.39 c
7.27/7.46 c List of same ones: 40
7.27/7.46 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_9.xml
7.27/7.47 c 19 > 22.291000 | c 35 > 18.888900 | c 17 > 0.000000 | c 18 > 55.418000 | c 33 > 30.000000 | c 15 > 17.986200 | c 34 > 23.333300 | c 16 > 83.000000 | c 13 > 7.425030 | c 14 > 6.475730 | c 11 > 8.558420 | c 12 > 6.436070 | c 21 > 4.751650 | c 20 > 22.291000 | c 22 > 8.544000 | c 23 > 96.939600 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 10.055900 | c 3 > 7.761550 | c 2 > 6.459430 | c 10 > 9.663560 | 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 > 13.037400 | c 31 > 89.944100 | c 4 > 6.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.47 c choco : 19.11
7.27/7.47 c mistral : 25.16
7.27/7.47 c abscon : 28.99
7.27/7.47 c
7.27/7.47 c
7.27/7.47 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_9.xml
7.27/7.47 c 19 > 22.291000 | c 35 > 18.888900 | c 17 > 0.000000 | c 18 > 55.418000 | c 33 > 30.000000 | c 15 > 17.948800 | c 34 > 23.333300 | c 16 > 83.000000 | c 13 > 7.038620 | c 14 > 6.303780 | c 11 > 8.558420 | c 12 > 6.049780 | c 21 > 4.751650 | c 20 > 22.291000 | c 22 > 8.544000 | c 23 > 96.939600 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 10.055900 | c 3 > 7.761550 | c 2 > 6.459430 | c 10 > 9.663560 | 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 > 13.037400 | c 31 > 89.944100 | c 4 > 6.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.48 c choco : 16.41
7.27/7.48 c mistral : 4.2
7.27/7.48 c abscon : 20.23
7.27/7.48 c
7.27/7.48 c
7.27/7.48 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_8.xml
7.27/7.48 c 19 > 21.960800 | c 35 > 18.750000 | c 17 > 0.000000 | c 18 > 56.078400 | c 33 > 30.000000 | c 15 > 18.369700 | c 34 > 23.125000 | c 16 > 66.000000 | c 13 > 8.343750 | c 14 > 7.700440 | c 11 > 8.204570 | c 12 > 7.357610 | c 21 > 4.288350 | c 20 > 21.960800 | c 22 > 7.549830 | c 23 > 96.743000 | c 24 > 75.000000 | c 25 > 16.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 11.188800 | c 3 > 7.400880 | c 2 > 6.129280 | c 10 > 9.172430 | 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.388300 | c 31 > 88.811200 | c 4 > 5.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.49 c choco : 584.98
7.27/7.49 c mistral : 1801.0
7.27/7.49 c abscon : 755.01
7.27/7.49 c
7.27/7.49 c
7.27/7.49 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_8.xml
7.27/7.49 c 19 > 21.960800 | c 35 > 18.750000 | c 17 > 0.000000 | c 18 > 56.078400 | c 33 > 30.000000 | c 15 > 14.728700 | c 34 > 23.125000 | c 16 > 66.000000 | c 13 > 5.651610 | c 14 > 6.266790 | c 11 > 8.204570 | c 12 > 4.642680 | c 21 > 4.288350 | c 20 > 21.960800 | c 22 > 7.549830 | c 23 > 96.743000 | c 24 > 75.000000 | c 25 > 16.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 11.188800 | c 3 > 7.400880 | c 2 > 6.129280 | c 10 > 9.172430 | 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.388300 | c 31 > 88.811200 | c 4 > 5.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.50 c choco : 5.71
7.37/7.50 c mistral : 0.19
7.37/7.50 c abscon : 12.3
7.37/7.50 c
7.37/7.50 c
7.37/7.50 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_7.xml
7.37/7.50 c 19 > 21.538500 | c 35 > 18.571400 | c 17 > 0.000000 | c 18 > 56.923100 | c 33 > 30.000000 | c 15 > 18.830800 | c 34 > 22.857100 | c 16 > 51.000000 | c 13 > 8.491830 | c 14 > 7.807350 | c 11 > 7.800900 | c 12 > 7.518950 | c 21 > 3.821640 | c 20 > 21.538500 | c 22 > 6.557440 | c 23 > 96.551000 | c 24 > 71.428600 | c 25 > 14.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 12.612600 | c 3 > 6.988680 | c 2 > 5.754890 | c 10 > 8.618390 | 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.653300 | c 31 > 87.387400 | c 4 > 5.392320 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.51 c choco : 18.76
7.37/7.51 c mistral : 2.38
7.37/7.51 c abscon : 11.78
7.37/7.51 c
7.37/7.51 c
7.37/7.51 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_7.xml
7.37/7.51 c 19 > 21.538500 | c 35 > 18.571400 | c 17 > 0.000000 | c 18 > 56.923100 | c 33 > 30.000000 | c 15 > 18.801000 | c 34 > 22.857100 | c 16 > 51.000000 | c 13 > 9.451060 | c 14 > 8.569860 | c 11 > 7.800900 | c 12 > 8.467260 | c 21 > 3.821640 | c 20 > 21.538500 | c 22 > 6.557440 | c 23 > 96.551000 | c 24 > 71.428600 | c 25 > 14.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 12.612600 | c 3 > 6.988680 | c 2 > 5.754890 | c 10 > 8.618390 | 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.653300 | c 31 > 87.387400 | c 4 > 5.392320 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.52 c choco : 32.52
7.37/7.52 c mistral : 94.62
7.37/7.52 c abscon : 27.48
7.37/7.52 c
7.37/7.52 c
7.37/7.52 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_6.xml
7.37/7.52 c 19 > 38.461500 | c 35 > 18.333300 | c 17 > 0.000000 | c 18 > 58.042000 | c 33 > 30.000000 | c 15 > 16.638700 | c 34 > 22.500000 | c 16 > 38.000000 | c 13 > 7.951160 | c 14 > 6.845490 | c 11 > 7.330920 | c 12 > 6.994180 | c 21 > 3.350330 | c 20 > 3.496500 | c 22 > 5.567760 | c 23 > 96.404500 | c 24 > 66.666700 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 14.457800 | c 3 > 6.507790 | c 2 > 5.321930 | c 10 > 7.982990 | 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.818600 | c 31 > 85.542200 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.53 c choco : 5.15
7.37/7.53 c mistral : 0.19
7.37/7.53 c abscon : 6.66
7.37/7.53 c
7.37/7.53 c
7.37/7.53 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_6.xml
7.37/7.53 c 19 > 38.461500 | c 35 > 18.333300 | c 17 > 0.000000 | c 18 > 58.042000 | c 33 > 30.000000 | c 15 > 18.105600 | c 34 > 22.500000 | c 16 > 38.000000 | c 13 > 9.027960 | c 14 > 8.199670 | c 11 > 7.330920 | c 12 > 8.055620 | c 21 > 3.350330 | c 20 > 3.496500 | c 22 > 5.567760 | c 23 > 96.404500 | c 24 > 66.666700 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 14.457800 | c 3 > 6.507790 | c 2 > 5.321930 | c 10 > 7.982990 | 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.818600 | c 31 > 85.542200 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.54 c choco : 10.24
7.37/7.54 c mistral : 1.32
7.37/7.54 c abscon : 8.21
7.37/7.54 c
7.37/7.54 c
7.37/7.54 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_5.xml
7.37/7.54 c 19 > 36.363600 | c 35 > 18.000000 | c 17 > 0.000000 | c 18 > 59.596000 | c 33 > 30.000000 | c 15 > 12.502800 | c 34 > 22.000000 | c 16 > 27.000000 | c 13 > 5.568970 | c 14 > 3.906890 | c 11 > 6.768180 | c 12 > 4.642800 | c 21 > 2.872640 | c 20 > 4.040400 | c 22 > 4.582580 | c 23 > 96.422800 | c 24 > 60.000000 | c 25 > 10.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 16.949200 | c 3 > 5.930740 | c 2 > 4.807350 | c 10 > 7.238400 | 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.821770 | c 31 > 83.050800 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.54 c choco : 2.72
7.37/7.54 c mistral : 0.03
7.37/7.54 c abscon : 4.52
7.37/7.54 c
7.37/7.54 c
7.37/7.54 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_5.xml
7.37/7.54 c 19 > 36.363600 | c 35 > 18.000000 | c 17 > 0.000000 | c 18 > 59.596000 | c 33 > 30.000000 | c 15 > 11.174900 | c 34 > 22.000000 | c 16 > 27.000000 | c 13 > 4.381770 | c 14 > 5.000000 | c 11 > 6.768180 | c 12 > 3.399230 | c 21 > 2.872640 | c 20 > 4.040400 | c 22 > 4.582580 | c 23 > 96.422800 | c 24 > 60.000000 | c 25 > 10.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 16.949200 | c 3 > 5.930740 | c 2 > 4.807350 | c 10 > 7.238400 | 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.821770 | c 31 > 83.050800 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.55 c choco : 2.86
7.37/7.55 c mistral : 0.04
7.37/7.55 c abscon : 4.97
7.37/7.55 c
7.37/7.55 c
7.37/7.55 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_6.xml
7.37/7.55 c 19 > 36.144600 | c 35 > 25.714300 | c 17 > 0.000000 | c 18 > 57.831300 | c 33 > 51.428600 | c 15 > 15.897900 | c 34 > 25.714300 | c 16 > 38.000000 | c 13 > 5.760120 | c 14 > 6.149750 | c 11 > 6.066090 | c 12 > 5.752490 | c 21 > 3.791730 | c 20 > 6.024100 | c 22 > 6.000000 | c 23 > 94.386000 | c 24 > 66.666700 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 25.000000 | c 3 > 5.930740 | c 2 > 2.584960 | c 10 > 7.592460 | 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.468600 | c 31 > 75.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.57 c choco : 7.63
7.37/7.57 c mistral : 0.12
7.37/7.57 c abscon : 7.41
7.37/7.57 c
7.37/7.57 c
7.37/7.57 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_6.xml
7.37/7.57 c 19 > 36.144600 | c 35 > 25.714300 | c 17 > 0.000000 | c 18 > 57.831300 | c 33 > 51.428600 | c 15 > 16.177500 | c 34 > 25.714300 | c 16 > 38.000000 | c 13 > 5.317340 | c 14 > 6.303780 | c 11 > 6.066090 | c 12 > 5.321930 | c 21 > 3.791730 | c 20 > 6.024100 | c 22 > 6.000000 | c 23 > 94.386000 | c 24 > 66.666700 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 25.000000 | c 3 > 5.930740 | c 2 > 2.584960 | c 10 > 7.592460 | 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.468600 | c 31 > 75.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.58 c choco : 6.63
7.37/7.58 c mistral : 0.14
7.37/7.58 c abscon : 6.92
7.37/7.58 c
7.37/7.58 c
7.37/7.58 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_9.xml
7.37/7.58 c 19 > 0.000000 | c 35 > 27.000000 | c 17 > 0.000000 | c 18 > 55.307300 | c 33 > 54.000000 | c 15 > 18.401000 | c 34 > 27.000000 | c 16 > 83.000000 | c 13 > 5.933720 | c 14 > 6.554590 | c 11 > 7.523560 | c 12 > 5.699080 | c 21 > 5.564910 | c 20 > 44.692700 | c 22 > 9.000000 | c 23 > 95.105800 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 18.181800 | c 3 > 7.179910 | c 2 > 3.169930 | c 10 > 9.529430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.169930 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.506600 | c 31 > 81.818200 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.59 c choco : 25.56
7.37/7.59 c mistral : 0.86
7.37/7.59 c abscon : 14.29
7.37/7.59 c
7.37/7.59 c
7.37/7.59 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_8.xml
7.37/7.59 c 19 > 0.000000 | c 35 > 26.666700 | c 17 > 0.000000 | c 18 > 55.944100 | c 33 > 53.333300 | c 15 > 15.380500 | c 34 > 26.666700 | c 16 > 66.000000 | c 13 > 5.015380 | c 14 > 4.906890 | c 11 > 7.467610 | c 12 > 4.515740 | c 21 > 4.976440 | c 20 > 44.055900 | c 22 > 8.000000 | c 23 > 94.821400 | c 24 > 75.000000 | c 25 > 16.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 20.000000 | c 3 > 6.820180 | c 2 > 3.000000 | c 10 > 9.025140 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.807350 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.789700 | c 31 > 80.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.60 c choco : 4.13
7.44/7.60 c mistral : 0.09
7.44/7.60 c abscon : 9.91
7.44/7.60 c
7.44/7.60 c
7.44/7.60 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_5.xml
7.44/7.60 c 19 > 33.898300 | c 35 > 25.000000 | c 17 > 0.000000 | c 18 > 59.322000 | c 33 > 50.000000 | c 15 > 11.942100 | c 34 > 25.000000 | c 16 > 27.000000 | c 13 > 5.003530 | c 14 > 3.459430 | c 11 > 5.523560 | c 12 > 4.963270 | c 21 > 3.193740 | c 20 > 6.779660 | c 22 > 5.000000 | c 23 > 94.500000 | c 24 > 60.000000 | c 25 > 10.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 28.571400 | c 3 > 5.357550 | c 2 > 2.321930 | c 10 > 6.794420 | 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.422060 | c 31 > 71.428600 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.61 c choco : 1.69
7.44/7.61 c mistral : 0.02
7.44/7.61 c abscon : 3.84
7.44/7.61 c
7.44/7.61 c
7.44/7.61 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_5.xml
7.44/7.61 c 19 > 33.898300 | c 35 > 25.000000 | c 17 > 0.000000 | c 18 > 59.322000 | c 33 > 50.000000 | c 15 > 10.367400 | c 34 > 25.000000 | c 16 > 27.000000 | c 13 > 3.735390 | c 14 > 3.169930 | c 11 > 5.523560 | c 12 > 3.579730 | c 21 > 3.193740 | c 20 > 6.779660 | c 22 > 5.000000 | c 23 > 94.500000 | c 24 > 60.000000 | c 25 > 10.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 28.571400 | c 3 > 5.357550 | c 2 > 2.321930 | c 10 > 6.794420 | 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.422060 | c 31 > 71.428600 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.80 c choco : 2.12
7.63/7.80 c mistral : 0.01
7.63/7.80 c abscon : 3.18
7.63/7.80 c
7.63/7.80 c
7.63/7.80 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_4.xml
7.63/7.80 c 19 > 33.333300 | c 35 > 17.500000 | c 17 > 0.000000 | c 18 > 61.904800 | c 33 > 30.000000 | c 15 > 9.353150 | c 34 > 21.250000 | c 16 > 18.000000 | c 13 > 3.615670 | c 14 > 4.321930 | c 11 > 6.066090 | c 12 > 2.651590 | c 21 > 2.385860 | c 20 > 4.761900 | c 22 > 3.605550 | c 23 > 97.008500 | c 24 > 50.000000 | c 25 > 8.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 20.512800 | c 3 > 5.129280 | c 2 > 4.169930 | c 10 > 6.339850 | 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 > 8.599910 | c 31 > 79.487200 | c 4 > 3.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.81 c choco : 2.2
7.63/7.81 c mistral : 0.01
7.63/7.81 c abscon : 2.88
7.63/7.81 c
7.63/7.81 c
7.63/7.81 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_4.xml
7.63/7.81 c 19 > 33.333300 | c 35 > 17.500000 | c 17 > 0.000000 | c 18 > 61.904800 | c 33 > 30.000000 | c 15 > 8.370690 | c 34 > 21.250000 | c 16 > 18.000000 | c 13 > 4.206520 | c 14 > 0.000000 | c 11 > 6.066090 | c 12 > 3.330520 | c 21 > 2.385860 | c 20 > 4.761900 | c 22 > 3.605550 | c 23 > 97.008500 | c 24 > 50.000000 | c 25 > 8.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 20.512800 | c 3 > 5.129280 | c 2 > 4.169930 | c 10 > 6.339850 | 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 > 8.599910 | c 31 > 79.487200 | c 4 > 3.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.82 c choco : 2.42
7.63/7.82 c mistral : 0.02
7.63/7.82 c abscon : 2.49
7.63/7.82 c
7.63/7.82 c
7.63/7.82 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_7.xml
7.63/7.82 c 19 > 0.000000 | c 35 > 26.250000 | c 17 > 0.000000 | c 18 > 56.756800 | c 33 > 52.500000 | c 15 > 19.196300 | c 34 > 26.250000 | c 16 > 51.000000 | c 13 > 6.658640 | c 14 > 8.400880 | c 11 > 7.066090 | c 12 > 6.354790 | c 21 > 4.385630 | c 20 > 43.243200 | c 22 > 7.000000 | c 23 > 94.557800 | c 24 > 71.428600 | c 25 > 14.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 22.222200 | c 3 > 6.409390 | c 2 > 2.807350 | c 10 > 8.455330 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.392320 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.965100 | c 31 > 77.777800 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.82 c choco : 46.53
7.63/7.82 c mistral : 13.8
7.63/7.82 c abscon : 33.73
7.63/7.82 c
7.63/7.82 c
7.63/7.82 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_7.xml
7.63/7.82 c 19 > 0.000000 | c 35 > 26.250000 | c 17 > 0.000000 | c 18 > 56.756800 | c 33 > 52.500000 | c 15 > 19.179800 | c 34 > 26.250000 | c 16 > 51.000000 | c 13 > 6.599970 | c 14 > 8.459430 | c 11 > 7.066090 | c 12 > 6.265530 | c 21 > 4.385630 | c 20 > 43.243200 | c 22 > 7.000000 | c 23 > 94.557800 | c 24 > 71.428600 | c 25 > 14.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 22.222200 | c 3 > 6.409390 | c 2 > 2.807350 | c 10 > 8.455330 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.392320 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.965100 | c 31 > 77.777800 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.83 c choco : 46.59
7.63/7.83 c mistral : 20.58
7.63/7.83 c abscon : 33.11
7.63/7.83 c
7.63/7.83 c
7.63/7.83 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_4.xml
7.63/7.83 c 19 > 30.769200 | c 35 > 24.000000 | c 17 > 0.000000 | c 18 > 61.538500 | c 33 > 48.000000 | c 15 > 8.499850 | c 34 > 24.000000 | c 16 > 18.000000 | c 13 > 3.108430 | c 14 > 2.584960 | c 11 > 4.857980 | c 12 > 2.923380 | c 21 > 2.590660 | c 20 > 7.692310 | c 22 > 4.000000 | c 23 > 95.512800 | c 24 > 50.000000 | c 25 > 8.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 33.333300 | c 3 > 4.523560 | c 2 > 2.000000 | c 10 > 5.832890 | 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 > 8.134430 | c 31 > 66.666700 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.84 c choco : 1.23
7.63/7.84 c mistral : 0.01
7.63/7.84 c abscon : 2.09
7.63/7.84 c
7.63/7.84 c
7.63/7.84 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_4.xml
7.63/7.84 c 19 > 30.769200 | c 35 > 24.000000 | c 17 > 0.000000 | c 18 > 61.538500 | c 33 > 48.000000 | c 15 > 7.562240 | c 34 > 24.000000 | c 16 > 18.000000 | c 13 > 3.339790 | c 14 > 0.000000 | c 11 > 4.857980 | c 12 > 3.306930 | c 21 > 2.590660 | c 20 > 7.692310 | c 22 > 4.000000 | c 23 > 95.512800 | c 24 > 50.000000 | c 25 > 8.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 33.333300 | c 3 > 4.523560 | c 2 > 2.000000 | c 10 > 5.832890 | 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 > 8.134430 | c 31 > 66.666700 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.84 c choco : 1.78
7.63/7.84 c mistral : 0.01
7.63/7.84 c abscon : 2.18
7.63/7.84 c
7.63/7.84 c
7.63/7.84 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_9.xml
7.63/7.84 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.521100 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 8.445330 | c 14 > 10.781400 | c 11 > 7.169930 | c 12 > 8.734570 | c 21 > 2.340940 | c 20 > 0.000000 | c 22 > 3.000000 | c 23 > 94.518500 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 11.111100 | c 3 > 7.169930 | c 2 > -1.000000 | c 10 > 9.379380 | 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.169900 | c 31 > 88.888900 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.85 c choco : 1801.0
7.63/7.85 c mistral : 94.62
7.63/7.85 c abscon : 251.41
7.63/7.85 c
7.63/7.85 c
7.63/7.85 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_8.xml
7.63/7.85 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 13.041800 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 3.542290 | c 14 > 3.700440 | c 11 > 6.807350 | c 12 > 3.608390 | c 21 > 2.195040 | c 20 > 0.000000 | c 22 > 2.828430 | c 23 > 94.115300 | c 24 > 75.000000 | c 25 > 16.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 12.500000 | c 3 > 6.807350 | c 2 > -1.000000 | c 10 > 8.857980 | 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.614710 | c 31 > 87.500000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.86 c choco : 2.05
7.63/7.86 c mistral : 0.04
7.63/7.86 c abscon : 5.32
7.63/7.86 c
7.63/7.86 c
7.63/7.86 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_7.xml
7.63/7.86 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 11.294000 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 3.258770 | c 14 > 2.321930 | c 11 > 6.392320 | c 12 > 3.328780 | c 21 > 2.039090 | c 20 > 0.000000 | c 22 > 2.645750 | c 23 > 93.698500 | c 24 > 71.428600 | c 25 > 14.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 14.285700 | c 3 > 6.392320 | c 2 > -1.000000 | c 10 > 8.266790 | 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 > 8.977280 | c 31 > 85.714300 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.86 c choco : 2.18
7.63/7.86 c mistral : 0.03
7.63/7.86 c abscon : 3.8
7.63/7.86 c
7.63/7.86 c
7.63/7.86 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_6.xml
7.63/7.86 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 12.487600 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 3.774660 | c 14 > 3.807350 | c 11 > 5.906890 | c 12 > 4.133400 | c 21 > 1.870830 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 93.333300 | c 24 > 66.666700 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 16.666700 | c 3 > 5.906890 | c 2 > -1.000000 | c 10 > 7.584960 | 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 > 8.228820 | c 31 > 83.333300 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.87 c choco : 2.67
7.63/7.87 c mistral : 0.03
7.63/7.87 c abscon : 3.92
7.63/7.87 c
7.63/7.87 c
7.63/7.87 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_5.xml
7.63/7.87 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 9.385860 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 2.652570 | c 14 > 1.000000 | c 11 > 5.321930 | c 12 > 2.754890 | c 21 > 1.687050 | c 20 > 0.000000 | c 22 > 2.236070 | c 23 > 93.230800 | c 24 > 60.000000 | c 25 > 10.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 20.000000 | c 3 > 5.321930 | c 2 > -1.000000 | c 10 > 6.781360 | 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 > 7.321930 | c 31 > 80.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.88 c choco : 1.58
7.63/7.88 c mistral : 0.02
7.63/7.88 c abscon : 2.19
7.63/7.88 c
7.63/7.88 c
7.63/7.88 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_4.xml
7.63/7.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 7.303780 | c 34 > -1.000000 | c 16 > 6.000000 | c 13 > 2.716590 | c 14 > 0.000000 | c 11 > 4.584960 | c 12 > 3.176590 | c 21 > 1.483240 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 94.166700 | c 24 > 50.000000 | c 25 > 8.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 25.000000 | c 3 > 4.459430 | c 2 > -1.000000 | c 10 > 5.807350 | 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 > 6.169930 | c 31 > 75.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.88 c choco : 1.32
7.63/7.88 c mistral : 0.02
7.63/7.88 c abscon : 1.72
7.63/7.88 c
7.63/7.88 c
7.63/7.88 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-05-02.xml
7.63/7.88 c 19 > 79.094100 | c 35 > 20.440300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.995300 | c 34 > 31.621800 | c 16 > 53.000000 | c 13 > 4.906540 | c 14 > 11.649700 | c 11 > 13.197700 | c 12 > 2.774880 | c 21 > 1.414210 | c 20 > 20.905900 | 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 > 15.804900 | c 1 > 13.197700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.969300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.939600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.116300 | c
7.63/7.89 c choco : 45.03
7.63/7.89 c mistral : 0.245961
7.63/7.89 c abscon : 17.1684
7.63/7.89 c
7.63/7.89 c
7.63/7.89 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-05-04.xml
7.63/7.89 c 19 > 78.953800 | c 35 > 19.573700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.491200 | c 34 > 30.491700 | c 16 > 53.000000 | c 13 > 4.928170 | c 14 > 10.409400 | c 11 > 13.197700 | c 12 > 3.344900 | c 21 > 2.000000 | c 20 > 21.046200 | c 22 > 2.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 > -1.000000 | c 2 > -1.000000 | c 10 > 15.829800 | c 1 > 13.197700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.056600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.284700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.291200 | c
7.63/7.89 c choco : 45.2
7.63/7.89 c mistral : 0.25596
7.63/7.89 c abscon : 36.7444
7.63/7.89 c
7.63/7.89 c
7.63/7.89 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-05-08.xml
7.63/7.89 c 19 > 76.473700 | c 35 > 18.630500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.703200 | c 34 > 28.725600 | c 16 > 53.000000 | c 13 > 4.928440 | c 14 > 9.971540 | c 11 > 13.197700 | c 12 > 3.355410 | c 21 > 2.828430 | c 20 > 23.526300 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 16.059000 | c 1 > 13.197700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.724300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.793100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.292300 | c
7.70/7.90 c choco : 44.93
7.70/7.90 c mistral : 0.244962
7.70/7.90 c abscon : 38.5461
7.70/7.90 c
7.70/7.90 c
7.70/7.90 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-05-16.xml
7.70/7.90 c 19 > 72.960100 | c 35 > 17.597600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.841900 | c 34 > 26.909900 | c 16 > 53.000000 | c 13 > 4.933860 | c 14 > 9.344300 | c 11 > 13.197700 | c 12 > 3.361950 | c 21 > 4.000000 | c 20 > 27.039900 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 16.225900 | c 1 > 13.197700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.113100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.086900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 12.065400 | c
7.70/7.91 c choco : 45.03
7.70/7.91 c mistral : 0.259959
7.70/7.91 c abscon : 40.0039
7.70/7.91 c
7.70/7.91 c
7.70/7.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p0282.xml
7.70/7.91 c 19 > 79.638000 | c 35 > 17.918600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.868800 | c 15 > 15.486600 | c 34 > 35.746600 | c 16 > 57.000000 | c 13 > 2.357980 | c 14 > 7.839200 | c 11 > 10.389100 | c 12 > 0.814866 | c 21 > 1.414210 | c 20 > 20.362000 | 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 > 11.224600 | c 1 > 8.139550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.114400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.526600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.91 c choco : 2.05
7.70/7.91 c mistral : 0.13
7.70/7.91 c abscon : 6.83396
7.70/7.91 c
7.70/7.91 c
7.70/7.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-p0282.xml
7.70/7.91 c 19 > 79.638000 | c 35 > 17.918600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.868800 | c 15 > 15.491400 | c 34 > 35.746600 | c 16 > 57.000000 | c 13 > 2.357980 | c 14 > 7.894820 | c 11 > 10.389100 | c 12 > 0.814866 | c 21 > 1.414210 | c 20 > 20.362000 | 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 > 11.224600 | c 1 > 8.139550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.114400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.526600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.92 c choco : 2.08
7.70/7.92 c mistral : 0.13
7.70/7.92 c abscon : 6.79797
7.70/7.92 c
7.70/7.92 c
7.70/7.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-p0282.xml
7.70/7.92 c 19 > 79.638000 | c 35 > 17.918600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.868800 | c 15 > 15.491400 | c 34 > 35.746600 | c 16 > 57.000000 | c 13 > 2.357980 | c 14 > 7.894820 | c 11 > 10.389100 | c 12 > 0.814866 | c 21 > 1.414210 | c 20 > 20.362000 | 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 > 11.224600 | c 1 > 8.139550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.114400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.526600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.92 c choco : 2.06
7.70/7.92 c mistral : 0.13
7.70/7.92 c abscon : 6.27604
7.70/7.92 c
7.70/7.92 c
7.70/7.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/pk1.xml
7.70/7.92 c 19 > 50.000000 | c 35 > 10.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 16.440300 | c 34 > 15.000000 | c 16 > 57.000000 | c 13 > 2.267490 | c 14 > 5.807350 | c 11 > 10.946200 | c 12 > 0.878386 | c 21 > 1.414210 | c 20 > 50.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 > 11.727100 | c 1 > 6.426260 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.020000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.93 c choco : 1.88
7.70/7.93 c mistral : 0.19
7.70/7.93 c abscon : 1.02284
7.70/7.93 c
7.70/7.93 c
7.70/7.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-6.xml
7.70/7.93 c 19 > 46.666700 | c 35 > 28.444400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.000000 | c 15 > 18.259800 | c 34 > 42.666700 | c 16 > 44.000000 | c 13 > 5.892450 | c 14 > 9.592460 | c 11 > 10.209500 | c 12 > 3.688200 | c 21 > 1.412840 | c 20 > 53.333300 | 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 > 9.982990 | c 1 > 8.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.857980 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.671300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.94 c choco : 1801.0
7.70/7.94 c mistral : 0.1
7.70/7.94 c abscon : 1800.07
7.70/7.94 c
7.70/7.94 c
7.70/7.94 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-01-02.xml
7.70/7.94 c 19 > 81.580400 | c 35 > 22.836900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.002300 | c 34 > 33.615900 | c 16 > 39.000000 | c 13 > 4.223980 | c 14 > 9.707360 | c 11 > 13.240900 | c 12 > 3.893920 | c 21 > 1.414210 | c 20 > 18.419600 | 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 > 16.483800 | c 1 > 13.240900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.126900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.126500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.192900 | c
7.70/7.94 c choco : 59.39
7.70/7.94 c mistral : 0.271957
7.70/7.94 c abscon : 40.3879
7.70/7.94 c
7.70/7.94 c
7.70/7.94 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-01-04.xml
7.70/7.94 c 19 > 81.397300 | c 35 > 19.526200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.491300 | c 34 > 29.309900 | c 16 > 39.000000 | c 13 > 4.223410 | c 14 > 8.219170 | c 11 > 13.240900 | c 12 > 3.893500 | c 21 > 2.000000 | c 20 > 18.602700 | c 22 > 2.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 > -1.000000 | c 2 > -1.000000 | c 10 > 16.500100 | c 1 > 13.240900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.168400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.541200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.291200 | c
7.70/7.95 c choco : 59.56
7.70/7.95 c mistral : 0.280956
7.70/7.95 c abscon : 84.8411
7.70/7.95 c
7.70/7.95 c
7.70/7.95 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-01-08.xml
7.70/7.95 c 19 > 79.742200 | c 35 > 18.061300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.469100 | c 34 > 27.253600 | c 16 > 39.000000 | c 13 > 4.223120 | c 14 > 7.366320 | c 11 > 13.240900 | c 12 > 3.893940 | c 21 > 2.828430 | c 20 > 20.257800 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 16.610600 | c 1 > 13.240900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.431800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.861500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.810200 | c
7.70/7.96 c choco : 59.95
7.70/7.96 c mistral : 0.262959
7.70/7.96 c abscon : 83.4103
7.70/7.96 c
7.70/7.96 c
7.70/7.96 c Length: 40
7.70/7.96 c 36.99182009664163 37.01255693674783 41.0198074771896 41.33650603548273 49.94555759335259 49.9997973904795 53.74485129556877 53.74650765231543 66.38150312557782 66.59058214189525 66.71012281508708 66.72545369138902 75.06179716605378 76.95433281666278 77.84921526598004 78.12267348933536 79.5584288990293 79.86360547791465 81.59295469062387 81.59592340857232 90.28789024052617 90.5252613328926 107.97275683254453 109.022975135508 110.2421448580537 111.52996835480272 114.18536342551745 118.39235246649042 127.14006554904792 127.17893080362526 127.23209881740024 127.30773767064396 128.4385058712183 128.4388502986903 128.4388502986903 130.13883720085911 130.98562562731647 131.69399640246854 131.96583260493756 132.01282308449964
7.70/7.96 c
7.70/7.96 c 1.0 0.9997818133365011 0.9593333827476065 0.9562757931256721 0.88002992701277 0.8795880766446343 0.8501169674977355 0.8501043699734642 0.7637688210724207 0.7624874189307836 0.7617567089204691 0.7616630979878694 0.7139552428494379 0.7039452372354494 0.6993091195991957 0.6979045715121888 0.6906217918275878 0.6890933464445747 0.6805582884888935 0.6805438184149967 0.6406612602411299 0.6396375650970729 0.5724089920032245 0.5688103889843609 0.5646892091410991 0.5604003221860248 0.5517594478523151 0.538602063490698 0.5131575776660985 0.5130498933994839 0.5129026535469473 0.5126933300704251 0.5095842803571056 0.5095833390975102 0.5095833390975102 0.5049795546626986 0.5027172406893253 0.5008402417754596 0.5001236624009303 0.5
7.70/7.98 c
7.70/7.98 c solver 0
7.70/7.98 c before 0.0 seconds: {} 0
7.70/7.98 c before 18.0 seconds: {3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 20, 21, 23, 24, 25, 26, 27, 28, 32, 33, 34, 35} 17392
7.70/7.98 c before 36.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 32, 33, 34, 35} 21632
7.70/7.98 c before 54.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37} 23672
7.70/7.98 c before 90.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 24672
7.70/7.98 c before 252.0 seconds: {0, 1, 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, 37, 38, 39} 25244
7.70/7.98 c before 756.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, 37, 38, 39} 26204
7.70/7.98 c
7.70/7.98 c solver 1
7.70/7.98 c before 0.0 seconds: {} 0
7.70/7.98 c before 18.0 seconds: {1, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22615
7.70/7.98 c before 36.0 seconds: {0, 1, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24295
7.70/7.98 c before 108.0 seconds: {0, 1, 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} 25747
7.70/7.98 c
7.70/7.98 c solver 2
7.70/7.98 c before 0.0 seconds: {} 0
7.70/7.98 c before 18.0 seconds: {1, 3, 6, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 20, 21, 23, 24, 25, 26, 27, 32, 33, 34, 35} 16285
7.70/7.98 c before 36.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 20, 21, 23, 24, 25, 26, 27, 32, 33, 34, 35} 19758
7.70/7.98 c before 54.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35} 23171
7.70/7.98 c before 72.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 24672
7.70/7.98 c before 594.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 25631
7.70/7.98 c
7.70/7.98 cTotal time: 81
7.70/7.98 c 1458.0 seconds unused
7.70/7.98 c 0 c 1 c 1
7.70/7.98 c 1 c 0 c 2
7.70/7.98 c 0 c 1 c 0
7.70/7.98 c is solver0 dominated by:
7.70/7.98 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: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.70/7.98 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
7.70/7.98 c is dominated? false
7.70/7.98 c
7.70/7.98 c is solver1 dominated by:
7.70/7.98 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: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.70/7.98 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: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.70/7.98 c is dominated? false
7.70/7.98 c
7.70/7.98 c is solver2 dominated by:
7.70/7.98 c solver 0 (2 solves instances that 0 can't: false) (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.70/7.98 c is dominated? true
7.70/7.98 c
7.70/7.98 c Number of non-dominated solvers: 2
7.70/7.98 c remove dominated solvers
7.70/7.98 c solver 0 is not dominated by another solver
7.70/7.98 c solver 1 is not dominated by another solver
7.70/7.98 c solver 2 is dominated by another solver
7.70/7.98 c
7.70/7.98 c solver 0: 756.0
7.70/7.98 c
7.70/7.98 c+ 42/48 of 52
7.70/7.98 c
7.70/7.98 c solver 1: 108.0
7.70/7.98 c
7.70/7.98 c+ 6/48 of 52
7.70/7.98 c
7.70/7.98 c solver 2: 0.0
7.70/7.98 c run abscon for 1566.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, 37, 38, 39} 26204
7.70/7.98 c run mistral for 216.0 seconds {0, 1, 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} 25747
7.70/7.98 c do not run choco
7.70/7.98 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.70/7.98 c On Instance: HOME/instance-1046531-1215028260.xml
7.70/7.98 c Running for: 1566 seconds
13.33/13.63 s SAT
13.33/13.63 v 1 8 9 3 7 4 2 5 6 9 2 1 6 3 7 8 4 5 7 4 3 9 1 5 6 2 8 2 9 5 4 8 3 1 6 7 4 6 8 2 5 1 9 7 3 8 1 2 7 9 6 5 3 4 6 3 4 5 2 8 7 9 1 3 5 7 1 6 9 4 8 2 5 7 6 8 4 2 3 1 9 1 1 65 1 5 75 1 6 22 1 9 59 1 2 33 1 3 16 1 8 44 1 7 54 1 4 73 1 18 5 1 11 1 11 2 3 1 10 9 49 1 15 7 23 1 12 1 60 1 16 8 70 1 17 4 35 1 13 6 45 1 14 3 55 1 25 6 29 1 22 9 1 21 1 21 3 76 1 27 8 5 1 19 7 42 1 23 1 52 1 24 5 17 1 20 4 72 1 26 2 10 1 29 9 74 1 36 7 39 1 32 8 1 31 1 31 4 68 1 35 6 24 1 30 5 7 1 28 2 53 1 33 3 63 1 34 1 28 1 40 2 47 1 42 1 66 1 44 7 13 1 38 6 1 41 1 41 5 6 1 37 4 79 1 45 3 62 1 43 9 27 1 39 8 64 1 53 3 2 1 46 8 12 1 47 1 58 1 52 5 77 1 54 4 1 51 1 51 6 43 1 50 9 26 1 48 2 36 1 49 7 46 1 60 8 20 1 57 4 30 1 58 5 40 1 59 2 14 1 56 3 69 1 62 9 1 61 1 61 7 80 1 63 1 9 1 55 6 19 1 66 7 38 1 68 6 57 1 70 4 4 1 64 3 50 1 69 9 78 1 72 2 34 1 67 1 1 71 1 71 8 18 1 65 5 37 1 77 4 56 1 79 3 48 1 78 2 67 1 80 1 32 1 76 8 15 1 74 7 25 1 75 6 8 1 73 5 1 81 1 81 9
13.33/13.63 d ASSIGNMENTS 1069
13.33/13.63 d CHECKS 702573