Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: stmt17_70_98
Best Solver: dynQBF-bloqqer-hqspre Time: 15.22 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AIGSolve 18.48 - - ghostq-cegar 169.17
- - qbfrelay 48.94 - - GhostQ-PG_cegar 170.31
- - rev_qfun0.1 58.27 - - - -
dynQBF-bloqqer-hqspre(15.22)
AIGSolve(18.48)
qbfrelay(48.94)
rev_qfun0.1(58.27)
ghostq-cegar(169.17)
GhostQ-PG_cegar(170.31)