0.00/0.00 c cpHydra_k_40 version 0.0
6.63/6.80 c CASE TO CLASSIFY:
6.63/6.80 c Case: 0
6.73/6.80 c 19 > 0.000000 | c 35 > 27.272700 | c 17 > 0.000000 | c 18 > 54.794500 | c 33 > 27.272700 | c 15 > 18.438000 | c 34 > 54.545500 | c 16 > 102.000000 | c 13 > 5.817790 | c 14 > 5.754890 | c 11 > 8.569860 | c 12 > 5.071740 | c 21 > 6.151580 | c 20 > 45.205500 | c 22 > 10.000000 | c 23 > 95.383500 | c 24 > 80.000000 | c 25 > 20.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 16.666700 | c 3 > 7.569860 | c 2 > 3.321930 | c 10 > 10.343200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 8.491850 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 14.857700 | c 31 > 83.333300 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.73/6.81 c choco : 1801.0
6.73/6.81 c mistral : 1801.0
6.73/6.81 c abscon : 1801.0
6.73/6.81 c
6.73/6.81 c
6.73/6.88 c List of same ones: 40
6.73/6.88 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_9.xml
6.73/6.88 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
6.73/6.88 c choco : 25.56
6.73/6.88 c mistral : 0.86
6.73/6.88 c abscon : 14.29
6.73/6.88 c
6.73/6.88 c
6.73/6.88 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_9.xml
6.73/6.89 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
6.73/6.89 c choco : 16.41
6.73/6.89 c mistral : 4.2
6.73/6.89 c abscon : 20.23
6.73/6.89 c
6.73/6.89 c
6.73/6.89 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_9.xml
6.73/6.89 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
6.82/6.90 c choco : 19.11
6.82/6.90 c mistral : 25.16
6.82/6.90 c abscon : 28.99
6.82/6.90 c
6.82/6.90 c
6.82/6.90 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_8.xml
6.82/6.90 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
6.82/6.91 c choco : 4.13
6.82/6.91 c mistral : 0.09
6.82/6.91 c abscon : 9.91
6.82/6.91 c
6.82/6.91 c
6.82/6.91 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_8.xml
6.82/6.91 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
6.82/6.92 c choco : 5.71
6.82/6.92 c mistral : 0.19
6.82/6.92 c abscon : 12.3
6.82/6.92 c
6.82/6.92 c
6.82/6.92 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_8.xml
6.82/6.92 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
6.82/6.93 c choco : 584.98
6.82/6.93 c mistral : 1801.0
6.82/6.93 c abscon : 755.01
6.82/6.93 c
6.82/6.93 c
6.82/6.93 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_7.xml
6.82/6.93 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
6.82/6.94 c choco : 46.59
6.82/6.94 c mistral : 20.58
6.82/6.94 c abscon : 33.11
6.82/6.94 c
6.82/6.94 c
6.82/6.94 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_7.xml
6.82/6.94 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
6.82/6.95 c choco : 46.53
6.82/6.95 c mistral : 13.8
6.82/6.95 c abscon : 33.73
6.82/6.95 c
6.82/6.95 c
6.82/6.95 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_7.xml
6.82/6.95 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
6.82/6.95 c choco : 18.76
6.82/6.95 c mistral : 2.38
6.82/6.95 c abscon : 11.78
6.82/6.95 c
6.82/6.95 c
6.82/6.95 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_7.xml
6.82/6.95 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
6.82/6.96 c choco : 32.52
6.82/6.96 c mistral : 94.62
6.82/6.96 c abscon : 27.48
6.82/6.96 c
6.82/6.96 c
6.82/6.96 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_6.xml
6.82/6.96 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
6.82/6.98 c choco : 5.15
6.82/6.98 c mistral : 0.19
6.82/6.98 c abscon : 6.66
6.82/6.98 c
6.82/6.98 c
6.82/6.98 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_6.xml
6.82/6.98 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
6.82/6.99 c choco : 10.24
6.82/6.99 c mistral : 1.32
6.82/6.99 c abscon : 8.21
6.82/6.99 c
6.82/6.99 c
6.82/6.99 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_6.xml
6.82/6.99 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
6.90/7.00 c choco : 6.63
6.90/7.00 c mistral : 0.14
6.90/7.00 c abscon : 6.92
6.90/7.00 c
6.90/7.00 c
6.90/7.00 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_6.xml
6.90/7.00 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
6.90/7.00 c choco : 7.63
6.90/7.00 c mistral : 0.12
6.90/7.00 c abscon : 7.41
6.90/7.00 c
6.90/7.00 c
6.90/7.00 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_5.xml
6.90/7.00 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
6.90/7.01 c choco : 2.72
6.90/7.01 c mistral : 0.03
6.90/7.01 c abscon : 4.52
6.90/7.01 c
6.90/7.01 c
6.90/7.01 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_5.xml
6.90/7.01 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
6.90/7.02 c choco : 2.86
6.90/7.02 c mistral : 0.04
6.90/7.02 c abscon : 4.97
6.90/7.02 c
6.90/7.02 c
6.90/7.02 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_5.xml
6.90/7.02 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
6.90/7.02 c choco : 1.69
6.90/7.02 c mistral : 0.02
6.90/7.02 c abscon : 3.84
6.90/7.02 c
6.90/7.02 c
6.90/7.02 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_5.xml
6.90/7.02 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
6.90/7.03 c choco : 2.12
6.90/7.03 c mistral : 0.01
6.90/7.03 c abscon : 3.18
6.90/7.03 c
6.90/7.03 c
6.90/7.03 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_4.xml
6.90/7.03 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
6.90/7.03 c choco : 2.2
6.90/7.03 c mistral : 0.01
6.90/7.03 c abscon : 2.88
6.90/7.03 c
6.90/7.03 c
6.90/7.03 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_4.xml
6.90/7.03 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
6.90/7.04 c choco : 2.42
6.90/7.04 c mistral : 0.02
6.90/7.04 c abscon : 2.49
6.90/7.04 c
6.90/7.04 c
6.90/7.04 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_4.xml
6.90/7.04 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
6.90/7.05 c choco : 1.23
6.90/7.05 c mistral : 0.01
6.90/7.05 c abscon : 2.09
6.90/7.05 c
6.90/7.05 c
6.90/7.05 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_4.xml
6.90/7.05 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
6.90/7.05 c choco : 1.78
6.90/7.05 c mistral : 0.01
6.90/7.05 c abscon : 2.18
6.90/7.05 c
6.90/7.05 c
6.90/7.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos18.xml
6.90/7.05 c 19 > 25.134400 | c 35 > 25.841100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 19.413100 | c 15 > 16.069800 | c 34 > 34.072800 | c 16 > 80.000000 | c 13 > 2.425940 | c 14 > 8.727920 | c 11 > 13.281600 | c 12 > 0.561496 | c 21 > 1.136120 | c 20 > 74.865600 | 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 > 13.375900 | c 1 > 9.911390 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.134900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.385700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.90/7.06 c choco : 9.44
6.90/7.06 c mistral : 1.19
6.90/7.06 c abscon : 6.61899
6.90/7.06 c
6.90/7.06 c
6.90/7.06 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mitre.xml
6.90/7.06 c 19 > 9.584350 | c 35 > 33.271400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.467000 | c 15 > 18.214500 | c 34 > 66.542800 | c 16 > 98.000000 | c 13 > -0.028883 | c 14 > 9.923330 | c 11 > 13.388600 | c 12 > 2.211530 | c 21 > 1.414210 | c 20 > 90.415600 | 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.369600 | c 1 > 13.388600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.366200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.787600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.90/7.07 c choco : 1801.0
6.90/7.07 c mistral : 3.9354
6.90/7.07 c abscon : 1800.1
6.90/7.07 c
6.90/7.07 c
6.90/7.07 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare1-1.xml
6.90/7.07 c 19 > 0.000000 | c 35 > 32.352900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 17.647100 | c 15 > 17.620800 | c 34 > 64.705900 | c 16 > 130.000000 | c 13 > 1.435600 | c 14 > 7.417850 | c 11 > 10.742300 | c 12 > 0.805067 | c 21 > 1.344300 | 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 > 11.385300 | c 1 > 7.820180 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.385300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.739500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.90/7.07 c choco : 2.19
6.90/7.07 c mistral : 0.37
6.90/7.07 c abscon : 175.226
6.90/7.07 c
6.90/7.07 c
6.90/7.07 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos5.xml
6.90/7.07 c 19 > 0.000000 | c 35 > 15.068500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.219180 | c 15 > 19.252700 | c 34 > 30.137000 | c 16 > 102.000000 | c 13 > 3.121570 | c 14 > 7.179910 | c 11 > 10.941000 | c 12 > 1.853770 | 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 > 13.311000 | c 1 > 7.348730 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.311000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 27.205100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.90/7.08 c choco : 3.04
6.90/7.08 c mistral : 0.9
6.90/7.08 c abscon : 1.9467
6.90/7.08 c
6.90/7.08 c
6.90/7.08 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ws97-5.xml
6.90/7.08 c 19 > 58.459200 | c 35 > 31.284000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 35.075500 | c 15 > 19.950800 | c 34 > 48.836900 | c 16 > 134.000000 | c 13 > 4.497660 | c 14 > 10.391200 | c 11 > 11.696100 | c 12 > 2.707310 | c 21 > 1.411090 | c 20 > 41.540800 | 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.857600 | c 1 > 9.812180 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.700400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.912900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.90/7.08 c choco : 1801.0
6.90/7.08 c mistral : 0.71
6.90/7.08 c abscon : 1800.1
6.90/7.08 c
6.90/7.08 c
6.90/7.08 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-fiber.xml
6.90/7.08 c 19 > 14.511500 | c 35 > 46.867800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 50.000000 | c 15 > 18.156800 | c 34 > 70.301700 | c 16 > 61.000000 | c 13 > 4.784170 | c 14 > 9.487840 | c 11 > 13.202100 | c 12 > 2.118960 | c 21 > 1.350270 | c 20 > 85.488500 | 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 > 13.539900 | c 1 > 11.049200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.527600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.151900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.90/7.09 c choco : 49.37
6.90/7.09 c mistral : 296.002
6.90/7.09 c abscon : 158.523
6.90/7.09 c
6.90/7.09 c
6.90/7.09 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bell5.xml
6.90/7.09 c 19 > 12.605000 | c 35 > 46.554600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.243700 | c 15 > 20.294600 | c 34 > 90.756300 | c 16 > 135.000000 | c 13 > 9.222100 | c 14 > 10.246700 | c 11 > 11.626200 | c 12 > 4.995200 | c 21 > 1.335460 | c 20 > 87.395000 | 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.449700 | c 1 > 10.382600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.445800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.299100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.90/7.09 c choco : 1801.0
6.90/7.09 c mistral : 247.62
6.90/7.09 c abscon : 437.054
6.90/7.09 c
6.90/7.09 c
6.90/7.09 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/sao2-b.xml
6.90/7.09 c 19 > 15.817000 | c 35 > 77.542500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.196100 | c 15 > 18.013800 | c 34 > 84.692800 | c 16 > 98.000000 | c 13 > 4.520700 | c 14 > 7.348730 | c 11 > 8.519640 | c 12 > 5.072470 | c 21 > 1.409450 | c 20 > 84.183000 | 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 > 13.624600 | c 1 > 8.519640 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.610800 | c 6 > 0.000000 | c 32 > -1.000000 | c 5 > 17.580900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.95/7.10 c choco : 3.87
6.95/7.10 c mistral : 0.71
6.95/7.10 c abscon : 2.33864
6.95/7.10 c
6.95/7.10 c
6.95/7.10 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/9symml.xml
6.95/7.10 c 19 > 34.648100 | c 35 > 40.491500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 36.353200 | c 15 > 15.494100 | c 34 > 49.599500 | c 16 > 42.000000 | c 13 > 1.732350 | c 14 > 8.353150 | c 11 > 12.565300 | c 12 > 0.794272 | c 21 > 1.406590 | c 20 > 65.351900 | 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.547600 | c 1 > 9.315150 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.404300 | c 6 > 1.584960 | c 32 > -1.000000 | c 5 > 14.786500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.95/7.10 c choco : 4.07
6.95/7.10 c mistral : 0.25596
6.95/7.10 c abscon : 1.61275
6.95/7.10 c
6.95/7.10 c
6.95/7.10 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2-1.xml
6.95/7.10 c 19 > 0.000000 | c 35 > 33.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 18.000000 | c 15 > 18.319300 | c 34 > 66.000000 | c 16 > 150.000000 | c 13 > 1.599130 | c 14 > 7.592460 | c 11 > 11.148500 | c 12 > 0.825579 | c 21 > 1.345020 | 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 > 11.832500 | c 1 > 8.060700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.832500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.353800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.95/7.11 c choco : 2.64
6.95/7.11 c mistral : 0.55
6.95/7.11 c abscon : 199.342
6.95/7.11 c
6.95/7.11 c
6.95/7.11 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/C432.xml
6.95/7.11 c 19 > 23.144300 | c 35 > 46.345400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 33.077300 | c 15 > 16.116500 | c 34 > 55.701000 | c 16 > 42.000000 | c 13 > 1.926930 | c 14 > 8.451210 | c 11 > 13.121700 | c 12 > 0.800796 | c 21 > 1.409160 | c 20 > 76.855700 | 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 > 13.070300 | c 1 > 9.569860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.993100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.477500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.95/7.11 c choco : 4.43
6.95/7.11 c mistral : 0.366943
6.95/7.11 c abscon : 1.88071
6.95/7.11 c
6.95/7.11 c
6.95/7.11 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos16.xml
6.95/7.11 c 19 > 35.173100 | c 35 > 51.487400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 58.877500 | c 15 > 19.272300 | c 34 > 96.688500 | c 16 > 128.000000 | c 13 > 2.942240 | c 14 > 8.566050 | c 11 > 13.219500 | c 12 > 1.620620 | c 21 > 1.414210 | c 20 > 64.826900 | 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 > 13.243500 | c 1 > 8.857980 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.186400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.230100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.95/7.12 c choco : 5.46
6.95/7.12 c mistral : 1800.03
6.95/7.12 c abscon : 314.036
6.95/7.12 c
6.95/7.12 c
6.95/7.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-6.xml
6.95/7.12 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
6.95/7.12 c choco : 1801.0
6.95/7.12 c mistral : 0.1
6.95/7.12 c abscon : 1800.07
6.95/7.12 c
6.95/7.12 c
6.95/7.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/count-b.xml
6.95/7.12 c 19 > 0.000000 | c 35 > 14.481300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.711820 | c 15 > 18.958200 | c 34 > 16.051900 | c 16 > 78.000000 | c 13 > 4.946530 | c 14 > 8.290020 | c 11 > 8.864190 | c 12 > 5.204420 | 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 > 14.076100 | c 1 > 8.864190 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.076100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.134900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.95/7.13 c choco : 4.36
6.95/7.13 c mistral : 0.934857
6.95/7.13 c abscon : 1.9607
6.95/7.13 c
6.95/7.13 c
6.95/7.13 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_9.xml
6.95/7.13 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
6.95/7.14 c choco : 1801.0
6.95/7.14 c mistral : 94.62
6.95/7.14 c abscon : 251.41
6.95/7.14 c
6.95/7.14 c
6.95/7.14 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml
6.95/7.14 c 19 > 39.091900 | c 35 > 43.768600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 39.854300 | c 15 > 19.496800 | c 34 > 53.144200 | c 16 > 160.000000 | c 13 > 3.581130 | c 14 > 10.985800 | c 11 > 12.007400 | c 12 > 3.551250 | c 21 > 1.397820 | c 20 > 60.908100 | 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.649000 | c 1 > 12.007400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.517500 | c 6 > 6.954200 | c 32 > -1.000000 | c 5 > 18.803500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.95/7.14 c choco : 24.35
6.95/7.14 c mistral : 3.62
6.95/7.14 c abscon : 12.2411
6.95/7.14 c
6.95/7.14 c
6.95/7.14 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_8.xml
6.95/7.14 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
6.95/7.15 c choco : 2.05
6.95/7.15 c mistral : 0.04
6.95/7.15 c abscon : 5.32
6.95/7.15 c
6.95/7.15 c
6.95/7.15 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/c8.xml
6.95/7.15 c 19 > 30.592700 | c 35 > 42.179700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 34.646300 | c 15 > 13.747900 | c 34 > 51.376700 | c 16 > 36.000000 | c 13 > 1.699380 | c 14 > 6.357550 | c 11 > 11.050500 | c 12 > 0.781966 | c 21 > 1.412730 | c 20 > 69.407300 | 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 > 10.996500 | c 1 > 7.894820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.878800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.376300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.95/7.16 c choco : 2.43
6.95/7.16 c mistral : 0.084986
6.95/7.16 c abscon : 1.16082
6.95/7.16 c
6.95/7.16 c
6.95/7.16 c Length: 40
6.95/7.16 c 43.12598699950182 51.92562985495891 51.946624540423215 53.38944572564037 60.5481735605848 60.55777547448139 65.31545289790618 65.3156655886289 71.03807594009778 71.14554135529507 94.26567228640445 94.33259887196473 94.33656776659569 94.34372581725718 102.75868323942996 102.85252209259674 103.34066658110879 103.48686784843522 111.69029489168653 111.89068401006583 113.05878578062787 113.23503711788636 118.90315487015194 119.50342292467079 124.95781673501712 125.81165139894873 127.19022361132596 127.93573955732658 128.20714621757594 129.61945314763753 130.86621933467447 131.06821074979516 131.0764973213575 131.4583446998345 131.50239673172842 131.65020436958804 131.79806060310523 131.8434035158153 132.52283165189914 133.24355691207126
6.95/7.16 c
6.95/7.16 c 1.0 0.9110403274696651 0.9108470047320412 0.8977549954874555 0.8379930629157462 0.8379182476183173 0.8024214089689634 0.802419889320039 0.763516312664091 0.7628217672529131 0.6379677262262579 0.6376656052369503 0.6376476977812536 0.6376154035543836 0.6017857078183659 0.6014088436055781 0.599456006384448 0.5988735892516536 0.5679134325814582 0.5671971558422434 0.5630575589927975 0.5624381884555746 0.5432213891577996 0.5412629013052537 0.5240935420362384 0.5215039537388038 0.5173764798446316 0.515171493165806 0.5143734224542796 0.5102601282605806 0.5066832535524232 0.5061084709735059 0.5060849187228302 0.505001997580266 0.5048773638859074 0.5044596299855703 0.504042449776559 0.5039146517809946 0.5020074300493326 0.5
6.95/7.17 c
6.95/7.17 c solver 0
6.95/7.17 c before 0.0 seconds: {} 0
6.95/7.17 c before 18.0 seconds: {0, 3, 4, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 25, 29, 30, 32, 35, 37, 38, 39} 15310
6.95/7.17 c before 36.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 25, 29, 30, 32, 35, 37, 38, 39} 19499
6.95/7.17 c before 162.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 25, 27, 29, 30, 32, 35, 37, 38, 39} 20015
6.95/7.17 c before 180.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 27, 29, 30, 32, 35, 37, 38, 39} 20539
6.95/7.17 c before 216.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 27, 29, 30, 31, 32, 35, 37, 38, 39} 21045
6.95/7.17 c before 252.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 27, 29, 30, 31, 32, 35, 36, 37, 38, 39} 21549
6.95/7.17 c before 324.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 27, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 22054
6.95/7.17 c before 450.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 22568
6.95/7.17 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, 24, 25, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 23406
6.95/7.17 c
6.95/7.17 c solver 1
6.95/7.17 c before 0.0 seconds: {} 0
6.95/7.17 c before 18.0 seconds: {0, 1, 3, 4, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 34, 35, 37, 38, 39} 19617
6.95/7.17 c before 36.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 34, 35, 37, 38, 39} 21330
6.95/7.18 c before 108.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 22597
6.95/7.18 c before 252.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 23112
6.95/7.18 c before 306.0 seconds: {0, 1, 2, 3, 4, 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, 34, 35, 36, 37, 38, 39} 23627
6.95/7.18 c
6.95/7.18 c solver 2
6.95/7.18 c before 0.0 seconds: {} 0
6.95/7.18 c before 18.0 seconds: {1, 3, 4, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 29, 30, 31, 32, 33, 35, 38, 39} 15489
6.95/7.18 c before 36.0 seconds: {0, 1, 2, 3, 4, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 29, 30, 31, 32, 33, 35, 37, 38, 39} 19430
6.95/7.18 c before 54.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 27, 29, 30, 31, 32, 33, 35, 37, 38, 39} 21550
6.95/7.18 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, 22, 24, 25, 27, 29, 30, 31, 32, 33, 35, 37, 38, 39} 22388
6.95/7.18 c
6.95/7.18 cTotal time: 92
6.95/7.18 c 1656.0 seconds unused
6.95/7.18 c 0 c 2 c 2
6.95/7.18 c 3 c 0 c 5
6.95/7.18 c 0 c 2 c 0
6.95/7.18 c is solver0 dominated by:
6.95/7.18 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)
6.95/7.18 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)
6.95/7.18 c is dominated? false
6.95/7.18 c
6.95/7.18 c is solver1 dominated by:
6.95/7.18 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)
6.95/7.18 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)
6.95/7.18 c is dominated? false
6.95/7.18 c
6.95/7.18 c is solver2 dominated by:
6.95/7.18 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)
6.95/7.18 c is dominated? true
6.95/7.18 c
6.95/7.18 c Number of non-dominated solvers: 2
6.95/7.18 c remove dominated solvers
6.95/7.18 c solver 0 is not dominated by another solver
6.95/7.18 c solver 1 is not dominated by another solver
6.95/7.18 c solver 2 is dominated by another solver
6.95/7.18 c
6.95/7.18 c solver 0: 756.0
6.95/7.18 c
6.95/7.18 c+ 42/59 of 41
6.95/7.18 c
6.95/7.18 c solver 1: 306.0
6.95/7.18 c
6.95/7.18 c+ 17/59 of 41
6.95/7.18 c
6.95/7.18 c solver 2: 0.0
6.95/7.18 c run abscon for 1278.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, 24, 25, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 23406
6.95/7.18 c run mistral for 504.0 seconds {0, 1, 2, 3, 4, 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, 34, 35, 36, 37, 38, 39} 23627
6.95/7.18 c do not run choco
6.95/7.18 c Starting solver: HOME/cpHydra_k_40/solver/abscon
6.95/7.18 c On Instance: HOME/instance-1046544-1215028381.xml
6.95/7.18 c Running for: 1278 seconds
1285.91/1305.25 c Starting solver: HOME/cpHydra_k_40/solver/mistral
1285.91/1305.25 c On Instance: HOME/instance-1046544-1215028381.xml
1285.91/1305.25 c Running for: 504 seconds