Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_4_46.9
Best Solver: hiqqer1ldsq Time: 3.81 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1 3.86 qestos 22.73 depqbf-v3 38.73
- - hiqqer3 4.83 xb-bid-qsts 24.25 qsts 40.71
- - rareqs 6.18 - - depqbf-v2 43.91
- - qesto 7 - - aqua-s3o 107.33
- - caqe-minisat 13.78 - - depqbf-v1 160.31
- - caqe-picosat 15.78 - - aqua-f3v 168.95
- - xb-qsts 16.58 - - aqua-s2v 173.84
hiqqer1ldsq(3.81)
hiqqer1(3.86)
hiqqer3(4.83)
rareqs(6.18)
qesto(7)
caqe-minisat(13.78)
caqe-picosat(15.78)
xb-qsts(16.58)
qestos(22.73)
xb-bid-qsts(24.25)
depqbf-v3(38.73)
qsts(40.71)
depqbf-v2(43.91)
aqua-s3o(107.33)
depqbf-v1(160.31)
aqua-f3v(168.95)
aqua-s2v(173.84)