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

InstanceResultTime
sortnetsort10.AE.stepl.007FAIL37.63
sortnetsort10.AE.stepl.012FAIL38.33
sortnetsort10.AE.stepl.010FAIL50.33
sortnetsort9.AE.stepl.010FAIL74.83
sortnetsort9.AE.stepl.012FAIL77.33
sortnetsort10.AE.stepl.011FAIL92.83
sortnetsort10.AE.stepl.009FAIL101.43
sortnetsort9.AE.stepl.011FAIL141.23
sortnetsort7.AE.stepl.006FAIL164.83
sortnetsort10.AE.stepl.008FAIL166.63
sortnetsort8.AE.stepl.004FAIL167.14
sortnetsort7.AE.stepl.007FAIL235.83
sortnetsort8.AE.stepl.005FAIL266.44
sortnetsort8.AE.stepl.009FAIL274.05
sortnetsort7.AE.stepl.008FAIL308.73
sortnetsort9.AE.stepl.004FAIL316.13
sortnetsort8.AE.stepl.006FAIL363.84
sortnetsort7.AE.stepl.009FAIL369.24
sortnetsort9.AE.stepl.009FAIL410.73
sortnetsort9.AE.stepl.005FAIL432.73
sortnetsort9.AE.stepl.007FAIL486.73
sortnetsort9.AE.stepl.006FAIL509.53
sortnetsort10.AE.stepl.005FAIL552.13
sortnetsort9.AE.stepl.008FAIL598.13
sortnetsort5.AE.stepl.006FAIL599.12
sortnetsort7.AE.stepl.004FAIL599.12
sortnetsort5.AE.stepl.007FAIL599.12
sortnetsort6.AE.stepl.006FAIL599.12
sortnetsort7.AE.stepl.003FAIL599.12
sortnetsort10.AE.stepl.006FAIL599.13
sortnetsort5.AE.stepl.005FAIL599.13
sortnetsort8.AE.stepl.007FAIL599.22
sortnetsort6.AE.stepl.004FAIL599.22
sortnetsort6.AE.stepl.005FAIL599.22
sortnetsort5.AE.stepl.003FAIL599.22
sortnetsort7.AE.stepl.005FAIL599.23
sortnetsort6.AE.stepl.003FAIL599.23
sortnetsort8.AE.stepl.008FAIL599.23
sortnetsort10.AE.stepl.004FAIL599.23
sortnetsort5.AE.stepl.004FAIL599.23
sortnetsort6.AE.stepl.007FAIL599.23
sortnetsort8.AE.stepl.003FAIL599.23