Sota solver results for family Sorting_networks
QBFEVAL'16 - 2QBF Track.


InstanceSolverResultTime
sortnetsort10.AE.stepl.004qstsSAT7.91
sortnetsort10.AE.stepl.005qstsSAT89.74
sortnetsort10.AE.stepl.007xb-bid-qstsUNSAT508.02
sortnetsort10.AE.stepl.008hiqqer1ldsqUNSAT39.26
sortnetsort10.AE.stepl.009hiqqer1ldsqUNSAT28.4
sortnetsort10.AE.stepl.010hiqqer1ldsqUNSAT54.69
sortnetsort10.AE.stepl.011hiqqer1ldsqUNSAT44.28
sortnetsort10.AE.stepl.012hiqqer1ldsqUNSAT51.08
sortnetsort5.AE.stepl.003qstsSAT0.05
sortnetsort5.AE.stepl.004qstsSAT0.32
sortnetsort5.AE.stepl.005qstsUNSAT0.1
sortnetsort5.AE.stepl.006qstsUNSAT0.18
sortnetsort5.AE.stepl.007qstsUNSAT0.15
sortnetsort6.AE.stepl.003qstsSAT0.13
sortnetsort6.AE.stepl.004qstsSAT1
sortnetsort6.AE.stepl.005qstsUNSAT1.06
sortnetsort6.AE.stepl.006qstsUNSAT1.71
sortnetsort6.AE.stepl.007qstsUNSAT1.19
sortnetsort7.AE.stepl.003qstsSAT0.24
sortnetsort7.AE.stepl.004qstsSAT1.42
sortnetsort7.AE.stepl.005qstsSAT19.48
sortnetsort7.AE.stepl.006rareqsUNSAT1.25
sortnetsort7.AE.stepl.007rareqsUNSAT1.07
sortnetsort7.AE.stepl.008rareqsUNSAT1.39
sortnetsort7.AE.stepl.009rareqsUNSAT1.62
sortnetsort8.AE.stepl.003qstsSAT0.57
sortnetsort8.AE.stepl.004rareqsSAT1.74
sortnetsort8.AE.stepl.005rareqsSAT6.29
sortnetsort8.AE.stepl.006rareqsUNSAT3.24
sortnetsort8.AE.stepl.007hiqqer1UNSAT9.09
sortnetsort8.AE.stepl.008hiqqer1ldsqUNSAT10.34
sortnetsort8.AE.stepl.009rareqsUNSAT12.38
sortnetsort9.AE.stepl.004rareqsSAT2.96
sortnetsort9.AE.stepl.005xb-qstsSAT12.21
sortnetsort9.AE.stepl.006xb-bid-qstsSAT556.72
sortnetsort9.AE.stepl.007rareqsUNSAT25.89
sortnetsort9.AE.stepl.008hiqqer1ldsqUNSAT13.32
sortnetsort9.AE.stepl.009xb-qstsUNSAT28.04
sortnetsort9.AE.stepl.010hiqqer1ldsqUNSAT30.19
sortnetsort9.AE.stepl.011hiqqer1ldsqUNSAT28.39
sortnetsort9.AE.stepl.012hiqqer1ldsqUNSAT31.88