Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: k_dum_p-21
Best Solver: AIGSolve Time: 0.26 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qmaiga 0.29 - - nenofex-qbfeval10 4.16
- - - - - - aqme-10 19.19
AIGSolve(0.26)
qmaiga(0.29)
nenofex-qbfeval10(4.16)
aqme-10(19.19)
struqs-10(30.35)
QuBE7-m(43.28)
QuBE7-c(91.8)
QuBE7(543.92)