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


InstanceSolverResultTime
b12_PR_9_2qstsSAT0.02
b20_PR_7_20depqbf-v1SAT0.41
b20_PR_7_90depqbf-v1UNSAT0.31
b22_PR_8_20ghostq-cegarSAT24.88