Instances of family Planning-CTE solved by caqe-minisat-par
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
driverlog01_7SAT0.2
driverlog03_7SAT0.5
driverlog10_6UNSAT37.82
pipesnotankage18_7FAIL600
pipesnotankage18_8FAIL600
depots03_9FAIL600
pipesnotankage14_10FAIL600