| authoriseCard.pl | Oct 10, 2021, 7:14:08 AM | 888 B | |
| backgroundBankTransfer.pl | Oct 10, 2021, 7:14:08 AM | 1.19 KiB | |
| backgroundBankTransfer.pl_f7_.P | Oct 10, 2021, 7:14:08 AM | 1.29 KiB | |
| backgroundRain.pl | Oct 10, 2021, 7:14:08 AM | 185 B | |
| backgroundRain2.pl | Oct 10, 2021, 7:14:08 AM | 457 B | |
| backtrackExample1.lpsw | Oct 10, 2021, 7:14:08 AM | 712 B | |
| backtrackExample1.lpsw_.P | Oct 10, 2021, 7:14:08 AM | 792 B | |
| backtrackExample1.lpsw_.P.lpst | Oct 10, 2021, 7:14:08 AM | 3.22 KiB | |
| backtrackExample2.lpsw | Oct 10, 2021, 7:14:08 AM | 840 B | |
| backtrackExample2.lpsw_.P | Oct 10, 2021, 7:14:08 AM | 882 B | |
| backtrackExample2.lpsw_.P.lpst | Oct 10, 2021, 7:14:08 AM | 5.36 KiB | |
| backtrackExample3.lpsw | Oct 10, 2021, 7:14:08 AM | 800 B | |
| backtrackExample3.lpsw_.P | Oct 10, 2021, 7:14:08 AM | 791 B | |
| backtrackExample3.lpsw_.P.lpst | Oct 10, 2021, 7:14:08 AM | 2.11 KiB | |
| backtrackingAcrossCycles.pl | Oct 10, 2021, 7:14:08 AM | 474 B | |
| backtrackingAcrossCycles.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 2.14 KiB | |
| badlight2.pl | Oct 10, 2021, 7:14:08 AM | 1.03 KiB | |
| badlight2.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 8.83 KiB | |
| ballotTest.pl | Oct 10, 2021, 7:14:08 AM | 3.23 KiB | |
| ballotTest.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 4.46 KiB | |
| bank_account_realtime.pl | Oct 10, 2021, 7:14:08 AM | 2.13 KiB | |
| bank_transferWithhappened.pl | Oct 10, 2021, 7:14:08 AM | 1.85 KiB | |
| bank_transferWithhappened.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 4.27 KiB | |
| bank account.lpsw | Oct 10, 2021, 7:14:08 AM | 1.89 KiB | |
| bank account.lpsw_.P | Oct 10, 2021, 7:14:08 AM | 1.83 KiB | |
| bank account.lpsw_.P.lpst | Oct 10, 2021, 7:14:08 AM | 2.43 KiB | |
| bankDoubleTransfer.pl | Oct 10, 2021, 7:14:08 AM | 980 B | |
| bankDoubleTransfer.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.17 KiB | |
| bankTransfer1.pl | Oct 10, 2021, 7:14:08 AM | 956 B | |
| bankTransfer1.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 2.42 KiB | |
| bankTransfer2.pl | Oct 10, 2021, 7:14:08 AM | 1.04 KiB | |
| bankTransfer2.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 6.46 KiB | |
| bobObservationBug.pl | Oct 10, 2021, 7:14:08 AM | 8.00 KiB | |
| bobObservationBug.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 14.30 KiB | |
| bubble sort.lpsw | Oct 10, 2021, 7:14:08 AM | 1.89 KiB | |
| bubble sort.lpsw_.P | Oct 10, 2021, 7:14:08 AM | 1.27 KiB | |
| bubble sort.lpsw_.P.lpst | Oct 10, 2021, 7:14:08 AM | 6.01 KiB | |
| bubble sort.lpsw.lpst | Oct 10, 2021, 7:14:08 AM | 2.66 KiB | |
| BugEndingWithSimulatedRealTime.pl | Oct 10, 2021, 7:14:08 AM | 1.03 KiB | |
| BugEndingWithSimulatedRealTime.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 11.53 KiB | |
| changingFluentInAntecedent.pl | Oct 10, 2021, 7:14:08 AM | 201 B | |
| changingFluentInAntecedent.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 909 B | |
| compositeEventInconsistency.pl | Oct 10, 2021, 7:14:08 AM | 7.79 KiB | |
| compositeEventInconsistency.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 457.72 KiB | |
| compositeEventsInPostConditions.pl | Oct 10, 2021, 7:14:08 AM | 759 B | |
| compositeEventsInPostConditions.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 2.71 KiB | |
| compositeInitiateBug.pl | Oct 10, 2021, 7:14:08 AM | 1.45 KiB | |
| compositeInitiateBug.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 5.61 KiB | |
| DelayPenalty.pl | Oct 10, 2021, 7:14:08 AM | 3.68 KiB | |
| diningTable.pl_f1_.P | Oct 10, 2021, 7:14:08 AM | 553 B | |
| diningTable.pl_f2_.P | Oct 10, 2021, 7:14:08 AM | 583 B | |
| diningTable.pl_f3_.P | Oct 10, 2021, 7:14:08 AM | 574 B | |
| editingActions.pl | Oct 10, 2021, 7:14:08 AM | 293 B | |
| editingActions.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.18 KiB | |
| external_stuff.pl | Oct 10, 2021, 7:14:08 AM | 100 B | |
| external_stuff.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 885 B | |
| externalPrologEvents.pl | Oct 10, 2021, 7:14:08 AM | 404 B | |
| externalPrologEvents.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.10 KiB | |
| failBetter.pl | Oct 10, 2021, 7:14:08 AM | 635 B | |
| failBetter.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.10 KiB | |
| failBetter2.pl | Oct 10, 2021, 7:14:08 AM | 988 B | |
| fariba_sam_bug.pl | Oct 10, 2021, 7:14:08 AM | 340 B | |
| fariba_sam_bug.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 2.98 KiB | |
| fluentAfterEvent.pl | Oct 10, 2021, 7:14:08 AM | 766 B | |
| fluentAfterEvent.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 940 B | |
| fluentInCompositeEvent.pl | Oct 10, 2021, 7:14:08 AM | 394 B | |
| fluentInCompositeEvent.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.99 KiB | |
| futuresContractCompliant.pl | Oct 10, 2021, 7:14:08 AM | 359 B | |
| futuresContractCompliant.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.31 KiB | |
| futuresContractFailing.pl | Oct 10, 2021, 7:14:08 AM | 455 B | |
| futuresContractFailing.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1011 B | |
| if_then_else_with_writes.pl | Oct 10, 2021, 7:14:08 AM | 1.12 KiB | |
| if_then_else_with_writes.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.52 KiB | |
| if_then_else.pl | Oct 10, 2021, 7:14:08 AM | 377 B | |
| if_then_else.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.52 KiB | |
| if_then.pl | Oct 10, 2021, 7:14:08 AM | 359 B | |
| if_then.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.46 KiB | |
| implicitTimeOrdering.pl | Oct 10, 2021, 7:14:08 AM | 183 B | |
| implicitTimeOrdering.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.89 KiB | |
| inLineTimeExpressions.pl | Oct 10, 2021, 7:14:08 AM | 197 B | |
| inLineTimeExpressions.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.14 KiB | |
| intensFluentBindingTime.pl | Oct 10, 2021, 7:14:08 AM | 266 B | |
| intensFluentBindingTime.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.40 KiB | |
| manual_minimal.pl | Oct 10, 2021, 7:14:08 AM | 165 B | |
| mapColouring.pl | Oct 10, 2021, 7:14:08 AM | 673 B | |
| mapColouring.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.74 KiB | |
| meta.pl | Oct 10, 2021, 7:14:08 AM | 517 B | |
| meta.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 2.36 KiB | |
| negatedFluentInConjunction.pl | Oct 10, 2021, 7:14:08 AM | 283 B | |
| negatedFluentInConjunction.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 969 B | |
| negatedFluentShouldNotSucceed.pl | Oct 10, 2021, 7:14:08 AM | 430 B | |
| negatedFluentShouldNotSucceed.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.09 KiB | |
| negatedIntentionslFluent.pl | Oct 10, 2021, 7:14:08 AM | 3.51 KiB | |
| negatedIntentionslFluent.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 9.25 KiB | |
| neverEndingEvent.pl | Oct 10, 2021, 7:14:08 AM | 580 B | |
| neverEndingEvent.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 3.16 KiB | |
| paralellConjunctions.pl | Oct 10, 2021, 7:14:08 AM | 394 B | |
| paralellConjunctions.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 2.56 KiB | |
| prisoners-dilemma-latest.lpsw | Oct 10, 2021, 7:14:08 AM | 1.93 KiB | |
| prisoners-dilemma-latest.lpsw_.P | Oct 10, 2021, 7:14:08 AM | 1.21 KiB | |
| prisoners-dilemma-latest.lpsw_.P.lpst | Oct 10, 2021, 7:14:08 AM | 2.46 KiB | |
| prospectiveGoat.pl | Oct 10, 2021, 7:14:08 AM | 1.82 KiB | |
| prospectiveGoat.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 3.40 KiB | |
| prospectiveGoat2.pl | Oct 10, 2021, 7:14:08 AM | 1.95 KiB | |
| prospectiveGoat2.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 5.23 KiB | |
| quicksort.lpsw | Oct 10, 2021, 7:14:08 AM | 539 B | |
| quicksort.lpsw_.P | Oct 10, 2021, 7:14:08 AM | 809 B | |
| quicksort.lpsw_.P.lpst | Oct 10, 2021, 7:14:08 AM | 767 B | |
| real_time_constants.pl | Oct 10, 2021, 7:14:08 AM | 464 B | |
| real_time_constants.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 2.04 KiB | |
| realTimeObservations.pl | Oct 10, 2021, 7:14:08 AM | 593 B | |
| realTimeObservations.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 143.75 KiB | |
| rock_scissor_paper_bug.pl | Oct 10, 2021, 7:14:08 AM | 1.04 KiB | |
| rock_scissor_paper_bug.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.78 KiB | |
| RockPaperScissors-3players.pl | Oct 10, 2021, 7:14:08 AM | 2.57 KiB | |
| RockPaperScissors-3players.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 3.34 KiB | |
| RockPaperScissors-3players-badFluent.pl | Oct 10, 2021, 7:14:08 AM | 2.57 KiB | |
| RockPaperScissors-3players-badFluent.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 4.18 KiB | |
| saver.pl | Oct 10, 2021, 7:14:08 AM | 2.37 KiB | |
| serializedDice.pl | Oct 10, 2021, 7:14:08 AM | 225 B | |
| serializedDice.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.01 KiB | |
| simple_example1.lpsw | Oct 10, 2021, 7:14:08 AM | 812 B | |
| simple_example1.lpsw_.P | Oct 10, 2021, 7:14:08 AM | 590 B | |
| simple_example1.lpsw_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.94 KiB | |
| simulatedTime.pl | Oct 10, 2021, 7:14:08 AM | 300 B | |
| simulatedTime.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.08 KiB | |
| simulatedTimeCompositeEvent.pl | Oct 10, 2021, 7:14:08 AM | 497 B | |
| simulatedTimeCompositeEvent.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 909 B | |
| simulatedTimeCompositeEvent2.pl | Oct 10, 2021, 7:14:08 AM | 779 B | |
| simulatedTimeCompositeEvent2.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 2.48 KiB | |
| sos.pl | Oct 10, 2021, 7:14:08 AM | 806 B | |
| sos.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 6.10 KiB | |
| switchingWithTimeExpression.pl | Oct 10, 2021, 7:14:08 AM | 217 B | |
| switchingWithTimeExpression.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 2.40 KiB | |
| terminator.pl | Oct 10, 2021, 7:14:08 AM | 260 B | |
| terminator.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1021 B | |
| testlevent.lpsw | Oct 10, 2021, 7:14:08 AM | 1.20 KiB | |
| testlevent.lpsw_.P | Oct 10, 2021, 7:14:08 AM | 1.24 KiB | |
| testlevent.lpsw_.P.lpst | Oct 10, 2021, 7:14:08 AM | 5.77 KiB | |
| testNLPhook.pl | Oct 10, 2021, 7:14:08 AM | 166 B | |
| trash_disposal.lpsw | Oct 10, 2021, 7:14:08 AM | 585 B | |
| trash_disposal.lpsw_.P | Oct 10, 2021, 7:14:08 AM | 681 B | |
| trash_disposal.lpsw_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.78 KiB | |
| trash_forall.pl | Oct 10, 2021, 7:14:08 AM | 519 B | |
| trash_forall.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 2.67 KiB | |
| trash_two_locked.pl | Oct 10, 2021, 7:14:08 AM | 594 B | |
| trash_two_locked.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.83 KiB | |
| two_initiate.pl | Oct 10, 2021, 7:14:08 AM | 200 B | |
| two_initiate.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 3.52 KiB | |
| unserializedDice.pl | Oct 10, 2021, 7:14:08 AM | 224 B | |
| unserializedDice.pl_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.14 KiB | |
| variant_clauses.lpsw | Oct 10, 2021, 7:14:08 AM | 478 B | |
| variant_clauses.lpsw_.P | Oct 10, 2021, 7:14:08 AM | 522 B | |
| variant_clauses.lpsw_.P.lpst | Oct 10, 2021, 7:14:08 AM | 1.21 KiB | |
|