Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: ltl2dpa_C26_comp2_REAL.sat
Best Solver: qesto Time: 1.18 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - heretiq 1.19 - - qbfrelay-limited-depqbf 79.39
- - ijtihad_v2 1.19 - - - -
- - rev_qfun0.1 1.19 - - - -
- - xb-qsts_bqsts2.0 3.84 - - - -
- - dynQBF-bloqqer-hqspre 3.89 - - - -
- - xb-qsts_xbqsts2.0 3.92 - - - -
- - iProver-qbf-bloqqer-2017-07-27-v3 3.95 - - - -
- - qbfrelay 4.16 - - - -
- - xb-qsts_xbqsts1.0 4.18 - - - -
caqe_2017_v1(1.18)
ijtihad_v1(1.18)
qesto(1.18)
rareqs(1.18)
heretiq(1.19)
ijtihad_v2(1.19)
rev_qfun0.1(1.19)
xb-qsts_bqsts2.0(3.84)
dynQBF-bloqqer-hqspre(3.89)
xb-qsts_xbqsts2.0(3.92)
iProver-qbf-bloqqer-2017-07-27-v3(3.95)
qbfrelay(4.16)
xb-qsts_xbqsts1.0(4.18)
qbfrelay-limited-depqbf(79.39)