Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: cycle_sched_2_10_1.sat
Best Solver: rareqs Time: 2.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v1 2.16 - - xb-qsts_xbqsts1.0 26.77
- - ijtihad_v2 2.47 - - xb-qsts_xbqsts2.0 26.84
- - heretiq 2.69 - - qbfrelay 121.44
- - ijtihad_v1 2.69 - - qbfrelay-limited-depqbf 165.47
- - ASPQ2 2.83 - - - -
- - qesto 3.11 - - - -
- - xb-qsts_bqsts2.0 7.34 - - - -
rareqs(2.08)
caqe_2017_v1(2.16)
ijtihad_v2(2.47)
heretiq(2.69)
ijtihad_v1(2.69)
ASPQ2(2.83)
qesto(3.11)
xb-qsts_bqsts2.0(7.34)
xb-qsts_xbqsts1.0(26.77)
xb-qsts_xbqsts2.0(26.84)
qbfrelay(121.44)
qbfrelay-limited-depqbf(165.47)
caqe_2017_v2(890.26)
caqe_2017_v3(892.1)