Sota solver results for family ITC99
QBFEVAL'16 - Prenex non-CNF Track.


InstanceSolverResultTime
b12_PR_9_2qstsSAT0.01
b20_PR_7_20ghostq-plainSAT61.27
b22_PR_8_20ghostq-cegarSAT60.52