Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: b17_PR_0_90
Best Solver: QELL_default Time: 0.64 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 2.27 caqe_2017_v2 3.34 GhostQ-PG_cegar 8.51
- - ijtihad_v1 2.33 caqe_2017_v3 3.38 rev_qfun0.1 18.32
- - heretiq 2.34 Qute_default 3.42 xb-qsts_bqsts2.0 29.21
- - caqe_2017_v1 2.35 Qute_opt500 3.42 dynQBF-bloqqer-hqspre 30.03
- - ijtihad_v2 2.36 Qute_random 3.43 qbfrelay 31.08
- - qesto 2.82 - - ghostq-cegar 31.33
- - - - - - xb-qsts_xbqsts2.0 32.23
- - - - - - xb-qsts_xbqsts1.0 33.04
- - - - - - iProver-qbf-bloqqer-2017-07-27-v3 34.73
- - - - - - GhostQ-PG_plain 37.52
QELL_default(0.64)
QELL_unit(0.64)
rareqs(2.27)
ijtihad_v1(2.33)
heretiq(2.34)
caqe_2017_v1(2.35)
ijtihad_v2(2.36)
qesto(2.82)
caqe_2017_v2(3.34)
caqe_2017_v3(3.38)
Qute_default(3.42)
Qute_opt500(3.42)
Qute_random(3.43)
GhostQ-PG_cegar(8.51)
rev_qfun0.1(18.32)
xb-qsts_bqsts2.0(29.21)
dynQBF-bloqqer-hqspre(30.03)
qbfrelay(31.08)
ghostq-cegar(31.33)
xb-qsts_xbqsts2.0(32.23)
xb-qsts_xbqsts1.0(33.04)
iProver-qbf-bloqqer-2017-07-27-v3(34.73)
GhostQ-PG_plain(37.52)
iProver-qbf-2017-07-27-v3(73.71)
qbfrelay-limited-depqbf(93.45)
AIGSolve(250.28)
prefix-opt-depqbf(297.85)