Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: s05378_PR_9_75
Best Solver: rareqs Time: 0.43 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ijtihad_v1 0.46 GhostQ-PG_cegar 3 ghostq-cegar 4.41
- - ijtihad_v2 0.46 rev_qfun0.1 3.45 Qute_default 5.64
- - heretiq 0.47 xb-qsts_bqsts2.0 3.61 AIGSolve 6.1
- - caqe_2017_v1 0.51 Qute_opt500 3.62 dynQBF-bloqqer-hqspre 33
- - caqe_2017_v2 1.25 Qute_random 3.63 - -
- - qesto 1.26 xb-qsts_xbqsts2.0 3.8 - -
- - caqe_2017_v3 1.3 xb-qsts_xbqsts1.0 3.87 - -
- - prefix-opt-depqbf 1.65 - - - -
- - GhostQ-PG_plain 1.82 - - - -
- - qbfrelay-limited-depqbf 1.88 - - - -
rareqs(0.43)
ijtihad_v1(0.46)
ijtihad_v2(0.46)
heretiq(0.47)
caqe_2017_v1(0.51)
caqe_2017_v2(1.25)
qesto(1.26)
caqe_2017_v3(1.3)
prefix-opt-depqbf(1.65)
GhostQ-PG_plain(1.82)
qbfrelay-limited-depqbf(1.88)
GhostQ-PG_cegar(3)
rev_qfun0.1(3.45)
xb-qsts_bqsts2.0(3.61)
Qute_opt500(3.62)
Qute_random(3.63)
xb-qsts_xbqsts2.0(3.8)
xb-qsts_xbqsts1.0(3.87)
ghostq-cegar(4.41)
Qute_default(5.64)
AIGSolve(6.1)
dynQBF-bloqqer-hqspre(33)
iProver-qbf-bloqqer-2017-07-27-v3(81.12)
iProver-qbf-2017-07-27-v3(188.06)
qbfrelay(264.45)