Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: tlc04-nonuniform-depth-64
Best Solver: rareqs Time: 1.78 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v2 1.89 ghostq-cegar 9.54 dynQBF-bloqqer-hqspre 22.41
- - Qute_default 1.93 GhostQ-PG_plain 10.57 xb-qsts_bqsts2.0 23.1
- - Qute_random 1.94 GhostQ-PG_cegar 11.07 qbfrelay 24.1
- - Qute_opt500 1.95 rev_qfun0.1 13.38 xb-qsts_xbqsts2.0 25.19
- - QELL_default 3 caqe_2017_v1 14.48 xb-qsts_xbqsts1.0 25.21
- - prefix-opt-depqbf 3.55 caqe_2017_v3 14.49 iProver-qbf-bloqqer-2017-07-27-v3 104.04
- - qbfrelay-limited-depqbf 3.7 - - - -
- - HQSpre_solver 6.42 - - - -
- - ijtihad_v1 6.48 - - - -
- - ijtihad_v2 6.55 - - - -
- - heretiq 6.69 - - - -
- - AIGSolve 6.91 - - - -
- - QELL_unit 7.23 - - - -
rareqs(1.78)
caqe_2017_v2(1.89)
Qute_default(1.93)
Qute_random(1.94)
Qute_opt500(1.95)
QELL_default(3)
prefix-opt-depqbf(3.55)
qbfrelay-limited-depqbf(3.7)
HQSpre_solver(6.42)
ijtihad_v1(6.48)
ijtihad_v2(6.55)
heretiq(6.69)
AIGSolve(6.91)
QELL_unit(7.23)
ghostq-cegar(9.54)
GhostQ-PG_plain(10.57)
GhostQ-PG_cegar(11.07)
rev_qfun0.1(13.38)
caqe_2017_v1(14.48)
caqe_2017_v3(14.49)
dynQBF-bloqqer-hqspre(22.41)
xb-qsts_bqsts2.0(23.1)
qbfrelay(24.1)
xb-qsts_xbqsts2.0(25.19)
xb-qsts_xbqsts1.0(25.21)
iProver-qbf-bloqqer-2017-07-27-v3(104.04)
iProver-qbf-2017-07-27-v3(195.31)