Instance | Result | Time | |
---|---|---|---|
sortnetsort7.AE.stepl.007 | UNSAT | 1.42 | |
sortnetsort7.AE.stepl.006 | UNSAT | 2.11 | |
sortnetsort7.AE.stepl.009 | UNSAT | 2.14 | |
sortnetsort8.AE.stepl.004 | SAT | 2.15 | |
sortnetsort7.AE.stepl.008 | UNSAT | 3.85 | |
sortnetsort9.AE.stepl.004 | SAT | 4.14 | |
sortnetsort8.AE.stepl.006 | UNSAT | 6.96 | |
sortnetsort8.AE.stepl.008 | UNSAT | 10.87 | |
sortnetsort8.AE.stepl.005 | SAT | 11.44 | |
sortnetsort10.AE.stepl.004 | SAT | 12.83 | |
sortnetsort8.AE.stepl.009 | UNSAT | 21.1 | |
sortnetsort9.AE.stepl.005 | SAT | 31.96 | |
sortnetsort9.AE.stepl.011 | UNSAT | 35.1 | |
sortnetsort7.AE.stepl.005 | SAT | 42.36 | |
sortnetsort9.AE.stepl.008 | UNSAT | 43.57 | |
sortnetsort9.AE.stepl.007 | UNSAT | 164.66 | |
sortnetsort10.AE.stepl.009 | UNSAT | 167.1 | |
sortnetsort10.AE.stepl.011 | UNSAT | 185.68 | |
sortnetsort9.AE.stepl.010 | UNSAT | 325.66 | |
sortnetsort10.AE.stepl.008 | UNSAT | 637.16 | |
sortnetsort10.AE.stepl.005 | SAT | 692.55 | |
sortnetsort10.AE.stepl.010 | UNSAT | 718.58 | |
sortnetsort10.AE.stepl.007 | FAIL | 900 | |
sortnetsort9.AE.stepl.006 | FAIL | 900 | |
sortnetsort10.AE.stepl.012 | FAIL | 900 | |
sortnetsort10.AE.stepl.006 | FAIL | 900 |