Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_4_74.10
Best Solver: hiqqer1 Time: 3.86 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer3 4.84 caqe-picosat 19.74 depqbf-v2 42.92
- - rareqs 5.91 caqe-minisat 24.15 depqbf-v1 79.01
- - qesto 6.93 depqbf-v3 37.88 qsts 84.95
- - qestos 7.22 - - aqua-s3o 101.69
- - xb-bid-qsts 16.79 - - aqua-s2v 118.85
- - xb-qsts 16.84 - - aqua-f3v 137.08
hiqqer1(3.86)
hiqqer1ldsq(3.86)
hiqqer3(4.84)
rareqs(5.91)
qesto(6.93)
qestos(7.22)
xb-bid-qsts(16.79)
xb-qsts(16.84)
caqe-picosat(19.74)
caqe-minisat(24.15)
depqbf-v3(37.88)
depqbf-v2(42.92)
depqbf-v1(79.01)
qsts(84.95)
aqua-s3o(101.69)
aqua-s2v(118.85)
aqua-f3v(137.08)