Sota solver details
QBFEVAL'06

Instance: k_d4_n-20
Best Solver: QUANTOR_hc Time: 0.03 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
QUANTOR_hc(0.03)
sKizzo-0.9-std(18.36)
sKizzo-0.9-abs(20.08)
sSolve(1150.64)
ssolve-ut(1165.43)
ssolve+ut(1174.61)