Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: stmt23_66_96
Best Solver: qbfrelay Time: 8.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - dynQBF-bloqqer-hqspre 10.67 rev_qfun0.1 47.2 ghostq-cegar 106.81
- - AIGSolve 15.4 - - GhostQ-PG_cegar 109.36
qbfrelay(8.3)
dynQBF-bloqqer-hqspre(10.67)
AIGSolve(15.4)
rev_qfun0.1(47.2)
ghostq-cegar(106.81)
GhostQ-PG_cegar(109.36)