0.00/0.00 c cpHydra_k_40 version 0.0
7.19/7.32 c CASE TO CLASSIFY:
7.19/7.32 c Case: 0
7.19/7.32 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 23.410500 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 10.285500 | c 14 > 12.914400 | c 11 > 8.965780 | c 12 > 8.419770 | c 21 > 10.611300 | c 20 > 100.000000 | c 22 > 11.225000 | 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 > 5.643860 | c 10 > 10.234800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 8.813780 | c 32 > -1.000000 | c 5 > 15.913100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.19/7.33 c choco : 1801.0
7.19/7.33 c mistral : 1801.0
7.19/7.33 c abscon : 1801.0
7.19/7.33 c
7.19/7.33 c
7.30/7.41 c List of same ones: 40
7.30/7.41 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr2/e0ddr2-10-by-5-2.xml
7.30/7.41 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 22.209200 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 8.686060 | c 14 > 11.558400 | c 11 > 8.965780 | c 12 > 7.481880 | c 21 > 10.986400 | c 20 > 100.000000 | c 22 > 11.269400 | 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 > 5.643860 | c 10 > 10.234800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 8.813780 | c 32 > -1.000000 | c 5 > 16.011900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.42 c choco : 3.13
7.30/7.42 c mistral : 0.52192
7.30/7.42 c abscon : 1.86072
7.30/7.42 c
7.30/7.42 c
7.30/7.42 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-enddr1/enddr1-10-by-5-7.xml
7.30/7.42 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 20.528100 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 6.882390 | c 14 > 10.253800 | c 11 > 8.965780 | c 12 > 5.024850 | c 21 > 10.788900 | c 20 > 100.000000 | c 22 > 11.269400 | 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 > 5.643860 | c 10 > 10.234800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 8.813780 | c 32 > -1.000000 | c 5 > 15.960300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.43 c choco : 2.69
7.30/7.43 c mistral : 0.035993
7.30/7.43 c abscon : 1.71674
7.30/7.43 c
7.30/7.43 c
7.30/7.43 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr2/e0ddr2-10-by-5-3.xml
7.30/7.43 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 20.327500 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 5.544230 | c 14 > 9.682990 | c 11 > 8.965780 | c 12 > 4.220640 | c 21 > 11.135500 | c 20 > 100.000000 | c 22 > 11.532600 | 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 > 5.643860 | c 10 > 10.234800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 8.813780 | c 32 > -1.000000 | c 5 > 16.050300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.44 c choco : 2.78
7.30/7.44 c mistral : 0.035994
7.30/7.44 c abscon : 1.9947
7.30/7.44 c
7.30/7.44 c
7.30/7.44 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-enddr1/enddr1-10-by-5-10.xml
7.30/7.44 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 18.884900 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 6.329420 | c 14 > 9.308340 | c 11 > 8.965780 | c 12 > 3.990590 | c 21 > 10.733100 | c 20 > 100.000000 | c 22 > 11.180300 | 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 > 5.643860 | c 10 > 10.234800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 8.813780 | c 32 > -1.000000 | c 5 > 15.945500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.45 c choco : 2.72
7.30/7.45 c mistral : 0.037993
7.30/7.45 c abscon : 1.85272
7.30/7.45 c
7.30/7.45 c
7.30/7.45 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr1/e0ddr1-10-by-5-3.xml
7.30/7.45 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 19.327300 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 5.153150 | c 14 > 9.164910 | c 11 > 8.965780 | c 12 > 3.553850 | c 21 > 10.411500 | c 20 > 100.000000 | c 22 > 10.677100 | 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 > 5.643860 | c 10 > 10.234800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 8.813780 | c 32 > -1.000000 | c 5 > 15.859000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.46 c choco : 3.0
7.30/7.46 c mistral : 0.043992
7.30/7.46 c abscon : 3.2725
7.30/7.46 c
7.30/7.46 c
7.30/7.46 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr1/e0ddr1-10-by-5-10.xml
7.30/7.46 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 19.285700 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 4.487930 | c 14 > 9.199670 | c 11 > 8.965780 | c 12 > 3.115700 | c 21 > 10.521400 | c 20 > 100.000000 | c 22 > 10.908700 | 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 > 5.643860 | c 10 > 10.234800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 8.813780 | c 32 > -1.000000 | c 5 > 15.888900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.47 c choco : 2.82
7.30/7.47 c mistral : 0.075987
7.30/7.47 c abscon : 1.78973
7.30/7.47 c
7.30/7.47 c
7.30/7.47 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr2/e0ddr2-10-by-5-8.xml
7.30/7.47 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 17.599600 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 4.741760 | c 14 > 8.511750 | c 11 > 8.965780 | c 12 > 3.088820 | c 21 > 11.117600 | c 20 > 100.000000 | c 22 > 11.489100 | 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 > 5.643860 | c 10 > 10.234800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 8.813780 | c 32 > -1.000000 | c 5 > 16.045700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.47 c choco : 2.79
7.30/7.47 c mistral : 0.05
7.30/7.47 c abscon : 2.00069
7.30/7.47 c
7.30/7.47 c
7.30/7.47 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-5/os-taillard-5-100-1.xml
7.30/7.47 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 20.082600 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 7.342920 | c 14 > 10.872700 | c 11 > 7.813780 | c 12 > 6.053880 | c 21 > 14.752600 | c 20 > 100.000000 | c 22 > 16.186400 | 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 > 4.643860 | c 10 > 8.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.643860 | c 6 > 7.643860 | c 32 > -1.000000 | c 5 > 15.591300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.48 c choco : 2.04
7.30/7.48 c mistral : 0.024995
7.30/7.48 c abscon : 2.34064
7.30/7.48 c
7.30/7.48 c
7.30/7.48 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-5/os-taillard-5-100-7.xml
7.30/7.48 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 23.108500 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 12.012700 | c 14 > 14.459900 | c 11 > 7.813780 | c 12 > 10.463700 | c 21 > 15.746700 | c 20 > 100.000000 | c 22 > 17.233700 | 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 > 4.643860 | c 10 > 8.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.643860 | c 6 > 7.643860 | c 32 > -1.000000 | c 5 > 15.778100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.49 c choco : 1.87
7.30/7.49 c mistral : 0.100984
7.30/7.49 c abscon : 176.43
7.30/7.49 c
7.30/7.49 c
7.30/7.49 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr2/e0ddr2-10-by-5-9.xml
7.30/7.49 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 17.218800 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 4.344670 | c 14 > 8.082150 | c 11 > 8.965780 | c 12 > 2.722030 | c 21 > 11.108600 | c 20 > 100.000000 | c 22 > 11.532600 | 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 > 5.643860 | c 10 > 10.234800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 8.813780 | c 32 > -1.000000 | c 5 > 16.043400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.36/7.50 c choco : 2.8
7.36/7.50 c mistral : 0.041993
7.36/7.50 c abscon : 2.19467
7.36/7.50 c
7.36/7.50 c
7.36/7.50 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr1/e0ddr1-10-by-5-4.xml
7.36/7.50 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 18.247500 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 3.833740 | c 14 > 7.948370 | c 11 > 8.965780 | c 12 > 2.261830 | c 21 > 10.368200 | c 20 > 100.000000 | c 22 > 10.770300 | 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 > 5.643860 | c 10 > 10.234800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 8.813780 | c 32 > -1.000000 | c 5 > 15.847200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.74 c choco : 2.75
7.56/7.74 c mistral : 0.036993
7.56/7.74 c abscon : 1.63275
7.56/7.74 c
7.56/7.74 c
7.56/7.74 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-enddr1/enddr1-10-by-5-8.xml
7.56/7.74 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 16.969000 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 3.950090 | c 14 > 7.870360 | c 11 > 8.965780 | c 12 > 2.221570 | c 21 > 10.695800 | c 20 > 100.000000 | c 22 > 11.045400 | 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 > 5.643860 | c 10 > 10.234800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 8.813780 | c 32 > -1.000000 | c 5 > 15.935600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.75 c choco : 2.7
7.56/7.75 c mistral : 0.035993
7.56/7.75 c abscon : 1.71374
7.56/7.75 c
7.56/7.75 c
7.56/7.75 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr1/e0ddr1-10-by-5-7.xml
7.56/7.75 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 17.868700 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 3.110390 | c 14 > 7.876520 | c 11 > 8.965780 | c 12 > 2.153160 | c 21 > 10.411500 | c 20 > 100.000000 | c 22 > 10.862800 | 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 > 5.643860 | c 10 > 10.234800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 8.813780 | c 32 > -1.000000 | c 5 > 15.859000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.76 c choco : 2.73
7.56/7.76 c mistral : 0.034994
7.56/7.76 c abscon : 1.66475
7.56/7.76 c
7.56/7.76 c
7.56/7.76 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-2.xml
7.56/7.76 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 21.484200 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 10.067300 | c 14 > 11.169300 | c 11 > 9.344300 | c 12 > 7.109590 | c 21 > 14.752600 | c 20 > 100.000000 | c 22 > 16.186400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.122300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.77 c choco : 54.64
7.56/7.77 c mistral : 2.71
7.56/7.77 c abscon : 1801.0
7.56/7.77 c
7.56/7.77 c
7.56/7.77 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-6.xml
7.56/7.77 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.498800 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 7.414900 | c 14 > 10.803300 | c 11 > 10.501800 | c 12 > 5.164800 | c 21 > 11.584500 | c 20 > 100.000000 | c 22 > 12.165500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.703200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.78 c choco : 26.5
7.56/7.78 c mistral : 1.86
7.56/7.78 c abscon : 8.39
7.56/7.78 c
7.56/7.78 c
7.56/7.78 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr1/e0ddr1-10-by-5-5.xml
7.56/7.78 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 16.791400 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 3.885840 | c 14 > 7.459430 | c 11 > 8.965780 | c 12 > 2.267840 | c 21 > 10.540400 | c 20 > 100.000000 | c 22 > 10.954500 | 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 > 5.643860 | c 10 > 10.234800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 8.813780 | c 32 > -1.000000 | c 5 > 15.894000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.78 c choco : 2.7
7.56/7.78 c mistral : 0.033994
7.56/7.78 c abscon : 1.76073
7.56/7.78 c
7.56/7.78 c
7.56/7.78 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-1.xml
7.56/7.78 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.215600 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 7.335620 | c 14 > 10.120200 | c 11 > 10.501800 | c 12 > 5.270890 | c 21 > 10.601900 | c 20 > 100.000000 | c 22 > 11.313700 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.451000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.79 c choco : 19.39
7.56/7.79 c mistral : 1.34
7.56/7.79 c abscon : 19.6
7.56/7.79 c
7.56/7.79 c
7.56/7.79 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-1.xml
7.56/7.79 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.680800 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.997040 | c 14 > 10.641100 | c 11 > 10.501800 | c 12 > 4.861960 | c 21 > 11.013600 | c 20 > 100.000000 | c 22 > 11.313700 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.559300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.80 c choco : 36.56
7.56/7.80 c mistral : 1801.0
7.56/7.80 c abscon : 1801.0
7.56/7.80 c
7.56/7.80 c
7.56/7.80 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-enddr2/enddr2-10-by-5-2.xml
7.56/7.80 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 16.767000 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 3.489450 | c 14 > 7.761550 | c 11 > 8.965780 | c 12 > 2.288650 | c 21 > 11.238300 | c 20 > 100.000000 | c 22 > 11.789800 | 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 > 5.643860 | c 10 > 10.234800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 8.813780 | c 32 > -1.000000 | c 5 > 16.076400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.80 c choco : 2.79
7.56/7.80 c mistral : 0.039993
7.56/7.80 c abscon : 2.10668
7.56/7.80 c
7.56/7.80 c
7.56/7.80 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-3.xml
7.56/7.80 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.359100 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.907760 | c 14 > 10.626600 | c 11 > 10.501800 | c 12 > 4.606160 | c 21 > 10.705100 | c 20 > 100.000000 | c 22 > 11.225000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.478500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.81 c choco : 20.77
7.63/7.81 c mistral : 32.33
7.63/7.81 c abscon : 7.44
7.63/7.81 c
7.63/7.81 c
7.63/7.81 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-4.xml
7.63/7.81 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.287600 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.851260 | c 14 > 10.092800 | c 11 > 10.501800 | c 12 > 4.461010 | c 21 > 10.611300 | c 20 > 100.000000 | c 22 > 11.225000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.453500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.82 c choco : 1801.0
7.63/7.82 c mistral : 3.25
7.63/7.82 c abscon : 1801.0
7.63/7.82 c
7.63/7.82 c
7.63/7.82 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-6.xml
7.63/7.82 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.295900 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.760440 | c 14 > 10.099300 | c 11 > 10.501800 | c 12 > 4.615640 | c 21 > 11.300400 | c 20 > 100.000000 | c 22 > 11.747300 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.632500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.83 c choco : 1801.0
7.63/7.83 c mistral : 1.4
7.63/7.83 c abscon : 7.93
7.63/7.83 c
7.63/7.83 c
7.63/7.83 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-5/os-taillard-5-100-3.xml
7.63/7.83 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 19.504000 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 6.255900 | c 14 > 9.924810 | c 11 > 7.813780 | c 12 > 5.711010 | c 21 > 15.936100 | c 20 > 100.000000 | c 22 > 17.492900 | 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 > 4.643860 | c 10 > 8.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.643860 | c 6 > 7.643860 | c 32 > -1.000000 | c 5 > 15.812300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.83 c choco : 2.16
7.63/7.83 c mistral : 0.163974
7.63/7.83 c abscon : 7.95779
7.63/7.83 c
7.63/7.83 c
7.63/7.83 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-1.xml
7.63/7.83 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.432900 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.295840 | c 14 > 10.732200 | c 11 > 10.501800 | c 12 > 4.158160 | c 21 > 11.327000 | c 20 > 100.000000 | c 22 > 11.789800 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.639100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.84 c choco : 80.29
7.63/7.84 c mistral : 11.08
7.63/7.84 c abscon : 13.73
7.63/7.84 c
7.63/7.84 c
7.63/7.84 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr2/e0ddr2-10-by-5-1.xml
7.63/7.84 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 16.900500 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 3.066430 | c 14 > 7.467610 | c 11 > 8.965780 | c 12 > 1.929790 | c 21 > 11.013600 | c 20 > 100.000000 | c 22 > 11.313700 | 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 > 5.643860 | c 10 > 10.234800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 8.813780 | c 32 > -1.000000 | c 5 > 16.018900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.84 c choco : 2.76
7.63/7.84 c mistral : 0.041993
7.63/7.84 c abscon : 1.9827
7.63/7.84 c
7.63/7.84 c
7.63/7.84 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-5/os-taillard-5-95-7.xml
7.63/7.84 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 17.848000 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 6.904030 | c 14 > 8.876520 | c 11 > 7.813780 | c 12 > 5.379740 | c 21 > 15.263000 | c 20 > 100.000000 | c 22 > 16.792900 | 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 > 4.643860 | c 10 > 8.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.643860 | c 6 > 7.643860 | c 32 > -1.000000 | c 5 > 15.688700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.85 c choco : 1.37
7.63/7.85 c mistral : 0.024996
7.63/7.85 c abscon : 6.39303
7.63/7.85 c
7.63/7.85 c
7.63/7.85 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-5.xml
7.63/7.85 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.144400 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.235190 | c 14 > 10.104600 | c 11 > 10.501800 | c 12 > 4.124560 | c 21 > 10.368200 | c 20 > 100.000000 | c 22 > 10.770300 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.387600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.86 c choco : 22.11
7.63/7.86 c mistral : 45.91
7.63/7.86 c abscon : 1801.0
7.63/7.86 c
7.63/7.86 c
7.63/7.86 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-enddr2/enddr2-10-by-5-3.xml
7.63/7.86 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 16.912500 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 2.951100 | c 14 > 7.569860 | c 11 > 8.965780 | c 12 > 1.731180 | c 21 > 11.458600 | c 20 > 100.000000 | c 22 > 11.958300 | 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 > 5.643860 | c 10 > 10.234800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 8.813780 | c 32 > -1.000000 | c 5 > 16.131700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.86 c choco : 2.78
7.63/7.86 c mistral : 0.036994
7.63/7.86 c abscon : 2.13368
7.63/7.86 c
7.63/7.86 c
7.63/7.86 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-4.xml
7.63/7.86 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.398200 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.008480 | c 14 > 10.194800 | c 11 > 10.501800 | c 12 > 3.994330 | c 21 > 11.135500 | c 20 > 100.000000 | c 22 > 11.532600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.590600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.87 c choco : 24.47
7.63/7.87 c mistral : 47.71
7.63/7.87 c abscon : 1801.0
7.63/7.87 c
7.63/7.87 c
7.63/7.87 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr1/e0ddr1-10-by-5-8.xml
7.63/7.87 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 16.406500 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 3.001970 | c 14 > 7.434630 | c 11 > 8.965780 | c 12 > 2.010060 | c 21 > 10.392300 | c 20 > 100.000000 | c 22 > 11.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 5.643860 | c 10 > 10.234800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 8.813780 | c 32 > -1.000000 | c 5 > 15.853800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.87 c choco : 2.84
7.63/7.87 c mistral : 0.043992
7.63/7.87 c abscon : 1.75373
7.63/7.87 c
7.63/7.87 c
7.63/7.87 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-7/os-taillard-7-95-9.xml
7.63/7.87 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.432400 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 10.286000 | c 14 > 12.097000 | c 11 > 9.315150 | c 12 > 8.055050 | c 21 > 18.141700 | c 20 > 100.000000 | c 22 > 19.442200 | 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 > 5.614710 | c 10 > 10.521600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.199670 | c 6 > 9.199670 | c 32 > -1.000000 | c 5 > 17.685700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.88 c choco : 1.81
7.63/7.88 c mistral : 0.177972
7.63/7.88 c abscon : 500.029
7.63/7.88 c
7.63/7.88 c
7.63/7.88 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-1.xml
7.63/7.88 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.338300 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 5.928610 | c 14 > 9.951280 | c 11 > 10.501800 | c 12 > 3.846340 | c 21 > 10.373000 | c 20 > 100.000000 | c 22 > 10.723800 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.389000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.88 c choco : 36.03
7.63/7.88 c mistral : 104.09
7.63/7.88 c abscon : 1801.0
7.63/7.88 c
7.63/7.88 c
7.63/7.88 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-5.xml
7.63/7.88 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.228000 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 5.792060 | c 14 > 10.250300 | c 11 > 10.501800 | c 12 > 3.813600 | c 21 > 10.568800 | c 20 > 100.000000 | c 22 > 11.090500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.442100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.89 c choco : 18.6
7.63/7.89 c mistral : 8.49
7.63/7.89 c abscon : 12.34
7.63/7.89 c
7.63/7.89 c
7.63/7.89 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-28.xml
7.63/7.89 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 20.181300 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 8.683120 | c 14 > 10.151000 | c 11 > 9.344300 | c 12 > 6.387770 | c 21 > 15.263000 | c 20 > 100.000000 | c 22 > 16.792900 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.219600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.69/7.90 c choco : 3.89
7.69/7.90 c mistral : 0.14
7.69/7.90 c abscon : 11.49
7.69/7.90 c
7.69/7.90 c
7.69/7.90 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-5/os-taillard-5-95-6.xml
7.69/7.90 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 17.574200 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 6.876250 | c 14 > 8.751540 | c 11 > 7.813780 | c 12 > 5.299310 | c 21 > 15.314000 | c 20 > 100.000000 | c 22 > 16.941100 | 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 > 4.643860 | c 10 > 8.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.643860 | c 6 > 7.643860 | c 32 > -1.000000 | c 5 > 15.698200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.69/7.91 c choco : 1.41
7.69/7.91 c mistral : 0.024996
7.69/7.91 c abscon : 6.25205
7.69/7.91 c
7.69/7.91 c
7.69/7.91 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-3.xml
7.69/7.91 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.112600 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 5.651960 | c 14 > 9.774790 | c 11 > 10.501800 | c 12 > 4.012010 | c 21 > 10.986400 | c 20 > 100.000000 | c 22 > 11.269400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.552200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.69/7.91 c choco : 1801.0
7.69/7.91 c mistral : 624.82
7.69/7.91 c abscon : 1801.0
7.69/7.91 c
7.69/7.91 c
7.69/7.91 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-1.xml
7.69/7.91 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 21.455400 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 7.800880 | c 14 > 10.906900 | c 11 > 9.344300 | c 12 > 6.313780 | c 21 > 15.794900 | c 20 > 100.000000 | c 22 > 17.320500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.317700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.69/7.92 c choco : 1801.0
7.69/7.92 c mistral : 10.53
7.69/7.92 c abscon : 1801.0
7.69/7.92 c
7.69/7.92 c
7.69/7.92 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-4/super-os-taillard-4-4.xml
7.69/7.92 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 18.624100 | c 34 > 46.000000 | c 16 > 2.000000 | c 13 > 6.276440 | c 14 > 8.633000 | c 11 > 8.321930 | c 12 > 5.109440 | c 21 > 14.020100 | c 20 > 100.000000 | c 22 > 15.231500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 5.000000 | c 2 > -1.000000 | c 10 > 9.523560 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.169930 | c 6 > 8.169930 | c 32 > -1.000000 | c 5 > 15.953900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.69/7.92 c choco : 10.59
7.69/7.92 c mistral : 0.3
7.69/7.92 c abscon : 10.34
7.69/7.92 c
7.69/7.92 c
7.69/7.92 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-enddr2/enddr2-10-by-5-1.xml
7.69/7.92 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 16.121700 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 2.867950 | c 14 > 7.366320 | c 11 > 8.965780 | c 12 > 1.807350 | c 21 > 11.327000 | c 20 > 100.000000 | c 22 > 11.789800 | 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 > 5.643860 | c 10 > 10.234800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 8.813780 | c 32 > -1.000000 | c 5 > 16.098800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.69/7.93 c choco : 2.77
7.69/7.93 c mistral : 0.046992
7.69/7.93 c abscon : 2.05769
7.69/7.93 c
7.69/7.93 c
7.69/7.93 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-6.xml
7.69/7.93 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 21.439100 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 8.099700 | c 14 > 10.783000 | c 11 > 9.344300 | c 12 > 6.727480 | c 21 > 16.027500 | c 20 > 100.000000 | c 22 > 17.578400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.359600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.69/7.94 c choco : 63.4
7.69/7.94 c mistral : 7.85
7.69/7.94 c abscon : 1801.0
7.69/7.94 c
7.69/7.94 c
7.69/7.94 c Length: 40
7.69/7.94 c 2.6214760089880667 6.207205696486948 7.774796511671544 8.292816868374704 9.005133687458503 9.62636399803685 10.613464947066062 10.925089986526428 10.96011807692326 11.393173143992852 11.451360076955925 12.063592646459014 12.125115349084313 12.148413697516231 12.295850730978316 12.347049656553587 12.362070373380018 12.398255446041592 12.458076832296387 12.532342545482068 12.708739622118316 12.735897346795001 12.783277517166717 12.875061995008023 12.902067275805068 12.984632919008535 13.020343304913276 13.062243432875531 13.103881826069708 13.165112581664465 13.17268822491446 13.216067080981391 13.222389806691526 13.226612185968106 13.250507017805019 13.3442935829852 13.427377985224814 13.439603853120078 13.546868767552892 13.55359265131205
7.69/7.94 c
7.69/7.94 c 1.0 0.7530122852910353 0.6796281968449365 0.6584241048105595 0.6313385956523853 0.609472811486213 0.577682078335338 0.5683234423669744 0.5672904116901246 0.554822369205625 0.5531887586984374 0.5365657932838793 0.5349504394027943 0.5343412488933278 0.5305180998088752 0.5292032404839805 0.5288187233291498 0.52789470768606 0.5263741808040988 0.5244986549446493 0.5200970014083671 0.5194258862262524 0.5182591761437876 0.5160138813474194 0.5153569590996495 0.513358826570248 0.5124994080897175 0.511494686840446 0.5105001366734849 0.5090446203622846 0.5088651165029136 0.5078396932501241 0.5076905767059349 0.5075910439480672 0.5070285134727277 0.5048325953391515 0.5029030857941089 0.5026204026870355 0.5001538117549406 0.5
7.69/7.95 c
7.69/7.95 c solver 0
7.69/7.95 c before 0.0 seconds: {} 0
7.69/7.96 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 14, 15, 18, 19, 21, 22, 23, 24, 25, 27, 29, 32, 33, 34, 37, 38} 15896
7.69/7.96 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 14, 15, 16, 18, 19, 21, 22, 23, 24, 25, 27, 29, 32, 33, 34, 37, 38} 16424
7.69/7.96 c before 180.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 18, 19, 21, 22, 23, 24, 25, 27, 29, 32, 33, 34, 37, 38} 16992
7.69/7.96 c before 504.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 18, 19, 21, 22, 23, 24, 25, 27, 29, 30, 32, 33, 34, 37, 38} 17501
7.69/7.96 c
7.69/7.96 c solver 1
7.69/7.96 c before 0.0 seconds: {} 0
7.69/7.96 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 27, 29, 30, 32, 33, 34, 36, 37, 38, 39} 19033
7.69/7.96 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 27, 29, 30, 32, 33, 34, 36, 37, 38, 39} 19558
7.69/7.96 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 36, 37, 38, 39} 20581
7.69/7.96 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 21089
7.69/7.96 c before 630.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21594
7.69/7.96 c
7.69/7.96 c solver 2
7.69/7.96 c before 0.0 seconds: {} 0
7.69/7.96 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 15, 18, 22, 24, 25, 27, 29, 30, 33, 34, 37, 38} 14374
7.69/7.96 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 18, 19, 22, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 37, 38} 17488
7.69/7.96 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 19, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 37, 38} 18524
7.69/7.96 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 37, 38, 39} 19558
7.69/7.96 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 37, 38, 39} 20074
7.69/7.96 c
7.69/7.96 cTotal time: 68
7.69/7.96 c 1224.0 seconds unused
7.69/7.96 c 0 c 0 c 1
7.69/7.96 c 8 c 0 c 4
7.69/7.96 c 6 c 1 c 0
7.69/7.96 c is solver0 dominated by:
7.69/7.96 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.69/7.96 c is dominated? true
7.69/7.96 c
7.69/7.96 c is solver1 dominated by:
7.69/7.96 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.69/7.96 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.69/7.96 c is dominated? false
7.69/7.96 c
7.69/7.96 c is solver2 dominated by:
7.69/7.96 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.69/7.96 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
7.69/7.96 c is dominated? false
7.69/7.96 c
7.69/7.96 c Number of non-dominated solvers: 2
7.69/7.96 c remove dominated solvers
7.69/7.96 c solver 1 is not dominated by another solver
7.69/7.96 c solver 2 is not dominated by another solver
7.69/7.96 c solver 0 is dominated by another solver
7.69/7.96 c
7.69/7.96 c solver 0: 0.0
7.69/7.96 c
7.69/7.96 c solver 1: 630.0
7.69/7.96 c
7.69/7.96 c+ 35/40 of 60
7.69/7.96 c
7.69/7.96 c solver 2: 90.0
7.69/7.96 c
7.69/7.96 c+ 5/40 of 60
7.69/7.96 c do not run abscon
7.69/7.96 c run mistral for 1566.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21594
7.69/7.96 c run choco for 216.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 37, 38, 39} 20074
7.69/7.96 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.69/7.96 c On Instance: HOME/instance-1054403-1215058872.xml
7.69/7.96 c Running for: 1566 seconds
7.74/8.01 c mistral-prime version 1.313
7.74/8.01 s SATISFIABLE
7.74/8.01 v 24 34 73 89 99 25 32 127 140 145 54 67 89 100 109 35 42 100 112 144 0 14 36 123 149 10 18 46 60 67 0 13 26 58 107 5 18 60 78 103 0 10 13 32 43 0 99 112 127 137
7.74/8.01 d CHECKS 86177
7.74/8.01 d ASSIGNMENTS 164