0.00/0.00 c cpHydra_k_40 version 0.0
7.71/7.90 c CASE TO CLASSIFY:
7.71/7.90 c Case: 0
7.71/7.90 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.368900 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.958230 | c 14 > 10.001400 | c 11 > 4.392320 | c 12 > 12.245500 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.81/7.91 c choco : 1801.0
7.81/7.91 c mistral : 1801.0
7.81/7.91 c abscon : 1801.0
7.81/7.91 c
7.81/7.91 c
7.81/7.98 c List of same ones: 40
7.81/7.98 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-11_ext.xml
7.81/7.98 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.769500 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.673050 | c 14 > 9.592460 | c 11 > 4.392320 | c 12 > 12.035300 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.81/7.99 c choco : 1801.0
7.81/7.99 c mistral : 29.97
7.81/7.99 c abscon : 16.0
7.81/7.99 c
7.81/7.99 c
7.81/7.99 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-35_ext.xml
7.81/7.99 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.811000 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.650150 | c 14 > 9.607330 | c 11 > 4.392320 | c 12 > 11.817600 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.81/8.00 c choco : 1801.0
7.81/8.00 c mistral : 22.94
7.81/8.00 c abscon : 161.89
7.81/8.00 c
7.81/8.00 c
7.81/8.00 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-6_ext.xml
7.81/8.00 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.712000 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.535540 | c 14 > 9.575540 | c 11 > 4.392320 | c 12 > 11.760200 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.91/8.01 c choco : 1801.0
7.91/8.01 c mistral : 28.26
7.91/8.01 c abscon : 107.14
7.91/8.01 c
7.91/8.01 c
7.91/8.01 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-19_ext.xml
7.91/8.01 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.809800 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.195200 | c 14 > 9.569860 | c 11 > 4.392320 | c 12 > 11.740900 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.91/8.01 c choco : 1801.0
7.91/8.01 c mistral : 23.56
7.91/8.01 c abscon : 118.29
7.91/8.01 c
7.91/8.01 c
7.91/8.01 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-7_ext.xml
7.91/8.01 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.918800 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.011690 | c 14 > 9.675960 | c 11 > 4.392320 | c 12 > 11.861400 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.91/8.02 c choco : 1801.0
7.91/8.03 c mistral : 20.66
7.91/8.03 c abscon : 56.28
7.91/8.03 c
7.91/8.03 c
7.91/8.03 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-24_ext.xml
7.91/8.03 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.751100 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.220840 | c 14 > 9.449150 | c 11 > 4.392320 | c 12 > 11.884800 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.91/8.03 c choco : 1801.0
7.91/8.03 c mistral : 20.71
7.91/8.03 c abscon : 112.94
7.91/8.03 c
7.91/8.03 c
7.91/8.03 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-31_ext.xml
7.91/8.03 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.752300 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.284330 | c 14 > 9.509780 | c 11 > 4.392320 | c 12 > 11.693500 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.91/8.04 c choco : 1801.0
7.91/8.04 c mistral : 34.27
7.91/8.04 c abscon : 150.03
7.91/8.04 c
7.91/8.04 c
7.91/8.04 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-30_ext.xml
7.91/8.04 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.687300 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.194530 | c 14 > 9.485830 | c 11 > 4.392320 | c 12 > 11.890700 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.91/8.05 c choco : 1801.0
7.91/8.05 c mistral : 36.67
7.91/8.05 c abscon : 148.43
7.91/8.05 c
7.91/8.05 c
7.91/8.05 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-34_ext.xml
7.91/8.05 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.911300 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.903150 | c 14 > 9.625710 | c 11 > 4.392320 | c 12 > 12.035900 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.91/8.06 c choco : 1801.0
7.91/8.06 c mistral : 18.89
7.91/8.06 c abscon : 78.43
7.91/8.06 c
7.91/8.06 c
7.91/8.06 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-13_ext.xml
7.91/8.06 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.702300 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.093350 | c 14 > 9.430450 | c 11 > 4.392320 | c 12 > 11.874700 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.91/8.06 c choco : 1801.0
7.91/8.06 c mistral : 37.04
7.91/8.06 c abscon : 151.12
7.91/8.06 c
7.91/8.06 c
7.91/8.07 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-21_ext.xml
7.91/8.07 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.765600 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.882100 | c 14 > 9.509780 | c 11 > 4.392320 | c 12 > 11.946000 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.91/8.07 c choco : 1801.0
7.91/8.07 c mistral : 21.19
7.91/8.07 c abscon : 137.86
7.91/8.07 c
7.91/8.07 c
7.91/8.07 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-9_ext.xml
7.91/8.07 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.827700 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.754500 | c 14 > 9.631180 | c 11 > 4.392320 | c 12 > 12.041800 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.91/8.09 c choco : 1801.0
7.91/8.09 c mistral : 16.52
7.91/8.09 c abscon : 8.65
7.91/8.09 c
7.91/8.09 c
7.91/8.09 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-4_ext.xml
7.91/8.09 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.825200 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.805450 | c 14 > 9.521600 | c 11 > 4.392320 | c 12 > 11.706500 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.91/8.10 c choco : 1801.0
7.91/8.10 c mistral : 27.34
7.91/8.10 c abscon : 38.51
7.91/8.10 c
7.91/8.10 c
7.91/8.10 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-28_ext.xml
7.91/8.10 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.787000 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.807150 | c 14 > 9.539160 | c 11 > 4.392320 | c 12 > 11.722000 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.97/8.10 c choco : 1801.0
7.97/8.10 c mistral : 27.5
7.97/8.10 c abscon : 143.02
7.97/8.10 c
7.97/8.10 c
7.97/8.10 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-33_ext.xml
7.97/8.10 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.718800 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.725730 | c 14 > 9.383700 | c 11 > 4.392320 | c 12 > 11.800700 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.97/8.11 c choco : 1801.0
7.97/8.11 c mistral : 33.98
7.97/8.11 c abscon : 137.92
7.97/8.11 c
7.97/8.11 c
7.97/8.11 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-16_ext.xml
7.97/8.11 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.697700 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.711320 | c 14 > 9.392320 | c 11 > 4.392320 | c 12 > 11.801000 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.97/8.11 c choco : 1801.0
7.97/8.11 c mistral : 28.09
7.97/8.11 c abscon : 110.49
7.97/8.11 c
7.97/8.11 c
7.97/8.11 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-2_ext.xml
7.97/8.11 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.797900 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.643850 | c 14 > 9.517670 | c 11 > 4.392320 | c 12 > 11.696800 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.97/8.12 c choco : 1801.0
7.97/8.12 c mistral : 21.48
7.97/8.12 c abscon : 18.4
7.97/8.12 c
7.97/8.12 c
7.97/8.12 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-12_ext.xml
7.97/8.12 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.797500 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.534380 | c 14 > 9.491850 | c 11 > 4.392320 | c 12 > 11.914300 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.97/8.13 c choco : 1801.0
7.97/8.13 c mistral : 34.95
7.97/8.13 c abscon : 147.12
7.97/8.13 c
7.97/8.13 c
7.97/8.13 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-15_ext.xml
7.97/8.13 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.715100 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.575040 | c 14 > 9.487840 | c 11 > 4.392320 | c 12 > 11.684100 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.97/8.14 c choco : 1801.0
7.97/8.14 c mistral : 32.7
7.97/8.14 c abscon : 130.24
7.97/8.14 c
7.97/8.14 c
7.97/8.14 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-29_ext.xml
7.97/8.14 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.776200 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.405220 | c 14 > 9.541100 | c 11 > 4.392320 | c 12 > 11.695400 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.97/8.15 c choco : 1801.0
7.97/8.15 c mistral : 35.56
7.97/8.15 c abscon : 158.55
7.97/8.15 c
7.97/8.15 c
7.97/8.15 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-22_ext.xml
7.97/8.15 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.781400 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.387060 | c 14 > 9.440870 | c 11 > 4.392320 | c 12 > 11.638700 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.97/8.15 c choco : 1801.0
7.97/8.15 c mistral : 33.88
7.97/8.16 c abscon : 115.38
7.97/8.16 c
7.97/8.16 c
7.97/8.16 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-14_ext.xml
7.97/8.16 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.697000 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.263060 | c 14 > 9.339850 | c 11 > 4.392320 | c 12 > 11.548700 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.97/8.16 c choco : 1801.0
7.97/8.16 c mistral : 32.33
7.97/8.16 c abscon : 142.55
7.97/8.16 c
7.97/8.16 c
7.97/8.16 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-10_ext.xml
7.97/8.16 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.491400 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 5.188470 | c 14 > 5.357550 | c 11 > 4.392320 | c 12 > 10.999400 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.405700 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.97/8.17 c choco : 1801.0
7.97/8.17 c mistral : 29.76
7.97/8.17 c abscon : 130.69
7.97/8.17 c
7.97/8.17 c
7.97/8.17 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-11_ext.xml
7.97/8.17 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.731600 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 5.001810 | c 14 > 5.426260 | c 11 > 4.392320 | c 12 > 10.983700 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.405700 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.97/8.17 c choco : 1801.0
7.97/8.17 c mistral : 44.36
7.97/8.17 c abscon : 136.25
7.97/8.17 c
7.97/8.17 c
7.97/8.17 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-15_ext.xml
7.97/8.17 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.609700 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 5.005690 | c 14 > 5.426260 | c 11 > 4.392320 | c 12 > 10.983200 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.405700 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.97/8.18 c choco : 1801.0
7.97/8.18 c mistral : 37.68
7.97/8.18 c abscon : 146.81
7.97/8.18 c
7.97/8.18 c
7.97/8.18 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-20_ext.xml
7.97/8.18 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.644200 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 4.976840 | c 14 > 5.392320 | c 11 > 4.392320 | c 12 > 10.978600 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.405700 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.97/8.18 c choco : 1801.0
7.97/8.18 c mistral : 29.29
7.97/8.18 c abscon : 150.43
7.97/8.18 c
7.97/8.18 c
7.97/8.18 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-16_ext.xml
7.97/8.18 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.577100 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 5.160970 | c 14 > 5.247930 | c 11 > 4.392320 | c 12 > 10.977100 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.405700 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.97/8.19 c choco : 1801.0
7.97/8.19 c mistral : 44.04
7.97/8.19 c abscon : 167.25
7.97/8.19 c
7.97/8.19 c
7.97/8.19 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-33_ext.xml
7.97/8.19 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.648900 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 4.880870 | c 14 > 5.426260 | c 11 > 4.392320 | c 12 > 10.993800 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.405700 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.97/8.19 c choco : 1801.0
7.97/8.19 c mistral : 37.85
7.97/8.19 c abscon : 161.72
7.97/8.19 c
7.97/8.19 c
7.97/8.19 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-19_ext.xml
7.97/8.19 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.548500 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 5.048550 | c 14 > 5.285400 | c 11 > 4.392320 | c 12 > 10.977600 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.405700 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.20 c choco : 1801.0
8.04/8.20 c mistral : 47.62
8.04/8.20 c abscon : 61.28
8.04/8.20 c
8.04/8.20 c
8.04/8.20 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-18_ext.xml
8.04/8.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.575200 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 4.895240 | c 14 > 5.392320 | c 11 > 4.392320 | c 12 > 10.986200 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.405700 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.20 c choco : 1801.0
8.04/8.20 c mistral : 34.0
8.04/8.20 c abscon : 130.79
8.04/8.20 c
8.04/8.20 c
8.04/8.20 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-29_ext.xml
8.04/8.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.602500 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 4.869310 | c 14 > 5.392320 | c 11 > 4.392320 | c 12 > 11.003400 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.405700 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.21 c choco : 1801.0
8.04/8.21 c mistral : 44.98
8.04/8.21 c abscon : 141.69
8.04/8.21 c
8.04/8.21 c
8.04/8.21 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-7_ext.xml
8.04/8.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.534300 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 4.911120 | c 14 > 5.357550 | c 11 > 4.392320 | c 12 > 11.002400 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.405700 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.22 c choco : 1801.0
8.04/8.22 c mistral : 33.46
8.04/8.22 c abscon : 133.76
8.04/8.22 c
8.04/8.22 c
8.04/8.22 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-21_ext.xml
8.04/8.22 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.525200 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 4.955110 | c 14 > 5.321930 | c 11 > 4.392320 | c 12 > 10.982200 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.405700 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.22 c choco : 1801.0
8.04/8.22 c mistral : 43.47
8.04/8.22 c abscon : 128.42
8.04/8.22 c
8.04/8.22 c
8.04/8.22 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-14_ext.xml
8.04/8.22 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.623500 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 4.866410 | c 14 > 5.357550 | c 11 > 4.392320 | c 12 > 10.982200 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.405700 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.23 c choco : 1801.0
8.04/8.23 c mistral : 40.68
8.04/8.23 c abscon : 145.94
8.04/8.23 c
8.04/8.23 c
8.04/8.23 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-27_ext.xml
8.04/8.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.391000 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 5.120350 | c 14 > 5.087460 | c 11 > 4.392320 | c 12 > 10.973500 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.405700 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.24 c choco : 1801.0
8.04/8.24 c mistral : 43.03
8.04/8.24 c abscon : 153.76
8.04/8.24 c
8.04/8.24 c
8.04/8.24 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-32_ext.xml
8.04/8.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.538600 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 4.789550 | c 14 > 5.321930 | c 11 > 4.392320 | c 12 > 10.982200 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.405700 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.24 c choco : 1801.0
8.04/8.24 c mistral : 22.86
8.04/8.24 c abscon : 27.98
8.04/8.24 c
8.04/8.24 c
8.04/8.24 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-12_ext.xml
8.04/8.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.513100 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 4.815570 | c 14 > 5.285400 | c 11 > 4.392320 | c 12 > 10.995900 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.405700 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.25 c choco : 1801.0
8.04/8.25 c mistral : 33.62
8.04/8.25 c abscon : 137.32
8.04/8.25 c
8.04/8.25 c
8.04/8.25 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-25_ext.xml
8.04/8.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.317800 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 5.049470 | c 14 > 5.129280 | c 11 > 4.392320 | c 12 > 10.960600 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.405700 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.25 c choco : 1801.0
8.04/8.25 c mistral : 32.74
8.04/8.25 c abscon : 167.36
8.04/8.25 c
8.04/8.25 c
8.04/8.25 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-17_ext.xml
8.04/8.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.325700 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 5.013900 | c 14 > 5.129280 | c 11 > 4.392320 | c 12 > 10.973500 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.405700 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.26 c choco : 1801.0
8.04/8.26 c mistral : 29.96
8.04/8.26 c abscon : 131.53
8.04/8.26 c
8.04/8.26 c
8.04/8.26 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-34_ext.xml
8.04/8.26 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.392200 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 4.879470 | c 14 > 5.169930 | c 11 > 4.392320 | c 12 > 10.968400 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.405700 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.26 c choco : 1801.0
8.04/8.26 c mistral : 32.63
8.04/8.26 c abscon : 34.2
8.04/8.26 c
8.04/8.26 c
8.04/8.27 c Length: 40
8.04/8.27 c 0.8074800034675775 0.862876162204056 1.013438343314482 1.1557056383439521 1.162743301507259 1.16640704927568 1.1750451031343427 1.1997965306250886 1.2278708004102061 1.2867981647873143 1.3614026374662282 1.3857921529940918 1.4646639404313884 1.4667347558437422 1.587792993434597 1.6043231234698327 1.6089444326327753 1.6502064795049145 1.7086786853296905 1.8104196889395572 1.8697945180687634 2.0611233785001812 8.125598988166965 8.155342417237918 8.163970760457193 8.194599725117756 8.196133266663006 8.219980392653014 8.230008168209798 8.239748572796382 8.247376598603948 8.253026785428483 8.255684100769601 8.269584993293194 8.329259018928395 8.335874973852475 8.343999991131351 8.34852630279141 8.362278209895914 8.395860109297915
8.04/8.27 c
8.04/8.27 c 1.0 0.9927527760076822 0.973575904962001 0.9561241107025977 0.9552770334747651 0.9548366460538642 0.9537999458049562 0.9508418193048602 0.947508699893379 0.9405879910914099 0.9319697815595733 0.9291864892855274 0.9202984861250181 0.9200674176645687 0.9067580826498606 0.9049705537298759 0.9044720762319078 0.9000455672272316 0.8938464787948487 0.8832612788448014 0.8771989347430931 0.8582175926420121 0.5090652110696686 0.5080514792038349 0.5077581583330245 0.5067196549864346 0.5066677705028009 0.5058623131056653 0.5055243806070434 0.5051965644053612 0.5049401376368196 0.5047503664523414 0.504661165283107 0.5041950513622039 0.5022038513901445 0.5019840586084998 0.5017143953958701 0.5015642961351919 0.5011088127838664 0.5
8.04/8.28 c
8.04/8.28 c solver 0
8.04/8.28 c before 0.0 seconds: {} 0
8.04/8.28 c before 18.0 seconds: {0, 11} 1929
8.04/8.28 c before 36.0 seconds: {0, 11, 16, 35, 39} 3835
8.04/8.28 c before 54.0 seconds: {0, 11, 12, 16, 35, 39} 4755
8.04/8.28 c before 72.0 seconds: {0, 4, 11, 12, 16, 28, 35, 39} 6216
8.04/8.28 c before 90.0 seconds: {0, 4, 8, 11, 12, 16, 28, 35, 39} 7164
8.04/8.28 c before 108.0 seconds: {0, 2, 4, 8, 11, 12, 16, 28, 35, 39} 8137
8.04/8.28 c before 126.0 seconds: {0, 2, 3, 4, 5, 8, 11, 12, 15, 16, 20, 28, 35, 39} 11830
8.04/8.28 c before 144.0 seconds: {0, 2, 3, 4, 5, 8, 10, 11, 12, 13, 14, 15, 16, 18, 20, 21, 22, 23, 28, 29, 30, 31, 32, 35, 36, 38, 39} 20381
8.04/8.28 c before 162.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, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 28529
8.04/8.28 c before 180.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 29537
8.04/8.28 c
8.04/8.28 c solver 1
8.04/8.28 c before 0.0 seconds: {} 0
8.04/8.28 c before 18.0 seconds: {11} 929
8.04/8.28 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 25, 29, 31, 35, 36, 37, 38, 39} 23096
8.04/8.28 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 29537
8.04/8.28 c
8.04/8.28 c solver 2
8.04/8.28 c before 0.0 seconds: {} 0
8.04/8.28 c
8.04/8.28 cTotal time: 13
8.04/8.28 c 234.0 seconds unused
8.04/8.28 c 0 c 0 c 40
8.04/8.28 c 0 c 0 c 40
8.04/8.28 c 0 c 0 c 0
8.04/8.28 c is solver0 dominated by:
8.04/8.28 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
8.04/8.28 c is dominated? true
8.04/8.28 c
8.04/8.28 c is solver1 dominated by:
8.04/8.28 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
8.04/8.28 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
8.04/8.28 c is dominated? false
8.04/8.28 c
8.04/8.28 c is solver2 dominated by:
8.04/8.28 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)
8.04/8.28 c is dominated? true
8.04/8.28 c
8.04/8.28 c Number of non-dominated solvers: 1
8.04/8.28 c remove dominated solvers
8.04/8.28 c solver 1 is not dominated by another solver
8.04/8.28 c solver 2 is dominated by another solver
8.04/8.28 c solver 0 is dominated by another solver
8.04/8.28 c
8.04/8.28 c solver 0: 0.0
8.04/8.29 c
8.04/8.29 c solver 1: 54.0
8.04/8.29 c
8.04/8.29 c+ 3/3 of 97
8.04/8.29 c
8.04/8.29 c solver 2: 0.0
8.04/8.29 c do not run abscon
8.04/8.29 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 29537
8.04/8.29 c do not run choco
8.04/8.29 c Starting solver: HOME/cpHydra_k_40/solver/mistral
8.04/8.29 c On Instance: HOME/instance-1052528-1215056879.xml
8.04/8.29 c Running for: 1800 seconds
23.21/23.57 c mistral-prime version 1.313
23.21/23.57 s UNSATISFIABLE
23.21/23.57 d CHECKS 1682158
23.21/23.57 d ASSIGNMENTS 10147