Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: k_dum_p-16
Best Solver: AIGSolve Time: 0.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - nenofex-qbfeval10 2.58
- - - - - - quantor-3.1 6.86
- - - - - - struqs-10 9.23
- - - - - - aqme-10 9.82
- - - - - - QuBE7-c 10.94
- - - - - - QuBE7-m 11.93
AIGSolve(0.21)
qmaiga(0.21)
nenofex-qbfeval10(2.58)
quantor-3.1(6.86)
struqs-10(9.23)
aqme-10(9.82)
QuBE7-c(10.94)
QuBE7-m(11.93)
QuBE7(37.39)