Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/mesfun13
Name
Last modified
Size
Description
Parent Directory
-
mesfun13__l10_mesfun13
2024-07-28 04:20
36K
mesfun13__l10_mesfun13.vout
2024-08-03 10:10
7.3K
mesfun13__l11_mesfun13
2024-07-28 04:21
42K
mesfun13__l11_mesfun13.vout
2024-08-03 06:48
6.8K
mesfun13__t1_mesfun13
2024-07-28 03:28
23K
mesfun13__t1_mesfun13.vout
2024-08-03 07:42
7.3K
mesfun13__t2_mesfun13
2024-07-28 03:30
27K
mesfun13__t2_mesfun13.vout
2024-08-03 09:10
7.9K
mesfun13__t3_mesfun13
2024-07-28 03:31
26K
mesfun13__t3_mesfun13.vout
2024-08-03 07:10
7.3K
mesfun13__t4_mesfun13
2024-07-28 03:32
24K
mesfun13__t4_mesfun13.vout
2024-08-03 06:40
7.3K
mesfun13__t5_mesfun13
2024-07-28 03:34
30K
mesfun13__t5_mesfun13.vout
2024-08-03 08:46
7.3K
mesfun13__t6_mesfun13
2024-07-28 03:35
26K
mesfun13__t6_mesfun13.vout
2024-08-03 06:49
7.3K
mesfun13__t7_mesfun13
2024-07-28 03:36
23K
mesfun13__t7_mesfun13.vout
2024-08-03 04:57
4.1K
mesfun13__t8_mesfun13
2024-07-28 03:37
25K
mesfun13__t8_mesfun13.vout
2024-08-03 05:44
7.3K
mesfun13__t9_mesfun13
2024-07-28 03:39
32K
mesfun13__t9_mesfun13.vout
2024-08-03 07:08
7.3K
mesfun13__t10_mesfun13
2024-07-28 03:26
32K
mesfun13__t10_mesfun13.depv1
2024-08-03 10:19
39
mesfun13__t10_mesfun13.depvmin1
2024-08-03 10:24
39
mesfun13__t10_mesfun13.vmin1
2024-08-03 10:19
4.2K
mesfun13__t10_mesfun13.vmin1out
2024-08-03 10:22
81K
mesfun13__t10_mesfun13.vout
2024-08-03 07:45
47K
mesfun13__t11_mesfun13
2024-07-28 03:27
32K
mesfun13__t11_mesfun13.depv1
2024-08-03 10:19
39
mesfun13__t11_mesfun13.depvmin1
2024-08-03 10:24
39
mesfun13__t11_mesfun13.vmin1
2024-08-03 10:19
4.2K
mesfun13__t11_mesfun13.vmin1out
2024-08-03 10:21
81K
mesfun13__t11_mesfun13.vout
2024-08-03 06:11
47K
mesfun13__t12_mesfun13
2024-07-28 03:40
29K
mesfun13__t12_mesfun13.vout
2024-08-03 06:55
7.3K
mesfun13__t13_mesfun13
2024-07-28 03:41
29K
mesfun13__t13_mesfun13.vout
2024-08-03 09:56
7.3K
mesfun13__t14_mesfun13
2024-07-28 03:43
45K
mesfun13__t14_mesfun13.vout
2024-08-03 05:08
7.3K
mesfun13__t15_mesfun13
2024-07-28 03:45
45K
mesfun13__t15_mesfun13.vout
2024-08-03 05:24
7.3K
mesfun13__t16_mesfun13
2024-07-28 03:46
49K
mesfun13__t16_mesfun13.vout
2024-08-03 07:18
7.3K
mesfun13__t17_mesfun13
2024-07-28 03:48
51K
mesfun13__t17_mesfun13.vout
2024-08-03 10:15
6.8K
mesfun13__t18_mesfun13
2024-07-28 03:50
34K
mesfun13__t18_mesfun13.vout
2024-08-03 04:30
7.3K
mesfun13__t19_mesfun13
2024-07-28 03:51
35K
mesfun13__t19_mesfun13.vout
2024-08-03 05:30
6.8K
mesfun13__t20_mesfun13
2024-07-28 03:53
43K
mesfun13__t20_mesfun13.vout
2024-08-03 09:34
7.3K
mesfun13__t21_mesfun13
2024-07-28 03:54
34K
mesfun13__t21_mesfun13.vout
2024-08-03 07:50
7.3K
mesfun13__t22_mesfun13
2024-07-28 03:56
46K
mesfun13__t22_mesfun13.vout
2024-08-03 10:03
6.8K
mesfun13__t23_mesfun13
2024-07-28 03:58
79K
mesfun13__t23_mesfun13.vout
2024-08-03 07:07
6.8K
mesfun13__t24_mesfun13
2024-07-28 04:00
55K
mesfun13__t24_mesfun13.vout
2024-08-03 09:34
7.3K
mesfun13__t25_mesfun13
2024-07-28 04:02
54K
mesfun13__t25_mesfun13.vout
2024-08-03 05:41
6.8K
mesfun13__t27_mesfun13
2024-07-28 04:03
44K
mesfun13__t27_mesfun13.vout
2024-08-03 09:11
7.3K
mesfun13__t28_mesfun13
2024-07-28 04:05
33K
mesfun13__t28_mesfun13.vout
2024-08-03 09:14
4.7K
mesfun13__t29_mesfun13
2024-07-28 04:07
33K
mesfun13__t29_mesfun13.vout
2024-08-03 07:50
4.7K
mesfun13__t30_mesfun13
2024-07-28 04:10
105K
mesfun13__t30_mesfun13.vout
2024-08-03 07:54
3.7K
mesfun13__t31_mesfun13
2024-07-28 04:13
104K
mesfun13__t31_mesfun13.vout
2024-08-03 08:14
4.2K
mesfun13__t32_mesfun13
2024-07-28 04:15
93K
mesfun13__t32_mesfun13.vout
2024-08-03 07:40
3.7K
mesfun13__t33_mesfun13
2024-07-28 04:18
92K
mesfun13__t33_mesfun13.vout
2024-08-03 07:33
3.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80