Suite Mneimneh-Sakallah results for solvers
QBFEVAL'06

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ18023.931638.542671.12.8914.160.727
GRL6607.67600.70.17600.690.320
openQbf66009.786000.890.056000.90.10
preQuantor1080.7798.25160.62.8714.061
Qbfl6505.65591.427.67594.8816.510
Quaffle5702.97518.45153.76563.783.140.091
QUANTOR555.9150.5471.449.5955.51
QUANTOR_hc88.398.0422.840.130.41
qube3.022868.042078.912422.11846.091038.450
qube4.044268.744024.432170.454767.164810.390
qube5.012.741.161.730.220.781
semprop5448.27495.3224.38601562.050.182
sKizzo-0.9-abs176.0916.0128.021.0116.371
sKizzo-0.9-grn341.6231.0672.580.9916.211
sKizzo-0.9-std163.4814.8626.591.1117.111
SQBF760.369.12108.412.8714.120.727
sSolve26555.692414.152717.77599.975980.820.273
ssolve+ut26555.622414.152717.79599.965982.090.273
ssolve-ut48150.674377.332650.566000.325993.010.273
WalkQSAT6042.62549.33163.396010.010.091
yQuaffle65999.75999.970.175999.980.250