| abol_test_old | Sep 15, 2023, 3:22:14 AM | 84 B | |
| abol_test.P | Sep 15, 2023, 3:22:14 AM | 1.35 KiB | |
| abol_test2_module.P | Sep 15, 2023, 3:22:14 AM | 132 B | |
| abol_test2_old | Sep 15, 2023, 3:22:14 AM | 209 B | |
| abol_test2.P | Sep 15, 2023, 3:22:14 AM | 954 B | |
| abol_test2a_old | Sep 15, 2023, 3:22:14 AM | 13 B | |
| abol_test2a.P | Sep 15, 2023, 3:22:14 AM | 645 B | |
| abol_test3_old | Sep 15, 2023, 3:22:14 AM | 175 B | |
| abol_test3.P | Sep 15, 2023, 3:22:14 AM | 800 B | |
| abol_test3a_old | Sep 15, 2023, 3:22:14 AM | 175 B | |
| abol_test3a.P | Sep 15, 2023, 3:22:14 AM | 908 B | |
| abol_test3b_old | Sep 15, 2023, 3:22:14 AM | 319 B | |
| abol_test3b.P | Sep 15, 2023, 3:22:14 AM | 1.07 KiB | |
| abol_test3c_old | Sep 15, 2023, 3:22:14 AM | 260 B | |
| abol_test3c.P | Sep 15, 2023, 3:22:14 AM | 917 B | |
| abolish_cascade_old | Sep 15, 2023, 3:22:14 AM | 32 B | |
| abolish_cascade_pred_old | Sep 15, 2023, 3:22:14 AM | 33 B | |
| abolish_cascade_pred.P | Sep 15, 2023, 3:22:14 AM | 2.00 KiB | |
| abolish_cascade.P | Sep 15, 2023, 3:22:14 AM | 2.12 KiB | |
| abolish_cycle_old | Sep 15, 2023, 3:22:14 AM | 1.07 KiB | |
| abolish_cycle.P | Sep 15, 2023, 3:22:14 AM | 1.00 KiB | |
| abolish_dag_old | Sep 15, 2023, 3:22:14 AM | 1.55 KiB | |
| abolish_dag.P | Sep 15, 2023, 3:22:14 AM | 2.19 KiB | |
| abolish_neg_cycle_old | Sep 15, 2023, 3:22:14 AM | 1.25 KiB | |
| abolish_neg_cycle.P | Sep 15, 2023, 3:22:14 AM | 1.02 KiB | |
| abolish_neg_dag_old | Sep 15, 2023, 3:22:14 AM | 1.82 KiB | |
| abolish_neg_dag.P | Sep 15, 2023, 3:22:14 AM | 2.27 KiB | |
| atc_test_old | Sep 15, 2023, 3:22:14 AM | 382 B | |
| atc_test.P | Sep 15, 2023, 3:22:14 AM | 4.72 KiB | |
| concomp_old | Sep 15, 2023, 3:22:14 AM | 30.28 KiB | |
| concomp.P | Sep 15, 2023, 3:22:14 AM | 982 B | |
| correct.P | Sep 15, 2023, 3:22:14 AM | 6.81 KiB | |
| exec.P | Sep 15, 2023, 3:22:14 AM | 6.80 KiB | |
| expand_old | Sep 15, 2023, 3:22:14 AM | 0 B | |
| expand.P | Sep 15, 2023, 3:22:14 AM | 267 B | |
| ins_old | Sep 15, 2023, 3:22:14 AM | 3.88 KiB | |
| ins.P | Sep 15, 2023, 3:22:14 AM | 1.91 KiB | |
| kalah_ox.P | Sep 15, 2023, 3:22:14 AM | 37.47 KiB | |
| large_arity_tables_old | Sep 15, 2023, 3:22:14 AM | 97 B | |
| large_arity_tables.P | Sep 15, 2023, 3:22:14 AM | 798 B | |
| lrbug_old | Sep 15, 2023, 3:22:14 AM | 33 B | |
| lrbug.P | Sep 15, 2023, 3:22:14 AM | 4.61 KiB | |
| more_edgesP | Sep 15, 2023, 3:22:14 AM | 91.01 KiB | |
| nodesP | Sep 15, 2023, 3:22:14 AM | 11.99 KiB | |
| pps_old | Sep 15, 2023, 3:22:14 AM | 86 B | |
| pps.P | Sep 15, 2023, 3:22:14 AM | 772 B | |
| pred_abolish_cycle_old | Sep 15, 2023, 3:22:14 AM | 590 B | |
| pred_abolish_cycle.P | Sep 15, 2023, 3:22:14 AM | 3.44 KiB | |
| pred_abolish_dag_old | Sep 15, 2023, 3:22:14 AM | 1.29 KiB | |
| pred_abolish_dag.P | Sep 15, 2023, 3:22:14 AM | 3.70 KiB | |
| recursive_aboltest_old | Sep 15, 2023, 3:22:14 AM | 432 B | |
| recursive_aboltest.P | Sep 15, 2023, 3:22:14 AM | 753 B | |
| sets.P | Sep 15, 2023, 3:22:14 AM | 858 B | |
| tabbug1_old | Sep 15, 2023, 3:22:14 AM | 17 B | |
| tabbug1.P | Sep 15, 2023, 3:22:14 AM | 157 B | |
| test_3vwfs_1_old | Sep 15, 2023, 3:22:14 AM | 111 B | |
| test_3vwfs_1.P | Sep 15, 2023, 3:22:14 AM | 1.10 KiB | |
| test_calldepth_old | Sep 15, 2023, 3:22:14 AM | 80 B | |
| test_calldepth.P | Sep 15, 2023, 3:22:14 AM | 601 B | |
| test_cyclic_tabling_old | Sep 15, 2023, 3:22:14 AM | 70 B | |
| test_cyclic_tabling.P | Sep 15, 2023, 3:22:14 AM | 1.42 KiB | |
| test_large_tabled_terms_old | Sep 15, 2023, 3:22:14 AM | 207 B | |
| test_large_tabled_terms.P | Sep 15, 2023, 3:22:14 AM | 2.34 KiB | |
| test_maxans_decl_old | Sep 15, 2023, 3:22:14 AM | 166 B | |
| test_maxans_decl.P | Sep 15, 2023, 3:22:14 AM | 241 B | |
| test_negcycle_old | Sep 15, 2023, 3:22:14 AM | 232 B | |
| test_negcycle.P | Sep 15, 2023, 3:22:14 AM | 3.23 KiB | |
| test_tda_i_old | Sep 15, 2023, 3:22:14 AM | 292 B | |
| test_tda_i.P | Sep 15, 2023, 3:22:14 AM | 4.73 KiB | |
| test_tda_old | Sep 15, 2023, 3:22:14 AM | 292 B | |
| test_tda.P | Sep 15, 2023, 3:22:14 AM | 4.38 KiB | |
| xsb_test_tables.pl | Sep 15, 2023, 3:22:14 AM | 3.85 KiB | |
|