Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_5_45.8
Best Solver: qsts Time: 1.24 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 2.5 xb-bid-qsts 10.85 caqe-minisat 15.23
- - hiqqer1 2.52 xb-qsts 10.93 depqbf-v1 26.21
- - hiqqer3 3.12 caqe-picosat 11.76 depqbf-v3 35.41
- - rareqs 4.72 - - depqbf-v2 38.01
- - qesto 5.16 - - aqua-s3o 97.53
- - qestos 5.35 - - aqua-f3v 99.12
- - - - - - aqua-s2v 100.69
qsts(1.24)
hiqqer1ldsq(2.5)
hiqqer1(2.52)
hiqqer3(3.12)
rareqs(4.72)
qesto(5.16)
qestos(5.35)
xb-bid-qsts(10.85)
xb-qsts(10.93)
caqe-picosat(11.76)
caqe-minisat(15.23)
depqbf-v1(26.21)
depqbf-v3(35.41)
depqbf-v2(38.01)
aqua-s3o(97.53)
aqua-f3v(99.12)
aqua-s2v(100.69)