Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: k_grz_p-10
Best Solver: AIGSolve Time: 0.43 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qmaiga 0.44 - - depqbf-pre 8.33
- - quantor-3.1 0.48 - - nenofex-qbfeval10 8.78
- - aqme-10 1.34 - - QuBE7 14.4
- - QuBE7-c 1.43 - - - -
- - QuBE7-m 1.52 - - - -
AIGSolve(0.43)
qmaiga(0.44)
quantor-3.1(0.48)
aqme-10(1.34)
QuBE7-c(1.43)
QuBE7-m(1.52)
depqbf-pre(8.33)
nenofex-qbfeval10(8.78)
QuBE7(14.4)
struqs-10(132.26)
depqbf(447)