Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: C5315.blif_0.10_1.00_0_0_out_exact
Best Solver: caqe_2017_v2 Time: 0.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v3 0.32 AIGSolve 1.51 dynQBF-bloqqer-hqspre 3.17
- - Qute_default 0.32 ghostq-cegar 1.53 qbfrelay 3.57
- - Qute_opt500 0.32 GhostQ-PG_plain 1.79 rareqs 5.32
- - Qute_random 0.32 GhostQ-PG_cegar 1.8 - -
- - HQSpre_solver 0.98 QELL_unit 1.82 - -
- - QELL_default 1.39 rev_qfun0.1 1.84 - -
- - - - heretiq 1.91 - -
- - - - ijtihad_v1 1.93 - -
- - - - ijtihad_v2 1.95 - -
- - - - caqe_2017_v1 2.18 - -
caqe_2017_v2(0.3)
caqe_2017_v3(0.32)
Qute_default(0.32)
Qute_opt500(0.32)
Qute_random(0.32)
HQSpre_solver(0.98)
QELL_default(1.39)
AIGSolve(1.51)
ghostq-cegar(1.53)
GhostQ-PG_plain(1.79)
GhostQ-PG_cegar(1.8)
QELL_unit(1.82)
rev_qfun0.1(1.84)
heretiq(1.91)
ijtihad_v1(1.93)
ijtihad_v2(1.95)
caqe_2017_v1(2.18)
dynQBF-bloqqer-hqspre(3.17)
qbfrelay(3.57)
rareqs(5.32)
prefix-opt-depqbf(34.56)
qbfrelay-limited-depqbf(34.95)
iProver-qbf-2017-07-27-v3(145.34)
iProver-qbf-bloqqer-2017-07-27-v3(695.9)