Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: stmt17_86_98
Best Solver: dynQBF-bloqqer-hqspre Time: 19.25 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AIGSolve 25.64 GhostQ-PG_cegar 109.91 ghostq-cegar 206.31
- - qbfrelay 64.65 - - - -
- - rev_qfun0.1 82.93 - - - -
dynQBF-bloqqer-hqspre(19.25)
AIGSolve(25.64)
qbfrelay(64.65)
rev_qfun0.1(82.93)
GhostQ-PG_cegar(109.91)
ghostq-cegar(206.31)