Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: cycle_sched_6_6_2.sat
Best Solver: caqe_2017_v1 Time: 18.9 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 19.93 xb-qsts_bqsts2.0 128.31 dynQBF-bloqqer-hqspre 294.98
- - ASPQ2 25.29 xb-qsts_xbqsts1.0 135.34 - -
- - qbfrelay 26.25 xb-qsts_xbqsts2.0 135.56 - -
- - qesto 41.25 - - - -
- - ijtihad_v2 46.81 - - - -
- - ijtihad_v1 49.79 - - - -
- - heretiq 79.04 - - - -
caqe_2017_v1(18.9)
rareqs(19.93)
ASPQ2(25.29)
qbfrelay(26.25)
qesto(41.25)
ijtihad_v2(46.81)
ijtihad_v1(49.79)
heretiq(79.04)
xb-qsts_bqsts2.0(128.31)
xb-qsts_xbqsts1.0(135.34)
xb-qsts_xbqsts2.0(135.56)
dynQBF-bloqqer-hqspre(294.98)