Index of /~mptp/mml5.63.1382/MPTP2/problems_small/card_fil
Name
Last modified
Size
Description
Parent Directory
-
card_fil__t41_card_fil.vout
2021-07-25 15:38
29K
card_fil__t41_card_fil
2021-07-18 05:59
10K
card_fil__t40_card_fil.vout
2021-07-25 19:16
5.9K
card_fil__t40_card_fil
2021-07-18 06:08
38K
card_fil__t39_card_fil.vout
2021-07-25 16:39
28K
card_fil__t39_card_fil
2021-07-18 05:59
9.8K
card_fil__t38_card_fil.vout
2021-07-25 17:34
2.0K
card_fil__t38_card_fil
2021-07-18 06:08
15K
card_fil__t37_card_fil.vout
2021-07-25 15:20
3.7K
card_fil__t37_card_fil
2021-07-18 06:08
22K
card_fil__t36_card_fil.vout
2021-07-25 18:06
7.9K
card_fil__t36_card_fil
2021-07-18 06:07
20K
card_fil__t35_card_fil.vout
2021-07-25 14:51
3.7K
card_fil__t35_card_fil
2021-07-18 06:07
46K
card_fil__t34_card_fil.vout
2021-07-25 18:59
4.2K
card_fil__t34_card_fil
2021-07-18 06:06
37K
card_fil__t33_card_fil.vout
2021-07-25 17:10
7.9K
card_fil__t33_card_fil
2021-07-18 06:06
23K
card_fil__t32_card_fil.vout
2021-07-25 20:48
7.3K
card_fil__t32_card_fil
2021-07-18 06:06
16K
card_fil__t31_card_fil.vout
2021-07-25 17:44
2.0K
card_fil__t31_card_fil
2021-07-18 05:59
11K
card_fil__t30_card_fil.vout
2021-07-25 18:06
28K
card_fil__t30_card_fil
2021-07-18 05:59
9.6K
card_fil__t29_card_fil.vout
2021-07-25 15:01
28K
card_fil__t29_card_fil
2021-07-18 05:58
9.7K
card_fil__t28_card_fil.vout
2021-07-25 20:15
2.0K
card_fil__t28_card_fil
2021-07-18 06:05
16K
card_fil__t27_card_fil.vout
2021-07-25 16:07
2.0K
card_fil__t27_card_fil
2021-07-18 06:05
14K
card_fil__t26_card_fil.vout
2021-07-25 16:53
25K
card_fil__t26_card_fil.vmin1out
2021-07-25 21:00
10K
card_fil__t26_card_fil.vmin1
2021-07-25 20:57
1.3K
card_fil__t26_card_fil.depvmin1
2021-07-25 21:03
117
card_fil__t26_card_fil.depv1
2021-07-25 20:57
193
card_fil__t26_card_fil
2021-07-18 06:05
14K
card_fil__t25_card_fil.vout
2021-07-25 20:19
28K
card_fil__t25_card_fil
2021-07-18 05:58
9.5K
card_fil__t24_card_fil.vout
2021-07-25 17:59
10K
card_fil__t24_card_fil.vmin1out
2021-07-25 21:00
10K
card_fil__t24_card_fil.vmin1
2021-07-25 20:57
883
card_fil__t24_card_fil.depvmin1
2021-07-25 21:03
109
card_fil__t24_card_fil.depv1
2021-07-25 20:57
109
card_fil__t24_card_fil
2021-07-18 06:05
15K
card_fil__t23_card_fil.vout
2021-07-25 17:59
4.2K
card_fil__t23_card_fil
2021-07-18 06:04
23K
card_fil__t22_card_fil.vout
2021-07-25 19:01
26K
card_fil__t22_card_fil.vmin1out
2021-07-25 20:59
25K
card_fil__t22_card_fil.vmin1
2021-07-25 20:57
1.7K
card_fil__t22_card_fil.depvmin1
2021-07-25 21:03
152
card_fil__t22_card_fil.depv1
2021-07-25 20:57
152
card_fil__t22_card_fil
2021-07-18 06:04
16K
card_fil__t21_card_fil.vout
2021-07-25 16:26
4.2K
card_fil__t21_card_fil
2021-07-18 06:04
15K
card_fil__t20_card_fil.vout
2021-07-25 18:52
3.7K
card_fil__t20_card_fil
2021-07-18 06:04
18K
card_fil__t19_card_fil.vout
2021-07-25 16:11
30K
card_fil__t19_card_fil.vmin1out
2021-07-25 21:00
28K
card_fil__t19_card_fil.vmin1
2021-07-25 20:57
2.2K
card_fil__t19_card_fil.depvmin1
2021-07-25 21:03
241
card_fil__t19_card_fil.depv1
2021-07-25 20:57
241
card_fil__t19_card_fil
2021-07-18 06:03
17K
card_fil__t18_card_fil.vout
2021-07-25 17:44
12K
card_fil__t18_card_fil.vmin1out
2021-07-25 20:58
11K
card_fil__t18_card_fil.vmin1
2021-07-25 20:57
947
card_fil__t18_card_fil.depvmin1
2021-07-25 21:03
104
card_fil__t18_card_fil.depv1
2021-07-25 20:57
129
card_fil__t18_card_fil
2021-07-18 06:03
15K
card_fil__t17_card_fil.vout
2021-07-25 17:24
4.2K
card_fil__t17_card_fil
2021-07-18 06:03
21K
card_fil__t16_card_fil.vout
2021-07-25 20:36
3.7K
card_fil__t16_card_fil
2021-07-18 06:02
17K
card_fil__t15_card_fil.vout
2021-07-25 19:59
12K
card_fil__t15_card_fil.vmin1out
2021-07-25 21:00
9.1K
card_fil__t15_card_fil.vmin1
2021-07-25 20:57
944
card_fil__t15_card_fil.depvmin1
2021-07-25 21:03
118
card_fil__t15_card_fil.depv1
2021-07-25 20:57
143
card_fil__t15_card_fil
2021-07-18 06:02
14K
card_fil__t14_card_fil.vout
2021-07-25 14:25
3.7K
card_fil__t14_card_fil
2021-07-18 06:02
20K
card_fil__t13_card_fil.vout
2021-07-25 14:30
3.7K
card_fil__t13_card_fil
2021-07-18 06:02
16K
card_fil__t12_card_fil.vout
2021-07-25 16:25
4.2K
card_fil__t12_card_fil
2021-07-18 06:01
19K
card_fil__t11_card_fil.vout
2021-07-25 15:48
22K
card_fil__t11_card_fil.vmin1out
2021-07-25 20:58
28K
card_fil__t11_card_fil.vmin1
2021-07-25 20:57
1.6K
card_fil__t11_card_fil.depvmin1
2021-07-25 21:03
147
card_fil__t11_card_fil.depv1
2021-07-25 20:57
160
card_fil__t11_card_fil
2021-07-18 06:01
16K
card_fil__t10_card_fil.vout
2021-07-25 14:42
63K
card_fil__t10_card_fil.vmin1out
2021-07-25 21:01
47K
card_fil__t10_card_fil.vmin1
2021-07-25 20:57
3.3K
card_fil__t10_card_fil.depvmin1
2021-07-25 21:03
250
card_fil__t10_card_fil.depv1
2021-07-25 20:57
311
card_fil__t10_card_fil
2021-07-18 06:01
20K
card_fil__t9_card_fil.vout
2021-07-25 14:36
3.7K
card_fil__t9_card_fil
2021-07-18 06:09
15K
card_fil__t8_card_fil.vout
2021-07-25 18:30
3.7K
card_fil__t8_card_fil
2021-07-18 06:09
15K
card_fil__t7_card_fil.vout
2021-07-25 20:29
6.8K
card_fil__t7_card_fil
2021-07-18 06:00
18K
card_fil__t6_card_fil.vout
2021-07-25 17:51
22K
card_fil__t6_card_fil.vmin1out
2021-07-25 20:59
21K
card_fil__t6_card_fil.vmin1
2021-07-25 20:57
1.8K
card_fil__t6_card_fil.depvmin1
2021-07-25 21:03
179
card_fil__t6_card_fil.depv1
2021-07-25 20:57
192
card_fil__t6_card_fil
2021-07-18 06:00
15K
card_fil__t5_card_fil.vout
2021-07-25 16:49
18K
card_fil__t5_card_fil.vmin1out
2021-07-25 20:59
16K
card_fil__t5_card_fil.vmin1
2021-07-25 20:57
1.4K
card_fil__t5_card_fil.depvmin1
2021-07-25 21:03
126
card_fil__t5_card_fil.depv1
2021-07-25 20:57
126
card_fil__t5_card_fil
2021-07-18 06:00
15K
card_fil__t4_card_fil.vout
2021-07-25 16:42
28K
card_fil__t4_card_fil.vmin1out
2021-07-25 20:58
26K
card_fil__t4_card_fil.vmin1
2021-07-25 20:57
1.4K
card_fil__t4_card_fil.depvmin1
2021-07-25 21:03
84
card_fil__t4_card_fil.depv1
2021-07-25 20:57
84
card_fil__t4_card_fil
2021-07-18 06:00
15K
card_fil__t3_card_fil.vout
2021-07-25 15:18
49K
card_fil__t3_card_fil.vmin1out
2021-07-25 20:58
58K
card_fil__t3_card_fil.vmin1
2021-07-25 20:57
1.5K
card_fil__t3_card_fil.depvmin1
2021-07-25 21:03
91
card_fil__t3_card_fil.depv1
2021-07-25 20:57
91
card_fil__t3_card_fil
2021-07-18 05:58
15K
card_fil__t2_card_fil.vout
2021-07-25 19:36
7.9K
card_fil__t2_card_fil
2021-07-18 05:59
15K
card_fil__t1_card_fil.vout
2021-07-25 17:07
13K
card_fil__t1_card_fil.vmin1out
2021-07-25 21:00
6.7K
card_fil__t1_card_fil.vmin1
2021-07-25 20:57
844
card_fil__t1_card_fil.depvmin1
2021-07-25 21:03
108
card_fil__t1_card_fil.depv1
2021-07-25 20:57
108
card_fil__t1_card_fil
2021-07-18 05:58
15K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80