back to the results overview

normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=67-Q=191.opb [OPT-LIN-32-PB] [complete]

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo0.090.0OPTIMUM67 OK OK Yes out err perf
clasp0.930.0OPTIMUM67 OK OK Yes out err perf
minisatplus0.980.0OPTIMUM67 OK OK Yes out err perf
naps0.910.0OPTIMUM67 OK OK Yes out err perf
open-wbo4.59206.7OPTIMUM67 OK OK Yes out err perf
open-wbo-lsu19.30242.1OPTIMUM64 Wrong INVALID Yes out err perf
pbcplex0.600.0OPTIMUM67 OK OK Yes out err perf
pblib-pbo2maxsat1.070.0OPTIMUM67 OK OK Yes out err perf
pblib-pbsolver0.720.0OPTIMUM67 OK OK Yes out err perf
sat4j1.060.0OPTIMUM67 OK OK Yes out err perf
scipcpx0.530.0OPTIMUM67 OK OK Yes out err perf
scipspx0.900.0OPTIMUM67 OK OK Yes out err perf
toysat0.510.0OPTIMUM67 OK OK Yes out err perf