Family s641 results for solvers
QBFEVAL'16 - Prenex CNF Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve3811.56423.51251.53599.72497.380.333
aqua-f3v3123.32347.04283.61599.71581.360.444
aqua-s2v2809.84312.2269.92292.92581.450.556
aqua-s3o3105.02345285.55599.72581.460.444
caqe-minisat1151.14127.9161.8847.4127.191
caqe-picosat878.3797.6100.5954.26101.41
depqbf-v15333.04592.560.49592.420.370
depqbf-v22518.68279.85281.05102.11584.910.556
depqbf-v33307.75367.53271.4599.81586.60.444
ghostq-cegar214.4223.8227.696.6724.581
ghostq-plain109.5312.1711.795.8212.921
hiqqer12861.83317.98252.5121.03513.780.556
hiqqer1ldsq2867.9318.66251.91121.02513.460.556
hiqqer33097.76344.2229.94195.75469.080.556
iprover-QBF2710.61301.18215.6313.54379.560
iprover-QBF-bloqqer2703.94300.44246.82207.33484.890.111
qesto594.0966.0179.8426.3558.121
qestos4312.59479.18178.52555.82156.90.111
qsts0.740.080.050.080.071
rareqs359.1639.9150.061047.191
squeezebf+struqs4275.9475.1211.34599.74279.20.333
struqs-104333.81481.53204.47599.82251.090.333
xb-bid-qsts571.5163.557.1938.4658.781
xb-qsts570.7663.4257.2938.5458.651