Family s713 results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL3602.08900.520.14900.540.250
openQbf3603.68900.920.02900.910.040
qbfbdd3603.27900.820.06900.810.110
QbflHR3603.97900.990900.9900
QChaffLearn3601.03900.260.32900.250.630
QMRes1834.99458.75441.24459.9882.480
QUANTOR2910.26727.57299.21900.16345.790.25
semprop3603.97900.990.01900.990.010
skizzo_v0.41884.53471.13326.34483.54575.340.25
skizzo_v0.52201.57550.39323.89644.78440.820.25
sSolve3601.7900.430.1900.470.150
WalkQSAT3603.89900.970.02900.980.040
yQuaffle3601.98900.50.12900.460.170