Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: query49_ntrivil_1344n
Best Solver: rareqs Time: 0.73 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - xb-qsts 5.15 aspQ 20.03
- - - - xb-bid-qsts 5.25 qsts 64.69

rareqs(0.73)
xb-qsts(5.15)
xb-bid-qsts(5.25)
aspQ(20.03)
qsts(64.69)
hiqqer1ldsq(319.82)
hiqqer3(322.74)
hiqqer1(330.38)