Sota solver results for family Planning-CTE
QBFEVAL'16 - Solver Portfolio Track.


InstanceSolverResultTime
depots03_9aqme-10UNSAT6.83
driverlog01_7caqe-portfolioSAT0.42
driverlog03_7aqme-10SAT0.61
driverlog10_6aqme-10UNSAT1.21
pipesnotankage14_10aqme-10UNSAT334.9