Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: k_path_p-9
Best Solver: quantor-3.1 Time: 0.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - qmaiga 0.16 AIGSolve 0.22
- - - - - - aqme-10 1.29
- - - - - - QuBE7-c 1.61
- - - - - - QuBE7-m 1.63
quantor-3.1(0.02)
qmaiga(0.16)
AIGSolve(0.22)
aqme-10(1.29)
QuBE7-c(1.61)
QuBE7-m(1.63)
nenofex-qbfeval10(7.56)
struqs-10(90.82)