/* LPS test results file generated on 2017-02-05 at 13:05:04 on Prolog xsb(3,7,,_h8495) for program file: /Users/mc/git/lps_corner/examples/forTesting/trash_forall.lps_.P */ (:- dynamic lps_test_result / 3,lps_test_result_item / 3,lps_test_options / 1). % LPS options prior to the test: lps_test_options([]). % lps_test_result(Stage,Cycle,TestTerm) lps_test_result((fluents),0,4). lps_test_result((events),1,0). lps_test_result((fluents),1,4). lps_test_result((events),2,1). lps_test_result((fluents),2,3). lps_test_result((events),3,0). lps_test_result((fluents),3,3). lps_test_result((events),4,0). lps_test_result((fluents),4,3). lps_test_result((events),5,1). lps_test_result((fluents),5,2). lps_test_result((events),6,1). lps_test_result((fluents),6,2). lps_test_result((events),7,0). lps_test_result((fluents),7,2). lps_test_result((events),8,0). lps_test_result((fluents),8,2). lps_test_result((events),9,0). lps_test_result((fluents),9,2). lps_test_result((events),10,0). lps_test_result((fluents),10,2). % lps_test_result_item(Stage,Cycle,TestTerm) lps_test_result_item((fluents),0,locked(container1)). lps_test_result_item((fluents),0,trash(bottle1)). lps_test_result_item((fluents),0,bin(container1)). lps_test_result_item((fluents),0,bin(container2)). lps_test_result_item((fluents),1,locked(container1)). lps_test_result_item((fluents),1,trash(bottle1)). lps_test_result_item((fluents),1,bin(container1)). lps_test_result_item((fluents),1,bin(container2)). lps_test_result_item((events),2,dispose(bottle1,container2)). lps_test_result_item((fluents),2,locked(container1)). lps_test_result_item((fluents),2,bin(container1)). lps_test_result_item((fluents),2,bin(container2)). lps_test_result_item((fluents),3,locked(container1)). lps_test_result_item((fluents),3,bin(container1)). lps_test_result_item((fluents),3,bin(container2)). lps_test_result_item((fluents),4,locked(container1)). lps_test_result_item((fluents),4,bin(container1)). lps_test_result_item((fluents),4,bin(container2)). lps_test_result_item((events),5,unlock(container1)). lps_test_result_item((fluents),5,bin(container1)). lps_test_result_item((fluents),5,bin(container2)). lps_test_result_item((events),6,dispose(bottle1,container1)). lps_test_result_item((fluents),6,bin(container1)). lps_test_result_item((fluents),6,bin(container2)). lps_test_result_item((fluents),7,bin(container1)). lps_test_result_item((fluents),7,bin(container2)). lps_test_result_item((fluents),8,bin(container1)). lps_test_result_item((fluents),8,bin(container2)). lps_test_result_item((fluents),9,bin(container1)). lps_test_result_item((fluents),9,bin(container2)). lps_test_result_item((fluents),10,bin(container1)). lps_test_result_item((fluents),10,bin(container2)).