Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: stmt28_68_81
Best Solver: areqs Time: 12.51 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-bid-qsts 35.37 ghostq-cegar 70.48 - -
- - hiqqer3 49.48 hiqqer1ldsq 86.56 - -
- - - - hiqqer1 87.66 - -
areqs(12.51)
xb-bid-qsts(35.37)
hiqqer3(49.48)
ghostq-cegar(70.48)
hiqqer1ldsq(86.56)
hiqqer1(87.66)