Sota solver details
QBFEVAL'06

Instance: k_d4_n-12
Best Solver: QUANTOR_hc Time: 0.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
QUANTOR_hc(0.01)
sKizzo-0.9-std(18.19)
sKizzo-0.9-abs(18.9)
sSolve(383.19)
ssolve-ut(389.15)
ssolve+ut(391.84)