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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.060.0300.0301
CSBJ2.181.091.031.0901
GRL0.090.050.030.0501
openQbf1018.06509.03391.97509.0300.5
orSAT1802901090100
QBFL-BS1802.01901.010.01901.0100
QBFL-JW1601.81800.91100.11800.9100.5
QMRes1802.04901.020901.0200
QSAT0.160.080.020.0801
QUANTOR27.4213.710.0913.7100
QUBE-BJ2.141.070.091.0701
QUBE-LRN1.950.980.010.9801
semprop0.020.010.010.0101
sSolve0.020.0100.0101
WalkQSAT2.41.21.131.201
yQuaffle1742.98871.4929.51871.4900.5