Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_3_94.8
Best Solver: rareqs Time: 5.86 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer3 7.8 caqe-minisat 30 depqbf-v2 64.21
- - qesto 9.2 qestos 40.01 caqe-picosat 79.72
- - hiqqer1 10.68 depqbf-v3 44.31 aqua-s3o 109.19
- - hiqqer1ldsq 10.72 - - aqua-s2v 140.86
- - qsts 14.02 - - aqua-f3v 145.68
- - xb-qsts 19.82 - - depqbf-v1 171.52
- - xb-bid-qsts 23.9 - - - -
rareqs(5.86)
hiqqer3(7.8)
qesto(9.2)
hiqqer1(10.68)
hiqqer1ldsq(10.72)
qsts(14.02)
xb-qsts(19.82)
xb-bid-qsts(23.9)
caqe-minisat(30)
qestos(40.01)
depqbf-v3(44.31)
depqbf-v2(64.21)
caqe-picosat(79.72)
aqua-s3o(109.19)
aqua-s2v(140.86)
aqua-f3v(145.68)
depqbf-v1(171.52)