Sota solver details
QBFEVAL'06

Instance: toilet_a_10_01.16
Best Solver: ssolve+ut Time: 1.63 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - WalkQSAT 3.1 qube3.0 8.19 qube4.0 22.87
- - GRL 3.27 qube5.0 8.8 yQuaffle 24.22
- - - - Quaffle 8.89 QUANTOR_hc 31.73
- - - - sKizzo-0.9-grn 11.64 QUANTOR 31.77
- - - - - - sSolve 38.49
- - - - - - sKizzo-0.9-abs 58.79
- - - - - - sKizzo-0.9-std 61.98
- - - - - - semprop 70.07
- - - - - - preQuantor 88.52
- - - - - - SQBF 88.7
- - - - - - 2clsQ 89.77
ssolve+ut(1.63)
WalkQSAT(3.1)
GRL(3.27)
qube3.0(8.19)
qube5.0(8.8)
Quaffle(8.89)
sKizzo-0.9-grn(11.64)
qube4.0(22.87)
yQuaffle(24.22)
QUANTOR_hc(31.73)
QUANTOR(31.77)
sSolve(38.49)
sKizzo-0.9-abs(58.79)
sKizzo-0.9-std(61.98)
semprop(70.07)
preQuantor(88.52)
SQBF(88.7)
2clsQ(89.77)
openQbf(4505.59)