Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: fpu-10Xh-correct02-nonuniform-depth-2
Best Solver: caqe_2017_v1 Time: 0.2 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - heretiq 0.2 dynQBF-bloqqer-hqspre 1.02 qbfrelay-limited-depqbf 2.36
- - ijtihad_v1 0.21 prefix-opt-depqbf 1.76 qbfrelay 2.68
- - ijtihad_v2 0.21 - - iProver-qbf-2017-07-27-v3 4
- - qesto 0.21 - - ghostq-cegar 13.93
- - rareqs 0.21 - - GhostQ-PG_cegar 18.43
- - rev_qfun0.1 0.21 - - GhostQ-PG_plain 18.56
- - AIGSolve 0.22 - - - -
- - HQSpre_solver 0.34 - - - -
- - caqe_2017_v3 0.36 - - - -
- - caqe_2017_v2 0.38 - - - -
- - Qute_default 0.41 - - - -
- - Qute_opt500 0.41 - - - -
- - Qute_random 0.41 - - - -
- - QELL_default 0.55 - - - -
- - QELL_unit 0.55 - - - -
- - iProver-qbf-bloqqer-2017-07-27-v3 0.97 - - - -
- - xb-qsts_xbqsts1.0 0.97 - - - -
- - xb-qsts_xbqsts2.0 0.97 - - - -
- - xb-qsts_bqsts2.0 0.99 - - - -
caqe_2017_v1(0.2)
heretiq(0.2)
ijtihad_v1(0.21)
ijtihad_v2(0.21)
qesto(0.21)
rareqs(0.21)
rev_qfun0.1(0.21)
AIGSolve(0.22)
HQSpre_solver(0.34)
caqe_2017_v3(0.36)
caqe_2017_v2(0.38)
Qute_default(0.41)
Qute_opt500(0.41)
Qute_random(0.41)
QELL_default(0.55)
QELL_unit(0.55)
iProver-qbf-bloqqer-2017-07-27-v3(0.97)
xb-qsts_xbqsts1.0(0.97)
xb-qsts_xbqsts2.0(0.97)
xb-qsts_bqsts2.0(0.99)
dynQBF-bloqqer-hqspre(1.02)
prefix-opt-depqbf(1.76)
qbfrelay-limited-depqbf(2.36)
qbfrelay(2.68)
iProver-qbf-2017-07-27-v3(4)
ghostq-cegar(13.93)
GhostQ-PG_cegar(18.43)
GhostQ-PG_plain(18.56)