Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_3_98.6
Best Solver: rareqs Time: 4.59 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1 5.1 depqbf-v2 23.71 aqua-s2v 56.14
- - hiqqer1ldsq 5.3 qestos 37.24 aqua-s3o 58.95
- - hiqqer3 6.64 depqbf-v3 42.87 aqua-f3v 59.63
- - qesto 8.62 - - depqbf-v1 95.63
- - qsts 10.32 - - - -
- - xb-qsts 11.28 - - - -
- - xb-bid-qsts 11.55 - - - -
- - caqe-minisat 13.82 - - - -
- - caqe-picosat 16.17 - - - -
rareqs(4.59)
hiqqer1(5.1)
hiqqer1ldsq(5.3)
hiqqer3(6.64)
qesto(8.62)
qsts(10.32)
xb-qsts(11.28)
xb-bid-qsts(11.55)
caqe-minisat(13.82)
caqe-picosat(16.17)
depqbf-v2(23.71)
qestos(37.24)
depqbf-v3(42.87)
aqua-s2v(56.14)
aqua-s3o(58.95)
aqua-f3v(59.63)
depqbf-v1(95.63)