Family evader-pursuer-6x6-logarithmic results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ1494.3747.15481.19747.1501
GRL96.8648.4345.3348.4301
openQbf767.91383.96316.89383.9601
preQuantor899.56449.78133.82449.7800
Qbfl433.97216.99185.94216.9901
Quaffle23.8211.919.1511.9101
QUANTOR516.87258.4412.29258.4400
QUANTOR_hc514.9257.4512.74257.4500
qube3.074.1937.129.8337.101
qube4.075.9337.9729.8737.9701
qube5.051.5925.819.225.801
semprop311.92155.96120.1155.9601
sKizzo-0.9-abs511.63255.82255.27255.8200.5
sKizzo-0.9-grn14.987.496.977.4901
sKizzo-0.9-std473.59236.8236.24236.800.5
SQBF1410.67705.34465.2705.3401
sSolve2508.651254.331100.051254.3301
ssolve+ut2539.421269.711115.061269.7101
ssolve-ut2535.291267.651117.481267.6501
WalkQSAT78.1539.0833.5239.0800.5
yQuaffle597.18298.59288.72298.5900.5