Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: s298_d5_s
Best Solver: AIGSolve Time: 9.53 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qmaiga 12.06 - - quantor-3.1 185.86
- - QuBE7-m 16.43 - - aqme-10 333.45
- - QuBE7-c 16.59 - - struqs-10 635.13
- - QuBE7 17.47 - - nenofex-qbfeval10 814.84
AIGSolve(9.53)
qmaiga(12.06)
QuBE7-m(16.43)
QuBE7-c(16.59)
QuBE7(17.47)
quantor-3.1(185.86)
aqme-10(333.45)
struqs-10(635.13)
nenofex-qbfeval10(814.84)