Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_3_56.9
Best Solver: rareqs Time: 9 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qesto 16.67 hiqqer1ldsq 45.05 depqbf-v3 340.34
- - xb-qsts 33.65 hiqqer1 45.66 aqua-s3o 366.63
- - xb-bid-qsts 34.65 depqbf-v2 89.21 aqua-s2v 478.95
- - hiqqer3 36.12 qsts 89.22 aqua-f3v 544.11
- - qestos 36.19 - - - -
- - caqe-minisat 36.24 - - - -
- - caqe-picosat 39.27 - - - -
rareqs(9)
qesto(16.67)
xb-qsts(33.65)
xb-bid-qsts(34.65)
hiqqer3(36.12)
qestos(36.19)
caqe-minisat(36.24)
caqe-picosat(39.27)
hiqqer1ldsq(45.05)
hiqqer1(45.66)
depqbf-v2(89.21)
qsts(89.22)
depqbf-v3(340.34)
aqua-s3o(366.63)
aqua-s2v(478.95)
aqua-f3v(544.11)