Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_2_46.10
Best Solver: rareqs Time: 10.54 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qsts 10.78 xb-bid-qsts 52.95 aqua-f3v 124.49
- - qesto 13.98 xb-qsts 54.15 aqua-s2v 169.02
- - qestos 20.12 caqe-minisat 55.92 depqbf-v1 270.72
- - hiqqer3 30.37 depqbf-v2 94.11 depqbf-v3 308.26
- - hiqqer1ldsq 44.64 aqua-s3o 103.26 - -
- - hiqqer1 44.76 - - - -
- - caqe-picosat 48.12 - - - -
rareqs(10.54)
qsts(10.78)
qesto(13.98)
qestos(20.12)
hiqqer3(30.37)
hiqqer1ldsq(44.64)
hiqqer1(44.76)
caqe-picosat(48.12)
xb-bid-qsts(52.95)
xb-qsts(54.15)
caqe-minisat(55.92)
depqbf-v2(94.11)
aqua-s3o(103.26)
aqua-f3v(124.49)
aqua-s2v(169.02)
depqbf-v1(270.72)
depqbf-v3(308.26)