Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/lfuzzy_1
Name
Last modified
Size
Description
Parent Directory
-
lfuzzy_1__l15_lfuzzy_1
2024-07-28 14:20
45K
lfuzzy_1__l15_lfuzzy_1.vout
2024-08-03 06:43
6.8K
lfuzzy_1__l44_lfuzzy_1
2024-07-28 14:21
44K
lfuzzy_1__l44_lfuzzy_1.vout
2024-08-03 07:54
7.3K
lfuzzy_1__l46_lfuzzy_1
2024-07-28 14:24
50K
lfuzzy_1__l46_lfuzzy_1.vout
2024-08-03 10:03
7.3K
lfuzzy_1__l47_lfuzzy_1
2024-07-28 14:26
44K
lfuzzy_1__l47_lfuzzy_1.vout
2024-08-03 09:32
4.2K
lfuzzy_1__l48_lfuzzy_1
2024-07-28 14:28
45K
lfuzzy_1__l48_lfuzzy_1.vout
2024-08-03 08:41
6.8K
lfuzzy_1__l49_lfuzzy_1
2024-07-28 14:30
52K
lfuzzy_1__l49_lfuzzy_1.vout
2024-08-03 09:21
6.8K
lfuzzy_1__l50_lfuzzy_1
2024-07-28 14:31
45K
lfuzzy_1__l50_lfuzzy_1.vout
2024-08-03 09:13
6.8K
lfuzzy_1__l51_lfuzzy_1
2024-07-28 14:33
45K
lfuzzy_1__l51_lfuzzy_1.vout
2024-08-03 06:51
7.3K
lfuzzy_1__l52_lfuzzy_1
2024-07-28 14:35
40K
lfuzzy_1__l52_lfuzzy_1.vout
2024-08-03 06:10
3.7K
lfuzzy_1__l53_lfuzzy_1
2024-07-28 14:37
44K
lfuzzy_1__l53_lfuzzy_1.depv1
2024-08-03 10:19
66
lfuzzy_1__l53_lfuzzy_1.depvmin1
2024-08-03 10:24
66
lfuzzy_1__l53_lfuzzy_1.vmin1
2024-08-03 10:19
1.7K
lfuzzy_1__l53_lfuzzy_1.vmin1out
2024-08-03 10:21
23K
lfuzzy_1__l53_lfuzzy_1.vout
2024-08-03 08:50
25K
lfuzzy_1__t1_lfuzzy_1
2024-07-28 13:15
38K
lfuzzy_1__t1_lfuzzy_1.depv1
2024-08-03 10:19
134
lfuzzy_1__t1_lfuzzy_1.depvmin1
2024-08-03 10:24
134
lfuzzy_1__t1_lfuzzy_1.vmin1
2024-08-03 10:19
1.8K
lfuzzy_1__t1_lfuzzy_1.vmin1out
2024-08-03 10:20
33K
lfuzzy_1__t1_lfuzzy_1.vout
2024-08-03 08:12
31K
lfuzzy_1__t2_lfuzzy_1
2024-07-28 13:17
38K
lfuzzy_1__t2_lfuzzy_1.depv1
2024-08-03 10:19
270
lfuzzy_1__t2_lfuzzy_1.depvmin1
2024-08-03 10:24
246
lfuzzy_1__t2_lfuzzy_1.vmin1
2024-08-03 10:19
3.3K
lfuzzy_1__t2_lfuzzy_1.vmin1out
2024-08-03 10:20
50K
lfuzzy_1__t2_lfuzzy_1.vout
2024-08-03 06:11
58K
lfuzzy_1__t3_lfuzzy_1
2024-07-28 13:18
40K
lfuzzy_1__t3_lfuzzy_1.vout
2024-08-03 08:11
4.7K
lfuzzy_1__t4_lfuzzy_1
2024-07-28 13:11
31K
lfuzzy_1__t4_lfuzzy_1.depv1
2024-08-03 10:19
86
lfuzzy_1__t4_lfuzzy_1.depvmin1
2024-08-03 10:24
86
lfuzzy_1__t4_lfuzzy_1.vmin1
2024-08-03 10:19
927
lfuzzy_1__t4_lfuzzy_1.vmin1out
2024-08-03 10:20
8.0K
lfuzzy_1__t4_lfuzzy_1.vout
2024-08-03 04:11
7.3K
lfuzzy_1__t5_lfuzzy_1
2024-07-28 13:20
39K
lfuzzy_1__t5_lfuzzy_1.vout
2024-08-03 05:09
7.3K
lfuzzy_1__t6_lfuzzy_1
2024-07-28 13:22
41K
lfuzzy_1__t6_lfuzzy_1.vout
2024-08-03 05:29
4.7K
lfuzzy_1__t7_lfuzzy_1
2024-07-28 13:23
45K
lfuzzy_1__t7_lfuzzy_1.vout
2024-08-03 04:51
4.7K
lfuzzy_1__t8_lfuzzy_1
2024-07-28 13:25
45K
lfuzzy_1__t8_lfuzzy_1.vout
2024-08-03 04:46
4.7K
lfuzzy_1__t9_lfuzzy_1
2024-07-28 13:12
34K
lfuzzy_1__t9_lfuzzy_1.vout
2024-08-03 08:02
4.7K
lfuzzy_1__t10_lfuzzy_1
2024-07-28 13:13
34K
lfuzzy_1__t10_lfuzzy_1.vout
2024-08-03 08:08
4.7K
lfuzzy_1__t11_lfuzzy_1
2024-07-28 13:27
50K
lfuzzy_1__t11_lfuzzy_1.vout
2024-08-03 07:35
4.7K
lfuzzy_1__t12_lfuzzy_1
2024-07-28 13:29
38K
lfuzzy_1__t12_lfuzzy_1.vout
2024-08-03 09:50
4.7K
lfuzzy_1__t13_lfuzzy_1
2024-07-28 13:30
38K
lfuzzy_1__t13_lfuzzy_1.vout
2024-08-03 09:37
4.7K
lfuzzy_1__t14_lfuzzy_1
2024-07-28 13:32
39K
lfuzzy_1__t14_lfuzzy_1.vout
2024-08-03 05:25
4.7K
lfuzzy_1__t15_lfuzzy_1
2024-07-28 13:34
44K
lfuzzy_1__t15_lfuzzy_1.vout
2024-08-03 07:23
4.7K
lfuzzy_1__t16_lfuzzy_1
2024-07-28 13:36
44K
lfuzzy_1__t16_lfuzzy_1.vout
2024-08-03 05:35
4.7K
lfuzzy_1__t17_lfuzzy_1
2024-07-28 13:37
44K
lfuzzy_1__t17_lfuzzy_1.vout
2024-08-03 04:09
7.9K
lfuzzy_1__t18_lfuzzy_1
2024-07-28 13:39
45K
lfuzzy_1__t18_lfuzzy_1.vout
2024-08-03 06:07
4.7K
lfuzzy_1__t19_lfuzzy_1
2024-07-28 13:41
45K
lfuzzy_1__t19_lfuzzy_1.vout
2024-08-03 05:51
4.7K
lfuzzy_1__t20_lfuzzy_1
2024-07-28 13:43
50K
lfuzzy_1__t20_lfuzzy_1.vout
2024-08-03 08:15
4.7K
lfuzzy_1__t21_lfuzzy_1
2024-07-28 13:45
50K
lfuzzy_1__t21_lfuzzy_1.vout
2024-08-03 09:46
4.7K
lfuzzy_1__t22_lfuzzy_1
2024-07-28 13:47
50K
lfuzzy_1__t22_lfuzzy_1.vout
2024-08-03 08:49
6.8K
lfuzzy_1__t23_lfuzzy_1
2024-07-28 13:49
50K
lfuzzy_1__t23_lfuzzy_1.vout
2024-08-03 10:08
6.8K
lfuzzy_1__t24_lfuzzy_1
2024-07-28 13:50
37K
lfuzzy_1__t24_lfuzzy_1.depv1
2024-08-03 10:19
115
lfuzzy_1__t24_lfuzzy_1.depvmin1
2024-08-03 10:24
115
lfuzzy_1__t24_lfuzzy_1.vmin1
2024-08-03 10:19
2.9K
lfuzzy_1__t24_lfuzzy_1.vmin1out
2024-08-03 10:23
45K
lfuzzy_1__t24_lfuzzy_1.vout
2024-08-03 09:40
46K
lfuzzy_1__t25_lfuzzy_1
2024-07-28 13:51
37K
lfuzzy_1__t25_lfuzzy_1.vout
2024-08-03 08:26
4.7K
lfuzzy_1__t26_lfuzzy_1
2024-07-28 13:53
37K
lfuzzy_1__t26_lfuzzy_1.vout
2024-08-03 05:21
4.7K
lfuzzy_1__t27_lfuzzy_1
2024-07-28 13:54
36K
lfuzzy_1__t27_lfuzzy_1.vout
2024-08-03 08:06
4.7K
lfuzzy_1__t28_lfuzzy_1
2024-07-28 13:55
37K
lfuzzy_1__t28_lfuzzy_1.vout
2024-08-03 07:10
4.7K
lfuzzy_1__t29_lfuzzy_1
2024-07-28 14:10
49K
lfuzzy_1__t29_lfuzzy_1.vout
2024-08-03 08:11
3.7K
lfuzzy_1__t30_lfuzzy_1
2024-07-28 13:57
45K
lfuzzy_1__t30_lfuzzy_1.vout
2024-08-03 04:39
7.3K
lfuzzy_1__t31_lfuzzy_1
2024-07-28 13:59
44K
lfuzzy_1__t31_lfuzzy_1.vout
2024-08-03 09:43
7.3K
lfuzzy_1__t32_lfuzzy_1
2024-07-28 14:01
44K
lfuzzy_1__t32_lfuzzy_1.vout
2024-08-03 06:34
7.4K
lfuzzy_1__t33_lfuzzy_1
2024-07-28 14:11
35K
lfuzzy_1__t33_lfuzzy_1.vout
2024-08-03 08:19
7.3K
lfuzzy_1__t34_lfuzzy_1
2024-07-28 14:13
57K
lfuzzy_1__t34_lfuzzy_1.vout
2024-08-03 09:21
3.7K
lfuzzy_1__t35_lfuzzy_1
2024-07-28 14:16
68K
lfuzzy_1__t35_lfuzzy_1.vout
2024-08-03 05:56
3.7K
lfuzzy_1__t36_lfuzzy_1
2024-07-28 14:18
49K
lfuzzy_1__t36_lfuzzy_1.vout
2024-08-03 07:57
3.7K
lfuzzy_1__t37_lfuzzy_1
2024-07-28 14:02
39K
lfuzzy_1__t37_lfuzzy_1.vout
2024-08-03 05:09
4.7K
lfuzzy_1__t38_lfuzzy_1
2024-07-28 14:04
46K
lfuzzy_1__t38_lfuzzy_1.vout
2024-08-03 06:19
3.7K
lfuzzy_1__t39_lfuzzy_1
2024-07-28 14:06
40K
lfuzzy_1__t39_lfuzzy_1.vout
2024-08-03 06:13
4.7K
lfuzzy_1__t40_lfuzzy_1
2024-07-28 14:08
47K
lfuzzy_1__t40_lfuzzy_1.vout
2024-08-03 04:35
4.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80