Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/MPTP2/problems_small_thf.orig2021/heyting2
Name
Last modified
Size
Description
Parent Directory
-
heyting2__l2_heyting2
2021-07-18 20:20
15K
heyting2__l9_heyting2
2021-07-18 20:30
19K
heyting2__l21_heyting2
2021-07-18 20:30
37K
heyting2__l23_heyting2
2021-07-18 20:30
19K
heyting2__l29_heyting2
2021-07-18 20:31
60K
heyting2__l30_heyting2
2021-07-18 20:31
61K
heyting2__l32_heyting2
2021-07-18 20:32
50K
heyting2__l35_heyting2
2021-07-18 20:32
55K
heyting2__l40_heyting2
2021-07-18 20:32
55K
heyting2__l45_heyting2
2021-07-18 20:33
84K
heyting2__l46_heyting2
2021-07-18 20:33
54K
heyting2__t1_heyting2
2021-07-18 20:20
17K
heyting2__t2_heyting2
2021-07-18 20:21
18K
heyting2__t3_heyting2
2021-07-18 20:21
20K
heyting2__t4_heyting2
2021-07-18 20:21
21K
heyting2__t5_heyting2
2021-07-18 20:21
25K
heyting2__t6_heyting2
2021-07-18 20:21
20K
heyting2__t7_heyting2
2021-07-18 20:22
12K
heyting2__t8_heyting2
2021-07-18 20:20
16K
heyting2__t9_heyting2
2021-07-18 20:22
22K
heyting2__t10_heyting2
2021-07-18 20:22
21K
heyting2__t11_heyting2
2021-07-18 20:22
28K
heyting2__t12_heyting2
2021-07-18 20:23
48K
heyting2__t13_heyting2
2021-07-18 20:23
49K
heyting2__t14_heyting2
2021-07-18 20:24
48K
heyting2__t15_heyting2
2021-07-18 20:24
31K
heyting2__t16_heyting2
2021-07-18 20:24
37K
heyting2__t17_heyting2
2021-07-18 20:25
50K
heyting2__t18_heyting2
2021-07-18 20:25
85K
heyting2__t19_heyting2
2021-07-18 20:25
48K
heyting2__t20_heyting2
2021-07-18 20:26
47K
heyting2__t21_heyting2
2021-07-18 20:26
45K
heyting2__t22_heyting2
2021-07-18 20:27
56K
heyting2__t23_heyting2
2021-07-18 20:27
45K
heyting2__t24_heyting2
2021-07-18 20:28
72K
heyting2__t25_heyting2
2021-07-18 20:28
69K
heyting2__t26_heyting2
2021-07-18 20:29
59K
heyting2__t27_heyting2
2021-07-18 20:29
65K
heyting2__t28_heyting2
2021-07-18 20:30
55K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80