((/clause-processors/SULFA/books/sat-tests/test-help.lisp::sat-status-valid (nil nil nil nil nil (mv-let) nil) (nil nil (declare) (erp) (if) nil (thm-fn)) ((val state property state NIL NIL) nil (`) (ignore eq prog2$) (if) nil nil) (((Goal :clause-processor (:function sat :hint (, hint-arg))) erp val name) nil (quote sat-cl-property-status) nil (if mv mv mv) nil nil) ((valid $sat name nil nil state nil state nil state) nil (`) (cw msg msg) nil nil nil) ((~x0 is valid~% name ERROR: The property named ~x0 ~
                   was not proven valid by the SAT system.~% name property) nil (value-triple) (concat-str) nil nil nil) ((ERROR: The following property was not  proven valid by the SAT system:~%~x0 ~%) nil (quote) nil nil nil nil)) (/clause-processors/SULFA/books/sat-tests/test-help.lisp::sat-status-invalid (nil nil nil nil nil (mv-let) nil) (nil nil (declare) (erp) (if) nil (thm-fn)) ((val state property state NIL NIL) nil (`) (ignore eq prog2$) (if) nil nil) (((Goal :clause-processor (:function sat :hint (, hint-arg))) erp val name) nil (quote sat-cl-property-status) nil (if mv mv mv) nil nil) ((invalid $sat name nil nil state nil state nil state) nil (`) (cw msg msg) nil nil nil) ((~x0 is invalid~% name name property) nil (value-triple) (concat-str concat-str) nil nil nil) ((ERROR: The property named ~x0  was not proven invalid by the SAT system.~% ERROR: The following property was not  proven invalid by the SAT system:~%~x0 ~%) nil (quote) nil nil nil nil)) (/clause-processors/SULFA/books/sat-tests/test-help.lisp::sat-status-unknown (nil nil nil nil nil (mv-let) nil) (nil nil (declare) (erp) (if) nil (thm-fn)) ((val state property state NIL NIL) nil (`) (ignore eq prog2$) (if) nil nil) (((Goal :clause-processor (:function sat :hint (, hint-arg))) erp val name) nil (quote sat-cl-property-status) nil (if mv mv mv) nil nil) ((unknown $sat name nil nil state nil state nil state) nil (`) (cw msg msg) nil nil nil) ((~x0 is unknown~% name name property) nil (value-triple) (concat-str concat-str) nil nil nil) ((ERROR: The property named ~x0  did not result in UKNOWN status.~% ERROR: The following property did not result  in UNKNOWN status:~%~x0 ~%) nil (quote) nil nil nil nil)))