Instance | Solver | Result | Time | |
---|---|---|---|---|
depots03_9 | rareqs | UNSAT | 6.24 | |
driverlog01_7 | AIGSolve | SAT | 0.05 | |
driverlog03_7 | AIGSolve | SAT | 0.07 | |
driverlog10_6 | rareqs | UNSAT | 0.71 | |
pipesnotankage14_10 | AIGSolve | UNSAT | 28.93 | |
pipesnotankage18_7 | AIGSolve | UNSAT | 73.05 | |
pipesnotankage18_8 | AIGSolve | UNSAT | 72.72 |