Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- | | foreach | leave-reduction | true-exist | no-backjump-trueExist |
- |-----------------------------|---------|-----------------|------------|-----------------------|
- | opt-barman | 3/14 | 3/14 | 5/14 | 6/14 |
- | opt-childsnack | 20/20 | 20/20 | 20/20 | 20/20 |
- | opt-data-network | 20/20 | 20/20 | 7/20 | 20/20 |
- | opt-floortile | 20/20 | 20/20 | 20/20 | 20/20 |
- | opt-ged | 20/20 | 20/20 | 20/20 | 20/20 |
- | opt-hiking | 17/20 | 17/20 | 4/20 | 14/20 |
- | opt-openstacks | 10/20 | 11/20 | 12/20 | 13/20 |
- | opt-organic-synthesis-split | 7/20 | 10/20 | 8/20 | 10/20 |
- | opt-petri-net-alignment | 7/20 | 2/20 | 6/20 | 6/20 |
- | opt-snake | 1/20 | 1/20 | 0/20 | 3/20 |
- | opt-termes | 1/20 | 2/20 | 4/20 | 4/20 |
- | opt-tetris | 17/17 | 17/17 | 0/17 | 17/17 |
- | opt-tidybot | 0/20 | 0/20 | 1/20 | 2/20 |
- | opt-transport | 13/20 | 13/20 | 9/20 | 14/20 |
- | opt-visitall | 16/20 | 15/20 | 17/20 | 17/20 |
- | sat-barman | 0/20 | 0/20 | 0/20 | 0/20 |
- | sat-childsnack | 20/20 | 19/20 | 20/20 | 20/20 |
- | sat-data-network | 2/20 | 2/20 | 0/20 | 3/20 |
- | sat-floortile | 20/20 | 20/20 | 20/20 | 20/20 |
- | sat-ged | 0/20 | 0/20 | 0/20 | 0/20 |
- | sat-hiking | 3/20 | 3/20 | 0/20 | 3/20 |
- | sat-openstacks | 0/20 | 0/20 | 0/20 | 0/20 |
- | sat-organic-synthesis-split | 1/17 | 1/17 | 2/17 | 3/17 |
- | sat-snake | 0/20 | 0/20 | 0/20 | 0/20 |
- | sat-termes | 0/20 | 0/20 | 0/20 | 0/20 |
- | sat-tetris | 5/20 | 7/20 | 0/20 | 7/20 |
- | sat-thoughtful | 5/20 | 5/20 | 4/20 | 5/20 |
- | sat-transport | 0/20 | 0/20 | 0/20 | 0/20 |
- | sat-visitall | 0/20 | 0/20 | 0/20 | 0/20 |
- |-----------------------------|---------|-----------------|------------|-----------------------|
- | | 228/568 | 228/568 | 179/568 | 247/568 |
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement