Sota solver details
QBFEVAL'16 - Solver Portfolio Track.

Instance: arbiter-07-comp-error01-qbf-hardness-depth-11
Best Solver: caqe-portfolio Time: 6.43 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - aqme-10 132.4
- - - - - - squeezebf+aqme 133.33

caqe-portfolio(6.43)
aqme-10(132.4)
squeezebf+aqme(133.33)