back to the results overview

PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-knetwalk.cudf.trendy.opb [OPT-LIN-64-PB] [complete]

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
clasp0.250.0 - - OK OK No out err perf
minisatplus3605.35111.5SATISFIABLE201166394069155 OK OK No out err perf
naps297.287630.3SATISFIABLE2785814374674 OK OK No out err perf
open-wbo0.730.0UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu0.880.0UNSATISFIABLE- Wrong OK Yes out err perf
pblib-pbo2maxsat85.9045.6OPTIMUM2624366011833 OK OK Yes out err perf
pblib-pbsolver3601.301655.4 - 3496873400292 OK OK No out err perf
sat4j3601.34273.3 - 3180506921605 OK OK No out err perf
toysat2780.287910.6 - 48214638750201 OK OK No out err perf