Suite Biere results for solvers
QBFEVAL'04

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn3604.93450.62450.39450.78900.840.5
CSBJ4569.29571.16426.23901868.890.375
GRL3609.54451.19449.82452.62900.380.5
openQbf5409.13676.14389.48901.01449.470.25
orSAT5407.5675.94389.82901449.80.25
QBFL-BS5416.71677.09387.85901.01445.460.25
QBFL-JW5416.69677.09387.85901.01445.720.25
QMRes3734.88466.86434.82490.72875.790.5
QSAT4540.65567.58430.57901883.190.375
QUANTOR2716.38339.55434.926.67900.990.5
QUBE-BJ3656.1457.01444.2472.29897.310.5
QUBE-LRN3608.69451.09449.95451.29900.010.5
semprop3605.53450.69450.32451.22900.980.5
sSolve5406.07675.76390.14901450.50.25
WalkQSAT5406.16675.77390.12901450.460.25
yQuaffle3230.69403.84419.63263.76900.920.5