back to the results overview

Faulty instances for solver open-wbo in category DEC-LIN-32-PB

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
PB11/normalized-PB11/DEC-SMALLINT-LIN/heinz/normalized-neos808444.opbDEC-LIN-32-PB1.280.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110974553.opbDEC-LIN-32-PB0.220.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967327.opbDEC-LIN-32-PB0.260.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977266.opbDEC-LIN-32-PB0.280.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111221953.opbDEC-LIN-32-PB0.330.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227418.opbDEC-LIN-32-PB0.340.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969933.opbDEC-LIN-32-PB0.370.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226284.opbDEC-LIN-32-PB0.430.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223696.opbDEC-LIN-32-PB0.490.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975678.opbDEC-LIN-32-PB0.530.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975832.opbDEC-LIN-32-PB0.550.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110972958.opbDEC-LIN-32-PB0.600.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224522.opbDEC-LIN-32-PB0.640.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111217380.opbDEC-LIN-32-PB0.640.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970277.opbDEC-LIN-32-PB0.650.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226241.opbDEC-LIN-32-PB0.690.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968431.opbDEC-LIN-32-PB0.690.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970170.opbDEC-LIN-32-PB0.700.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223596.opbDEC-LIN-32-PB0.700.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223416.opbDEC-LIN-32-PB0.760.0UNSATISFIABLE- Wrong OK Yes out err perf
more results