Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_4_54.7
Best Solver: qsts Time: 0.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - hiqqer1 3.28
- - - - - - hiqqer1ldsq 3.29
- - - - - - hiqqer3 3.72
- - - - - - rareqs 4.12
- - - - - - qesto 4.16
- - - - - - qestos 4.32
- - - - - - xb-qsts 8.36
- - - - - - caqe-picosat 8.45
- - - - - - xb-bid-qsts 8.45
- - - - - - caqe-minisat 8.64
- - - - - - depqbf-v1 13.81
- - - - - - depqbf-v3 20.44
- - - - - - depqbf-v2 26.61
qsts(0.3)
hiqqer1(3.28)
hiqqer1ldsq(3.29)
hiqqer3(3.72)
rareqs(4.12)
qesto(4.16)
qestos(4.32)
xb-qsts(8.36)
caqe-picosat(8.45)
xb-bid-qsts(8.45)
caqe-minisat(8.64)
depqbf-v1(13.81)
depqbf-v3(20.44)
depqbf-v2(26.61)
aqua-s3o(100.51)
aqua-f3v(103.89)
aqua-s2v(104.01)