Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems00/turing_1
Name
Last modified
Size
Description
Parent Directory
-
turing_1__t1_turing_1
2017-03-01 10:50
7.3K
turing_1__t40_turing_1
2017-03-01 10:50
9.6K
turing_1__t41_turing_1
2017-03-01 10:50
9.6K
turing_1__t39_turing_1
2017-03-01 10:50
9.7K
turing_1__t42_turing_1
2017-03-01 10:50
9.7K
turing_1__t7_turing_1
2017-03-01 10:50
14K
turing_1__t8_turing_1
2017-03-01 10:50
15K
turing_1__t9_turing_1
2017-03-01 10:50
15K
turing_1__t2_turing_1
2017-03-01 10:50
15K
turing_1__t3_turing_1
2017-03-01 10:50
15K
turing_1__t13_turing_1
2017-03-01 10:50
15K
turing_1__t10_turing_1
2017-03-01 10:50
16K
turing_1__t26_turing_1
2017-03-01 10:50
17K
turing_1__t24_turing_1
2017-03-01 10:50
17K
turing_1__t46_turing_1
2017-03-01 10:50
19K
turing_1__t47_turing_1
2017-03-01 10:50
19K
turing_1__t17_turing_1
2017-03-01 10:50
23K
turing_1__t6_turing_1
2017-03-01 10:50
23K
turing_1__t4_turing_1
2017-03-01 10:50
24K
turing_1__t25_turing_1
2017-03-01 10:50
24K
turing_1__t5_turing_1
2017-03-01 10:50
26K
turing_1__t19_turing_1
2017-03-01 10:50
26K
turing_1__t12_turing_1
2017-03-01 10:50
26K
turing_1__t44_turing_1
2017-03-01 10:50
27K
turing_1__t43_turing_1
2017-03-01 10:50
27K
turing_1__t28_turing_1
2017-03-01 10:50
28K
turing_1__l94_turing_1
2017-03-01 10:50
29K
turing_1__t48_turing_1
2017-03-01 10:50
31K
turing_1__t11_turing_1
2017-03-01 10:50
33K
turing_1__t16_turing_1
2017-03-01 10:50
34K
turing_1__t36_turing_1
2017-03-01 10:50
35K
turing_1__l68_turing_1
2017-03-01 10:50
36K
turing_1__l69_turing_1
2017-03-01 10:50
36K
turing_1__t33_turing_1
2017-03-01 10:50
40K
turing_1__t30_turing_1
2017-03-01 10:50
41K
turing_1__l60_turing_1
2017-03-01 10:50
41K
turing_1__l61_turing_1
2017-03-01 10:50
41K
turing_1__l70_turing_1
2017-03-01 10:50
41K
turing_1__l52_turing_1
2017-03-01 10:50
42K
turing_1__l53_turing_1
2017-03-01 10:50
42K
turing_1__t15_turing_1
2017-03-01 10:50
43K
turing_1__t22_turing_1
2017-03-01 10:50
43K
turing_1__l44_turing_1
2017-03-01 10:50
44K
turing_1__l71_turing_1
2017-03-01 10:50
46K
turing_1__l62_turing_1
2017-03-01 10:50
46K
turing_1__l54_turing_1
2017-03-01 10:50
47K
turing_1__t14_turing_1
2017-03-01 10:50
47K
turing_1__l38_turing_1
2017-03-01 10:50
48K
turing_1__l40_turing_1
2017-03-01 10:50
48K
turing_1__t45_turing_1
2017-03-01 10:50
53K
turing_1__l42_turing_1
2017-03-01 10:50
53K
turing_1__t35_turing_1
2017-03-01 10:50
60K
turing_1__t49_turing_1
2017-03-01 10:50
65K
turing_1__t32_turing_1
2017-03-01 10:50
75K
turing_1__t29_turing_1
2017-03-01 10:50
93K
turing_1__t18_turing_1
2017-03-01 10:50
139K
turing_1__t20_turing_1
2017-03-01 10:50
139K
turing_1__t23_turing_1
2017-03-01 10:50
245K
turing_1__t21_turing_1
2017-03-01 10:50
246K
turing_1__t34_turing_1
2017-03-01 10:50
262K
turing_1__t37_turing_1
2017-03-01 10:50
263K
turing_1__t38_turing_1
2017-03-01 10:50
366K
turing_1__t31_turing_1
2017-03-01 10:50
431K
turing_1__t27_turing_1
2017-03-01 10:50
466K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80