Sota solver details
QBFEVAL'06

Instance: k_t4p_n-12
Best Solver: QUANTOR_hc Time: 0.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - preQuantor 0.16 sKizzo-0.9-abs 1.02
- - - - 2clsQ 0.17 sKizzo-0.9-std 1.02
- - - - SQBF 0.18 - -
QUANTOR_hc(0.02)
preQuantor(0.16)
2clsQ(0.17)
SQBF(0.18)
sKizzo-0.9-abs(1.02)
sKizzo-0.9-std(1.02)
ssolve+ut(159.29)
ssolve-ut(163.44)
sSolve(163.56)