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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve33.013.34.751.541.211
aqua-f3v1.50.150.130.110.071
aqua-s2v1.240.120.080.10.061
aqua-s3o1.250.130.080.10.061
caqe-minisat666.8666.69178.1211.840.9
caqe-picosat15.451.551.171.10.651
depqbf-v11691.77169.18259.280.110.110.8
depqbf-v2606.8360.68177.511.220.60.9
depqbf-v31561.36156.14245.480.941.050.8
ghostq-cegar37.853.799.570.550.491
ghostq-plain9.780.981.30.520.311
hiqqer12401.44240.14293.60.56599.380.6
hiqqer1ldsq2401.48240.15293.620.55599.390.6
hiqqer32403.78240.38293.411.18599.030.6
iprover-QBF3466.74346.67105.07316.59110.990
iprover-QBF-bloqqer456.745.6748.4428.5737.381
qesto1803.21180.32274.560.451.850.7
qestos1825.93182.59273.210.325.210.7
qsts22.462.252.791.461.61
rareqs3.060.310.320.220.161
squeezebf+struqs5997.1599.710599.7100
struqs-105997.2599.720.03599.7100
xb-bid-qsts103.410.3413.951.682.041
xb-qsts15.851.591.340.980.631