Instances of family Sorting_networks solved by preQuantor
QBFEVAL'06

InstanceResultTime
sortnetsort5.v.stepl.003UNSAT0.03
sortnetsort5.v.stepl.005SAT0.05
sortnetsort6.v.stepl.003UNSAT0.07
sortnetsort5.v.stepl.006SAT0.07
sortnetsort5.v.stepl.004UNSAT0.09
sortnetsort5.v.stepl.007SAT0.1
sortnetsort6.v.stepl.005SAT0.15
sortnetsort6.v.stepl.006SAT0.16
sortnetsort6.v.stepl.007SAT0.2
sortnetsort7.v.stepl.003UNSAT0.24
sortnetsort6.v.stepl.004UNSAT0.28
sortnetsort8.v.stepl.003UNSAT0.63
sortnetsort7.v.stepl.008SAT0.84
sortnetsort7.v.stepl.004UNSAT0.85
sortnetsort7.v.stepl.009SAT1.27
sortnetsort8.v.stepl.008SAT2.12
sortnetsort8.v.stepl.009SAT2.53
sortnetsort8.v.stepl.004UNSAT2.55
sortnetsort7.v.stepl.006SAT5.04
sortnetsort8.v.stepl.006SAT6.1
sortnetsort7.v.stepl.007SAT6.98
sortnetsort9.v.stepl.004UNSAT7.86
sortnetsort9.v.stepl.011SAT9.14
sortnetsort8.v.stepl.007SAT10.59
sortnetsort9.v.stepl.008SAT12.49
sortnetsort9.v.stepl.010SAT13.78
sortnetsort9.v.stepl.009SAT15.03
sortnetsort9.v.stepl.012SAT15.58
sortnetsort7.v.stepl.005UNSAT23.26
sortnetsort10.v.stepl.004UNSAT23.62
sortnetsort10.v.stepl.009SAT27.55
sortnetsort8.AE.stepl.003FAIL30.25
sortnetsort7.AE.stepl.008FAIL39.46
sortnetsort8.AE.stepl.004FAIL41.33
sortnetsort9.AE.stepl.004FAIL42.27
sortnetsort6.AE.stepl.006FAIL43.41
sortnetsort7.AE.stepl.005FAIL44.39
sortnetsort6.AE.stepl.004FAIL44.88
sortnetsort7.AE.stepl.009FAIL45.2
sortnetsort10.AE.stepl.006FAIL47.37
sortnetsort9.AE.stepl.006FAIL47.85
sortnetsort6.AE.stepl.007FAIL47.97
sortnetsort9.AE.stepl.005FAIL48.23
sortnetsort10.AE.stepl.005FAIL48.63
sortnetsort10.AE.stepl.004FAIL49.4
sortnetsort5.AE.stepl.007FAIL49.58
sortnetsort8.v.stepl.005UNSAT49.81
sortnetsort8.AE.stepl.005FAIL50.91
sortnetsort9.AE.stepl.011FAIL51.66
sortnetsort10.v.stepl.008SAT53.27
sortnetsort6.AE.stepl.005FAIL53.48
sortnetsort9.AE.stepl.009FAIL53.77
sortnetsort8.AE.stepl.007FAIL54.1
sortnetsort9.AE.stepl.007FAIL55.1
sortnetsort8.AE.stepl.006FAIL55.13
sortnetsort8.AE.stepl.009FAIL55.58
sortnetsort10.AE.stepl.008FAIL55.69
sortnetsort8.AE.stepl.008FAIL55.94
sortnetsort7.AE.stepl.007FAIL56.88
sortnetsort5.AE.stepl.006FAIL57.83
sortnetsort9.AE.stepl.012FAIL57.87
sortnetsort10.v.stepl.012SAT58.07
sortnetsort7.AE.stepl.006FAIL58.83
sortnetsort6.AE.stepl.003FAIL59.02
sortnetsort9.AE.stepl.008FAIL59.29
sortnetsort7.AE.stepl.004FAIL60.3
sortnetsort7.AE.stepl.003FAIL60.42
sortnetsort10.v.stepl.011SAT64.18
sortnetsort5.AE.stepl.004FAIL65.38
sortnetsort10.AE.stepl.009FAIL68.82
sortnetsort5.AE.stepl.005FAIL69.72
sortnetsort10.v.stepl.010SAT72.2
sortnetsort10.AE.stepl.010FAIL73.44
sortnetsort5.AE.stepl.003FAIL76.17
sortnetsort10.AE.stepl.007FAIL81.11
sortnetsort10.AE.stepl.011FAIL82.53
sortnetsort9.AE.stepl.010FAIL83.09
sortnetsort10.AE.stepl.012FAIL91.27
sortnetsort9.v.stepl.005UNSAT129.82
sortnetsort9.v.stepl.007SAT153.31
sortnetsort10.v.stepl.005UNSAT285.02
sortnetsort10.v.stepl.007FAIL6000.43
sortnetsort9.v.stepl.006FAIL6000.59
sortnetsort10.v.stepl.006FAIL6000.69