Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- | | SAT | UNSAT |
- |-----------------------+-----+-------|
- | Madagascar Sequential | 50 | 30 |
- | Madagascar Exists | 5 | 25 |
- | PASAR | 25 | 25 |
- | HTN | 20 | 20 |
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement