API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Jun 14th, 2019
92
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 7.07 KB | None | 0 0
raw download clone embed print report
  1. This is SBCL 1.4.5.debian, an implementation of ANSI Common Lisp.
  2. More information about SBCL is available at <http://www.sbcl.org/>.
  3.  
  4. SBCL is free software, provided as is, with absolutely no warranty.
  5. It is mostly in the public domain; some portions are provided under
  6. BSD-style licenses.  See the CREDITS and COPYING files in the
  7. distribution for more information.
  8. WARNING:
  9.    redefining PRINT-OBJECT (#<STANDARD-CLASS COMMON-LISP:CLASS>
  10.                             #<SB-PCL:SYSTEM-CLASS COMMON-LISP:T>) in DEFMETHOD
  11.  
  12. ((USER-HOMEDIR-PATHNAME) =>
  13.  #P"/mnt/gggg/opt/CYC_JRTL_with_CommonLisp/platform/site-lisp/") To load "shop3":
  14.   Load 1 ASDF system:
  15.     shop3
  16. ; Loading "shop3"
  17.  
  18.  
  19. SHOP3 version 3.0.0
  20. Copyright (C) 2004-2019 SIFT, LLC.
  21.  
  22. Original SHOP2 code Copyright (C) 2002  University of Maryland.
  23.  
  24. This software is distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY
  25. KIND, either express or implied.  This software is distributed under an
  26. MPL/GPL/LGPL triple license.  For details, see the software source file.
  27.  
  28. To load "fiveam":
  29.   Load 1 ASDF system:
  30.     fiveam
  31. ; Loading "fiveam"
  32.  
  33. To load "pddl-utils":
  34.   Load 1 ASDF system:
  35.     pddl-utils
  36. ; Loading "pddl-utils"
  37.  
  38. To load "openstacks-problem-translator":
  39.   Load 1 ASDF system:
  40.     openstacks-problem-translator
  41. ; Loading "openstacks-problem-translator"
  42.  
  43. To load "shop3-thmpr-api":
  44.   Load 1 ASDF system:
  45.     shop3-thmpr-api
  46. ; Loading "shop3-thmpr-api"
  47.  
  48. To load "shop3/test":
  49.   Load 1 ASDF system:
  50.     shop3/test
  51. ; Loading "shop3/test"
  52.  
  53. Defining domain OPENSTACKS-SEQUENCEDSTRIPS-ADL...
  54.  
  55. Defining domain OPENSTACKS-SEQUENCEDSTRIPS-ADL-INCLUDED...
  56.  
  57. Defining domain TEST-OPENSTACKS...
  58. ...remember to (fiveam:run-all-tests) ~%in ..
  59. Defining problem UMT-PARTITIONED.PFILE1 ...
  60. ...
  61. Defining problem UMT.PFILE1 ...
  62.  
  63. Defining problem UMT.PFILE2 ...
  64.  
  65. Defining problem UMT.PFILE3 ...
  66.  
  67. Defining problem BW_RAN_100_1 ...
  68.  
  69. Defining problem BW_RAN_200_1 ...
  70.  
  71. Defining problem BW_RAN_300_1 ...
  72.  
  73. Defining problem PFILE1 ...
  74.  
  75. Defining problem PFILE2 ...
  76.  
  77. Defining problem PFILE3 ...
  78.  
  79. Defining problem PFILE4 ...
  80.  
  81. Defining problem PFILE5 ...
  82.  
  83. Defining problem PFILE6 ...
  84.  
  85. Defining problem PFILE7 ...
  86.  
  87. Defining problem PFILE8 ...
  88.  
  89. Defining problem PFILE9 ...
  90.  
  91. Defining problem PFILE10 ...
  92.  
  93. Defining problem PFILE11 ...
  94.  
  95. Defining problem PFILE12 ...
  96.  
  97. Defining problem PFILE13 ...
  98.  
  99. Defining problem PFILE14 ...
  100.  
  101. Defining problem PFILE15 ...
  102.  
  103. Defining problem PFILE16 ...
  104.  
  105. Defining problem PFILE17 ...
  106.  
  107. Defining problem PFILE18 ...
  108.  
  109. Defining problem PFILE19 ...
  110.  
  111. Defining problem PFILE20 ...
  112.  
  113. Defining problem PFILE21 ...
  114.  
  115. Defining problem PFILE22 ...
  116. .
  117. Defining problem LOG-RAN-15-1 ...
  118.  
  119. Defining problem LOG-RAN-15-2 ...
  120.  
  121. Defining problem LOG-RAN-15-3 ...
  122.  
  123. Defining problem LOG-RAN-15-4 ...
  124.  
  125. Defining problem LOG-RAN-15-5 ...
  126.  
  127. Defining problem LOG-RAN-15-6 ...
  128.  
  129. Defining problem LOG-RAN-15-7 ...
  130.  
  131. Defining problem LOG-RAN-15-8 ...
  132.  
  133. Defining problem LOG-RAN-15-9 ...
  134.  
  135. Defining problem LOG-RAN-15-10 ...
  136.  
  137. Defining problem set SET15 ...
  138. Defining problem LOG-RAN-20-1 ...
  139.  
  140. Defining problem LOG-RAN-20-2 ...
  141.  
  142. Defining problem LOG-RAN-20-3 ...
  143.  
  144. Defining problem LOG-RAN-20-4 ...
  145.  
  146. Defining problem LOG-RAN-20-5 ...
  147.  
  148. Defining problem LOG-RAN-20-6 ...
  149.  
  150. Defining problem LOG-RAN-20-7 ...
  151.  
  152. Defining problem LOG-RAN-20-8 ...
  153.  
  154. Defining problem LOG-RAN-20-9 ...
  155.  
  156. Defining problem LOG-RAN-20-10 ...
  157.  
  158. Defining problem set SET20 ...
  159. Defining problem LOG-RAN-25-1 ...
  160.  
  161. Defining problem LOG-RAN-25-2 ...
  162.  
  163. Defining problem LOG-RAN-25-3 ...
  164.  
  165. Defining problem LOG-RAN-25-4 ...
  166.  
  167. Defining problem LOG-RAN-25-5 ...
  168.  
  169. Defining problem LOG-RAN-25-6 ...
  170.  
  171. Defining problem LOG-RAN-25-7 ...
  172.  
  173. Defining problem LOG-RAN-25-8 ...
  174.  
  175. Defining problem LOG-RAN-25-9 ...
  176.  
  177. Defining problem LOG-RAN-25-10 ...
  178.  
  179. Defining problem set SET25 ...
  180. Defining problem LOG-RAN-30-1 ...
  181.  
  182. Defining problem LOG-RAN-30-2 ...
  183.  
  184. Defining problem LOG-RAN-30-3 ...
  185.  
  186. Defining problem LOG-RAN-30-4 ...
  187.  
  188. Defining problem LOG-RAN-30-5 ...
  189.  
  190. Defining problem LOG-RAN-30-6 ...
  191.  
  192. Defining problem LOG-RAN-30-7 ...
  193.  
  194. Defining problem LOG-RAN-30-8 ...
  195.  
  196. Defining problem LOG-RAN-30-9 ...
  197.  
  198. Defining problem LOG-RAN-30-10 ...
  199.  
  200. Defining problem set SET30 ...
  201. Defining problem LOG-RAN-35-1 ...
  202.  
  203. Defining problem LOG-RAN-35-2 ...
  204.  
  205. Defining problem LOG-RAN-35-3 ...
  206.  
  207. Defining problem LOG-RAN-35-4 ...
  208.  
  209. Defining problem LOG-RAN-35-5 ...
  210.  
  211. Defining problem LOG-RAN-35-6 ...
  212.  
  213. Defining problem LOG-RAN-35-7 ...
  214.  
  215. Defining problem LOG-RAN-35-8 ...
  216.  
  217. Defining problem LOG-RAN-35-9 ...
  218.  
  219. Defining problem LOG-RAN-35-10 ...
  220.  
  221. Defining problem set SET35 ...
  222. Defining problem LOG-RAN-40-1 ...
  223.  
  224. Defining problem LOG-RAN-40-2 ...
  225.  
  226. Defining problem LOG-RAN-40-3 ...
  227.  
  228. Defining problem LOG-RAN-40-4 ...
  229.  
  230. Defining problem LOG-RAN-40-5 ...
  231.  
  232. Defining problem LOG-RAN-40-6 ...
  233.  
  234. Defining problem LOG-RAN-40-7 ...
  235.  
  236. Defining problem LOG-RAN-40-8 ...
  237.  
  238. Defining problem LOG-RAN-40-9 ...
  239.  
  240. Defining problem LOG-RAN-40-10 ...
  241.  
  242. Defining problem set SET40 ...
  243. Defining problem LOG-RAN-45-1 ...
  244.  
  245. Defining problem LOG-RAN-45-2 ...
  246.  
  247. Defining problem LOG-RAN-45-3 ...
  248.  
  249. Defining problem LOG-RAN-45-4 ...
  250.  
  251. Defining problem LOG-RAN-45-5 ...
  252.  
  253. Defining problem LOG-RAN-45-6 ...
  254.  
  255. Defining problem LOG-RAN-45-7 ...
  256.  
  257. Defining problem LOG-RAN-45-8 ...
  258.  
  259. Defining problem LOG-RAN-45-9 ...
  260.  
  261. Defining problem LOG-RAN-45-10 ...
  262.  
  263. Defining problem set SET45 ...
  264. Defining problem LOG-RAN-50-1 ...
  265.  
  266. Defining problem LOG-RAN-50-2 ...
  267.  
  268. Defining problem LOG-RAN-50-3 ...
  269.  
  270. Defining problem LOG-RAN-50-4 ...
  271.  
  272. Defining problem LOG-RAN-50-5 ...
  273.  
  274. Defining problem LOG-RAN-50-6 ...
  275.  
  276. Defining problem LOG-RAN-50-7 ...
  277.  
  278. Defining problem LOG-RAN-50-8 ...
  279.  
  280. Defining problem LOG-RAN-50-9 ...
  281.  
  282. Defining problem LOG-RAN-50-10 ...
  283.  
  284. Defining problem set SET50 ...
  285. Defining problem LOG-RAN-55-1 ...
  286.  
  287. Defining problem LOG-RAN-55-2 ...
  288.  
  289. Defining problem LOG-RAN-55-3 ...
  290.  
  291. Defining problem LOG-RAN-55-4 ...
  292.  
  293. Defining problem LOG-RAN-55-5 ...
  294.  
  295. Defining problem LOG-RAN-55-6 ...
  296.  
  297. Defining problem LOG-RAN-55-7 ...
  298.  
  299. Defining problem LOG-RAN-55-8 ...
  300.  
  301. Defining problem LOG-RAN-55-9 ...
  302.  
  303. Defining problem LOG-RAN-55-10 ...
  304.  
  305. Defining problem set SET55 ...
  306. Defining problem LOG-RAN-60-1 ...
  307.  
  308. Defining problem LOG-RAN-60-2 ...
  309.  
  310. Defining problem LOG-RAN-60-3 ...
  311.  
  312. Defining problem LOG-RAN-60-4 ...
  313.  
  314. Defining problem LOG-RAN-60-5 ...
  315.  
  316. Defining problem LOG-RAN-60-6 ...
  317.  
  318. Defining problem LOG-RAN-60-7 ...
  319.  
  320. Defining problem LOG-RAN-60-8 ...
  321.  
  322. Defining problem LOG-RAN-60-9 ...
  323.  
  324. Defining problem LOG-RAN-60-10 ...
  325.  
  326. Defining problem set SET60 ........
  327. Defining domain TEST-FLAW-DETECTION...
  328.  
  329. Defining problem FIND-FLAW-TEST-PROBLEM ...
  330.  
  331. Defining domain CHECK-TREE-CONSTRUCTION...
  332.  
  333. Defining problem TREE-CONSTRUCTION-PROBLEM ...
  334.  
  335. *  (time (fiveam:run-all-tests))
  336.  
  337. Running test suite NIL
  338.  Running test PROTECTION-TEST
  339. Defining domain PROTECTION-TEST-DOMAIN...
  340. ................
  341.  Running test ARITY-TEST ......
  342.  Running test ESS-ARITY-TEST ......
  343. Running test suite BLOCKS-TESTS
  344.  Running test PLAN100 .
  345.  Running test PLAN200 .
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!