Family mB-t2-5qbf-5cnf-150var-2700cl results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.040.0200.0201
CSBJ0.020.0100.0101
GRL0.120.0600.0601
openQbf0.70.350.030.3501
orSAT0.080.0400.0401
QBFL-BS1802.01901.010.01901.0100
QBFL-JW1204.8602.4298.6602.400.5
QMRes919.56459.78441.24459.7800.5
QSAT903.38451.69449.32451.6900.5
QUANTOR30.2915.150.915.1500
QUBE-BJ1.960.9800.9801
QUBE-LRN000000
semprop0.030.020.010.0201
sSolve0.030.020.010.0201
WalkQSAT0.050.030.010.0301
yQuaffle0.060.0300.0301