| authoriseCard.pl | Oct 1, 2021, 5:50:23 PM | 889 B | |
| backgroundBankTransfer.pl | Oct 1, 2021, 5:50:23 PM | 1.19 KiB | |
| backgroundBankTransfer.pl_f7_.P | Oct 1, 2021, 5:50:23 PM | 1.32 KiB | |
| backgroundRain.pl | Oct 1, 2021, 5:50:23 PM | 186 B | |
| backgroundRain2.pl | Oct 1, 2021, 5:50:23 PM | 458 B | |
| backtrackExample1.lpsw | Oct 1, 2021, 5:50:23 PM | 740 B | |
| backtrackExample1.lpsw_.P | Oct 1, 2021, 5:50:23 PM | 820 B | |
| backtrackExample1.lpsw_.P.lpst | Oct 1, 2021, 5:50:23 PM | 3.03 KiB | |
| backtrackExample2.lpsw | Oct 1, 2021, 5:50:23 PM | 868 B | |
| backtrackExample2.lpsw_.P | Oct 1, 2021, 5:50:23 PM | 910 B | |
| backtrackExample2.lpsw_.P.lpst | Oct 1, 2021, 5:50:23 PM | 5.23 KiB | |
| backtrackExample3.lpsw | Oct 1, 2021, 5:50:23 PM | 828 B | |
| backtrackExample3.lpsw_.P | Oct 1, 2021, 5:50:23 PM | 739 B | |
| backtrackExample3.lpsw_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.96 KiB | |
| backtrackingAcrossCycles.pl | Oct 1, 2021, 5:50:23 PM | 475 B | |
| backtrackingAcrossCycles.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 2.17 KiB | |
| badlight2.pl | Oct 1, 2021, 5:50:23 PM | 1.04 KiB | |
| badlight2.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 6.16 KiB | |
| ballotTest.pl | Oct 1, 2021, 5:50:23 PM | 3.23 KiB | |
| ballotTest.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 4.49 KiB | |
| bank_account_realtime.pl | Oct 1, 2021, 5:50:23 PM | 2.12 KiB | |
| bank_transferWithhappened.pl | Oct 1, 2021, 5:50:23 PM | 1.83 KiB | |
| bank_transferWithhappened.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 4.29 KiB | |
| bank account.lpsw | Oct 1, 2021, 5:50:23 PM | 1.92 KiB | |
| bank account.lpsw_.P | Oct 1, 2021, 5:50:23 PM | 1.86 KiB | |
| bank account.lpsw_.P.lpst | Oct 1, 2021, 5:50:23 PM | 2.45 KiB | |
| bankDoubleTransfer.pl | Oct 1, 2021, 5:50:23 PM | 981 B | |
| bankDoubleTransfer.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.20 KiB | |
| bankTransfer1.pl | Oct 1, 2021, 5:50:23 PM | 957 B | |
| bankTransfer1.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 2.45 KiB | |
| bankTransfer2.pl | Oct 1, 2021, 5:50:23 PM | 1.04 KiB | |
| bankTransfer2.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 6.48 KiB | |
| bobObservationBug.pl | Oct 1, 2021, 5:50:23 PM | 8.00 KiB | |
| bobObservationBug.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 10.30 KiB | |
| bubble sort.lpsw | Oct 1, 2021, 5:50:23 PM | 1.91 KiB | |
| bubble sort.lpsw.lpst | Oct 1, 2021, 5:50:23 PM | 2.68 KiB | |
| BugEndingWithSimulatedRealTime.pl | Oct 1, 2021, 5:50:23 PM | 1.03 KiB | |
| BugEndingWithSimulatedRealTime.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 4.18 KiB | |
| changingFluentInAntecedent.pl | Oct 1, 2021, 5:50:23 PM | 202 B | |
| changingFluentInAntecedent.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 937 B | |
| compositeEventInconsistency.pl | Oct 1, 2021, 5:50:23 PM | 7.79 KiB | |
| compositeEventInconsistency.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 396.39 KiB | |
| compositeEventsInPostConditions.pl | Oct 1, 2021, 5:50:23 PM | 760 B | |
| compositeEventsInPostConditions.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 2.73 KiB | |
| compositeInitiateBug.pl | Oct 1, 2021, 5:50:23 PM | 1.45 KiB | |
| compositeInitiateBug.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 5.35 KiB | |
| DelayPenalty.pl | Oct 1, 2021, 5:50:23 PM | 3.68 KiB | |
| diningTable.pl_f1_.P | Oct 1, 2021, 5:50:23 PM | 581 B | |
| diningTable.pl_f2_.P | Oct 1, 2021, 5:50:23 PM | 611 B | |
| diningTable.pl_f3_.P | Oct 1, 2021, 5:50:23 PM | 602 B | |
| editingActions.pl | Oct 1, 2021, 5:50:23 PM | 294 B | |
| editingActions.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.21 KiB | |
| external_stuff.pl | Oct 1, 2021, 5:50:23 PM | 101 B | |
| external_stuff.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 913 B | |
| externalPrologEvents.pl | Oct 1, 2021, 5:50:23 PM | 405 B | |
| externalPrologEvents.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.13 KiB | |
| failBetter.pl | Oct 1, 2021, 5:50:23 PM | 636 B | |
| failBetter.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.13 KiB | |
| failBetter2.pl | Oct 1, 2021, 5:50:23 PM | 989 B | |
| fariba_sam_bug.pl | Oct 1, 2021, 5:50:23 PM | 341 B | |
| fariba_sam_bug.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 2.43 KiB | |
| fluentAfterEvent.pl | Oct 1, 2021, 5:50:23 PM | 767 B | |
| fluentAfterEvent.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 877 B | |
| fluentInCompositeEvent.pl | Oct 1, 2021, 5:50:23 PM | 395 B | |
| fluentInCompositeEvent.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.48 KiB | |
| futuresContractCompliant.pl | Oct 1, 2021, 5:50:23 PM | 360 B | |
| futuresContractCompliant.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.22 KiB | |
| futuresContractFailing.pl | Oct 1, 2021, 5:50:23 PM | 456 B | |
| futuresContractFailing.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.01 KiB | |
| if_then_else_with_writes.pl | Oct 1, 2021, 5:50:23 PM | 1.12 KiB | |
| if_then_else_with_writes.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.54 KiB | |
| if_then_else.pl | Oct 1, 2021, 5:50:23 PM | 369 B | |
| if_then_else.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.55 KiB | |
| if_then.pl | Oct 1, 2021, 5:50:23 PM | 350 B | |
| if_then.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.49 KiB | |
| implicitTimeOrdering.pl | Oct 1, 2021, 5:50:23 PM | 184 B | |
| implicitTimeOrdering.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.84 KiB | |
| inLineTimeExpressions.pl | Oct 1, 2021, 5:50:23 PM | 198 B | |
| inLineTimeExpressions.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.17 KiB | |
| intensFluentBindingTime.pl | Oct 1, 2021, 5:50:23 PM | 267 B | |
| intensFluentBindingTime.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.42 KiB | |
| manual_minimal.pl | Oct 1, 2021, 5:50:23 PM | 166 B | |
| mapColouring.pl | Oct 1, 2021, 5:50:23 PM | 674 B | |
| mapColouring.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.77 KiB | |
| meta.pl | Oct 1, 2021, 5:50:23 PM | 518 B | |
| meta.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 2.39 KiB | |
| negatedFluentInConjunction.pl | Oct 1, 2021, 5:50:23 PM | 284 B | |
| negatedFluentInConjunction.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 997 B | |
| negatedFluentShouldNotSucceed.pl | Oct 1, 2021, 5:50:23 PM | 431 B | |
| negatedFluentShouldNotSucceed.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.12 KiB | |
| negatedIntentionslFluent.pl | Oct 1, 2021, 5:50:23 PM | 3.51 KiB | |
| negatedIntentionslFluent.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 9.28 KiB | |
| neverEndingEvent.pl | Oct 1, 2021, 5:50:23 PM | 581 B | |
| neverEndingEvent.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.79 KiB | |
| paralellConjunctions.pl | Oct 1, 2021, 5:50:23 PM | 395 B | |
| paralellConjunctions.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.90 KiB | |
| prisoners-dilemma-latest.lpsw | Oct 1, 2021, 5:50:23 PM | 1.96 KiB | |
| prisoners-dilemma-latest.lpsw_.P | Oct 1, 2021, 5:50:23 PM | 1.24 KiB | |
| prisoners-dilemma-latest.lpsw_.P.lpst | Oct 1, 2021, 5:50:23 PM | 2.49 KiB | |
| prospectiveGoat.pl | Oct 1, 2021, 5:50:23 PM | 1.82 KiB | |
| prospectiveGoat.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 3.42 KiB | |
| prospectiveGoat2.pl | Oct 1, 2021, 5:50:23 PM | 1.95 KiB | |
| prospectiveGoat2.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 4.24 KiB | |
| quicksort.lpsw | Oct 1, 2021, 5:50:23 PM | 567 B | |
| quicksort.lpsw_.P | Oct 1, 2021, 5:50:23 PM | 837 B | |
| quicksort.lpsw_.P.lpst | Oct 1, 2021, 5:50:23 PM | 795 B | |
| real_time_constants.pl | Oct 1, 2021, 5:50:23 PM | 465 B | |
| real_time_constants.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.14 KiB | |
| realTimeObservations.pl | Oct 1, 2021, 5:50:23 PM | 594 B | |
| realTimeObservations.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 143.77 KiB | |
| rock_scissor_paper_bug.pl | Oct 1, 2021, 5:50:23 PM | 1.04 KiB | |
| rock_scissor_paper_bug.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.80 KiB | |
| RockPaperScissors-3players.pl | Oct 1, 2021, 5:50:23 PM | 2.57 KiB | |
| RockPaperScissors-3players.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 2.73 KiB | |
| RockPaperScissors-3players-badFluent.pl | Oct 1, 2021, 5:50:23 PM | 2.57 KiB | |
| RockPaperScissors-3players-badFluent.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 2.93 KiB | |
| saver.pl | Oct 1, 2021, 5:50:23 PM | 2.34 KiB | |
| serializedDice.pl | Oct 1, 2021, 5:50:23 PM | 226 B | |
| serializedDice.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.04 KiB | |
| simple_example1.lpsw | Oct 1, 2021, 5:50:23 PM | 840 B | |
| simple_example1.lpsw_.P | Oct 1, 2021, 5:50:23 PM | 618 B | |
| simple_example1.lpsw_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.97 KiB | |
| simulatedTime.pl | Oct 1, 2021, 5:50:23 PM | 301 B | |
| simulatedTime.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.10 KiB | |
| simulatedTimeCompositeEvent.pl | Oct 1, 2021, 5:50:23 PM | 498 B | |
| simulatedTimeCompositeEvent.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 937 B | |
| simulatedTimeCompositeEvent2.pl | Oct 1, 2021, 5:50:23 PM | 780 B | |
| simulatedTimeCompositeEvent2.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.98 KiB | |
| terminator.pl | Oct 1, 2021, 5:50:23 PM | 261 B | |
| terminator.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.02 KiB | |
| testlevent.lpsw | Oct 1, 2021, 5:50:23 PM | 1.22 KiB | |
| testlevent.lpsw_.P | Oct 1, 2021, 5:50:23 PM | 1.27 KiB | |
| testlevent.lpsw_.P.lpst | Oct 1, 2021, 5:50:23 PM | 5.71 KiB | |
| testNLPhook.pl | Oct 1, 2021, 5:50:23 PM | 167 B | |
| trash_disposal.lpsw | Oct 1, 2021, 5:50:23 PM | 613 B | |
| trash_disposal.lpsw_.P | Oct 1, 2021, 5:50:23 PM | 709 B | |
| trash_disposal.lpsw_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.81 KiB | |
| trash_forall.pl | Oct 1, 2021, 5:50:23 PM | 520 B | |
| trash_forall.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 2.70 KiB | |
| trash_two_locked.pl | Oct 1, 2021, 5:50:23 PM | 595 B | |
| trash_two_locked.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.86 KiB | |
| two_initiate.pl | Oct 1, 2021, 5:50:23 PM | 201 B | |
| two_initiate.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 3.38 KiB | |
| unserializedDice.pl | Oct 1, 2021, 5:50:23 PM | 225 B | |
| unserializedDice.pl_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.16 KiB | |
| variant_clauses.lpsw | Oct 1, 2021, 5:50:23 PM | 506 B | |
| variant_clauses.lpsw_.P | Oct 1, 2021, 5:50:23 PM | 550 B | |
| variant_clauses.lpsw_.P.lpst | Oct 1, 2021, 5:50:23 PM | 1.15 KiB | |
|