Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_2_93.8
Best Solver: rareqs Time: 13.24 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - qesto 74.36 caqe-minisat 143.89
- - - - xb-qsts 76.62 caqe-picosat 205.36
- - - - xb-bid-qsts 79.03 hiqqer3 251.68
- - - - qsts 105.67 depqbf-v2 257.61
- - - - - - hiqqer1ldsq 359.89
- - - - - - hiqqer1 362.13
- - - - - - aqua-f3v 394.32
- - - - - - aqua-s3o 403.24
- - - - - - aqua-s2v 410.53
rareqs(13.24)
qesto(74.36)
xb-qsts(76.62)
xb-bid-qsts(79.03)
qsts(105.67)
caqe-minisat(143.89)
caqe-picosat(205.36)
hiqqer3(251.68)
depqbf-v2(257.61)
hiqqer1ldsq(359.89)
hiqqer1(362.13)
aqua-f3v(394.32)
aqua-s3o(403.24)
aqua-s2v(410.53)