Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_3_56.6
Best Solver: qsts Time: 2.4 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 3.31 depqbf-v2 22.02 depqbf-v1 24.41
- - hiqqer1 3.35 depqbf-v3 23.33 aqua-f3v 52.68
- - hiqqer3 3.76 - - aqua-s3o 52.69
- - rareqs 5.05 - - aqua-s2v 53.72
- - qesto 5.46 - - - -
- - qestos 6.01 - - - -
- - caqe-minisat 9.48 - - - -
- - xb-qsts 9.92 - - - -
- - xb-bid-qsts 10.01 - - - -
- - caqe-picosat 10.42 - - - -
qsts(2.4)
hiqqer1ldsq(3.31)
hiqqer1(3.35)
hiqqer3(3.76)
rareqs(5.05)
qesto(5.46)
qestos(6.01)
caqe-minisat(9.48)
xb-qsts(9.92)
xb-bid-qsts(10.01)
caqe-picosat(10.42)
depqbf-v2(22.02)
depqbf-v3(23.33)
depqbf-v1(24.41)
aqua-f3v(52.68)
aqua-s3o(52.69)
aqua-s2v(53.72)