Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_4_54.8
Best Solver: qsts Time: 0.39 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - hiqqer1ldsq 2.61 rareqs 4.34
- - - - hiqqer1 2.63 qesto 4.47
- - - - hiqqer3 3.26 qestos 4.92
- - - - - - caqe-minisat 9.5
- - - - - - xb-qsts 9.7
- - - - - - xb-bid-qsts 10.02
- - - - - - caqe-picosat 10.05
- - - - - - depqbf-v1 22.91
- - - - - - depqbf-v3 26.06
- - - - - - depqbf-v2 32.81
qsts(0.39)
hiqqer1ldsq(2.61)
hiqqer1(2.63)
hiqqer3(3.26)
rareqs(4.34)
qesto(4.47)
qestos(4.92)
caqe-minisat(9.5)
xb-qsts(9.7)
xb-bid-qsts(10.02)
caqe-picosat(10.05)
depqbf-v1(22.91)
depqbf-v3(26.06)
depqbf-v2(32.81)
aqua-s3o(100.53)
aqua-s2v(104.85)
aqua-f3v(105)