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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqua-f3v2452.3381.7458.28102.8896.251
aqua-s2v2420.5580.6956.86102.8597.651
aqua-s3o2087.8669.644.06100.4984.61
caqe-minisat224.887.56.675.7391
caqe-picosat269.488.989.295.7511.431
depqbf-v1908.8230.2960.377.4622.41
depqbf-v2587.819.5915.416.6226.81
depqbf-v3522.4117.4113.4514.6421.71
hiqqer165.12.171.82.012.581
hiqqer1ldsq64.442.151.781.992.541
hiqqer372.322.412.042.223.171
iprover-QBF14431.86481.06180.41559.84195.180.2
iprover-QBF-bloqqer8733.53291.12261.9404.6522.040.433
qesto101.53.383.243.054.591
qestos275.239.1723.413.685.971
qsts332.2811.0820.151.159.381
rareqs77.592.592.112.273.661
squeezebf+struqs15613.16520.44183.55599.7100.2
struqs-1016118.98537.3179.41599.7100.133
xb-bid-qsts258.658.6210.025.8210.891
xb-qsts221.577.396.295.7611.061