Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: beemldelec4b1_c0to127.unsat
Best Solver: caqe_2017_v2 Time: 0.8 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_default 0.89 iProver-qbf-2017-07-27-v3 5.11 HQSpre_solver 8.12
- - Qute_opt500 0.89 qesto 7.84 ijtihad_v1 8.12
- - Qute_random 0.89 rareqs 7.87 AIGSolve 13.63
- - caqe_2017_v3 0.98 rev_qfun0.1 7.88 GhostQ-PG_plain 21.43
- - QELL_default 1.57 caqe_2017_v1 7.94 GhostQ-PG_cegar 21.44
- - QELL_unit 1.61 heretiq 7.98 qbfrelay 64.85
- - prefix-opt-depqbf 2.67 ijtihad_v2 8 - -
- - qbfrelay-limited-depqbf 3.21 - - - -
caqe_2017_v2(0.8)
Qute_default(0.89)
Qute_opt500(0.89)
Qute_random(0.89)
caqe_2017_v3(0.98)
QELL_default(1.57)
QELL_unit(1.61)
prefix-opt-depqbf(2.67)
qbfrelay-limited-depqbf(3.21)
iProver-qbf-2017-07-27-v3(5.11)
qesto(7.84)
rareqs(7.87)
rev_qfun0.1(7.88)
caqe_2017_v1(7.94)
heretiq(7.98)
ijtihad_v2(8)
HQSpre_solver(8.12)
ijtihad_v1(8.12)
AIGSolve(13.63)
GhostQ-PG_plain(21.43)
GhostQ-PG_cegar(21.44)
qbfrelay(64.85)
dynQBF-bloqqer-hqspre(98.37)
ghostq-cegar(144.53)
xb-qsts_xbqsts1.0(291.41)
xb-qsts_bqsts2.0(303.39)
xb-qsts_xbqsts2.0(304.28)
iProver-qbf-bloqqer-2017-07-27-v3(429.72)