Family k_lin_n results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn2762.19345.27430.6229.44900.850.625
CSBJ4507.86563.48435.74901899.580.375
GRL3064.68383.09409.33180.39900.550.625
openQbf5626.01703.25346.89901340.590.25
orSAT6028.08753.51299.08901139.490.125
QBFL-BS5428.21678.53385.38901439.420.25
QBFL-JW5462.3682.79378.23901.01422.390.25
QMRes4180.82522.6417.42738.43900.530.5
QSAT3240.89405.11400.18267.27899.340.625
QUANTOR2999.12374.89413.46147.97900.970.625
QUBE-BJ3616.72452.09448.95455.27899.990.5
QUBE-LRN1070.65133.83207.957.32209.81
semprop18.752.343.330.224.161
sSolve1279.28159.91289.7610.42178.10.875
WalkQSAT3621.5452.69448.33457.52899.270.375
yQuaffle494.7961.8550.6182.46108.510.625