Index of /~mptp/mml5.63.1382/MPTP2/problems/setfam_1
Name
Last modified
Size
Description
Parent Directory
-
setfam_1__t1_setfam_1
2023-06-28 15:58
2.5K
setfam_1__t2_setfam_1
2023-06-28 15:59
5.6K
setfam_1__t3_setfam_1
2023-06-28 15:58
5.3K
setfam_1__t4_setfam_1
2023-06-28 15:58
5.2K
setfam_1__t5_setfam_1
2023-06-28 15:59
5.4K
setfam_1__t6_setfam_1
2023-06-28 15:59
5.4K
setfam_1__t7_setfam_1
2023-06-28 15:59
5.2K
setfam_1__t8_setfam_1
2023-06-28 15:58
6.2K
setfam_1__t9_setfam_1
2023-06-28 16:00
7.8K
setfam_1__t10_setfam_1
2023-06-28 16:00
5.8K
setfam_1__t11_setfam_1
2023-06-28 16:00
3.9K
setfam_1__t12_setfam_1
2023-06-28 15:59
5.2K
setfam_1__t13_setfam_1
2023-06-28 16:00
5.6K
setfam_1__t14_setfam_1
2023-06-28 16:00
5.8K
setfam_1__t15_setfam_1
2023-06-28 15:59
5.0K
setfam_1__t16_setfam_1
2023-06-28 16:00
5.2K
setfam_1__t17_setfam_1
2023-06-28 16:00
5.3K
setfam_1__t18_setfam_1
2023-06-28 16:00
5.7K
setfam_1__t19_setfam_1
2023-06-28 16:01
7.4K
setfam_1__t20_setfam_1
2023-06-28 16:01
6.6K
setfam_1__t21_setfam_1
2023-06-28 16:01
6.5K
setfam_1__t22_setfam_1
2023-06-28 16:01
6.4K
setfam_1__t23_setfam_1
2023-06-28 16:01
7.1K
setfam_1__t24_setfam_1
2023-06-28 16:01
7.4K
setfam_1__t25_setfam_1
2023-06-28 16:02
6.9K
setfam_1__t26_setfam_1
2023-06-28 16:02
7.5K
setfam_1__t27_setfam_1
2023-06-28 16:02
7.5K
setfam_1__t28_setfam_1
2023-06-28 16:02
6.7K
setfam_1__t29_setfam_1
2023-06-28 16:02
7.1K
setfam_1__t30_setfam_1
2023-06-28 16:03
6.9K
setfam_1__t31_setfam_1
2023-06-28 16:03
5.2K
setfam_1__t32_setfam_1
2023-06-28 16:03
6.9K
setfam_1__t33_setfam_1
2023-06-28 16:03
10K
setfam_1__t34_setfam_1
2023-06-28 16:03
9.9K
setfam_1__t35_setfam_1
2023-06-28 16:03
6.8K
setfam_1__t36_setfam_1
2023-06-28 16:04
7.0K
setfam_1__t37_setfam_1
2023-06-28 16:04
5.9K
setfam_1__t38_setfam_1
2023-06-28 16:04
5.3K
setfam_1__t39_setfam_1
2023-06-28 16:04
9.0K
setfam_1__t40_setfam_1
2023-06-28 16:04
8.4K
setfam_1__t41_setfam_1
2023-06-28 16:04
5.2K
setfam_1__t42_setfam_1
2023-06-28 16:04
7.8K
setfam_1__t43_setfam_1
2023-06-28 16:05
6.4K
setfam_1__t44_setfam_1
2023-06-28 16:05
5.6K
setfam_1__t45_setfam_1
2023-06-28 15:59
5.9K
setfam_1__t46_setfam_1
2023-06-28 16:05
6.3K
setfam_1__t47_setfam_1
2023-06-28 15:59
5.1K
setfam_1__t48_setfam_1
2023-06-28 16:05
7.6K
setfam_1__t49_setfam_1
2023-06-28 16:05
3.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80