Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_2_93.6
Best Solver: qsts Time: 5.7 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 5.73 depqbf-v2 30.21 aqua-s3o 95.81
- - hiqqer3 6.4 qestos 53.31 aqua-s2v 96.47
- - hiqqer1ldsq 7.24 - - aqua-f3v 97.01
- - hiqqer1 7.26 - - depqbf-v1 105.31
- - qesto 9.72 - - depqbf-v3 127.49
- - caqe-minisat 12.35 - - - -
- - xb-qsts 15.72 - - - -
- - xb-bid-qsts 16.34 - - - -
- - caqe-picosat 17.51 - - - -
qsts(5.7)
rareqs(5.73)
hiqqer3(6.4)
hiqqer1ldsq(7.24)
hiqqer1(7.26)
qesto(9.72)
caqe-minisat(12.35)
xb-qsts(15.72)
xb-bid-qsts(16.34)
caqe-picosat(17.51)
depqbf-v2(30.21)
qestos(53.31)
aqua-s3o(95.81)
aqua-s2v(96.47)
aqua-f3v(97.01)
depqbf-v1(105.31)
depqbf-v3(127.49)