Instances of family Sorting_networks solved by iprover-QBF
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
sortnetsort10.AE.stepl.012FAIL95.74
sortnetsort10.AE.stepl.011FAIL103.93
sortnetsort10.AE.stepl.010FAIL142.53
sortnetsort8.AE.stepl.004FAIL182.43
sortnetsort9.AE.stepl.012FAIL196.83
sortnetsort7.AE.stepl.006FAIL219.84
sortnetsort10.AE.stepl.009FAIL230.83
sortnetsort9.AE.stepl.011FAIL288.73
sortnetsort8.AE.stepl.005FAIL294.64
sortnetsort7.AE.stepl.007FAIL302.55
sortnetsort9.AE.stepl.004FAIL333.15
sortnetsort7.AE.stepl.008FAIL391.93
sortnetsort8.AE.stepl.006FAIL414.34
sortnetsort6.AE.stepl.007FAIL434.23
sortnetsort7.AE.stepl.004FAIL439.44
sortnetsort7.AE.stepl.003FAIL442.63
sortnetsort10.AE.stepl.008FAIL442.93
sortnetsort8.AE.stepl.003FAIL449.83
sortnetsort7.AE.stepl.005FAIL450.44
sortnetsort9.AE.stepl.010FAIL458.53
sortnetsort7.AE.stepl.009FAIL478.74
sortnetsort5.AE.stepl.006FAIL486.94
sortnetsort5.AE.stepl.005FAIL491.24
sortnetsort9.AE.stepl.005FAIL497.73
sortnetsort10.AE.stepl.004FAIL515.13
sortnetsort5.AE.stepl.004FAIL515.64
sortnetsort6.AE.stepl.006FAIL519.93
sortnetsort6.AE.stepl.003FAIL528.83
sortnetsort6.AE.stepl.004FAIL530.83
sortnetsort5.AE.stepl.007FAIL534.24
sortnetsort8.AE.stepl.007FAIL548.23
sortnetsort6.AE.stepl.005FAIL561.43
sortnetsort9.AE.stepl.007FAIL599.22
sortnetsort9.AE.stepl.008FAIL599.22
sortnetsort9.AE.stepl.009FAIL599.22
sortnetsort8.AE.stepl.008FAIL599.22
sortnetsort8.AE.stepl.009FAIL599.22
sortnetsort10.AE.stepl.005FAIL599.22
sortnetsort5.AE.stepl.003FAIL599.22
sortnetsort10.AE.stepl.006FAIL599.22
sortnetsort9.AE.stepl.006FAIL599.22
sortnetsort10.AE.stepl.007FAIL599.22