Instances of family Sorting_networks solved by QUANTOR_2.15
QBFEVAL'07

InstanceResultTime
sortnetsort7.v.stepl.004UNSAT0.74
sortnetsort7.v.stepl.007SAT1.25
sortnetsort7.v.stepl.008SAT1.57
sortnetsort7.v.stepl.009SAT1.64
sortnetsort7.v.stepl.006SAT1.88
sortnetsort8.v.stepl.004UNSAT2
sortnetsort8.v.stepl.007SAT3.74
sortnetsort8.v.stepl.008SAT4.37
sortnetsort8.v.stepl.006SAT4.54
sortnetsort8.v.stepl.009SAT5.12
sortnetsort9.v.stepl.004UNSAT5.13
sortnetsort7.v.stepl.005UNSAT6.5
sortnetsort9.v.stepl.008SAT14.03
sortnetsort8.v.stepl.005UNSAT14.27
sortnetsort10.v.stepl.004UNSAT14.73
sortnetsort9.v.stepl.010SAT14.86
sortnetsort9.v.stepl.009SAT15.22
sortnetsort9.v.stepl.011SAT16.23
sortnetsort9.v.stepl.012SAT17.79
sortnetsort8.AE.stepl.003FAIL21.48
sortnetsort9.v.stepl.007SAT21.53
sortnetsort8.AE.stepl.004FAIL23.87
sortnetsort9.AE.stepl.004FAIL27.73
sortnetsort7.AE.stepl.004FAIL30.19
sortnetsort7.AE.stepl.006FAIL32.16
sortnetsort7.AE.stepl.008FAIL32.84
sortnetsort10.v.stepl.008SAT33.18
sortnetsort10.v.stepl.012FAIL34.61
sortnetsort7.AE.stepl.009FAIL34.83
sortnetsort6.AE.stepl.004FAIL35.19
sortnetsort9.v.stepl.005UNSAT35.51
sortnetsort7.AE.stepl.005FAIL36.44
sortnetsort10.AE.stepl.004FAIL36.99
sortnetsort7.AE.stepl.007FAIL37.31
sortnetsort6.AE.stepl.003FAIL38.42
sortnetsort5.AE.stepl.006FAIL38.92
sortnetsort10.v.stepl.009SAT39.56
sortnetsort10.v.stepl.010SAT39.96
sortnetsort5.AE.stepl.005FAIL40.87
sortnetsort5.AE.stepl.007FAIL40.9
sortnetsort8.AE.stepl.006FAIL41.58
sortnetsort7.AE.stepl.003FAIL41.76
sortnetsort8.AE.stepl.005FAIL42.51
sortnetsort6.AE.stepl.005FAIL43.34
sortnetsort6.AE.stepl.006FAIL45.71
sortnetsort5.AE.stepl.004FAIL46.87
sortnetsort10.v.stepl.011SAT46.98
sortnetsort8.AE.stepl.009FAIL49.98
sortnetsort8.AE.stepl.007FAIL51.29
sortnetsort6.AE.stepl.007FAIL52.65
sortnetsort8.AE.stepl.008FAIL61.27
sortnetsort10.v.stepl.005UNSAT93.15
sortnetsort10.v.stepl.007FAIL600