0.00/0.00 c cpHydra_k_40 version 0.0
92.50/93.10 c CASE TO CLASSIFY:
92.50/93.10 c Case: 0
92.50/93.10 c 19 > 1.612900 | c 35 > 7.177420 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.661290 | c 15 > 20.766700 | c 34 > 10.766100 | c 16 > 3861.000000 | c 13 > 1.962740 | c 14 > 6.523560 | c 11 > 13.393000 | c 12 > 4.081030 | c 21 > 1.414210 | c 20 > 98.387100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 18.057600 | c 1 > 13.393000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 18.057600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 27.096600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.50/93.11 c choco : 1801.0
92.50/93.11 c mistral : 1801.0
92.50/93.11 c abscon : 1801.0
92.50/93.11 c
92.50/93.11 c
92.50/93.19 c List of same ones: 40
92.50/93.19 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air03.xml
92.50/93.19 c 19 > 1.612900 | c 35 > 7.177420 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.661290 | c 15 > 20.270700 | c 34 > 10.766100 | c 16 > 3861.000000 | c 13 > 1.962740 | c 14 > 4.643860 | c 11 > 13.393000 | c 12 > 4.081030 | c 21 > 1.414210 | c 20 > 98.387100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 18.057600 | c 1 > 13.393000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 18.057600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 27.096600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.59/93.20 c choco : 581.05
92.59/93.20 c mistral : 336.62
92.59/93.20 c abscon : 433.837
92.59/93.20 c
92.59/93.20 c
92.59/93.20 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air03.xml
92.59/93.20 c 19 > 1.612900 | c 35 > 7.177420 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.661290 | c 15 > 20.225500 | c 34 > 10.766100 | c 16 > 3861.000000 | c 13 > 1.962740 | c 14 > 4.584960 | c 11 > 13.393000 | c 12 > 4.081030 | c 21 > 1.414210 | c 20 > 98.387100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 18.057600 | c 1 > 13.393000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 18.057600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 27.096600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.59/93.21 c choco : 572.77
92.59/93.21 c mistral : 350.83
92.59/93.21 c abscon : 451.367
92.59/93.21 c
92.59/93.21 c
92.59/93.21 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air03.xml
92.59/93.21 c 19 > 3.225810 | c 35 > 7.177420 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.322580 | c 15 > 19.940100 | c 34 > 14.354800 | c 16 > 3861.000000 | c 13 > 1.962740 | c 14 > 3.700440 | c 11 > 13.393000 | c 12 > 4.081030 | c 21 > 1.414210 | c 20 > 96.774200 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 18.472900 | c 1 > 13.393000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 18.472900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 27.098400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.59/93.22 c choco : 510.73
92.59/93.22 c mistral : 325.27
92.59/93.22 c abscon : 488.982
92.59/93.22 c
92.59/93.22 c
92.59/93.22 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air02.xml
92.59/93.22 c 19 > 0.000000 | c 35 > 8.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 1.200000 | c 15 > 20.565900 | c 34 > 12.000000 | c 16 > 3729.000000 | c 13 > 2.202630 | c 14 > 5.700440 | c 11 > 12.725800 | c 12 > 4.183800 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 17.493800 | c 1 > 12.725800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.493800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 26.652700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.59/93.23 c choco : 324.53
92.59/93.23 c mistral : 232.8
92.59/93.23 c abscon : 328.756
92.59/93.23 c
92.59/93.23 c
92.59/93.23 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air02.xml
92.59/93.23 c 19 > 0.000000 | c 35 > 8.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 1.200000 | c 15 > 20.523800 | c 34 > 12.000000 | c 16 > 3729.000000 | c 13 > 2.202630 | c 14 > 5.672430 | c 11 > 12.725800 | c 12 > 4.183800 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 17.493800 | c 1 > 12.725800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.493800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 26.652700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.59/93.24 c choco : 378.58
92.59/93.24 c mistral : 253.78
92.59/93.24 c abscon : 299.859
92.59/93.24 c
92.59/93.24 c
92.59/93.24 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-beaconfd.xml
92.59/93.24 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 24.427500 | c 34 > 0.000000 | c 16 > 4620.000000 | c 13 > 4.289610 | c 14 > -1.000000 | c 11 > 12.940300 | c 12 > 4.621210 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 18.300000 | c 1 > 12.940300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 18.300000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 31.783700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.59/93.25 c choco : 1060.92
92.59/93.25 c mistral : 677.72
92.59/93.25 c abscon : 1800.18
92.59/93.25 c
92.59/93.25 c
92.59/93.25 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mkc.xml
92.59/93.25 c 19 > 91.709800 | c 35 > 26.876000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 59.305100 | c 15 > 20.432700 | c 34 > 44.846100 | c 16 > 2952.000000 | c 13 > 0.523442 | c 14 > 8.596190 | c 11 > 12.366900 | c 12 > 1.886460 | c 21 > 1.407560 | c 20 > 8.290160 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.867300 | c 1 > 12.366900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.714200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 29.073500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.59/93.25 c choco : 1801.0
92.59/93.25 c mistral : 18.6
92.59/93.25 c abscon : 463.915
92.59/93.25 c
92.59/93.25 c
92.59/93.25 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bandm.xml
92.59/93.25 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 24.374900 | c 34 > 0.000000 | c 16 > 2100.000000 | c 13 > 3.301110 | c 14 > -1.000000 | c 11 > 13.789500 | c 12 > 3.364690 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 17.929100 | c 1 > 13.789500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.929100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 31.955800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.59/93.26 c choco : 1801.0
92.59/93.26 c mistral : 59.24
92.59/93.26 c abscon : 1800.18
92.59/93.26 c
92.59/93.26 c
92.59/93.26 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/l152lav.xml
92.59/93.26 c 19 > 1.036270 | c 35 > 9.740930 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.352330 | c 15 > 20.455200 | c 34 > 19.481900 | c 16 > 1989.000000 | c 13 > 0.793241 | c 14 > 9.290020 | c 11 > 10.957800 | c 12 > 3.243150 | c 21 > 1.414210 | c 20 > 98.963700 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.193300 | c 1 > 10.957800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.193200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.809700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.59/93.27 c choco : 30.53
92.59/93.27 c mistral : 8.32
92.59/93.27 c abscon : 14.8297
92.59/93.27 c
92.59/93.27 c
92.59/93.27 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-p6000.xml
92.59/93.27 c 19 > 95.989500 | c 35 > 28.531000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 57.593700 | c 15 > 20.621200 | c 34 > 55.156900 | c 16 > 5998.000000 | c 13 > -1.600370 | c 14 > 7.491850 | c 11 > 12.550700 | c 12 > 1.627530 | c 21 > 1.414210 | c 20 > 4.010460 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.684300 | c 1 > 12.550700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.558300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 29.837200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.59/93.28 c choco : 1801.0
92.59/93.28 c mistral : 47.54
92.59/93.28 c abscon : 72.9029
92.59/93.28 c
92.59/93.28 c
92.59/93.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-cap6000.xml
92.59/93.28 c 19 > 95.989500 | c 35 > 28.531000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 57.593700 | c 15 > 20.670900 | c 34 > 55.156900 | c 16 > 5998.000000 | c 13 > -1.600370 | c 14 > 7.515700 | c 11 > 12.550700 | c 12 > 1.627530 | c 21 > 1.414210 | c 20 > 4.010460 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.684300 | c 1 > 12.550700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.558300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 29.837200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.78/93.48 c choco : 1801.0
92.78/93.49 c mistral : 47.62
92.78/93.49 c abscon : 85.452
92.78/93.49 c
92.78/93.49 c
92.78/93.49 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-agg3.xml
92.78/93.49 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.268700 | c 34 > 0.000000 | c 16 > 1440.000000 | c 13 > 2.572340 | c 14 > 5.906890 | c 11 > 13.145300 | c 12 > 3.508950 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 17.285500 | c 1 > 13.145300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.285500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 30.408400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.78/93.50 c choco : 97.98
92.78/93.50 c mistral : 1800.17
92.78/93.50 c abscon : 1800.14
92.78/93.50 c
92.78/93.50 c
92.78/93.50 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-lp4l.xml
92.78/93.50 c 19 > 0.591716 | c 35 > 26.982200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.615380 | c 15 > 20.766200 | c 34 > 40.473400 | c 16 > 1086.000000 | c 13 > 2.780560 | c 14 > 9.548820 | c 11 > 10.084800 | c 12 > 3.155980 | c 21 > 1.414210 | c 20 > 99.408300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.744600 | c 1 > 10.084800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.744500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.507400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.87/93.51 c choco : 60.08
92.87/93.51 c mistral : 1800.03
92.87/93.51 c abscon : 1800.09
92.87/93.51 c
92.87/93.51 c
92.87/93.51 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-rout.xml
92.87/93.51 c 19 > 4.451040 | c 35 > 237.092000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 49.673600 | c 15 > 20.048000 | c 34 > 385.460000 | c 16 > 917.000000 | c 13 > 6.168340 | c 14 > 8.092760 | c 11 > 11.955300 | c 12 > 3.093840 | c 21 > 1.234990 | c 20 > 95.549000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.713900 | c 1 > 11.955300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.713100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 26.990400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.87/93.52 c choco : 47.8
92.87/93.52 c mistral : 24.86
92.87/93.52 c abscon : 1800.13
92.87/93.52 c
92.87/93.52 c
92.87/93.52 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-protfold.xml
92.87/93.52 c 19 > 0.000000 | c 35 > 65.826000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.607700 | c 15 > 20.460600 | c 34 > 74.695200 | c 16 > 882.000000 | c 13 > 2.621820 | c 14 > 9.475730 | c 11 > 10.841600 | c 12 > 3.874880 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.131800 | c 1 > 10.841600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.131800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.763000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.87/93.53 c choco : 17.09
92.87/93.53 c mistral : 1800.04
92.87/93.53 c abscon : 1800.1
92.87/93.53 c
92.87/93.53 c
92.87/93.53 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-blend.xml
92.87/93.53 c 19 > 0.000000 | c 35 > 15.384600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.076920 | c 15 > 20.617800 | c 34 > 26.666700 | c 16 > 780.000000 | c 13 > 4.806450 | c 14 > 7.228820 | c 11 > 10.510800 | c 12 > 3.404840 | c 21 > 1.259340 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.021000 | c 1 > 10.510800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.021000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 28.184100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.87/93.53 c choco : 72.65
92.87/93.53 c mistral : 61.66
92.87/93.53 c abscon : 1800.1
92.87/93.53 c
92.87/93.53 c
92.87/93.53 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/jac3.xml
92.87/93.53 c 19 > 15.789500 | c 35 > 51.722500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.320600 | c 15 > 20.282800 | c 34 > 59.250400 | c 16 > 694.000000 | c 13 > 5.174160 | c 14 > 7.055280 | c 11 > 10.757400 | c 12 > 3.794020 | c 21 > 1.414210 | c 20 > 84.210500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.536800 | c 1 > 10.757400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.524700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.486200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.87/93.54 c choco : 9.63
92.87/93.54 c mistral : 3.51
92.87/93.54 c abscon : 4.6213
92.87/93.54 c
92.87/93.54 c
92.87/93.54 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p2756.xml
92.87/93.54 c 19 > 47.696500 | c 35 > 88.807600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 58.617900 | c 15 > 19.332400 | c 34 > 177.615000 | c 16 > 535.000000 | c 13 > 0.206131 | c 14 > 11.278400 | c 11 > 11.416800 | c 12 > 1.604700 | c 21 > 1.414210 | c 20 > 52.303500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.872100 | c 1 > 11.416800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.837800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.224000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.87/93.54 c choco : 8.43
92.87/93.54 c mistral : 1.57
92.87/93.54 c abscon : 42.6915
92.87/93.54 c
92.87/93.54 c
92.87/93.54 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-cracpb1.xml
92.87/93.54 c 19 > 1.395350 | c 35 > 90.186000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.209300 | c 15 > 19.905000 | c 34 > 134.605000 | c 16 > 518.000000 | c 13 > 1.408240 | c 14 > 8.321930 | c 11 > 12.922000 | c 12 > 0.764474 | c 21 > 1.414210 | c 20 > 98.604700 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.186700 | c 1 > 9.159870 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.186000 | c 6 > 1.000000 | c 32 > -1.000000 | c 5 > 21.497500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.87/93.55 c choco : 5.58
92.87/93.55 c mistral : 2.07
92.87/93.55 c abscon : 24.1083
92.87/93.55 c
92.87/93.55 c
92.87/93.55 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran17x17.xml
92.87/93.55 c 19 > 0.000000 | c 35 > 250.952000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.571400 | c 15 > 19.895800 | c 34 > 402.941000 | c 16 > 510.000000 | c 13 > -0.068922 | c 14 > 10.591500 | c 11 > 12.222800 | c 12 > 2.250400 | c 21 > 1.238360 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.993300 | c 1 > 12.222800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.993300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.249400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.87/93.56 c choco : 52.93
92.87/93.56 c mistral : 5.61
92.87/93.56 c abscon : 1800.08
92.87/93.56 c
92.87/93.56 c
92.87/93.56 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran16x16.xml
92.87/93.56 c 19 > 0.000000 | c 35 > 248.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.000000 | c 15 > 19.951800 | c 34 > 397.625000 | c 16 > 480.000000 | c 13 > -0.070166 | c 14 > 10.659100 | c 11 > 12.050500 | c 12 > 2.250540 | c 21 > 1.238760 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.820400 | c 1 > 12.050500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.820400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.996800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.87/93.57 c choco : 40.89
92.87/93.57 c mistral : 4.67
92.87/93.57 c abscon : 1800.1
92.87/93.57 c
92.87/93.57 c
92.87/93.57 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air01.xml
92.87/93.57 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.719800 | c 34 > 0.000000 | c 16 > 438.000000 | c 13 > 2.561350 | c 14 > 9.411510 | c 11 > 9.590590 | c 12 > 3.493060 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.621000 | c 1 > 9.590590 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.621000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.274900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.87/93.57 c choco : 8.6
92.87/93.57 c mistral : 2.27
92.87/93.57 c abscon : 5.8991
92.87/93.57 c
92.87/93.57 c
92.87/93.57 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air01.xml
92.87/93.57 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.676700 | c 34 > 0.000000 | c 16 > 438.000000 | c 13 > 2.561350 | c 14 > 9.411510 | c 11 > 9.590590 | c 12 > 3.493060 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.621000 | c 1 > 9.590590 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.621000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.274900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.87/93.58 c choco : 8.61
92.87/93.58 c mistral : 2.26
92.87/93.58 c abscon : 5.2622
92.87/93.58 c
92.87/93.58 c
92.87/93.58 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-noswot.xml
92.87/93.58 c 19 > 0.000000 | c 35 > 156.986000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.004800 | c 15 > 17.340600 | c 34 > 292.201000 | c 16 > 425.000000 | c 13 > 1.119930 | c 14 > 8.861090 | c 11 > 12.659100 | c 12 > 0.682554 | c 21 > 1.197630 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.528000 | c 1 > 9.184880 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.528000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.994700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.87/93.58 c choco : 5.46
92.87/93.58 c mistral : 1.12
92.87/93.58 c abscon : 18.4442
92.87/93.58 c
92.87/93.58 c
92.87/93.58 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-egout.xml
92.87/93.58 c 19 > 0.000000 | c 35 > 163.475000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.914900 | c 15 > 19.912300 | c 34 > 271.277000 | c 16 > 420.000000 | c 13 > 6.871680 | c 14 > 8.554590 | c 11 > 12.431800 | c 12 > 2.674230 | c 21 > 1.237960 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.626800 | c 1 > 9.826550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.626800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.963300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.87/93.59 c choco : 6.17
92.87/93.59 c mistral : 3.48
92.87/93.59 c abscon : 1800.07
92.87/93.59 c
92.87/93.59 c
92.87/93.59 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air05.xml
92.87/93.59 c 19 > 0.704225 | c 35 > 12.136200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.070420 | c 15 > 19.949500 | c 34 > 24.272300 | c 16 > 404.000000 | c 13 > 1.924370 | c 14 > 8.271460 | c 11 > 12.812800 | c 12 > 3.856800 | c 21 > 1.414210 | c 20 > 99.295800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 17.663500 | c 1 > 12.812800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.663400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.213000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.87/93.60 c choco : 81.31
92.87/93.60 c mistral : 24.24
92.87/93.60 c abscon : 29.0936
92.87/93.60 c
92.87/93.60 c
92.87/93.60 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air04.xml
92.87/93.60 c 19 > 0.486027 | c 35 > 8.554070 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.499390 | c 15 > 19.789900 | c 34 > 17.108100 | c 16 > 368.000000 | c 13 > 2.173930 | c 14 > 7.467610 | c 11 > 13.120200 | c 12 > 4.034680 | c 21 > 1.414210 | c 20 > 99.514000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 18.146600 | c 1 > 13.120200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 18.146600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.201400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.93/93.60 c choco : 83.64
92.93/93.60 c mistral : 28.58
92.93/93.60 c abscon : 31.3522
92.93/93.60 c
92.93/93.60 c
92.93/93.60 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran13x13.xml
92.93/93.60 c 19 > 0.000000 | c 35 > 237.059000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.882400 | c 15 > 20.130300 | c 34 > 380.000000 | c 16 > 390.000000 | c 13 > 0.047139 | c 14 > 11.171800 | c 11 > 11.441400 | c 12 > 2.239740 | c 21 > 1.237270 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.208600 | c 1 > 11.441400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.208600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.089400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.93/93.61 c choco : 22.91
92.93/93.61 c mistral : 2.5
92.93/93.61 c abscon : 1800.1
92.93/93.61 c
92.93/93.61 c
92.93/93.61 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran12x12.xml
92.93/93.61 c 19 > 0.000000 | c 35 > 232.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.000000 | c 15 > 19.813800 | c 34 > 373.802000 | c 16 > 360.000000 | c 13 > -0.005693 | c 14 > 10.966500 | c 11 > 11.219200 | c 12 > 2.242570 | c 21 > 1.238570 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.989500 | c 1 > 11.219200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.989500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.772400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.93/93.61 c choco : 19.38
92.93/93.61 c mistral : 1.98
92.93/93.61 c abscon : 1800.08
92.93/93.61 c
92.93/93.61 c
92.93/93.61 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-kb2.xml
92.93/93.61 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.941180 | c 15 > 20.102000 | c 34 > 40.000000 | c 16 > 300.000000 | c 13 > 5.660250 | c 14 > 10.213100 | c 11 > 12.164900 | c 12 > 2.805870 | c 21 > 1.303770 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.114400 | c 1 > 9.583080 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.114400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.469400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.93/93.62 c choco : 9.38
92.93/93.62 c mistral : 8.53
92.93/93.62 c abscon : 853.293
92.93/93.62 c
92.93/93.62 c
92.93/93.62 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran10x10c.xml
92.93/93.62 c 19 > 0.000000 | c 35 > 221.429000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.857100 | c 15 > 17.922400 | c 34 > 353.429000 | c 16 > 300.000000 | c 13 > 0.193346 | c 14 > 9.413630 | c 11 > 13.155300 | c 12 > 1.310720 | c 21 > 1.235890 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.436700 | c 1 > 10.675100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.436700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.953000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.93/93.62 c choco : 11.95
92.93/93.62 c mistral : 3.32
92.93/93.62 c abscon : 1800.09
92.93/93.62 c
92.93/93.62 c
92.93/93.62 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran10x10b.xml
92.93/93.62 c 19 > 0.000000 | c 35 > 221.429000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.857100 | c 15 > 18.018600 | c 34 > 353.500000 | c 16 > 300.000000 | c 13 > 0.193058 | c 14 > 9.535280 | c 11 > 13.151500 | c 12 > 1.310500 | c 21 > 1.235240 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.431600 | c 1 > 10.670700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.431600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.943100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.93/93.63 c choco : 11.83
92.93/93.63 c mistral : 3.33
92.93/93.63 c abscon : 1800.05
92.93/93.63 c
92.93/93.63 c
92.93/93.63 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran10x10a.xml
92.93/93.63 c 19 > 0.000000 | c 35 > 221.429000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.857100 | c 15 > 17.973100 | c 34 > 354.500000 | c 16 > 300.000000 | c 13 > 0.192144 | c 14 > 9.479780 | c 11 > 13.153700 | c 12 > 1.310070 | c 21 > 1.235240 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.433500 | c 1 > 10.670700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.433500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.944800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.93/93.63 c choco : 11.84
92.93/93.64 c mistral : 3.36
92.93/93.64 c abscon : 1800.08
92.93/93.64 c
92.93/93.64 c
92.93/93.64 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-afiro.xml
92.93/93.64 c 19 > 0.000000 | c 35 > 17.142900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.428570 | c 15 > 20.952800 | c 34 > 27.428600 | c 16 > 270.000000 | c 13 > 10.165400 | c 14 > 10.695200 | c 11 > 10.998600 | c 12 > 5.181450 | c 21 > 1.299440 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.819400 | c 1 > 9.368510 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.819400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.652100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.93/93.64 c choco : 11.35
92.93/93.64 c mistral : 6.16
92.93/93.64 c abscon : 1800.07
92.93/93.64 c
92.93/93.64 c
92.93/93.64 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-neos20.xml
92.93/93.64 c 19 > 21.689000 | c 35 > 111.094000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.771300 | c 15 > 19.752000 | c 34 > 202.328000 | c 16 > 270.000000 | c 13 > 4.428430 | c 14 > 6.965780 | c 11 > 11.941400 | c 12 > 3.092220 | c 21 > 1.211450 | c 20 > 78.311000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.686100 | c 1 > 11.941400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.666900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 30.855700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.93/93.65 c choco : 23.83
92.93/93.65 c mistral : 4.90325
92.93/93.65 c abscon : 7.12692
92.93/93.65 c
92.93/93.65 c
92.93/93.65 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc07.xml
92.93/93.65 c 19 > 0.000000 | c 35 > 69.635600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.534400 | c 15 > 19.531800 | c 34 > 120.081000 | c 16 > 263.000000 | c 13 > 2.690570 | c 14 > 7.339850 | c 11 > 13.434100 | c 12 > 1.502390 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.479500 | c 1 > 8.179910 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.479500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 26.479800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.93/93.66 c choco : 5.96
92.93/93.66 c mistral : 22.01
92.93/93.66 c abscon : 1008.63
92.93/93.66 c
92.93/93.66 c
92.93/93.66 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-stocfor1.xml
92.93/93.66 c 19 > 0.000000 | c 35 > 26.666700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.333330 | c 15 > 20.214000 | c 34 > 47.555600 | c 16 > 240.000000 | c 13 > 7.046300 | c 14 > 10.579300 | c 11 > 10.957100 | c 12 > 4.699830 | c 21 > 1.263720 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.875400 | c 1 > 10.957100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.875400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.633500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.93/93.66 c choco : 1801.0
92.93/93.66 c mistral : 18.05
92.93/93.66 c abscon : 1800.09
92.93/93.66 c
92.93/93.66 c
92.93/93.66 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas74.xml
92.93/93.66 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.011100 | c 34 > 0.000000 | c 16 > 239.000000 | c 13 > 2.447610 | c 14 > 7.807350 | c 11 > 9.152280 | c 12 > 2.421360 | c 21 > 1.396420 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.506800 | c 1 > 7.832890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.506800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.090300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.93/93.67 c choco : 2.83
92.93/93.67 c mistral : 0.65
92.93/93.67 c abscon : 8.5807
92.93/93.67 c
92.93/93.67 c
92.93/93.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas76.xml
92.93/93.67 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.961600 | c 34 > 0.000000 | c 16 > 239.000000 | c 13 > 2.356230 | c 14 > 7.807350 | c 11 > 9.139550 | c 12 > 2.362290 | c 21 > 1.396420 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.432000 | c 1 > 7.832890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.432000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.025100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.93/93.67 c choco : 2.67
92.93/93.67 c mistral : 0.58
92.93/93.67 c abscon : 8.38772
92.93/93.67 c
92.93/93.67 c
92.93/93.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08a.xml
92.93/93.67 c 19 > 0.000000 | c 35 > 99.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 19.200000 | c 15 > 19.988500 | c 34 > 160.000000 | c 16 > 240.000000 | c 13 > -1.511630 | c 14 > 10.840000 | c 11 > 12.173100 | c 12 > 1.984930 | c 21 > 1.365340 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.889900 | c 1 > 12.173100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.889900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 31.609200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
92.93/93.68 c choco : 18.53
92.93/93.68 c mistral : 1800.06
92.93/93.68 c abscon : 1348.66
92.93/93.68 c
92.93/93.68 c
92.93/93.68 c Length: 40
92.93/93.68 c 1.9440391174047906 2.012726359940665 5.844859514701789 132.04562266194176 132.04587096797994 759.1830592492192 920.4958321456666 1761.0782482154382 1872.0360452071125 2142.447014333921 2142.447022446991 2421.0399252809866 2775.2511318068446 2977.0231245054424 2980.3734261801633 3081.0624847739064 3167.8584888059545 3332.3020731005086 3346.430102356812 3382.9900478527934 3411.885721576913 3423.0443431535386 3423.0443440154017 3450.9076673149443 3454.5367055316083 3457.0338880771646 3493.0089590022667 3498.429494964588 3527.249385263801 3561.1654052419913 3584.104805311544 3584.1116587631536 3584.207403722635 3591.0849304604385 3597.98251773274 3600.2801633082618 3621.2592098820887 3622.053320303649 3622.053792845747 3625.2914030457755
92.93/93.69 c
92.93/93.69 c 1.0 0.9999810435120986 0.9989245785788374 0.9653381235857408 0.9653380597246701 0.8271375213859016 0.797760416670336 0.6731741325574244 0.6595772010707468 0.6286331446395472 0.6286331437546968 0.5996493825363162 0.5664441292713178 0.5491229449566338 0.5488442733820702 0.5405991566188666 0.5336879712992043 0.5210671371002621 0.5200106176190776 0.517296384019394 0.5151711155379333 0.514355068660101 0.5143550685971714 0.5123286246832884 0.5120658666397643 0.511885216320225 0.5092967935204205 0.5089090510474364 0.5068573773099792 0.5044640016833721 0.5028579939811636 0.5028575156929447 0.5028508339453068 0.5023713364496876 0.5018913579290987 0.5017316765390412 0.5002783640093937 0.5002235177830677 0.5002234851499388 0.5
92.93/93.70 c
92.93/93.70 c solver 0
92.93/93.70 c before 0.0 seconds: {} 0
92.93/93.70 c before 18.0 seconds: {8, 16, 21, 22, 34, 37, 38} 3724
92.98/93.70 c before 36.0 seconds: {8, 16, 18, 21, 22, 23, 25, 26, 34, 37, 38} 5777
92.98/93.70 c before 54.0 seconds: {8, 16, 17, 18, 21, 22, 23, 25, 26, 34, 37, 38} 6298
92.98/93.70 c before 90.0 seconds: {8, 9, 10, 16, 17, 18, 21, 22, 23, 25, 26, 34, 37, 38} 7556
92.98/93.70 c before 306.0 seconds: {4, 8, 9, 10, 16, 17, 18, 21, 22, 23, 25, 26, 34, 37, 38} 8521
92.98/93.70 c before 342.0 seconds: {3, 4, 8, 9, 10, 16, 17, 18, 21, 22, 23, 25, 26, 34, 37, 38} 9486
92.98/93.70 c before 450.0 seconds: {0, 3, 4, 8, 9, 10, 16, 17, 18, 21, 22, 23, 25, 26, 34, 37, 38} 10486
92.98/93.70 c before 468.0 seconds: {0, 1, 3, 4, 6, 8, 9, 10, 16, 17, 18, 21, 22, 23, 25, 26, 34, 37, 38} 12284
92.98/93.70 c before 504.0 seconds: {0, 1, 2, 3, 4, 6, 8, 9, 10, 16, 17, 18, 21, 22, 23, 25, 26, 34, 37, 38} 13283
92.98/93.70 c before 864.0 seconds: {0, 1, 2, 3, 4, 6, 8, 9, 10, 16, 17, 18, 21, 22, 23, 25, 26, 29, 34, 37, 38} 13787
92.98/93.70 c before 1026.0 seconds: {0, 1, 2, 3, 4, 6, 8, 9, 10, 16, 17, 18, 21, 22, 23, 25, 26, 29, 34, 35, 37, 38} 14289
92.98/93.70 c before 1350.0 seconds: {0, 1, 2, 3, 4, 6, 8, 9, 10, 16, 17, 18, 21, 22, 23, 25, 26, 29, 34, 35, 37, 38, 39} 14789
92.98/93.70 c
92.98/93.70 c solver 1
92.98/93.70 c before 0.0 seconds: {} 0
92.98/93.70 c before 18.0 seconds: {8, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 31, 32, 33, 34, 37, 38} 10353
92.98/93.70 c before 36.0 seconds: {6, 8, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 13723
92.98/93.70 c before 54.0 seconds: {6, 8, 9, 10, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 14980
92.98/93.70 c before 72.0 seconds: {6, 7, 8, 9, 10, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 16194
92.98/93.70 c before 234.0 seconds: {3, 6, 7, 8, 9, 10, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 17159
92.98/93.70 c before 270.0 seconds: {3, 4, 6, 7, 8, 9, 10, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 18125
92.98/93.70 c before 342.0 seconds: {0, 2, 3, 4, 6, 7, 8, 9, 10, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 20124
92.98/93.70 c before 360.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 21124
92.98/93.70 c before 684.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 21951
92.98/93.70 c
92.98/93.70 c solver 2
92.98/93.70 c before 0.0 seconds: {} 0
92.98/93.70 c before 18.0 seconds: {14, 16, 17, 18, 21, 22, 23, 24, 29, 30, 31, 32, 33, 35, 37, 38} 8194
92.98/93.70 c before 36.0 seconds: {8, 14, 16, 17, 18, 21, 22, 23, 24, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 10871
92.98/93.70 c before 54.0 seconds: {8, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 12453
92.98/93.70 c before 72.0 seconds: {8, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 13019
92.98/93.70 c before 90.0 seconds: {8, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 14581
92.98/93.70 c before 108.0 seconds: {8, 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, 37, 38, 39} 15180
92.98/93.70 c before 342.0 seconds: {3, 8, 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, 37, 38, 39} 16146
92.98/93.70 c before 396.0 seconds: {3, 4, 8, 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, 37, 38, 39} 17111
92.98/93.70 c before 522.0 seconds: {2, 3, 4, 8, 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, 37, 38, 39} 18110
92.98/93.70 c before 576.0 seconds: {1, 2, 3, 4, 8, 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, 37, 38, 39} 19110
92.98/93.70 c before 594.0 seconds: {0, 1, 2, 3, 4, 8, 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, 37, 38, 39} 20110
92.98/93.70 c before 1062.0 seconds: {0, 1, 2, 3, 4, 5, 8, 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, 37, 38, 39} 20937
92.98/93.70 c
92.98/93.70 cTotal time: 172
92.98/93.71 c run abscon for 864.0 seconds {0, 1, 2, 3, 4, 6, 8, 9, 10, 16, 17, 18, 21, 22, 23, 25, 26, 29, 34, 37, 38} 13787
92.98/93.71 c run mistral for 684.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 21951
92.98/93.71 c run choco for 108.0 seconds {8, 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, 37, 38, 39} 15180
92.98/93.71 c Starting solver: HOME/cpHydra_k_40/solver/abscon
92.98/93.71 c On Instance: HOME/instance-1065043-1215145556.xml
92.98/93.71 c Running for: 864 seconds
209.10/211.68 c Starting solver: HOME/cpHydra_k_40/solver/mistral
209.10/211.68 c On Instance: HOME/instance-1065043-1215145556.xml
209.10/211.68 c Running for: 684 seconds