Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: b14_PR_1_50
Best Solver: HQSpre_solver Time: 2.93 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - prefix-opt-depqbf 6.97 rev_qfun0.1 16.13 ghostq-cegar 38.73
- - qbfrelay-limited-depqbf 7.31 GhostQ-PG_cegar 26.39 iProver-qbf-bloqqer-2017-07-27-v3 128.83
- - GhostQ-PG_plain 7.7 - - - -
- - dynQBF-bloqqer-hqspre 8.56 - - - -
- - qbfrelay 8.73 - - - -
HQSpre_solver(2.93)
prefix-opt-depqbf(6.97)
qbfrelay-limited-depqbf(7.31)
GhostQ-PG_plain(7.7)
dynQBF-bloqqer-hqspre(8.56)
qbfrelay(8.73)
rev_qfun0.1(16.13)
GhostQ-PG_cegar(26.39)
ghostq-cegar(38.73)
iProver-qbf-bloqqer-2017-07-27-v3(128.83)
xb-qsts_xbqsts1.0(461.76)
xb-qsts_xbqsts2.0(464.87)