Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_2_93.5
Best Solver: qsts Time: 1.38 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 2.97 caqe-minisat 8.07 depqbf-v2 17.62
- - hiqqer1ldsq 3.1 caqe-picosat 9 depqbf-v1 23.41
- - hiqqer1 3.11 xb-qsts 10.07 depqbf-v3 34.63
- - hiqqer3 3.83 xb-bid-qsts 10.22 aqua-s2v 81.37
- - qesto 3.83 - - aqua-f3v 81.87
- - qestos 6.59 - - aqua-s3o 82.15
qsts(1.38)
rareqs(2.97)
hiqqer1ldsq(3.1)
hiqqer1(3.11)
hiqqer3(3.83)
qesto(3.83)
qestos(6.59)
caqe-minisat(8.07)
caqe-picosat(9)
xb-qsts(10.07)
xb-bid-qsts(10.22)
depqbf-v2(17.62)
depqbf-v1(23.41)
depqbf-v3(34.63)
aqua-s2v(81.37)
aqua-f3v(81.87)
aqua-s3o(82.15)