Index of /~mptp/1147/MPTP2/problems/compts_1
Name
Last modified
Size
Description
Parent Directory
-
compts_1__t1_compts_1
2023-06-28 00:36
11K
compts_1__t2_compts_1
2023-06-28 00:36
32K
compts_1__t3_compts_1
2023-06-28 00:36
25K
compts_1__t4_compts_1
2023-06-28 00:36
28K
compts_1__t5_compts_1
2023-06-28 00:36
19K
compts_1__t6_compts_1
2023-06-28 00:36
28K
compts_1__t7_compts_1
2023-06-28 00:36
17K
compts_1__t8_compts_1
2023-06-28 00:36
20K
compts_1__t9_compts_1
2023-06-28 00:36
26K
compts_1__t10_compts_1
2023-06-28 00:36
14K
compts_1__t11_compts_1
2023-06-28 00:36
16K
compts_1__t12_compts_1
2023-06-28 00:36
22K
compts_1__t13_compts_1
2023-06-28 00:36
35K
compts_1__t14_compts_1
2023-06-28 00:36
29K
compts_1__t15_compts_1
2023-06-28 00:36
29K
compts_1__t16_compts_1
2023-06-28 00:36
27K
compts_1__t17_compts_1
2023-06-28 00:36
31K
compts_1__t18_compts_1
2023-06-28 00:36
7.2K
compts_1__t19_compts_1
2023-06-28 00:36
11K
compts_1__t20_compts_1
2023-06-28 00:36
45K
compts_1__t21_compts_1
2023-06-28 00:36
46K
compts_1__t22_compts_1
2023-06-28 00:36
23K
compts_1__t23_compts_1
2023-06-28 00:36
24K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80