Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_4_46.10
Best Solver: rareqs Time: 6.34 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 6.42 caqe-picosat 38.85 aqua-s3o 107.39
- - hiqqer1 6.5 depqbf-v3 41.41 aqua-s2v 181.84
- - hiqqer3 7.61 qsts 43.69 aqua-f3v 200.74
- - qestos 11.71 depqbf-v2 47.81 depqbf-v1 297.02
- - qesto 14.86 - - - -
- - xb-qsts 15.47 - - - -
- - xb-bid-qsts 15.71 - - - -
- - caqe-minisat 19.59 - - - -
rareqs(6.34)
hiqqer1ldsq(6.42)
hiqqer1(6.5)
hiqqer3(7.61)
qestos(11.71)
qesto(14.86)
xb-qsts(15.47)
xb-bid-qsts(15.71)
caqe-minisat(19.59)
caqe-picosat(38.85)
depqbf-v3(41.41)
qsts(43.69)
depqbf-v2(47.81)
aqua-s3o(107.39)
aqua-s2v(181.84)
aqua-f3v(200.74)
depqbf-v1(297.02)