Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_3_56.10
Best Solver: rareqs Time: 10.38 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qesto 29.68 caqe-picosat 84.25 xb-qsts 112.71
- - - - caqe-minisat 89.27 qestos 164.65
- - - - xb-bid-qsts 103.76 depqbf-v2 202.11
- - - - - - hiqqer3 235.21
- - - - - - hiqqer1ldsq 259.16
- - - - - - qsts 261.88
- - - - - - hiqqer1 265.4
rareqs(10.38)
qesto(29.68)
caqe-picosat(84.25)
caqe-minisat(89.27)
xb-bid-qsts(103.76)
xb-qsts(112.71)
qestos(164.65)
depqbf-v2(202.11)
hiqqer3(235.21)
hiqqer1ldsq(259.16)
qsts(261.88)
hiqqer1(265.4)