Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: k5_3_2
Best Solver: AIGSolve Time: 17.94 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqme-10 24.3 - - quantor-3.1 638.88
- - qmaiga 35.14 - - nenofex-qbfeval10 1033.39
AIGSolve(17.94)
aqme-10(24.3)
qmaiga(35.14)
quantor-3.1(638.88)
nenofex-qbfeval10(1033.39)