Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_3_56.3
Best Solver: qsts Time: 0.12 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 0.51 hiqqer1ldsq 0.69 qesto 1.3
- - - - hiqqer1 0.7 qestos 1.3
- - - - hiqqer3 0.7 rareqs 1.3
- - - - - - xb-qsts 3.03
- - - - - - caqe-picosat 3.06
- - - - - - xb-bid-qsts 3.07
- - - - - - caqe-minisat 3.13
- - - - - - iprover-QBF-bloqqer 3.16
- - - - - - depqbf-v3 5.72
- - - - - - depqbf-v2 6.41
qsts(0.12)
depqbf-v1(0.51)
hiqqer1ldsq(0.69)
hiqqer1(0.7)
hiqqer3(0.7)
qesto(1.3)
qestos(1.3)
rareqs(1.3)
xb-qsts(3.03)
caqe-picosat(3.06)
xb-bid-qsts(3.07)
caqe-minisat(3.13)
iprover-QBF-bloqqer(3.16)
depqbf-v3(5.72)
depqbf-v2(6.41)
aqua-s3o(27.36)
aqua-s2v(27.6)
aqua-f3v(27.93)