Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: k_grz_n-21
Best Solver: AIGSolve Time: 2.5 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qmaiga 4.36 aqme-10 13.27 nenofex-qbfeval10 72.44
- - quantor-3.1 12.47 - - QuBE7-m 87.4
- - - - - - QuBE7-c 98.56
AIGSolve(2.5)
qmaiga(4.36)
quantor-3.1(12.47)
aqme-10(13.27)
nenofex-qbfeval10(72.44)
QuBE7-m(87.4)
QuBE7-c(98.56)