Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/turing_1
Name
Last modified
Size
Description
Parent Directory
-
turing_1__l38_turing_1
2013-09-04 12:46
53K
turing_1__l40_turing_1
2013-09-04 12:46
53K
turing_1__l42_turing_1
2013-09-04 12:46
61K
turing_1__l44_turing_1
2013-09-04 12:46
54K
turing_1__l52_turing_1
2013-09-04 12:46
48K
turing_1__l53_turing_1
2013-09-04 12:46
48K
turing_1__l54_turing_1
2013-09-04 12:46
55K
turing_1__l60_turing_1
2013-09-04 12:46
47K
turing_1__l61_turing_1
2013-09-04 12:46
47K
turing_1__l62_turing_1
2013-09-04 12:46
55K
turing_1__l68_turing_1
2013-09-04 12:46
43K
turing_1__l69_turing_1
2013-09-04 12:46
43K
turing_1__l70_turing_1
2013-09-04 12:46
50K
turing_1__l71_turing_1
2013-09-04 12:46
56K
turing_1__l94_turing_1
2013-09-04 12:46
37K
turing_1__t1_turing_1
2013-09-04 12:46
9.3K
turing_1__t2_turing_1
2013-09-04 12:46
18K
turing_1__t3_turing_1
2013-09-04 12:46
18K
turing_1__t4_turing_1
2013-09-04 12:46
31K
turing_1__t5_turing_1
2013-09-04 12:46
33K
turing_1__t6_turing_1
2013-09-04 12:46
32K
turing_1__t7_turing_1
2013-09-04 12:46
19K
turing_1__t8_turing_1
2013-09-04 12:46
20K
turing_1__t9_turing_1
2013-09-04 12:46
19K
turing_1__t10_turing_1
2013-09-04 12:46
21K
turing_1__t11_turing_1
2013-09-04 12:46
38K
turing_1__t12_turing_1
2013-09-04 12:46
34K
turing_1__t13_turing_1
2013-09-04 12:46
19K
turing_1__t14_turing_1
2013-09-04 12:46
51K
turing_1__t15_turing_1
2013-09-04 12:46
50K
turing_1__t16_turing_1
2013-09-04 12:46
42K
turing_1__t17_turing_1
2013-09-04 12:46
28K
turing_1__t18_turing_1
2013-09-04 12:46
134K
turing_1__t19_turing_1
2013-09-04 12:46
31K
turing_1__t20_turing_1
2013-09-04 12:46
135K
turing_1__t21_turing_1
2013-09-04 12:46
228K
turing_1__t22_turing_1
2013-09-04 12:46
50K
turing_1__t23_turing_1
2013-09-04 12:46
226K
turing_1__t24_turing_1
2013-09-04 12:46
21K
turing_1__t25_turing_1
2013-09-04 12:46
30K
turing_1__t26_turing_1
2013-09-04 12:46
20K
turing_1__t27_turing_1
2013-09-04 12:46
431K
turing_1__t28_turing_1
2013-09-04 12:46
34K
turing_1__t29_turing_1
2013-09-04 12:46
103K
turing_1__t30_turing_1
2013-09-04 12:46
45K
turing_1__t31_turing_1
2013-09-04 12:46
400K
turing_1__t32_turing_1
2013-09-04 12:46
85K
turing_1__t33_turing_1
2013-09-04 12:46
45K
turing_1__t34_turing_1
2013-09-04 12:46
251K
turing_1__t35_turing_1
2013-09-04 12:46
72K
turing_1__t36_turing_1
2013-09-04 12:46
40K
turing_1__t37_turing_1
2013-09-04 12:46
253K
turing_1__t38_turing_1
2013-09-04 12:46
339K
turing_1__t39_turing_1
2013-09-04 12:46
12K
turing_1__t40_turing_1
2013-09-04 12:46
12K
turing_1__t41_turing_1
2013-09-04 12:46
12K
turing_1__t42_turing_1
2013-09-04 12:46
12K
turing_1__t43_turing_1
2013-09-04 12:46
37K
turing_1__t44_turing_1
2013-09-04 12:46
37K
turing_1__t45_turing_1
2013-09-04 12:46
67K
turing_1__t46_turing_1
2013-09-04 12:46
24K
turing_1__t47_turing_1
2013-09-04 12:46
24K
turing_1__t48_turing_1
2013-09-04 12:46
40K
turing_1__t49_turing_1
2013-09-04 12:46
75K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80