Sota solver details
QBFEVAL'06

Instance: toilet_a_10_05.4
Best Solver: sKizzo-0.9-grn Time: 0.47 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.9-abs 0.53 preQuantor 2.61 yQuaffle 4.74
- - sKizzo-0.9-std 0.61 SQBF 2.66 qube4.0 6.21
- - - - 2clsQ 2.74 semprop 6.22
- - - - QUANTOR_hc 2.86 ssolve-ut 7.45
- - - - QUANTOR 2.9 qube5.0 7.94
- - - - qube3.0 3.81 ssolve+ut 8.56
- - - - - - sSolve 8.72
- - - - - - Quaffle 12.07
- - - - - - WalkQSAT 26.83
sKizzo-0.9-grn(0.47)
sKizzo-0.9-abs(0.53)
sKizzo-0.9-std(0.61)
preQuantor(2.61)
SQBF(2.66)
2clsQ(2.74)
QUANTOR_hc(2.86)
QUANTOR(2.9)
qube3.0(3.81)
yQuaffle(4.74)
qube4.0(6.21)
semprop(6.22)
ssolve-ut(7.45)
qube5.0(7.94)
ssolve+ut(8.56)
sSolve(8.72)
Quaffle(12.07)
WalkQSAT(26.83)
GRL(253.91)