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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn000001
CSBJ0.020.0100.0101
GRL0.040.0200.0201
openQbf0.50.250.020.2501
orSAT1802901090100
QBFL-BS1802.05901.030.01901.0300
QBFL-JW1802.03901.020.02901.0200
QMRes6.133.072.923.0701
QSAT1.040.520.450.5201
QUANTOR3.741.871.771.8701
QUBE-BJ1.950.980.010.9801
QUBE-LRN000000
semprop0.020.0100.0101
sSolve0.020.0100.0101
WalkQSAT0.040.0200.0201
yQuaffle0.020.0100.0101