Family RobotsD3 results for solvers
QBFEVAL'16 - Random QBFs Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqua-f3v4272.17142.41175.1966.58113.20.933
aqua-s2v3779.38125.98157.3866.02106.270.933
aqua-s3o2779.0292.63115.5364.2176.820.967
caqe-minisat1452.8948.43112.48.9626.870.967
caqe-picosat1046.7134.8955.779.6724.61
depqbf-v15500183.33242.5222.36324.40.767
depqbf-v21546.851.5610821.37470.967
depqbf-v31815.8260.53118.5920.5845.520.967
hiqqer1760.7625.3666.653.069.571
hiqqer1ldsq745.0424.8364.973.039.781
hiqqer3488.4916.2842.143.5114.881
iprover-QBF14502.43483.41182.84594.68161.530.2
iprover-QBF-bloqqer10631.62354.39253.06482.44547.480.333
qesto362.1812.0719.834.918.391
qestos2181.4672.72157.466.3835.370.9
qsts801.2826.7155.12.3227.251
rareqs138.164.614.623.985.491
squeezebf+struqs16058.9535.3179.7599.7100.167
struqs-1016219.53540.65177.2599.7100.1
xb-bid-qsts587.4619.5823.9710.5519.581
xb-qsts522.6917.4222.618.9320.051