Index of /~mptp/1147/MPTP2/problems/subset_1
Name
Last modified
Size
Description
Parent Directory
-
subset_1__l2_subset_1
2023-06-28 00:39
3.3K
subset_1__l48_subset_1
2023-06-28 00:39
3.5K
subset_1__l49_subset_1
2023-06-28 00:39
3.2K
subset_1__s1_subset_1
2023-06-28 00:39
3.9K
subset_1__s2_subset_1
2023-06-28 00:39
3.7K
subset_1__s3_subset_1
2023-06-28 00:39
3.6K
subset_1__s4_subset_1
2023-06-28 00:39
4.1K
subset_1__t1_subset_1
2023-06-28 00:39
3.0K
subset_1__t2_subset_1
2023-06-28 00:39
3.7K
subset_1__t3_subset_1
2023-06-28 00:39
3.5K
subset_1__t4_subset_1
2023-06-28 00:39
3.4K
subset_1__t5_subset_1
2023-06-28 00:39
5.8K
subset_1__t6_subset_1
2023-06-28 00:39
5.3K
subset_1__t7_subset_1
2023-06-28 00:39
4.7K
subset_1__t8_subset_1
2023-06-28 00:39
7.2K
subset_1__t9_subset_1
2023-06-28 00:39
4.3K
subset_1__t10_subset_1
2023-06-28 00:39
6.7K
subset_1__t11_subset_1
2023-06-28 00:39
5.7K
subset_1__t12_subset_1
2023-06-28 00:39
4.5K
subset_1__t13_subset_1
2023-06-28 00:39
7.6K
subset_1__t14_subset_1
2023-06-28 00:39
9.0K
subset_1__t15_subset_1
2023-06-28 00:39
10K
subset_1__t16_subset_1
2023-06-28 00:39
4.3K
subset_1__t17_subset_1
2023-06-28 00:39
4.3K
subset_1__t18_subset_1
2023-06-28 00:39
4.9K
subset_1__t19_subset_1
2023-06-28 00:39
6.7K
subset_1__t20_subset_1
2023-06-28 00:39
4.5K
subset_1__t21_subset_1
2023-06-28 00:39
6.3K
subset_1__t22_subset_1
2023-06-28 00:39
5.8K
subset_1__t23_subset_1
2023-06-28 00:39
5.5K
subset_1__t24_subset_1
2023-06-28 00:39
4.4K
subset_1__t25_subset_1
2023-06-28 00:39
5.6K
subset_1__t26_subset_1
2023-06-28 00:39
4.7K
subset_1__t27_subset_1
2023-06-28 00:39
3.4K
subset_1__t28_subset_1
2023-06-28 00:39
3.7K
subset_1__t29_subset_1
2023-06-28 00:39
4.3K
subset_1__t30_subset_1
2023-06-28 00:39
5.3K
subset_1__t31_subset_1
2023-06-28 00:39
4.2K
subset_1__t32_subset_1
2023-06-28 00:39
4.2K
subset_1__t33_subset_1
2023-06-28 00:39
4.0K
subset_1__t34_subset_1
2023-06-28 00:39
4.2K
subset_1__t35_subset_1
2023-06-28 00:39
4.2K
subset_1__t36_subset_1
2023-06-28 00:39
4.3K
subset_1__t37_subset_1
2023-06-28 00:39
4.4K
subset_1__t38_subset_1
2023-06-28 00:39
4.5K
subset_1__t39_subset_1
2023-06-28 00:39
4.7K
subset_1__t40_subset_1
2023-06-28 00:39
4.8K
subset_1__t41_subset_1
2023-06-28 00:39
3.8K
subset_1__t42_subset_1
2023-06-28 00:39
3.8K
subset_1__t43_subset_1
2023-06-28 00:39
4.7K
subset_1__t44_subset_1
2023-06-28 00:39
7.0K
subset_1__t45_subset_1
2023-06-28 00:39
5.4K
subset_1__t46_subset_1
2023-06-28 00:39
3.1K
subset_1__t47_subset_1
2023-06-28 00:39
6.1K
subset_1__t48_subset_1
2023-06-28 00:39
2.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80