Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: k_ph_p-11
Best Solver: rev_qfun0.1 Time: 11.4 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - dynQBF-bloqqer-hqspre 66.95 HQSpre_solver 133.39
- - - - - - ghostq-cegar 214.93
- - - - - - GhostQ-PG_cegar 215.19
- - - - - - xb-qsts_bqsts2.0 226.28
- - - - - - xb-qsts_xbqsts2.0 230.43
- - - - - - xb-qsts_xbqsts1.0 232.59
- - - - - - AIGSolve 245.6
- - - - - - GhostQ-PG_plain 262.3
- - - - - - caqe_2017_v2 450.75
- - - - - - caqe_2017_v3 452.45
rev_qfun0.1(11.4)
dynQBF-bloqqer-hqspre(66.95)
HQSpre_solver(133.39)
ghostq-cegar(214.93)
GhostQ-PG_cegar(215.19)
xb-qsts_bqsts2.0(226.28)
xb-qsts_xbqsts2.0(230.43)
xb-qsts_xbqsts1.0(232.59)
AIGSolve(245.6)
GhostQ-PG_plain(262.3)
caqe_2017_v2(450.75)
caqe_2017_v3(452.45)