| Data |
| Programs |
| decker_old | Sep 15, 2023, 3:22:14 AM | 2.81 KiB | |
| decker.P | Sep 15, 2023, 3:22:14 AM | 37 B | |
| Driver.P | Sep 15, 2023, 3:22:13 AM | 3.35 KiB | |
| drtc1_old | Sep 15, 2023, 3:22:14 AM | 308 B | |
| drtc1.P | Sep 15, 2023, 3:22:14 AM | 54 B | |
| drtc2_old | Sep 15, 2023, 3:22:14 AM | 77 B | |
| drtc2.P | Sep 15, 2023, 3:22:14 AM | 54 B | |
| drtc3_old | Sep 15, 2023, 3:22:14 AM | 77 B | |
| drtc3.P | Sep 15, 2023, 3:22:14 AM | 54 B | |
| drtc4_old | Sep 15, 2023, 3:22:14 AM | 392 B | |
| drtc4.P | Sep 15, 2023, 3:22:14 AM | 53 B | |
| drtc5_old | Sep 15, 2023, 3:22:14 AM | 160 B | |
| drtc5.P | Sep 15, 2023, 3:22:14 AM | 53 B | |
| drtc6_old | Sep 15, 2023, 3:22:14 AM | 33 B | |
| drtc6.P | Sep 15, 2023, 3:22:14 AM | 53 B | |
| drtc7_old | Sep 15, 2023, 3:22:14 AM | 1.21 KiB | |
| drtc7.P | Sep 15, 2023, 3:22:14 AM | 60 B | |
| drtc8_old | Sep 15, 2023, 3:22:14 AM | 1.21 KiB | |
| drtc8.P | Sep 15, 2023, 3:22:14 AM | 58 B | |
| floratest_old | Sep 15, 2023, 3:22:14 AM | 159.03 KiB | |
| floratest.P | Sep 15, 2023, 3:22:14 AM | 36 B | |
| genome1_old | Sep 15, 2023, 3:22:14 AM | 72 B | |
| genome1.P | Sep 15, 2023, 3:22:14 AM | 52 B | |
| genome2_old | Sep 15, 2023, 3:22:14 AM | 74 B | |
| genome2.P | Sep 15, 2023, 3:22:14 AM | 51 B | |
| genome3_old | Sep 15, 2023, 3:22:14 AM | 36 B | |
| genome3.P | Sep 15, 2023, 3:22:14 AM | 53 B | |
| lrtc1_old | Sep 15, 2023, 3:22:14 AM | 308 B | |
| lrtc1.P | Sep 15, 2023, 3:22:14 AM | 54 B | |
| lrtc2_old | Sep 15, 2023, 3:22:14 AM | 77 B | |
| lrtc2.P | Sep 15, 2023, 3:22:14 AM | 54 B | |
| lrtc3_old | Sep 15, 2023, 3:22:14 AM | 77 B | |
| lrtc3.P | Sep 15, 2023, 3:22:14 AM | 54 B | |
| lrtc4_old | Sep 15, 2023, 3:22:14 AM | 392 B | |
| lrtc4.P | Sep 15, 2023, 3:22:14 AM | 53 B | |
| lrtc5_old | Sep 15, 2023, 3:22:14 AM | 160 B | |
| lrtc5.P | Sep 15, 2023, 3:22:14 AM | 53 B | |
| lrtc6_old | Sep 15, 2023, 3:22:14 AM | 33 B | |
| lrtc6.P | Sep 15, 2023, 3:22:14 AM | 53 B | |
| lrtc7_old | Sep 15, 2023, 3:22:14 AM | 1.21 KiB | |
| lrtc7.P | Sep 15, 2023, 3:22:14 AM | 60 B | |
| lrtc8_old | Sep 15, 2023, 3:22:14 AM | 1.21 KiB | |
| lrtc8.P | Sep 15, 2023, 3:22:14 AM | 58 B | |
| pilegaard_old | Sep 15, 2023, 3:22:14 AM | 490 B | |
| pilegaard.P | Sep 15, 2023, 3:22:14 AM | 3.89 KiB | |
| rrtc1_old | Sep 15, 2023, 3:22:14 AM | 308 B | |
| rrtc1.P | Sep 15, 2023, 3:22:14 AM | 54 B | |
| rrtc2_old | Sep 15, 2023, 3:22:14 AM | 77 B | |
| rrtc2.P | Sep 15, 2023, 3:22:14 AM | 54 B | |
| rrtc3_old | Sep 15, 2023, 3:22:14 AM | 77 B | |
| rrtc3.P | Sep 15, 2023, 3:22:14 AM | 54 B | |
| rrtc4_old | Sep 15, 2023, 3:22:14 AM | 392 B | |
| rrtc4.P | Sep 15, 2023, 3:22:14 AM | 53 B | |
| rrtc5_old | Sep 15, 2023, 3:22:14 AM | 160 B | |
| rrtc5.P | Sep 15, 2023, 3:22:14 AM | 53 B | |
| rrtc6_old | Sep 15, 2023, 3:22:14 AM | 33 B | |
| rrtc6.P | Sep 15, 2023, 3:22:14 AM | 53 B | |
| rrtc7_old | Sep 15, 2023, 3:22:14 AM | 1.21 KiB | |
| rrtc7.P | Sep 15, 2023, 3:22:14 AM | 60 B | |
| rrtc8_old | Sep 15, 2023, 3:22:14 AM | 1.21 KiB | |
| rrtc8.P | Sep 15, 2023, 3:22:14 AM | 58 B | |
| sg1_old | Sep 15, 2023, 3:22:14 AM | 112 B | |
| sg1.P | Sep 15, 2023, 3:22:14 AM | 52 B | |
| sg2_old | Sep 15, 2023, 3:22:14 AM | 14 B | |
| sg2.P | Sep 15, 2023, 3:22:14 AM | 52 B | |
| sg3_old | Sep 15, 2023, 3:22:14 AM | 14 B | |
| sg3.P | Sep 15, 2023, 3:22:14 AM | 52 B | |
| sg4_old | Sep 15, 2023, 3:22:14 AM | 1.26 KiB | |
| sg4.P | Sep 15, 2023, 3:22:14 AM | 51 B | |
| sg5_old | Sep 15, 2023, 3:22:14 AM | 14 B | |
| sg5.P | Sep 15, 2023, 3:22:14 AM | 51 B | |
| sg6_old | Sep 15, 2023, 3:22:14 AM | 118 B | |
| sg6.P | Sep 15, 2023, 3:22:14 AM | 51 B | |
| sg7_old | Sep 15, 2023, 3:22:14 AM | 924 B | |
| sg7.P | Sep 15, 2023, 3:22:14 AM | 58 B | |
| sg8_old | Sep 15, 2023, 3:22:14 AM | 924 B | |
| sg8.P | Sep 15, 2023, 3:22:14 AM | 56 B | |
| test_answer_abstraction_old | Sep 15, 2023, 3:22:14 AM | 85 B | |
| test_answer_abstraction.P | Sep 15, 2023, 3:22:14 AM | 818 B | |
| xsb_test_sub.pl | Sep 15, 2023, 3:22:14 AM | 2.91 KiB | |
|