Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: k_lin_p-21
Best Solver: AIGSolve Time: 0.19 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qmaiga 0.21 depqbf 1.6 depqbf-pre 2.06
- - QuBE7-c 0.35 - - aqme-10 2.93
- - QuBE7-m 0.36 - - - -
- - QuBE7 0.41 - - - -
- - quantor-3.1 0.69 - - - -
AIGSolve(0.19)
qmaiga(0.21)
QuBE7-c(0.35)
QuBE7-m(0.36)
QuBE7(0.41)
quantor-3.1(0.69)
depqbf(1.6)
depqbf-pre(2.06)
aqme-10(2.93)
nenofex-qbfeval10(217.79)