API tools faq
paste
Advertisement
froleyks

temp.org

froleyks
Aug 26th, 2019
242
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 7.52 KB | None | 0 0
raw download clone embed print report
  1. Interleaf
  2. | | abstraction based | pure SSS | VBS | portfolio | interleaf | fd |
  3. |-----------------------------+-------------------+----------+---------+-----------+-----------+---------|
  4. | opt-barman | 0/14 | 2/14 | 2/14 | 2/14 | 1/14 | 8/14 |
  5. | opt-childsnack | 20/20 | 0/20 | 20/20 | 20/20 | 20/20 | 11/20 |
  6. | opt-data-network | 20/20 | 20/20 | 20/20 | 20/20 | 20/20 | 20/20 |
  7. | opt-floortile | 20/20 | 0/20 | 20/20 | 20/20 | 20/20 | 8/20 |
  8. | opt-ged | 20/20 | 20/20 | 20/20 | 20/20 | 20/20 | 20/20 |
  9. | opt-hiking | 16/20 | 20/20 | 20/20 | 20/20 | 17/20 | 20/20 |
  10. | opt-openstacks | 11/20 | 20/20 | 20/20 | 20/20 | 20/20 | 20/20 |
  11. | opt-organic-synthesis-split | 10/20 | 12/20 | 12/20 | 10/20 | 10/20 | 16/20 |
  12. | opt-petri-net-alignment | 16/20 | 20/20 | 20/20 | 20/20 | 20/20 | 20/20 |
  13. | opt-snake | 5/20 | 20/20 | 20/20 | 20/20 | 20/20 | 12/20 |
  14. | opt-termes | 10/20 | 9/20 | 10/20 | 9/20 | 10/20 | 18/20 |
  15. | opt-tetris | 17/17 | 17/17 | 17/17 | 17/17 | 17/17 | 17/17 |
  16. | opt-tidybot | 20/20 | 12/20 | 20/20 | 20/20 | 20/20 | 15/20 |
  17. | opt-transport | 14/20 | 20/20 | 20/20 | 20/20 | 20/20 | 20/20 |
  18. | opt-visitall | 19/20 | 20/20 | 20/20 | 20/20 | 20/20 | 20/20 |
  19. | sat-barman | 0/20 | 0/20 | 0/20 | 0/20 | 0/20 | 19/20 |
  20. | sat-childsnack | 19/20 | 0/20 | 19/20 | 20/20 | 20/20 | 5/20 |
  21. | sat-data-network | 3/20 | 16/20 | 16/20 | 13/20 | 9/20 | 11/20 |
  22. | sat-floortile | 20/20 | 0/20 | 20/20 | 20/20 | 20/20 | 2/20 |
  23. | sat-ged | 0/20 | 11/20 | 11/20 | 10/20 | 10/20 | 20/20 |
  24. | sat-hiking | 6/20 | 20/20 | 20/20 | 19/20 | 14/20 | 15/20 |
  25. | sat-openstacks | 2/20 | 20/20 | 20/20 | 20/20 | 20/20 | 17/20 |
  26. | sat-organic-synthesis-split | 5/17 | 6/17 | 6/17 | 4/17 | 5/17 | 6/17 |
  27. | sat-snake | 1/20 | 20/20 | 20/20 | 20/20 | 20/20 | 3/20 |
  28. | sat-termes | 1/20 | 2/20 | 2/20 | 2/20 | 2/20 | 13/20 |
  29. | sat-tetris | 20/20 | 20/20 | 20/20 | 20/20 | 20/20 | 9/20 |
  30. | sat-thoughtful | 5/20 | 4/20 | 5/20 | 5/20 | 5/20 | 15/20 |
  31. | sat-transport | 0/20 | 20/20 | 20/20 | 20/20 | 20/20 | 8/20 |
  32. | sat-visitall | 0/20 | 20/20 | 20/20 | 20/20 | 20/20 | 19/20 |
  33. |-----------------------------+-------------------+----------+---------+-----------+-----------+---------|
  34. | | 300/568 | 371/568 | 460/568 | 451/568 | 440/568 | 407/568 |
  35.  
  36. Sequential
  37. | | foreach | seq | Δ | true | seq | Δ | fallback | seq | Δ | cycle-break | seq | Δ | all |
  38. |-----------------------------+---------+-----+----+------+-----+----+----------+-----+----+-------------+-----+----+-----|
  39. | opt-barman | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | -1 | 14 |
  40. | opt-childsnack | 20 | 20 | 0 | 20 | 20 | 0 | 20 | 20 | 0 | 20 | 20 | 0 | 20 |
  41. | opt-data-network | 20 | 20 | 0 | 20 | 20 | 0 | 20 | 20 | 0 | 20 | 20 | 0 | 20 |
  42. | opt-floortile | 20 | 20 | 0 | 20 | 20 | 0 | 20 | 20 | 0 | 20 | 20 | 0 | 20 |
  43. | opt-ged | 20 | 20 | 0 | 20 | 20 | 0 | 20 | 20 | 0 | 20 | 20 | 0 | 20 |
  44. | opt-hiking | 17 | 17 | 0 | 14 | 17 | 3 | 16 | 16 | 0 | 17 | 16 | -1 | 20 |
  45. | opt-openstacks | 12 | 11 | -1 | 12 | 10 | -2 | 12 | 11 | -1 | 11 | 11 | 0 | 20 |
  46. | opt-organic-synthesis-split | 10 | 10 | 0 | 11 | 9 | -2 | 10 | 10 | 0 | 11 | 10 | -1 | 20 |
  47. | opt-petri-net-alignment | 17 | 16 | -1 | 15 | 17 | 2 | 18 | 16 | -2 | 17 | 16 | -1 | 20 |
  48. | opt-snake | 5 | 5 | 0 | 5 | 6 | 1 | 7 | 5 | -2 | 4 | 5 | 1 | 20 |
  49. | opt-termes | 6 | 9 | 3 | 6 | 9 | 3 | 6 | 10 | 4 | 6 | 9 | 3 | 20 |
  50. | opt-tetris | 17 | 17 | 0 | 17 | 17 | 0 | 17 | 17 | 0 | 17 | 17 | 0 | 17 |
  51. | opt-tidybot | 20 | 20 | 0 | 20 | 20 | 0 | 20 | 20 | 0 | 20 | 20 | 0 | 20 |
  52. | opt-transport | 14 | 15 | 1 | 14 | 14 | 0 | 16 | 14 | -2 | 14 | 15 | 1 | 20 |
  53. | opt-visitall | 19 | 18 | -1 | 19 | 19 | 0 | 18 | 19 | 1 | 18 | 18 | 0 | 20 |
  54. | sat-barman | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 |
  55. | sat-childsnack | 18 | 20 | 2 | 20 | 20 | 0 | 20 | 19 | -1 | 20 | 19 | -1 | 20 |
  56. | sat-data-network | 3 | 4 | 1 | 3 | 3 | 0 | 3 | 3 | 0 | 4 | 3 | -1 | 20 |
  57. | sat-floortile | 20 | 20 | 0 | 20 | 20 | 0 | 20 | 20 | 0 | 20 | 20 | 0 | 20 |
  58. | sat-ged | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 |
  59. | sat-hiking | 4 | 6 | 2 | 4 | 3 | -1 | 4 | 6 | 2 | 4 | 6 | 2 | 20 |
  60. | sat-openstacks | 2 | 2 | 0 | 2 | 2 | 0 | 2 | 2 | 0 | 2 | 2 | 0 | 20 |
  61. | sat-organic-synthesis-split | 3 | 5 | 2 | 3 | 6 | 3 | 4 | 5 | 1 | 3 | 6 | 3 | 17 |
  62. | sat-snake | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 20 |
  63. | sat-termes | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 2 | 2 | 20 |
  64. | sat-tetris | 20 | 20 | 0 | 20 | 20 | 0 | 20 | 20 | 0 | 20 | 20 | 0 | 20 |
  65. | sat-thoughtful | 5 | 5 | 0 | 5 | 5 | 0 | 5 | 5 | 0 | 5 | 5 | 0 | 20 |
  66. | sat-transport | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 |
  67. | sat-visitall | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 |
  68. |-----------------------------+---------+-----+----+------+-----+----+----------+-----+----+-------------+-----+----+-----|
  69. | | 292 | 301 | 9 | 290 | 298 | 8 | 298 | 300 | 2 | 294 | 300 | 6 | 568 |
  70. #+TBLFM: $4=$3-$2::$7=$6-$5::$10=$9-$8::$13=$12-$11
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!