Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: k_branch_p-11
Best Solver: aqme-10 Time: 5.1 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - AIGSolve 33.32 - -
- - - - qmaiga 42.39 - -
aqme-10(5.1)
AIGSolve(33.32)
qmaiga(42.39)