Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/turing_1
Name
Last modified
Size
Description
Parent Directory
-
turing_1__l94_turing_1
2017-01-13 00:26
89K
turing_1__l71_turing_1
2017-01-13 00:26
120K
turing_1__l70_turing_1
2017-01-13 00:26
114K
turing_1__l69_turing_1
2017-01-13 00:26
97K
turing_1__l68_turing_1
2017-01-13 00:26
98K
turing_1__l62_turing_1
2017-01-13 00:26
122K
turing_1__l61_turing_1
2017-01-13 00:26
106K
turing_1__l60_turing_1
2017-01-13 00:26
106K
turing_1__l54_turing_1
2017-01-13 00:26
123K
turing_1__l53_turing_1
2017-01-13 00:26
107K
turing_1__l52_turing_1
2017-01-13 00:26
107K
turing_1__l44_turing_1
2017-01-13 00:26
119K
turing_1__l42_turing_1
2017-01-13 00:26
133K
turing_1__l40_turing_1
2017-01-13 00:26
117K
turing_1__l38_turing_1
2017-01-13 00:26
117K
turing_1__t49_turing_1
2017-01-13 00:26
162K
turing_1__t48_turing_1
2017-01-13 00:26
93K
turing_1__t47_turing_1
2017-01-13 00:26
59K
turing_1__t46_turing_1
2017-01-13 00:26
59K
turing_1__t45_turing_1
2017-01-13 00:26
118K
turing_1__t44_turing_1
2017-01-13 00:26
86K
turing_1__t43_turing_1
2017-01-13 00:26
86K
turing_1__t42_turing_1
2017-01-13 00:26
30K
turing_1__t41_turing_1
2017-01-13 00:26
30K
turing_1__t40_turing_1
2017-01-13 00:26
30K
turing_1__t39_turing_1
2017-01-13 00:26
30K
turing_1__t38_turing_1
2017-01-13 00:26
662K
turing_1__t37_turing_1
2017-01-13 00:26
496K
turing_1__t36_turing_1
2017-01-13 00:26
91K
turing_1__t35_turing_1
2017-01-13 00:26
164K
turing_1__t34_turing_1
2017-01-13 00:26
495K
turing_1__t33_turing_1
2017-01-13 00:26
100K
turing_1__t32_turing_1
2017-01-13 00:26
191K
turing_1__t31_turing_1
2017-01-13 00:26
766K
turing_1__t30_turing_1
2017-01-13 00:26
101K
turing_1__t29_turing_1
2017-01-13 00:26
229K
turing_1__t28_turing_1
2017-01-13 00:26
83K
turing_1__t27_turing_1
2017-01-13 00:26
823K
turing_1__t26_turing_1
2017-01-13 00:26
51K
turing_1__t25_turing_1
2017-01-13 00:26
74K
turing_1__t24_turing_1
2017-01-13 00:26
52K
turing_1__t23_turing_1
2017-01-13 00:26
442K
turing_1__t22_turing_1
2017-01-13 00:26
115K
turing_1__t21_turing_1
2017-01-13 00:26
447K
turing_1__t20_turing_1
2017-01-13 00:26
273K
turing_1__t19_turing_1
2017-01-13 00:26
76K
turing_1__t18_turing_1
2017-01-13 00:26
271K
turing_1__t17_turing_1
2017-01-13 00:26
69K
turing_1__t16_turing_1
2017-01-13 00:26
99K
turing_1__t15_turing_1
2017-01-13 00:26
115K
turing_1__t14_turing_1
2017-01-13 00:26
111K
turing_1__t13_turing_1
2017-01-13 00:26
45K
turing_1__t12_turing_1
2017-01-13 00:26
80K
turing_1__t11_turing_1
2017-01-13 00:26
84K
turing_1__t10_turing_1
2017-01-13 00:26
47K
turing_1__t9_turing_1
2017-01-13 00:26
47K
turing_1__t5_turing_1
2017-01-13 00:26
81K
turing_1__t4_turing_1
2017-01-13 00:26
76K
turing_1__t3_turing_1
2017-01-13 00:26
46K
turing_1__t2_turing_1
2017-01-13 00:26
46K
turing_1__t1_turing_1
2017-01-13 00:26
22K
turing_1__t8_turing_1
2017-01-13 00:26
46K
turing_1__t7_turing_1
2017-01-13 00:26
45K
turing_1__t6_turing_1
2017-01-13 00:26
72K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80