Index of /~mptp/1147/MPTP2/problems_small_consist/heyting2
Name
Last modified
Size
Description
Parent Directory
-
heyting2__l2_heyting2
2013-09-04 12:24
8.9K
heyting2__l9_heyting2
2013-09-04 12:24
12K
heyting2__l21_heyting2
2013-09-04 12:24
24K
heyting2__l23_heyting2
2013-09-04 12:24
12K
heyting2__l29_heyting2
2013-09-04 12:24
36K
heyting2__l30_heyting2
2013-09-04 12:24
39K
heyting2__l32_heyting2
2013-09-04 12:24
31K
heyting2__l35_heyting2
2013-09-04 12:24
33K
heyting2__l40_heyting2
2013-09-04 12:24
33K
heyting2__l45_heyting2
2013-09-04 12:24
52K
heyting2__l46_heyting2
2013-09-04 12:24
33K
heyting2__t1_heyting2
2013-09-04 12:24
11K
heyting2__t2_heyting2
2013-09-04 12:24
11K
heyting2__t3_heyting2
2013-09-04 12:24
12K
heyting2__t4_heyting2
2013-09-04 12:24
13K
heyting2__t5_heyting2
2013-09-04 12:24
15K
heyting2__t6_heyting2
2013-09-04 12:24
12K
heyting2__t7_heyting2
2013-09-04 12:24
6.8K
heyting2__t8_heyting2
2013-09-04 12:24
9.7K
heyting2__t9_heyting2
2013-09-04 12:24
14K
heyting2__t10_heyting2
2013-09-04 12:24
13K
heyting2__t11_heyting2
2013-09-04 12:24
17K
heyting2__t12_heyting2
2013-09-04 12:24
30K
heyting2__t13_heyting2
2013-09-04 12:24
30K
heyting2__t14_heyting2
2013-09-04 12:24
32K
heyting2__t15_heyting2
2013-09-04 12:24
20K
heyting2__t16_heyting2
2013-09-04 12:24
25K
heyting2__t17_heyting2
2013-09-04 12:24
30K
heyting2__t18_heyting2
2013-09-04 12:24
53K
heyting2__t19_heyting2
2013-09-04 12:24
29K
heyting2__t20_heyting2
2013-09-04 12:24
29K
heyting2__t21_heyting2
2013-09-04 12:24
27K
heyting2__t22_heyting2
2013-09-04 12:24
34K
heyting2__t23_heyting2
2013-09-04 12:24
27K
heyting2__t24_heyting2
2013-09-04 12:24
46K
heyting2__t25_heyting2
2013-09-04 12:24
43K
heyting2__t26_heyting2
2013-09-04 12:24
36K
heyting2__t27_heyting2
2013-09-04 12:24
40K
heyting2__t28_heyting2
2013-09-04 12:24
34K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80