Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: b15_PR_4_2
Best Solver: prefix-opt-depqbf Time: 0.69 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qbfrelay-limited-depqbf 0.92 HQSpre_solver 4.92 GhostQ-PG_cegar 10.11
- - rareqs 2.23 AIGSolve 5.21 GhostQ-PG_plain 14.64
- - caqe_2017_v1 2.69 qesto 6.18 rev_qfun0.1 18.11
- - ijtihad_v2 2.85 - - xb-qsts_bqsts2.0 24.46
- - heretiq 2.87 - - dynQBF-bloqqer-hqspre 25.51
- - ijtihad_v1 2.88 - - qbfrelay 26.23
- - caqe_2017_v2 3.21 - - xb-qsts_xbqsts1.0 33.09
- - caqe_2017_v3 3.22 - - xb-qsts_xbqsts2.0 33.51
- - Qute_default 3.28 - - ghostq-cegar 40.65
- - Qute_opt500 3.28 - - - -
- - Qute_random 3.29 - - - -
prefix-opt-depqbf(0.69)
qbfrelay-limited-depqbf(0.92)
rareqs(2.23)
caqe_2017_v1(2.69)
ijtihad_v2(2.85)
heretiq(2.87)
ijtihad_v1(2.88)
caqe_2017_v2(3.21)
caqe_2017_v3(3.22)
Qute_default(3.28)
Qute_opt500(3.28)
Qute_random(3.29)
HQSpre_solver(4.92)
AIGSolve(5.21)
qesto(6.18)
GhostQ-PG_cegar(10.11)
GhostQ-PG_plain(14.64)
rev_qfun0.1(18.11)
xb-qsts_bqsts2.0(24.46)
dynQBF-bloqqer-hqspre(25.51)
qbfrelay(26.23)
xb-qsts_xbqsts1.0(33.09)
xb-qsts_xbqsts2.0(33.51)
ghostq-cegar(40.65)
iProver-qbf-2017-07-27-v3(114.98)
iProver-qbf-bloqqer-2017-07-27-v3(230.57)