Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/card_lar
Name
Last modified
Size
Description
Parent Directory
-
card_lar__t1_card_lar
2024-07-28 10:47
11K
card_lar__t1_card_lar.vout
2024-08-03 08:06
7.3K
card_lar__t2_card_lar
2024-07-28 10:46
9.7K
card_lar__t2_card_lar.depv1
2024-08-03 10:19
81
card_lar__t2_card_lar.depvmin1
2024-08-03 10:24
81
card_lar__t2_card_lar.vmin1
2024-08-03 10:20
783
card_lar__t2_card_lar.vmin1out
2024-08-03 10:23
7.3K
card_lar__t2_card_lar.vout
2024-08-03 06:51
10K
card_lar__t3_card_lar
2024-07-28 10:48
12K
card_lar__t3_card_lar.vout
2024-08-03 06:00
7.3K
card_lar__t4_card_lar
2024-07-28 10:49
11K
card_lar__t4_card_lar.vout
2024-08-03 08:38
7.3K
card_lar__t5_card_lar
2024-07-28 10:50
11K
card_lar__t5_card_lar.vout
2024-08-03 08:51
7.3K
card_lar__t6_card_lar
2024-07-28 10:50
10K
card_lar__t6_card_lar.vout
2024-08-03 05:00
7.3K
card_lar__t7_card_lar
2024-07-28 10:51
10K
card_lar__t7_card_lar.depv1
2024-08-03 10:19
167
card_lar__t7_card_lar.depvmin1
2024-08-03 10:24
154
card_lar__t7_card_lar.vmin1
2024-08-03 10:20
1.7K
card_lar__t7_card_lar.vmin1out
2024-08-03 10:22
15K
card_lar__t7_card_lar.vout
2024-08-03 04:28
16K
card_lar__t8_card_lar
2024-07-28 11:16
11K
card_lar__t8_card_lar.depv1
2024-08-03 10:19
143
card_lar__t8_card_lar.depvmin1
2024-08-03 10:24
120
card_lar__t8_card_lar.vmin1
2024-08-03 10:20
1.8K
card_lar__t8_card_lar.vmin1out
2024-08-03 10:22
18K
card_lar__t8_card_lar.vout
2024-08-03 05:01
26K
card_lar__t9_card_lar
2024-07-28 10:52
12K
card_lar__t9_card_lar.vout
2024-08-03 07:27
3.7K
card_lar__t10_card_lar
2024-07-28 10:46
9.6K
card_lar__t10_card_lar.vout
2024-08-03 09:12
2.0K
card_lar__t11_card_lar
2024-07-28 10:53
14K
card_lar__t11_card_lar.vout
2024-08-03 08:55
6.8K
card_lar__t12_card_lar
2024-07-28 10:53
11K
card_lar__t12_card_lar.depv1
2024-08-03 10:19
116
card_lar__t12_card_lar.depvmin1
2024-08-03 10:24
116
card_lar__t12_card_lar.vmin1
2024-08-03 10:20
1.1K
card_lar__t12_card_lar.vmin1out
2024-08-03 10:23
11K
card_lar__t12_card_lar.vout
2024-08-03 07:40
11K
card_lar__t13_card_lar
2024-07-28 10:54
11K
card_lar__t13_card_lar.depv1
2024-08-03 10:19
180
card_lar__t13_card_lar.depvmin1
2024-08-03 10:24
180
card_lar__t13_card_lar.vmin1
2024-08-03 10:20
1.6K
card_lar__t13_card_lar.vmin1out
2024-08-03 10:20
29K
card_lar__t13_card_lar.vout
2024-08-03 05:32
30K
card_lar__t14_card_lar
2024-07-28 10:55
11K
card_lar__t14_card_lar.vout
2024-08-03 09:26
7.9K
card_lar__t15_card_lar
2024-07-28 10:56
12K
card_lar__t15_card_lar.vout
2024-08-03 05:47
7.3K
card_lar__t16_card_lar
2024-07-28 10:57
14K
card_lar__t16_card_lar.vout
2024-08-03 08:33
6.8K
card_lar__t17_card_lar
2024-07-28 10:57
13K
card_lar__t17_card_lar.depv1
2024-08-03 10:19
140
card_lar__t17_card_lar.depvmin1
2024-08-03 10:24
140
card_lar__t17_card_lar.vmin1
2024-08-03 10:20
1.3K
card_lar__t17_card_lar.vmin1out
2024-08-03 10:20
12K
card_lar__t17_card_lar.vout
2024-08-03 05:02
17K
card_lar__t18_card_lar
2024-07-28 10:58
14K
card_lar__t18_card_lar.vout
2024-08-03 09:37
7.3K
card_lar__t19_card_lar
2024-07-28 11:17
16K
card_lar__t19_card_lar.vout
2024-08-03 07:26
6.8K
card_lar__t20_card_lar
2024-07-28 10:59
12K
card_lar__t20_card_lar.vout
2024-08-03 06:58
7.9K
card_lar__t21_card_lar
2024-07-28 11:00
13K
card_lar__t21_card_lar.vout
2024-08-03 06:24
6.8K
card_lar__t22_card_lar
2024-07-28 11:00
16K
card_lar__t22_card_lar.vout
2024-08-03 05:47
7.3K
card_lar__t23_card_lar
2024-07-28 11:02
29K
card_lar__t23_card_lar.vout
2024-08-03 07:44
3.7K
card_lar__t24_card_lar
2024-07-28 11:03
23K
card_lar__t24_card_lar.vout
2024-08-03 08:38
3.7K
card_lar__t25_card_lar
2024-07-28 11:04
13K
card_lar__t25_card_lar.depv1
2024-08-03 10:19
125
card_lar__t25_card_lar.depvmin1
2024-08-03 10:24
125
card_lar__t25_card_lar.vmin1
2024-08-03 10:20
1.7K
card_lar__t25_card_lar.vmin1out
2024-08-03 10:21
29K
card_lar__t25_card_lar.vout
2024-08-03 09:07
30K
card_lar__t26_card_lar
2024-07-28 11:05
12K
card_lar__t26_card_lar.vout
2024-08-03 09:12
7.4K
card_lar__t27_card_lar
2024-07-28 11:06
23K
card_lar__t27_card_lar.vout
2024-08-03 05:26
5.3K
card_lar__t28_card_lar
2024-07-28 11:07
14K
card_lar__t28_card_lar.vout
2024-08-03 04:51
7.4K
card_lar__t29_card_lar
2024-07-28 11:08
9.0K
card_lar__t29_card_lar.depv1
2024-08-03 10:19
76
card_lar__t29_card_lar.depvmin1
2024-08-03 10:24
76
card_lar__t29_card_lar.vmin1
2024-08-03 10:20
834
card_lar__t29_card_lar.vmin1out
2024-08-03 10:22
7.7K
card_lar__t29_card_lar.vout
2024-08-03 08:26
7.0K
card_lar__t30_card_lar
2024-07-28 11:09
15K
card_lar__t30_card_lar.vout
2024-08-03 08:00
7.3K
card_lar__t31_card_lar
2024-07-28 11:09
9.6K
card_lar__t31_card_lar.depv1
2024-08-03 10:19
76
card_lar__t31_card_lar.depvmin1
2024-08-03 10:24
76
card_lar__t31_card_lar.vmin1
2024-08-03 10:20
810
card_lar__t31_card_lar.vmin1out
2024-08-03 10:21
8.1K
card_lar__t31_card_lar.vout
2024-08-03 05:40
7.3K
card_lar__t32_card_lar
2024-07-28 11:10
12K
card_lar__t32_card_lar.vout
2024-08-03 05:21
7.3K
card_lar__t33_card_lar
2024-07-28 11:11
15K
card_lar__t33_card_lar.vout
2024-08-03 08:52
7.4K
card_lar__t34_card_lar
2024-07-28 11:12
18K
card_lar__t34_card_lar.vout
2024-08-03 09:56
7.3K
card_lar__t35_card_lar
2024-07-28 11:13
15K
card_lar__t35_card_lar.vout
2024-08-03 07:55
7.3K
card_lar__t36_card_lar
2024-07-28 11:14
18K
card_lar__t36_card_lar.vout
2024-08-03 10:09
5.3K
card_lar__t37_card_lar
2024-07-28 11:15
11K
card_lar__t37_card_lar.depv1
2024-08-03 10:19
99
card_lar__t37_card_lar.depvmin1
2024-08-03 10:24
89
card_lar__t37_card_lar.vmin1
2024-08-03 10:20
839
card_lar__t37_card_lar.vmin1out
2024-08-03 10:21
6.4K
card_lar__t37_card_lar.vout
2024-08-03 07:14
8.6K
card_lar__t38_card_lar
2024-07-28 11:15
10K
card_lar__t38_card_lar.depv1
2024-08-03 10:19
98
card_lar__t38_card_lar.depvmin1
2024-08-03 10:24
98
card_lar__t38_card_lar.vmin1
2024-08-03 10:20
905
card_lar__t38_card_lar.vmin1out
2024-08-03 10:20
8.6K
card_lar__t38_card_lar.vout
2024-08-03 06:14
8.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80