Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: ltl2dpa_C26_comp2_REAL.unsat
Best Solver: caqe_2017_v2 Time: 0.32 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 0.33 ghostq-cegar 2.25 qbfrelay 3.21
- - Qute_default 0.33 rev_qfun0.1 2.3 - -
- - Qute_opt500 0.33 GhostQ-PG_cegar 2.35 - -
- - caqe_2017_v3 0.34 xb-qsts_xbqsts1.0 2.81 - -
- - Qute_random 0.34 xb-qsts_xbqsts2.0 2.82 - -
- - QELL_default 0.35 dynQBF-bloqqer-hqspre 2.85 - -
- - HQSpre_solver 0.39 xb-qsts_bqsts2.0 2.9 - -
- - qesto 0.5 iProver-qbf-bloqqer-2017-07-27-v3 2.98 - -
- - rareqs 0.5 - - - -
- - caqe_2017_v1 0.51 - - - -
- - heretiq 0.51 - - - -
- - ijtihad_v1 0.51 - - - -
- - ijtihad_v2 0.51 - - - -
- - AIGSolve 0.65 - - - -
caqe_2017_v2(0.32)
QELL_unit(0.33)
Qute_default(0.33)
Qute_opt500(0.33)
caqe_2017_v3(0.34)
Qute_random(0.34)
QELL_default(0.35)
HQSpre_solver(0.39)
qesto(0.5)
rareqs(0.5)
caqe_2017_v1(0.51)
heretiq(0.51)
ijtihad_v1(0.51)
ijtihad_v2(0.51)
AIGSolve(0.65)
ghostq-cegar(2.25)
rev_qfun0.1(2.3)
GhostQ-PG_cegar(2.35)
xb-qsts_xbqsts1.0(2.81)
xb-qsts_xbqsts2.0(2.82)
dynQBF-bloqqer-hqspre(2.85)
xb-qsts_bqsts2.0(2.9)
iProver-qbf-bloqqer-2017-07-27-v3(2.98)
qbfrelay(3.21)
iProver-qbf-2017-07-27-v3(46.12)
qbfrelay-limited-depqbf(77.65)