Family mA-t2-2qbf-5cnf-50var-400cl results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn1802.01901.010.01901.0100
CSBJ1802.02901.010901.0100
GRL1802.01901.010.01901.0100
openQbf1802.02901.010901.0100
orSAT1802.01901.010.01901.0100
QBFL-BS1802.02901.010.01901.0100
QBFL-JW1802.01901.010.01901.0100
QMRes1802.03901.020.01901.0200
QSAT963481.5419.51481.500.5
QUANTOR22.1511.080.1311.0800
QUBE-BJ18.759.384.949.3801
QUBE-LRN3.71.850.31.8501
semprop0.30.150.120.1501
sSolve0.10.050.040.0501
WalkQSAT1802901090100
yQuaffle920.03460.02440.99460.0200.5