Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: load_3c_comp_comp7_REAL.unsat
Best Solver: rareqs Time: 1.85 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - heretiq 2.13 rev_qfun0.1 12.87 qbfrelay 19.42
- - ijtihad_v2 2.13 dynQBF-bloqqer-hqspre 14.45 GhostQ-PG_cegar 47.5
- - ijtihad_v1 2.14 - - ghostq-cegar 53.57
- - caqe_2017_v1 2.35 - - qbfrelay-limited-depqbf 125.53
- - QELL_unit 5.91 - - - -
- - QELL_default 6.07 - - - -
- - caqe_2017_v2 6.44 - - - -
- - Qute_default 6.44 - - - -
- - Qute_opt500 6.45 - - - -
- - Qute_random 6.45 - - - -
- - caqe_2017_v3 6.52 - - - -
- - HQSpre_solver 7.53 - - - -
- - AIGSolve 8.3 - - - -
rareqs(1.85)
heretiq(2.13)
ijtihad_v2(2.13)
ijtihad_v1(2.14)
caqe_2017_v1(2.35)
QELL_unit(5.91)
QELL_default(6.07)
caqe_2017_v2(6.44)
Qute_default(6.44)
Qute_opt500(6.45)
Qute_random(6.45)
caqe_2017_v3(6.52)
HQSpre_solver(7.53)
AIGSolve(8.3)
rev_qfun0.1(12.87)
dynQBF-bloqqer-hqspre(14.45)
qbfrelay(19.42)
GhostQ-PG_cegar(47.5)
ghostq-cegar(53.57)
qbfrelay-limited-depqbf(125.53)
iProver-qbf-bloqqer-2017-07-27-v3(275.96)