Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_3_98.8
Best Solver: rareqs Time: 8.75 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer3 20.05 qesto 49.09 caqe-minisat 99
- - - - depqbf-v2 53.41 caqe-picosat 157.05
- - - - xb-qsts 60.3 aqua-s2v 160.38
- - - - aqua-s3o 64.51 qsts 161.05
- - - - depqbf-v3 64.51 aqua-f3v 206.86
- - - - xb-bid-qsts 69.31 hiqqer1ldsq 269.97
- - - - - - hiqqer1 277.34
- - - - - - depqbf-v1 324.91
rareqs(8.75)
hiqqer3(20.05)
qesto(49.09)
depqbf-v2(53.41)
xb-qsts(60.3)
aqua-s3o(64.51)
depqbf-v3(64.51)
xb-bid-qsts(69.31)
caqe-minisat(99)
caqe-picosat(157.05)
aqua-s2v(160.38)
qsts(161.05)
aqua-f3v(206.86)
hiqqer1ldsq(269.97)
hiqqer1(277.34)
depqbf-v1(324.91)