Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: eijkbs4863
Best Solver: rev_qfun0.1 Time: 0.14 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v1 0.14 qbfrelay 0.8 - -
- - heretiq 0.14 - - - -
- - ijtihad_v1 0.14 - - - -
- - ijtihad_v2 0.14 - - - -
- - qesto 0.14 - - - -
- - rareqs 0.15 - - - -
- - dynQBF-bloqqer-hqspre 0.65 - - - -
- - xb-qsts_bqsts2.0 0.66 - - - -
- - xb-qsts_xbqsts2.0 0.66 - - - -
- - iProver-qbf-bloqqer-2017-07-27-v3 0.67 - - - -
- - xb-qsts_xbqsts1.0 0.68 - - - -
caqe_2017_v1(0.14)
heretiq(0.14)
ijtihad_v1(0.14)
ijtihad_v2(0.14)
qesto(0.14)
rev_qfun0.1(0.14)
rareqs(0.15)
dynQBF-bloqqer-hqspre(0.65)
xb-qsts_bqsts2.0(0.66)
xb-qsts_xbqsts2.0(0.66)
iProver-qbf-bloqqer-2017-07-27-v3(0.67)
xb-qsts_xbqsts1.0(0.68)
qbfrelay(0.8)
qbfrelay-limited-depqbf(73.18)