Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: k_branch_n-5
Best Solver: AIGSolve Time: 1.62 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qmaiga 1.93 - - aqme-10 51.68
AIGSolve(1.62)
qmaiga(1.93)
aqme-10(51.68)
QuBE7-c(401.5)
QuBE7-m(627.68)