Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: fpu-10Xh-correct03-uniform-depth-10
Best Solver: ijtihad_v1 Time: 0.94 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v1 0.95 prefix-opt-depqbf 6.52 qbfrelay 10.61
- - rev_qfun0.1 0.95 qbfrelay-limited-depqbf 8.15 iProver-qbf-2017-07-27-v3 19.76
- - heretiq 0.96 - - ghostq-cegar 75.23
- - ijtihad_v2 0.96 - - - -
- - QELL_default 1.6 - - - -
- - QELL_unit 1.63 - - - -
- - AIGSolve 1.66 - - - -
- - caqe_2017_v2 1.66 - - - -
- - HQSpre_solver 1.68 - - - -
- - Qute_default 1.87 - - - -
- - Qute_opt500 1.87 - - - -
- - Qute_random 1.88 - - - -
- - caqe_2017_v3 2.39 - - - -
- - xb-qsts_xbqsts1.0 4.19 - - - -
- - xb-qsts_xbqsts2.0 4.19 - - - -
- - dynQBF-bloqqer-hqspre 4.22 - - - -
- - iProver-qbf-bloqqer-2017-07-27-v3 4.22 - - - -
- - xb-qsts_bqsts2.0 4.4 - - - -
ijtihad_v1(0.94)
qesto(0.94)
rareqs(0.94)
caqe_2017_v1(0.95)
rev_qfun0.1(0.95)
heretiq(0.96)
ijtihad_v2(0.96)
QELL_default(1.6)
QELL_unit(1.63)
AIGSolve(1.66)
caqe_2017_v2(1.66)
HQSpre_solver(1.68)
Qute_default(1.87)
Qute_opt500(1.87)
Qute_random(1.88)
caqe_2017_v3(2.39)
xb-qsts_xbqsts1.0(4.19)
xb-qsts_xbqsts2.0(4.19)
dynQBF-bloqqer-hqspre(4.22)
iProver-qbf-bloqqer-2017-07-27-v3(4.22)
xb-qsts_bqsts2.0(4.4)
prefix-opt-depqbf(6.52)
qbfrelay-limited-depqbf(8.15)
qbfrelay(10.61)
iProver-qbf-2017-07-27-v3(19.76)
ghostq-cegar(75.23)
GhostQ-PG_cegar(257.01)
GhostQ-PG_plain(260.01)