Family s1269 results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn7208.06901.010901.0100
CSBJ7208.07901.010901.0100
GRL7164.66895.5814.37901.020.010
openQbf7208.06901.010901.0100
orSAT7208.04901.010.01901.010.010
QBFL-BS7208.12901.020.01901.010.010
QBFL-JW7208.06901.010901.0100
QMRes1568.11196.01319.519.2270.570
QSAT7208.06901.010901.0100
QUANTOR6741.69842.71154.239010.010
QUBE-BJ7208.26901.030901.0300
QUBE-LRN1482.55185.3250.37166.1537.330
semprop6307.64788.46297.78901.010.010
sSolve7208.05901.010.01901.010.010
WalkQSAT2.560.320.280.20.380
yQuaffle1204.33150.5456.83125.6651.320