Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/turing_1
Name
Last modified
Size
Description
Parent Directory
-
turing_1__t49_turing_1
2017-01-05 20:54
127K
turing_1__t48_turing_1
2017-01-05 20:54
66K
turing_1__t38_turing_1
2017-01-05 20:54
615K
turing_1__t5_turing_1
2017-01-05 20:54
55K
turing_1__t4_turing_1
2017-01-05 20:54
50K
turing_1__t37_turing_1
2017-01-05 20:54
454K
turing_1__t36_turing_1
2017-01-05 20:54
68K
turing_1__t35_turing_1
2017-01-05 20:54
121K
turing_1__t34_turing_1
2017-01-05 20:54
453K
turing_1__t33_turing_1
2017-01-05 20:54
76K
turing_1__t32_turing_1
2017-01-05 20:54
146K
turing_1__t31_turing_1
2017-01-05 20:54
723K
turing_1__t30_turing_1
2017-01-05 20:54
77K
turing_1__t29_turing_1
2017-01-05 20:54
178K
turing_1__t28_turing_1
2017-01-05 20:54
54K
turing_1__t27_turing_1
2017-01-05 20:54
778K
turing_1__t23_turing_1
2017-01-05 20:54
411K
turing_1__t22_turing_1
2017-01-05 20:54
85K
turing_1__t21_turing_1
2017-01-05 20:54
414K
turing_1__t20_turing_1
2017-01-05 20:54
241K
turing_1__t18_turing_1
2017-01-05 20:54
240K
turing_1__t1_turing_1
2017-01-05 20:54
15K
turing_1__t16_turing_1
2017-01-05 20:54
70K
turing_1__t15_turing_1
2017-01-05 20:54
85K
turing_1__t14_turing_1
2017-01-05 20:54
88K
turing_1__l70_turing_1
2017-01-05 20:54
85K
turing_1__l69_turing_1
2017-01-05 20:54
72K
turing_1__l68_turing_1
2017-01-05 20:54
72K
turing_1__l62_turing_1
2017-01-05 20:54
94K
turing_1__l61_turing_1
2017-01-05 20:54
81K
turing_1__l60_turing_1
2017-01-05 20:54
81K
turing_1__l54_turing_1
2017-01-05 20:54
94K
turing_1__l53_turing_1
2017-01-05 20:54
81K
turing_1__l52_turing_1
2017-01-05 20:54
81K
turing_1__l42_turing_1
2017-01-05 20:54
104K
turing_1__l40_turing_1
2017-01-05 20:54
91K
turing_1__l38_turing_1
2017-01-05 20:54
91K
turing_1__t9_turing_1
2016-03-08 13:10
32K
turing_1__t8_turing_1
2016-03-08 13:10
31K
turing_1__t7_turing_1
2016-03-08 13:10
30K
turing_1__t6_turing_1
2016-03-08 13:10
50K
turing_1__t47_turing_1
2016-03-08 13:10
41K
turing_1__t46_turing_1
2016-03-08 13:10
41K
turing_1__t45_turing_1
2016-03-08 13:10
86K
turing_1__t44_turing_1
2016-03-08 13:10
63K
turing_1__t43_turing_1
2016-03-08 13:10
63K
turing_1__t42_turing_1
2016-03-08 13:10
21K
turing_1__t41_turing_1
2016-03-08 13:10
21K
turing_1__t40_turing_1
2016-03-08 13:10
21K
turing_1__t3_turing_1
2016-03-08 13:10
31K
turing_1__t39_turing_1
2016-03-08 13:10
21K
turing_1__t2_turing_1
2016-03-08 13:10
31K
turing_1__t26_turing_1
2016-03-08 13:10
34K
turing_1__t25_turing_1
2016-03-08 13:10
51K
turing_1__t24_turing_1
2016-03-08 13:10
35K
turing_1__t19_turing_1
2016-03-08 13:10
53K
turing_1__t17_turing_1
2016-03-08 13:10
47K
turing_1__t13_turing_1
2016-03-08 13:10
31K
turing_1__t12_turing_1
2016-03-08 13:10
56K
turing_1__t11_turing_1
2016-03-08 13:10
63K
turing_1__t10_turing_1
2016-03-08 13:10
32K
turing_1__l94_turing_1
2016-03-08 13:10
63K
turing_1__l71_turing_1
2016-03-08 13:10
90K
turing_1__l44_turing_1
2016-03-08 13:10
89K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80