Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: k_t4p_p-4
Best Solver: quantor-3.1 Time: 0.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qmaiga 0.17 - - QuBE7-m 0.83
- - AIGSolve 0.18 - - QuBE7-c 0.96
- - - - - - aqme-10 1.24
- - - - - - nenofex-qbfeval10 4.44
- - - - - - struqs-10 4.52
quantor-3.1(0.05)
qmaiga(0.17)
AIGSolve(0.18)
QuBE7-m(0.83)
QuBE7-c(0.96)
aqme-10(1.24)
nenofex-qbfeval10(4.44)
struqs-10(4.52)
QuBE7(15.57)
depqbf-pre(112.46)