Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: k_branch_p-14
Best Solver: aqme-10 Time: 35.09 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AIGSolve 155.51 - - - -
- - qmaiga 172.65 - - - -
aqme-10(35.09)
AIGSolve(155.51)
qmaiga(172.65)