Index of /~mptp/1147/MPTP2/problems_gdfthf/card_fin
Name
Last modified
Size
Description
Parent Directory
-
card_fin__l16_card_fin
2019-08-23 22:37
275K
card_fin__l44_card_fin
2019-08-23 22:22
88K
card_fin__l65_card_fin
2019-08-23 22:39
814K
card_fin__l69_card_fin
2019-08-23 22:42
1.1M
card_fin__t1_card_fin
2019-08-23 22:17
91K
card_fin__t2_card_fin
2019-08-23 22:34
202K
card_fin__t3_card_fin
2019-08-23 22:34
167K
card_fin__t4_card_fin
2019-08-23 22:18
398K
card_fin__t5_card_fin
2019-08-23 22:35
326K
card_fin__t6_card_fin
2019-08-23 22:18
74K
card_fin__t7_card_fin
2019-08-23 22:36
584K
card_fin__t8_card_fin
2019-08-23 22:36
129K
card_fin__t9_card_fin
2019-08-23 22:18
131K
card_fin__t10_card_fin
2019-08-23 22:18
94K
card_fin__t11_card_fin
2019-08-23 22:18
227K
card_fin__t12_card_fin
2019-08-23 22:19
264K
card_fin__t13_card_fin
2019-08-23 22:36
426K
card_fin__t14_card_fin
2019-08-23 22:37
293K
card_fin__t15_card_fin
2019-08-23 22:19
158K
card_fin__t16_card_fin
2019-08-23 22:19
370K
card_fin__t17_card_fin
2019-08-23 22:20
250K
card_fin__t18_card_fin
2019-08-23 22:20
118K
card_fin__t19_card_fin
2019-08-23 22:20
126K
card_fin__t20_card_fin
2019-08-23 22:20
101K
card_fin__t21_card_fin
2019-08-23 22:20
117K
card_fin__t22_card_fin
2019-08-23 22:20
105K
card_fin__t23_card_fin
2019-08-23 22:20
59K
card_fin__t24_card_fin
2019-08-23 22:20
131K
card_fin__t25_card_fin
2019-08-23 22:21
192K
card_fin__t26_card_fin
2019-08-23 22:21
90K
card_fin__t27_card_fin
2019-08-23 22:21
110K
card_fin__t28_card_fin
2019-08-23 22:21
130K
card_fin__t29_card_fin
2019-08-23 22:21
117K
card_fin__t30_card_fin
2019-08-23 22:21
185K
card_fin__t31_card_fin
2019-08-23 22:21
93K
card_fin__t32_card_fin
2019-08-23 22:21
167K
card_fin__t33_card_fin
2019-08-23 22:22
154K
card_fin__t34_card_fin
2019-08-23 22:22
88K
card_fin__t35_card_fin
2019-08-23 22:22
140K
card_fin__t36_card_fin
2019-08-23 22:22
134K
card_fin__t37_card_fin
2019-08-23 22:22
127K
card_fin__t38_card_fin
2019-08-23 22:22
89K
card_fin__t39_card_fin
2019-08-23 22:22
8.0K
card_fin__t40_card_fin
2019-08-23 22:22
166K
card_fin__t41_card_fin
2019-08-23 22:23
192K
card_fin__t42_card_fin
2019-08-23 22:23
182K
card_fin__t43_card_fin
2019-08-23 22:23
125K
card_fin__t44_card_fin
2019-08-23 22:24
779K
card_fin__t45_card_fin
2019-08-23 22:25
243K
card_fin__t46_card_fin
2019-08-23 22:25
118K
card_fin__t47_card_fin
2019-08-23 22:25
301K
card_fin__t48_card_fin
2019-08-23 22:26
464K
card_fin__t49_card_fin
2019-08-23 22:26
115K
card_fin__t50_card_fin
2019-08-23 22:26
193K
card_fin__t51_card_fin
2019-08-23 22:26
219K
card_fin__t52_card_fin
2019-08-23 22:27
154K
card_fin__t53_card_fin
2019-08-23 22:29
1.3M
card_fin__t54_card_fin
2019-08-23 22:30
119K
card_fin__t55_card_fin
2019-08-23 22:30
134K
card_fin__t56_card_fin
2019-08-23 22:31
1.0M
card_fin__t57_card_fin
2019-08-23 22:32
223K
card_fin__t58_card_fin
2019-08-23 22:32
270K
card_fin__t59_card_fin
2019-08-23 22:39
415K
card_fin__t60_card_fin
2019-08-23 22:34
935K
card_fin__t61_card_fin
2019-08-23 22:40
527K
card_fin__t62_card_fin
2019-08-23 22:43
445K
card_fin__t63_card_fin
2019-08-23 22:43
176K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80