Index of /~mptp/mml5.63.1382/MPTP2/problems/setwop_2
Name
Last modified
Size
Description
Parent Directory
-
setwop_2__l1_setwop_2
2023-06-28 09:35
25K
setwop_2__l2_setwop_2
2023-06-28 09:35
32K
setwop_2__l12_setwop_2
2023-06-28 09:53
30K
setwop_2__l29_setwop_2
2023-06-28 09:53
52K
setwop_2__l30_setwop_2
2023-06-28 09:54
52K
setwop_2__l31_setwop_2
2023-06-28 09:54
52K
setwop_2__t1_setwop_2
2023-06-28 09:36
44K
setwop_2__t2_setwop_2
2023-06-28 09:36
46K
setwop_2__t3_setwop_2
2023-06-28 09:37
42K
setwop_2__t4_setwop_2
2023-06-28 09:37
45K
setwop_2__t5_setwop_2
2023-06-28 09:38
68K
setwop_2__t6_setwop_2
2023-06-28 09:38
49K
setwop_2__t7_setwop_2
2023-06-28 09:39
47K
setwop_2__t8_setwop_2
2023-06-28 09:39
46K
setwop_2__t9_setwop_2
2023-06-28 09:39
44K
setwop_2__t10_setwop_2
2023-06-28 09:40
37K
setwop_2__t11_setwop_2
2023-06-28 09:40
45K
setwop_2__t12_setwop_2
2023-06-28 09:41
44K
setwop_2__t13_setwop_2
2023-06-28 09:41
44K
setwop_2__t14_setwop_2
2023-06-28 09:42
37K
setwop_2__t15_setwop_2
2023-06-28 09:42
37K
setwop_2__t16_setwop_2
2023-06-28 09:42
47K
setwop_2__t17_setwop_2
2023-06-28 09:34
44K
setwop_2__t18_setwop_2
2023-06-28 09:43
52K
setwop_2__t19_setwop_2
2023-06-28 09:43
46K
setwop_2__t20_setwop_2
2023-06-28 09:44
39K
setwop_2__t21_setwop_2
2023-06-28 09:44
49K
setwop_2__t22_setwop_2
2023-06-28 09:45
59K
setwop_2__t23_setwop_2
2023-06-28 09:45
52K
setwop_2__t24_setwop_2
2023-06-28 09:46
54K
setwop_2__t25_setwop_2
2023-06-28 09:46
51K
setwop_2__t26_setwop_2
2023-06-28 09:46
47K
setwop_2__t27_setwop_2
2023-06-28 09:47
52K
setwop_2__t28_setwop_2
2023-06-28 09:47
56K
setwop_2__t29_setwop_2
2023-06-28 09:35
45K
setwop_2__t30_setwop_2
2023-06-28 09:48
52K
setwop_2__t31_setwop_2
2023-06-28 09:48
46K
setwop_2__t32_setwop_2
2023-06-28 09:49
56K
setwop_2__t33_setwop_2
2023-06-28 09:49
41K
setwop_2__t34_setwop_2
2023-06-28 09:49
40K
setwop_2__t35_setwop_2
2023-06-28 09:50
39K
setwop_2__t36_setwop_2
2023-06-28 09:50
41K
setwop_2__t37_setwop_2
2023-06-28 09:51
47K
setwop_2__t38_setwop_2
2023-06-28 09:51
55K
setwop_2__t39_setwop_2
2023-06-28 09:52
55K
setwop_2__t40_setwop_2
2023-06-28 09:52
38K
setwop_2__t41_setwop_2
2023-06-28 09:53
38K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80