Family ToiletC results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.050.0500.0501
GRL0.010.0100.0101
openQbf0.410.4100.4101
preQuantor0.050.0500.0501
Qbfl599.7599.70599.700
Quaffle6000.186000.1806000.1800
QUANTOR0.050.0500.0501
QUANTOR_hc0.040.0400.0401
qube3.00.040.0400.0401
qube4.00.070.0700.0701
qube5.00.10.100.101
semprop0.280.2800.2801
sKizzo-0.9-abs0.040.0400.0401
sKizzo-0.9-grn0.050.0500.0501
sKizzo-0.9-std0.050.0500.0501
SQBF0.070.0700.0701
sSolve0.530.5300.5301
ssolve+ut0.580.5800.5801
ssolve-ut0.590.5900.5901
WalkQSAT0.010.0100.0101
yQuaffle599.57599.570599.5700