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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.420.210.20.2101
CSBJ0.430.220.210.2201
GRL1.110.560.540.5601
openQbf15.467.733.617.7301
orSAT1802901090100
QBFL-BS1.560.780.710.7801
QBFL-JW2.081.041.011.0401
QMRes1802.02901.010901.0100
QSAT0.020.0100.0101
QUANTOR26.2613.13013.1300
QUBE-BJ1.980.990.010.9901
QUBE-LRN1.970.990.010.9901
semprop0.010.010.010.0101
sSolve0.010.010.010.0101
WalkQSAT1802.01901.010.01901.0100
yQuaffle1.140.570.520.5701