back to the results overview

Faulty instances for solver naps in category OPT-LIN-32-PB

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
minlplib2-pb-0.1.0/opb/autocorr_bern20-03.lin.opbOPT-LIN-32-PB0.770.0OPTIMUM-18 Wrong INVALID Yes out err perf
minlplib2-pb-0.1.0/opb/autocorr_bern20-05.lin.opbOPT-LIN-32-PB527.58123.8OPTIMUM-104 Wrong INVALID Yes out err perf
minlplib2-pb-0.1.0/opb/autocorr_bern20-10.lin.opbOPT-LIN-32-PB611.80374.2SATISFIABLE-353 OK INVALID No out err perf
minlplib2-pb-0.1.0/opb/autocorr_bern20-15.lin.opbOPT-LIN-32-PB611.82712.5SATISFIABLE-1393 OK INVALID No out err perf
minlplib2-pb-0.1.0/opb/autocorr_bern25-03.lin.opbOPT-LIN-32-PB0.830.0OPTIMUM-23 Wrong INVALID Yes out err perf
minlplib2-pb-0.1.0/opb/autocorr_bern25-06.lin.opbOPT-LIN-32-PB611.84208.9SATISFIABLE-115 OK INVALID No out err perf
minlplib2-pb-0.1.0/opb/autocorr_bern25-13.lin.opbOPT-LIN-32-PB611.86758.6SATISFIABLE-1904 OK INVALID No out err perf
minlplib2-pb-0.1.0/opb/autocorr_bern25-19.lin.opbOPT-LIN-32-PB611.901030.2SATISFIABLE-3498 OK INVALID No out err perf
minlplib2-pb-0.1.0/opb/autocorr_bern25-25.lin.opbOPT-LIN-32-PB611.031073.3SATISFIABLE-2399 OK INVALID No out err perf
minlplib2-pb-0.1.0/opb/autocorr_bern30-04.lin.opbOPT-LIN-32-PB611.06123.0SATISFIABLE-65 OK INVALID No out err perf
minlplib2-pb-0.1.0/opb/autocorr_bern30-08.lin.opbOPT-LIN-32-PB611.11308.9SATISFIABLE-550 OK INVALID No out err perf
minlplib2-pb-0.1.0/opb/autocorr_bern30-15.lin.opbOPT-LIN-32-PB611.121038.0SATISFIABLE-2884 OK INVALID No out err perf
minlplib2-pb-0.1.0/opb/autocorr_bern30-23.lin.opbOPT-LIN-32-PB611.241786.2SATISFIABLE-4511 OK INVALID No out err perf
minlplib2-pb-0.1.0/opb/autocorr_bern35-04.lin.opbOPT-LIN-32-PB611.24128.7SATISFIABLE-37 OK INVALID No out err perf
minlplib2-pb-0.1.0/opb/autocorr_bern35-09.lin.opbOPT-LIN-32-PB611.28454.6SATISFIABLE-946 OK INVALID No out err perf
minlplib2-pb-0.1.0/opb/autocorr_bern35-18.lin.opbOPT-LIN-32-PB611.361507.1SATISFIABLE-3782 OK INVALID No out err perf
minlplib2-pb-0.1.0/opb/autocorr_bern40-05.lin.opbOPT-LIN-32-PB611.41167.6SATISFIABLE-122 OK INVALID No out err perf
minlplib2-pb-0.1.0/opb/autocorr_bern40-10.lin.opbOPT-LIN-32-PB611.48628.1SATISFIABLE-866 OK INVALID No out err perf
minlplib2-pb-0.1.0/opb/autocorr_bern45-05.lin.opbOPT-LIN-32-PB611.61183.5SATISFIABLE-163 OK INVALID No out err perf
minlplib2-pb-0.1.0/opb/autocorr_bern55-06.lin.opbOPT-LIN-32-PB611.95286.7SATISFIABLE-132 OK INVALID No out err perf
more results