Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_2_65.6
Best Solver: rareqs Time: 6.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer3 14.72 caqe-picosat 42.15 aqua-s3o 118.53
- - hiqqer1ldsq 14.96 depqbf-v2 47.51 aqua-s2v 120.86
- - hiqqer1 15.1 - - aqua-f3v 122.18
- - qsts 17.49 - - qestos 245.66
- - qesto 18.71 - - depqbf-v3 274.21
- - xb-qsts 20.77 - - depqbf-v1 302.81
- - xb-bid-qsts 21.45 - - - -
- - caqe-minisat 27.84 - - - -
rareqs(6.02)
hiqqer3(14.72)
hiqqer1ldsq(14.96)
hiqqer1(15.1)
qsts(17.49)
qesto(18.71)
xb-qsts(20.77)
xb-bid-qsts(21.45)
caqe-minisat(27.84)
caqe-picosat(42.15)
depqbf-v2(47.51)
aqua-s3o(118.53)
aqua-s2v(120.86)
aqua-f3v(122.18)
qestos(245.66)
depqbf-v3(274.21)
depqbf-v1(302.81)