back to the results overview

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

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12052_9.std.opbOPT-LIN-32-PB611.89133.0SATISFIABLE160 OK INVALID No out err perf