| benchmark_EventCalculus/lopstr19 |
| benchmark_iclp18 |
| compiled |
| dyncall |
| embed |
| birds.html | Jan 17, 2023, 11:44:27 AM | 44.07 KiB | |
| birds.pl | Jan 17, 2023, 11:44:27 AM | 861 B | |
| classic_negation_incostistent.pl | Jan 17, 2023, 11:44:27 AM | 76 B | |
| entail_loop.pl | Jan 17, 2023, 11:44:27 AM | 55 B | |
| family.pl | Jan 17, 2023, 11:44:27 AM | 1.28 KiB | |
| hamcycle_two.pl | Jan 17, 2023, 11:44:27 AM | 621 B | |
| hamcycle.pl | Jan 17, 2023, 11:44:27 AM | 561 B | |
| hanoi_7.pl | Jan 17, 2023, 11:44:27 AM | 554 B | |
| hanoi.pl | Jan 17, 2023, 11:44:27 AM | 556 B | |
| min_model.pl | Jan 17, 2023, 11:44:27 AM | 104 B | |
| pq.pl | Jan 17, 2023, 11:44:27 AM | 47 B | |
| queens.pl | Jan 17, 2023, 11:44:27 AM | 998 B | |
| rps.pl | Jan 17, 2023, 11:44:27 AM | 598 B | |
|