Sota solver details
QBFEVAL'07

Instance: c1_BMC_p1_k128
Best Solver: QUANTOR_2.15 Time: 15.36 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AQME-RIPPER 24.08 - - - -
- - sKizzo-0.10-qck 50.44 - - - -
- - sKizzo-0.10-std 52.82 - - - -
- - qSS 63.79 - - - -
QUANTOR_2.15(15.36)
AQME-RIPPER(24.08)
sKizzo-0.10-qck(50.44)
sKizzo-0.10-std(52.82)
qSS(63.79)