Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: qshifter_8
Best Solver: struqs-10 Time: 1.4 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qesto 5.59 xb-bid-qsts 10.91 caqe-minisat 14.84
- - rareqs 5.63 xb-qsts 10.97 depqbf-v3 24.21
- - hiqqer3 5.7 iprover-QBF-bloqqer 11.04 - -
- - hiqqer1 5.75 caqe-picosat 11.05 - -
- - hiqqer1ldsq 5.77 depqbf-v2 12.12 - -
- - qestos 5.9 - - - -
struqs-10(1.4)
qesto(5.59)
rareqs(5.63)
hiqqer3(5.7)
hiqqer1(5.75)
hiqqer1ldsq(5.77)
qestos(5.9)
xb-bid-qsts(10.91)
xb-qsts(10.97)
iprover-QBF-bloqqer(11.04)
caqe-picosat(11.05)
depqbf-v2(12.12)
caqe-minisat(14.84)
depqbf-v3(24.21)
squeezebf+struqs(226.95)