back to the results overview

normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ4_3.opb [OPT-LIN-32-PB] [incomplete]

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo1.330.0OPTIMUM20 OK OK Yes out err perf
clasp1.150.0OPTIMUM20 OK OK Yes out err perf
minisatplus0.220.0OPTIMUM20 OK OK Yes out err perf
naps0.990.0OPTIMUM20 OK OK Yes out err perf
open-wbo-lsu0.060.0UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex0.790.0OPTIMUM20 OK OK Yes out err perf
pblib-pbo2maxsat0.950.0OPTIMUM20 OK OK Yes out err perf
sat4j1.7528.6OPTIMUM20 OK OK Yes out err perf
scipcpx2.1128.1OPTIMUM20 OK OK Yes out err perf
scipspx2.3429.8OPTIMUM20 OK OK Yes out err perf
toysat1.64776.2OPTIMUM20 OK OK Yes out err perf
pblib-pbsolver1.922.0OPTIMUM20 OK OK Yes out err perf