0.18/0.21 c cpHydra_k_40 version 0.0
7.52/7.61 c CASE TO CLASSIFY:
7.52/7.61 c Case: 0
7.52/7.61 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.417200 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 9.699380 | c 14 > 10.058000 | c 11 > 4.392320 | c 12 > 12.546200 | 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.52/7.62 c choco : 1801.0
7.52/7.62 c mistral : 1801.0
7.52/7.62 c abscon : 1801.0
7.52/7.62 c
7.52/7.62 c
7.52/7.69 c List of same ones: 40
7.52/7.69 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-11_ext.xml
7.52/7.69 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.52/7.70 c choco : 1801.0
7.52/7.70 c mistral : 29.97
7.52/7.70 c abscon : 16.0
7.52/7.70 c
7.52/7.70 c
7.52/7.70 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-35_ext.xml
7.52/7.70 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.61/7.70 c choco : 1801.0
7.61/7.71 c mistral : 22.94
7.61/7.71 c abscon : 161.89
7.61/7.71 c
7.61/7.71 c
7.61/7.71 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-6_ext.xml
7.61/7.71 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.61/7.71 c choco : 1801.0
7.61/7.71 c mistral : 28.26
7.61/7.71 c abscon : 107.14
7.61/7.72 c
7.61/7.72 c
7.61/7.72 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-24_ext.xml
7.61/7.72 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.61/7.72 c choco : 1801.0
7.61/7.72 c mistral : 20.71
7.61/7.72 c abscon : 112.94
7.61/7.72 c
7.61/7.72 c
7.61/7.72 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-31_ext.xml
7.61/7.72 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.61/7.73 c choco : 1801.0
7.61/7.73 c mistral : 34.27
7.61/7.73 c abscon : 150.03
7.61/7.73 c
7.61/7.73 c
7.61/7.73 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-19_ext.xml
7.61/7.73 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.61/7.74 c choco : 1801.0
7.61/7.74 c mistral : 23.56
7.61/7.74 c abscon : 118.29
7.61/7.74 c
7.61/7.74 c
7.61/7.74 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-30_ext.xml
7.61/7.74 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.61/7.75 c choco : 1801.0
7.61/7.75 c mistral : 36.67
7.61/7.75 c abscon : 148.43
7.61/7.75 c
7.61/7.75 c
7.61/7.75 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-7_ext.xml
7.61/7.75 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.61/7.76 c choco : 1801.0
7.61/7.76 c mistral : 20.66
7.61/7.76 c abscon : 56.28
7.61/7.76 c
7.61/7.76 c
7.61/7.76 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-34_ext.xml
7.61/7.76 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.61/7.77 c choco : 1801.0
7.61/7.77 c mistral : 18.89
7.61/7.77 c abscon : 78.43
7.61/7.77 c
7.61/7.77 c
7.61/7.77 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-13_ext.xml
7.61/7.77 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.61/7.77 c choco : 1801.0
7.61/7.77 c mistral : 37.04
7.61/7.77 c abscon : 151.12
7.61/7.77 c
7.61/7.77 c
7.61/7.77 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-21_ext.xml
7.61/7.77 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.61/7.78 c choco : 1801.0
7.61/7.78 c mistral : 21.19
7.61/7.78 c abscon : 137.86
7.61/7.78 c
7.61/7.78 c
7.61/7.78 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-9_ext.xml
7.61/7.78 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.61/7.80 c choco : 1801.0
7.61/7.80 c mistral : 16.52
7.61/7.80 c abscon : 8.65
7.61/7.80 c
7.61/7.80 c
7.61/7.80 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-28_ext.xml
7.61/7.80 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.68/7.81 c choco : 1801.0
7.68/7.81 c mistral : 27.5
7.68/7.81 c abscon : 143.02
7.68/7.81 c
7.68/7.81 c
7.68/7.81 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-4_ext.xml
7.68/7.81 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.68/7.81 c choco : 1801.0
7.68/7.81 c mistral : 27.34
7.68/7.81 c abscon : 38.51
7.68/7.81 c
7.68/7.81 c
7.68/7.81 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-33_ext.xml
7.68/7.81 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.68/7.82 c choco : 1801.0
7.68/7.82 c mistral : 33.98
7.68/7.82 c abscon : 137.92
7.68/7.82 c
7.68/7.82 c
7.68/7.82 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-16_ext.xml
7.68/7.82 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.68/7.82 c choco : 1801.0
7.68/7.82 c mistral : 28.09
7.68/7.82 c abscon : 110.49
7.68/7.82 c
7.68/7.82 c
7.68/7.82 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-2_ext.xml
7.68/7.82 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.68/7.83 c choco : 1801.0
7.68/7.83 c mistral : 21.48
7.68/7.83 c abscon : 18.4
7.68/7.83 c
7.68/7.83 c
7.68/7.83 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-12_ext.xml
7.68/7.83 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.68/7.84 c choco : 1801.0
7.68/7.84 c mistral : 34.95
7.68/7.84 c abscon : 147.12
7.68/7.84 c
7.68/7.84 c
7.68/7.84 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-15_ext.xml
7.68/7.84 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.68/7.85 c choco : 1801.0
7.68/7.85 c mistral : 32.7
7.68/7.85 c abscon : 130.24
7.68/7.85 c
7.68/7.85 c
7.68/7.85 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-29_ext.xml
7.68/7.85 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.68/7.86 c choco : 1801.0
7.68/7.86 c mistral : 35.56
7.68/7.86 c abscon : 158.55
7.68/7.86 c
7.68/7.86 c
7.68/7.86 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-22_ext.xml
7.68/7.86 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.68/7.86 c choco : 1801.0
7.68/7.86 c mistral : 33.88
7.68/7.86 c abscon : 115.38
7.68/7.86 c
7.68/7.86 c
7.68/7.86 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-14_ext.xml
7.68/7.86 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.68/7.87 c choco : 1801.0
7.68/7.87 c mistral : 32.33
7.68/7.87 c abscon : 142.55
7.68/7.87 c
7.68/7.87 c
7.68/7.87 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-10_ext.xml
7.68/7.87 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.68/7.87 c choco : 1801.0
7.68/7.87 c mistral : 29.76
7.68/7.87 c abscon : 130.69
7.68/7.87 c
7.68/7.87 c
7.68/7.87 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-11_ext.xml
7.68/7.87 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.68/7.88 c choco : 1801.0
7.68/7.88 c mistral : 44.36
7.68/7.88 c abscon : 136.25
7.68/7.88 c
7.68/7.88 c
7.68/7.88 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-15_ext.xml
7.68/7.88 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.68/7.88 c choco : 1801.0
7.68/7.88 c mistral : 37.68
7.68/7.88 c abscon : 146.81
7.68/7.88 c
7.68/7.88 c
7.68/7.88 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-16_ext.xml
7.68/7.88 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.68/7.89 c choco : 1801.0
7.68/7.89 c mistral : 44.04
7.68/7.89 c abscon : 167.25
7.68/7.89 c
7.68/7.89 c
7.68/7.89 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-20_ext.xml
7.68/7.89 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.68/7.90 c choco : 1801.0
7.68/7.90 c mistral : 29.29
7.68/7.90 c abscon : 150.43
7.68/7.90 c
7.68/7.90 c
7.68/7.90 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-19_ext.xml
7.68/7.90 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
7.75/7.90 c choco : 1801.0
7.75/7.90 c mistral : 47.62
7.75/7.90 c abscon : 61.28
7.75/7.90 c
7.75/7.90 c
7.75/7.90 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-33_ext.xml
7.75/7.90 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.75/7.91 c choco : 1801.0
7.75/7.91 c mistral : 37.85
7.75/7.91 c abscon : 161.72
7.75/7.91 c
7.75/7.91 c
7.75/7.91 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-18_ext.xml
7.75/7.91 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
7.75/7.91 c choco : 1801.0
7.75/7.91 c mistral : 34.0
7.75/7.91 c abscon : 130.79
7.75/7.91 c
7.75/7.91 c
7.75/7.91 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-29_ext.xml
7.75/7.91 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
7.75/7.92 c choco : 1801.0
7.75/7.92 c mistral : 44.98
7.75/7.92 c abscon : 141.69
7.75/7.92 c
7.75/7.92 c
7.75/7.92 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-21_ext.xml
7.75/7.92 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
7.75/7.92 c choco : 1801.0
7.75/7.92 c mistral : 43.47
7.75/7.92 c abscon : 128.42
7.75/7.92 c
7.75/7.92 c
7.75/7.92 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-7_ext.xml
7.75/7.92 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
7.75/7.93 c choco : 1801.0
7.75/7.93 c mistral : 33.46
7.75/7.93 c abscon : 133.76
7.75/7.93 c
7.75/7.93 c
7.75/7.93 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-14_ext.xml
7.75/7.93 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
7.75/7.94 c choco : 1801.0
7.75/7.94 c mistral : 40.68
7.75/7.94 c abscon : 145.94
7.75/7.94 c
7.75/7.94 c
7.75/7.94 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-27_ext.xml
7.75/7.94 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
7.75/7.94 c choco : 1801.0
7.75/7.94 c mistral : 43.03
7.75/7.94 c abscon : 153.76
7.75/7.94 c
7.75/7.94 c
7.75/7.94 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-25_ext.xml
7.75/7.94 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
7.75/7.95 c choco : 1801.0
7.75/7.95 c mistral : 32.74
7.75/7.95 c abscon : 167.36
7.75/7.95 c
7.75/7.95 c
7.75/7.95 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-32_ext.xml
7.75/7.95 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
7.75/7.95 c choco : 1801.0
7.75/7.95 c mistral : 22.86
7.75/7.95 c abscon : 27.98
7.75/7.95 c
7.75/7.95 c
7.75/7.95 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-12_ext.xml
7.75/7.95 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
7.75/7.96 c choco : 1801.0
7.75/7.96 c mistral : 33.62
7.75/7.96 c abscon : 137.32
7.75/7.96 c
7.75/7.96 c
7.75/7.96 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-17_ext.xml
7.75/7.96 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
7.75/7.96 c choco : 1801.0
7.75/7.96 c mistral : 29.96
7.75/7.96 c abscon : 131.53
7.75/7.96 c
7.75/7.96 c
7.75/7.96 c /home/ehebrard/new_instances/competition_4c/data/bddLarge/bdd-21-2713-15-79-4_ext.xml
7.75/7.96 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.312600 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 8.742080 | c 14 > 3.584960 | c 11 > 4.392320 | c 12 > 10.820700 | 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.75/7.97 c choco : 17.6
7.75/7.97 c mistral : 1.91
7.75/7.97 c abscon : 13.88
7.75/7.97 c
7.75/7.97 c
7.75/7.97 c Length: 40
7.75/7.97 c 1.3966441423999172 1.4840227228044731 1.6438960542564742 1.8541623510631418 1.8633574458219222 1.8757081281478745 1.885308009689663 1.926552801690107 1.9823364389023372 1.98372014745024 2.0947253678704523 2.136975230740871 2.2195015202743167 2.220417955003067 2.322392650371594 2.33848577417097 2.3711121736012415 2.4064655664480226 2.464561559628811 2.5816849838041827 2.637322716183971 2.822248900238957 8.580115925032716 8.62309614459331 8.631623292874869 8.65031419830517 8.663256134410432 8.691906020850663 8.694678767734896 8.713039032300957 8.721712456490412 8.723896552240863 8.724141737529257 8.743800037157756 8.78216428557904 8.806980512235734 8.81368128594403 8.819086798104438 8.822523187002684 8.840221474488068
7.75/7.98 c
7.75/7.98 c 1.0 0.9883974117735029 0.9678510724898451 0.9420943328297338 0.9409992217824615 0.9395322889767269 0.938395233452045 0.9335411562943516 0.9270553458041949 0.9268956110537935 0.9142581059454478 0.9095381998052543 0.9004580079870821 0.9003581923416766 0.8893879237512087 0.887681028720169 0.8842405820891731 0.8805425541631898 0.8745323296692884 0.8626615736636979 0.8571347289587448 0.8392631086627353 0.5088912516603769 0.5074003031946013 0.5071055414018741 0.5064606409339629 0.5060150599077513 0.5050314496114238 0.5049364583457199 0.504308356420808 0.5040121830002847 0.5039376569996268 0.5039292921311 0.5032595218861531 0.5019575428985432 0.501118929425584 0.5008929707646866 0.5007108384221528 0.5005951222101545 0.5
7.75/7.99 c
7.75/7.99 c solver 0
7.75/7.99 c before 0.0 seconds: {} 0
7.75/7.99 c before 18.0 seconds: {0, 11, 39} 2409
7.75/7.99 c before 36.0 seconds: {0, 11, 16, 36, 39} 3794
7.75/7.99 c before 54.0 seconds: {0, 11, 13, 16, 36, 39} 4695
7.75/7.99 c before 72.0 seconds: {0, 7, 11, 13, 16, 27, 36, 39} 6133
7.75/7.99 c before 90.0 seconds: {0, 7, 8, 11, 13, 16, 27, 36, 39} 7060
7.75/7.99 c before 108.0 seconds: {0, 2, 7, 8, 11, 13, 16, 27, 36, 39} 8028
7.75/7.99 c before 126.0 seconds: {0, 2, 3, 5, 7, 8, 11, 13, 15, 16, 20, 27, 36, 39} 11654
7.75/7.99 c before 144.0 seconds: {0, 2, 3, 5, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 20, 21, 22, 23, 27, 29, 30, 31, 32, 36, 37, 38, 39} 20106
7.75/7.99 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, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 28167
7.75/7.99 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} 29175
7.75/7.99 c
7.75/7.99 c solver 1
7.75/7.99 c before 0.0 seconds: {} 0
7.75/7.99 c before 18.0 seconds: {11, 39} 1409
7.75/7.99 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 26, 29, 32, 35, 36, 37, 38, 39} 22765
7.75/7.99 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} 29175
7.75/7.99 c
7.75/7.99 c solver 2
7.75/7.99 c before 0.0 seconds: {} 0
7.75/7.99 c before 18.0 seconds: {39} 500
7.75/7.99 c
7.75/7.99 cTotal time: 14
7.75/7.99 c 252.0 seconds unused
7.75/7.99 c 0 c 0 c 39
7.75/7.99 c 0 c 0 c 39
7.75/7.99 c 0 c 0 c 0
7.75/7.99 c is solver0 dominated by:
7.75/7.99 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)
7.75/7.99 c is dominated? true
7.75/7.99 c
7.75/7.99 c is solver1 dominated by:
7.75/7.99 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)
7.75/7.99 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)
7.75/7.99 c is dominated? false
7.75/7.99 c
7.75/7.99 c is solver2 dominated by:
7.75/7.99 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.75/7.99 c is dominated? true
7.75/7.99 c
7.75/7.99 c Number of non-dominated solvers: 1
7.75/7.99 c remove dominated solvers
7.75/7.99 c solver 1 is not dominated by another solver
7.75/7.99 c solver 2 is dominated by another solver
7.75/7.99 c solver 0 is dominated by another solver
7.75/7.99 c
7.75/7.99 c solver 0: 0.0
7.75/7.99 c
7.75/7.99 c solver 1: 54.0
7.75/7.99 c
7.75/7.99 c+ 3/3 of 97
7.75/7.99 c
7.75/7.99 c solver 2: 0.0
7.75/7.99 c do not run abscon
7.75/7.99 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} 29175
7.75/7.99 c do not run choco
7.75/7.99 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.75/7.99 c On Instance: HOME/instance-1052436-1215056778.xml
7.75/7.99 c Running for: 1800 seconds
22.62/22.94 c mistral-prime version 1.313
22.62/22.94 s SATISFIABLE
22.62/22.94 v 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
22.62/22.94 d CHECKS 1645513
22.62/22.94 d ASSIGNMENTS 10143