0.00/0.00 c cpHydra_k_40 version 0.0
6.70/6.87 c CASE TO CLASSIFY:
6.70/6.87 c Case: 0
6.70/6.87 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 23.551100 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 9.968610 | c 14 > 13.040600 | c 11 > 8.965780 | c 12 > 8.236330 | 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
6.70/6.88 c choco : 1801.0
6.70/6.88 c mistral : 1801.0
6.70/6.88 c abscon : 1801.0
6.70/6.88 c
6.70/6.88 c
6.79/6.96 c List of same ones: 40
6.79/6.96 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr2/e0ddr2-10-by-5-2.xml
6.79/6.96 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
6.79/6.96 c choco : 3.13
6.79/6.96 c mistral : 0.52192
6.79/6.96 c abscon : 1.86072
6.79/6.96 c
6.79/6.96 c
6.79/6.96 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-enddr1/enddr1-10-by-5-7.xml
6.79/6.96 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
6.79/6.97 c choco : 2.69
6.79/6.97 c mistral : 0.035993
6.79/6.97 c abscon : 1.71674
6.79/6.97 c
6.79/6.97 c
6.79/6.97 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr2/e0ddr2-10-by-5-3.xml
6.79/6.97 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
6.79/6.98 c choco : 2.78
6.79/6.98 c mistral : 0.035994
6.79/6.98 c abscon : 1.9947
6.79/6.98 c
6.79/6.98 c
6.79/6.98 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-enddr1/enddr1-10-by-5-10.xml
6.79/6.98 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
6.79/6.99 c choco : 2.72
6.79/6.99 c mistral : 0.037993
6.79/6.99 c abscon : 1.85272
6.79/6.99 c
6.79/6.99 c
6.79/6.99 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr1/e0ddr1-10-by-5-3.xml
6.79/6.99 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
6.88/7.00 c choco : 3.0
6.88/7.00 c mistral : 0.043992
6.88/7.00 c abscon : 3.2725
6.88/7.00 c
6.88/7.00 c
6.88/7.00 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr1/e0ddr1-10-by-5-10.xml
6.88/7.00 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
6.88/7.01 c choco : 2.82
6.88/7.01 c mistral : 0.075987
6.88/7.01 c abscon : 1.78973
6.88/7.01 c
6.88/7.01 c
6.88/7.01 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr2/e0ddr2-10-by-5-8.xml
6.88/7.01 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
6.88/7.02 c choco : 2.79
6.88/7.02 c mistral : 0.05
6.88/7.02 c abscon : 2.00069
6.88/7.02 c
6.88/7.02 c
6.88/7.02 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-5/os-taillard-5-100-1.xml
6.88/7.02 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
6.88/7.02 c choco : 2.04
6.88/7.02 c mistral : 0.024995
6.88/7.02 c abscon : 2.34064
6.88/7.02 c
6.88/7.02 c
6.88/7.02 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr1/e0ddr1-10-by-5-4.xml
6.88/7.02 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
6.88/7.03 c choco : 2.75
6.88/7.03 c mistral : 0.036993
6.88/7.03 c abscon : 1.63275
6.88/7.03 c
6.88/7.03 c
6.88/7.03 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr2/e0ddr2-10-by-5-9.xml
6.88/7.03 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
6.88/7.04 c choco : 2.8
6.88/7.04 c mistral : 0.041993
6.88/7.04 c abscon : 2.19467
6.88/7.04 c
6.88/7.04 c
6.88/7.04 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-5/os-taillard-5-100-7.xml
6.88/7.04 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
6.88/7.05 c choco : 1.87
6.88/7.05 c mistral : 0.100984
6.88/7.05 c abscon : 176.43
6.88/7.05 c
6.88/7.05 c
6.88/7.05 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-enddr1/enddr1-10-by-5-8.xml
6.88/7.05 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
6.88/7.06 c choco : 2.7
6.88/7.06 c mistral : 0.035993
6.88/7.06 c abscon : 1.71374
6.88/7.06 c
6.88/7.06 c
6.88/7.06 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr1/e0ddr1-10-by-5-7.xml
6.88/7.06 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
6.88/7.07 c choco : 2.73
6.88/7.07 c mistral : 0.034994
6.88/7.07 c abscon : 1.66475
6.88/7.07 c
6.88/7.07 c
6.88/7.07 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr1/e0ddr1-10-by-5-5.xml
6.88/7.07 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
6.88/7.08 c choco : 2.7
6.88/7.08 c mistral : 0.033994
6.88/7.08 c abscon : 1.76073
6.88/7.08 c
6.88/7.08 c
6.88/7.08 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-6.xml
6.88/7.08 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
6.88/7.09 c choco : 26.5
6.88/7.09 c mistral : 1.86
6.88/7.09 c abscon : 8.39
6.88/7.09 c
6.88/7.09 c
6.88/7.09 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-1.xml
6.88/7.09 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
6.88/7.10 c choco : 19.39
6.88/7.10 c mistral : 1.34
6.88/7.10 c abscon : 19.6
6.88/7.10 c
6.88/7.10 c
6.88/7.10 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-1.xml
6.88/7.10 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
6.95/7.10 c choco : 36.56
6.95/7.10 c mistral : 1801.0
6.95/7.10 c abscon : 1801.0
6.95/7.10 c
6.95/7.10 c
6.95/7.10 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-enddr2/enddr2-10-by-5-2.xml
6.95/7.10 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
6.95/7.11 c choco : 2.79
6.95/7.11 c mistral : 0.039993
6.95/7.11 c abscon : 2.10668
6.95/7.11 c
6.95/7.11 c
6.95/7.11 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-3.xml
6.95/7.11 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
6.95/7.11 c choco : 20.77
6.95/7.11 c mistral : 32.33
6.95/7.11 c abscon : 7.44
6.95/7.11 c
6.95/7.11 c
6.95/7.11 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-2.xml
6.95/7.11 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
6.95/7.12 c choco : 54.64
6.95/7.12 c mistral : 2.71
6.95/7.12 c abscon : 1801.0
6.95/7.12 c
6.95/7.12 c
6.95/7.12 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-4.xml
6.95/7.12 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
6.95/7.13 c choco : 1801.0
6.95/7.13 c mistral : 3.25
6.95/7.13 c abscon : 1801.0
6.95/7.13 c
6.95/7.13 c
6.95/7.13 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-6.xml
6.95/7.13 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
6.95/7.14 c choco : 1801.0
6.95/7.14 c mistral : 1.4
6.95/7.14 c abscon : 7.93
6.95/7.14 c
6.95/7.14 c
6.95/7.14 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr2/e0ddr2-10-by-5-1.xml
6.95/7.14 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
6.95/7.14 c choco : 2.76
6.95/7.14 c mistral : 0.041993
6.95/7.14 c abscon : 1.9827
6.95/7.14 c
6.95/7.14 c
6.95/7.14 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-1.xml
6.95/7.14 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
6.95/7.15 c choco : 80.29
6.95/7.15 c mistral : 11.08
6.95/7.15 c abscon : 13.73
6.95/7.15 c
6.95/7.15 c
6.95/7.15 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-5.xml
6.95/7.15 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
6.95/7.15 c choco : 22.11
6.95/7.15 c mistral : 45.91
6.95/7.15 c abscon : 1801.0
6.95/7.15 c
6.95/7.15 c
6.95/7.15 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-enddr2/enddr2-10-by-5-3.xml
6.95/7.15 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
6.95/7.16 c choco : 2.78
6.95/7.16 c mistral : 0.036994
6.95/7.16 c abscon : 2.13368
6.95/7.16 c
6.95/7.16 c
6.95/7.16 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-4.xml
6.95/7.16 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
6.95/7.16 c choco : 24.47
6.95/7.16 c mistral : 47.71
6.95/7.16 c abscon : 1801.0
6.95/7.16 c
6.95/7.16 c
6.95/7.16 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-e0ddr1/e0ddr1-10-by-5-8.xml
6.95/7.16 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
6.95/7.17 c choco : 2.84
6.95/7.17 c mistral : 0.043992
6.95/7.17 c abscon : 1.75373
6.95/7.17 c
6.95/7.17 c
6.95/7.17 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-5/os-taillard-5-100-3.xml
6.95/7.17 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
6.95/7.17 c choco : 2.16
6.95/7.17 c mistral : 0.163974
6.95/7.17 c abscon : 7.95779
6.95/7.17 c
6.95/7.17 c
6.95/7.17 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-1.xml
6.95/7.17 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
6.95/7.18 c choco : 36.03
6.95/7.18 c mistral : 104.09
6.95/7.18 c abscon : 1801.0
6.95/7.18 c
6.95/7.18 c
6.95/7.18 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-5.xml
6.95/7.18 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
6.95/7.18 c choco : 18.6
6.95/7.18 c mistral : 8.49
6.95/7.18 c abscon : 12.34
6.95/7.18 c
6.95/7.18 c
6.95/7.18 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-3.xml
6.95/7.18 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
6.95/7.19 c choco : 1801.0
6.95/7.19 c mistral : 624.82
6.95/7.19 c abscon : 1801.0
6.95/7.19 c
6.95/7.19 c
6.95/7.19 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-5/os-taillard-5-95-7.xml
6.95/7.19 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
6.95/7.19 c choco : 1.37
6.95/7.19 c mistral : 0.024996
6.95/7.20 c abscon : 6.39303
6.95/7.20 c
6.95/7.20 c
6.95/7.20 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-enddr2/enddr2-10-by-5-1.xml
6.95/7.20 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.01/7.20 c choco : 2.77
7.01/7.20 c mistral : 0.046992
7.01/7.20 c abscon : 2.05769
7.01/7.20 c
7.01/7.20 c
7.01/7.20 c /home/eomahony/cpZilla/CSP/jobShop/jobShop-enddr1/enddr1-10-by-5-2.xml
7.01/7.20 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.471700 | c 15 > 15.924400 | c 34 > 45.471700 | c 16 > 2.000000 | c 13 > 3.366230 | c 14 > 6.629360 | c 11 > 8.965780 | c 12 > 1.947850 | 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 > -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.938100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.21 c choco : 2.7
7.01/7.21 c mistral : 0.035994
7.01/7.21 c abscon : 1.68974
7.01/7.21 c
7.01/7.21 c
7.01/7.21 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-28.xml
7.01/7.21 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.01/7.22 c choco : 3.89
7.01/7.22 c mistral : 0.14
7.01/7.22 c abscon : 11.49
7.01/7.22 c
7.01/7.22 c
7.01/7.22 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-5/os-taillard-5-95-6.xml
7.01/7.22 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.01/7.22 c choco : 1.41
7.01/7.22 c mistral : 0.024996
7.01/7.22 c abscon : 6.25205
7.01/7.22 c
7.01/7.22 c
7.01/7.22 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-4/super-os-taillard-4-4.xml
7.01/7.22 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.01/7.23 c choco : 10.59
7.01/7.23 c mistral : 0.3
7.01/7.23 c abscon : 10.34
7.01/7.23 c
7.01/7.23 c
7.01/7.23 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-9.xml
7.01/7.23 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.227900 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.977270 | c 14 > 9.975850 | c 11 > 10.501800 | c 12 > 3.293390 | 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 > 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.476000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.23 c choco : 23.53
7.01/7.23 c mistral : 9.27
7.01/7.23 c abscon : 1801.0
7.01/7.23 c
7.01/7.23 c
7.01/7.23 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-7/os-taillard-7-95-9.xml
7.01/7.23 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.01/7.24 c choco : 1.81
7.01/7.24 c mistral : 0.177972
7.01/7.24 c abscon : 500.029
7.01/7.24 c
7.01/7.24 c
7.01/7.24 c Length: 40
7.01/7.24 c 2.629914345563369 6.1030035768300195 7.6588966811545385 8.205931891095613 8.830386932524531 9.448370010970146 10.532826439047595 11.209162685223193 11.287203367964981 11.31248369395952 11.436704340857991 11.944776341798956 11.959599295699668 12.229503562365075 12.303285318263573 12.32440900819589 12.342460941781424 12.378035211232033 12.465700425928741 12.477272584074614 12.64403924592533 12.705314305148063 12.786500123337113 12.821330036677162 12.915489613131204 12.97592718730342 13.033440029957553 13.033701695734793 13.084939760877774 13.099002701736495 13.118454224983978 13.260607601788086 13.280596496998925 13.463964488010209 13.520340446246168 13.542600915898689 13.549712746357395 13.622182503450027 13.644506460817848 13.669928070509371
7.01/7.24 c
7.01/7.24 c 1.0 0.7606928551568003 0.6870381748402111 0.6644194119061889 0.640353962481975 0.6181948454613845 0.5828040415068717 0.5627129954527069 0.5604835274429958 0.5597651019590905 0.5562615462200052 0.542376867153141 0.5419821815258834 0.5348946758377495 0.5329893634525384 0.5324463700118288 0.531983213352575 0.5310728423862667 0.5288426708392328 0.5285496779710087 0.5243631155575009 0.5228414602662507 0.5208389073695265 0.5199844771918728 0.5176885725792382 0.5162255686216866 0.5148410210740346 0.5148347387794235 0.513607519060896 0.5132717155420923 0.512807963220844 0.5094440958727589 0.5089746215550046 0.5047079405031405 0.5034105021479868 0.5029000340026063 0.5027371664990491 0.5010835365876594 0.5005763333490455 0.5
7.01/7.26 c
7.01/7.26 c solver 0
7.01/7.26 c before 0.0 seconds: {} 0
7.01/7.26 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 17, 18, 21, 22, 23, 25, 27, 28, 30, 32, 33, 34, 35, 36, 37} 16493
7.01/7.26 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 17, 18, 21, 22, 23, 25, 27, 28, 30, 32, 33, 34, 35, 36, 37} 17026
7.01/7.26 c before 180.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 21, 22, 23, 25, 27, 28, 30, 32, 33, 34, 35, 36, 37} 17582
7.01/7.26 c before 504.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 21, 22, 23, 25, 27, 28, 30, 32, 33, 34, 35, 36, 37, 39} 18082
7.01/7.26 c
7.01/7.26 c solver 1
7.01/7.26 c before 0.0 seconds: {} 0
7.01/7.26 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 19, 20, 21, 22, 23, 25, 27, 28, 30, 32, 33, 34, 35, 36, 37, 38, 39} 19106
7.01/7.26 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 25, 27, 28, 30, 32, 33, 34, 35, 36, 37, 38, 39} 19635
7.01/7.26 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 32, 33, 34, 35, 36, 37, 38, 39} 20668
7.01/7.26 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 21181
7.01/7.26 c before 630.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21691
7.01/7.26 c
7.01/7.26 c solver 2
7.01/7.26 c before 0.0 seconds: {} 0
7.01/7.26 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 17, 22, 25, 27, 28, 32, 33, 34, 35, 36, 37, 39} 14932
7.01/7.26 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 22, 24, 25, 26, 27, 28, 30, 32, 33, 34, 35, 36, 37, 38, 39} 18572
7.01/7.26 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 19617
7.01/7.26 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, 32, 33, 34, 35, 36, 37, 38, 39} 20146
7.01/7.26 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, 32, 33, 34, 35, 36, 37, 38, 39} 20666
7.01/7.26 c
7.01/7.26 cTotal time: 68
7.01/7.26 c 1224.0 seconds unused
7.01/7.26 c 0 c 0 c 1
7.01/7.26 c 7 c 0 c 3
7.01/7.26 c 6 c 1 c 0
7.01/7.26 c is solver0 dominated by:
7.01/7.26 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.01/7.26 c is dominated? true
7.01/7.26 c
7.01/7.26 c is solver1 dominated by:
7.01/7.26 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.01/7.26 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.01/7.26 c is dominated? false
7.01/7.26 c
7.01/7.26 c is solver2 dominated by:
7.01/7.26 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.01/7.26 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.01/7.26 c is dominated? false
7.01/7.26 c
7.01/7.26 c Number of non-dominated solvers: 2
7.01/7.26 c remove dominated solvers
7.01/7.26 c solver 1 is not dominated by another solver
7.01/7.26 c solver 2 is not dominated by another solver
7.01/7.26 c solver 0 is dominated by another solver
7.01/7.26 c
7.01/7.26 c solver 0: 0.0
7.01/7.26 c
7.01/7.26 c solver 1: 630.0
7.01/7.26 c
7.01/7.26 c+ 35/40 of 60
7.01/7.26 c
7.01/7.26 c solver 2: 90.0
7.01/7.26 c
7.01/7.26 c+ 5/40 of 60
7.01/7.27 c do not run abscon
7.01/7.27 c run mistral for 1566.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21691
7.01/7.27 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, 32, 33, 34, 35, 36, 37, 38, 39} 20666
7.01/7.27 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.01/7.27 c On Instance: HOME/instance-1055207-1215059318.xml
7.01/7.27 c Running for: 1566 seconds
7.07/7.33 c mistral-prime version 1.313
7.07/7.33 s SATISFIABLE
7.07/7.33 v 16 26 98 126 137 27 34 125 138 142 0 98 114 125 136 0 8 35 110 121 0 7 25 50 58 0 8 11 109 116 34 39 88 98 132 18 27 47 60 102 33 49 60 123 126 45 50 73 88 98
7.07/7.33 d CHECKS 256362
7.07/7.33 d ASSIGNMENTS 243