Instance | Result | Time | |
---|---|---|---|
sortnetsort7.AE.stepl.006 | UNSAT | 3.36 | |
sortnetsort7.AE.stepl.007 | UNSAT | 3.93 | |
sortnetsort8.AE.stepl.004 | SAT | 4.15 | |
sortnetsort7.AE.stepl.008 | UNSAT | 5.09 | |
sortnetsort7.AE.stepl.009 | UNSAT | 6.87 | |
sortnetsort7.AE.stepl.005 | SAT | 7.94 | |
sortnetsort9.AE.stepl.004 | SAT | 10.17 | |
sortnetsort8.AE.stepl.008 | UNSAT | 15.67 | |
sortnetsort8.AE.stepl.009 | UNSAT | 19.76 | |
sortnetsort8.AE.stepl.005 | SAT | 22.21 | |
sortnetsort10.AE.stepl.004 | SAT | 22.6 | |
sortnetsort8.AE.stepl.006 | UNSAT | 24.72 | |
sortnetsort9.AE.stepl.010 | UNSAT | 28.59 | |
sortnetsort9.AE.stepl.005 | SAT | 36.54 | |
sortnetsort9.AE.stepl.011 | UNSAT | 63.86 | |
sortnetsort10.AE.stepl.005 | SAT | 74.35 | |
sortnetsort10.AE.stepl.012 | UNSAT | 80.53 | |
sortnetsort9.AE.stepl.008 | UNSAT | 139.14 | |
sortnetsort9.AE.stepl.007 | UNSAT | 174.11 | |
sortnetsort10.AE.stepl.011 | UNSAT | 337.57 | |
sortnetsort10.AE.stepl.010 | UNSAT | 551.13 | |
sortnetsort10.AE.stepl.009 | UNSAT | 589.93 | |
sortnetsort10.AE.stepl.006 | FAIL | 900 | |
sortnetsort10.AE.stepl.007 | FAIL | 900 | |
sortnetsort10.AE.stepl.008 | FAIL | 900 | |
sortnetsort9.AE.stepl.006 | FAIL | 900 |