Index of /~mptp/1147/MPTP2/problems_small_consist/algspec1
Name
Last modified
Size
Description
Parent Directory
-
algspec1__t1_algspec1
2013-09-04 12:27
12K
algspec1__t2_algspec1
2013-09-04 12:27
12K
algspec1__t3_algspec1
2013-09-04 12:27
14K
algspec1__t4_algspec1
2013-09-04 12:27
10K
algspec1__t5_algspec1
2013-09-04 12:27
24K
algspec1__t6_algspec1
2013-09-04 12:27
24K
algspec1__t7_algspec1
2013-09-04 12:27
10K
algspec1__t8_algspec1
2013-09-04 12:27
21K
algspec1__t9_algspec1
2013-09-04 12:27
21K
algspec1__t10_algspec1
2013-09-04 12:27
8.3K
algspec1__t11_algspec1
2013-09-04 12:27
22K
algspec1__t12_algspec1
2013-09-04 12:27
9.8K
algspec1__t13_algspec1
2013-09-04 12:27
8.5K
algspec1__t14_algspec1
2013-09-04 12:27
19K
algspec1__t15_algspec1
2013-09-04 12:27
8.0K
algspec1__t16_algspec1
2013-09-04 12:27
18K
algspec1__t17_algspec1
2013-09-04 12:27
8.3K
algspec1__t18_algspec1
2013-09-04 12:27
12K
algspec1__t19_algspec1
2013-09-04 12:27
8.3K
algspec1__t20_algspec1
2013-09-04 12:27
9.1K
algspec1__t21_algspec1
2013-09-04 12:27
26K
algspec1__t22_algspec1
2013-09-04 12:27
30K
algspec1__t23_algspec1
2013-09-04 12:27
6.0K
algspec1__t24_algspec1
2013-09-04 12:27
19K
algspec1__t25_algspec1
2013-09-04 12:27
19K
algspec1__t26_algspec1
2013-09-04 12:27
20K
algspec1__t27_algspec1
2013-09-04 12:27
24K
algspec1__t28_algspec1
2013-09-04 12:27
3.0K
algspec1__t29_algspec1
2013-09-04 12:27
33K
algspec1__t30_algspec1
2013-09-04 12:27
33K
algspec1__t31_algspec1
2013-09-04 12:27
34K
algspec1__t32_algspec1
2013-09-04 12:27
30K
algspec1__t33_algspec1
2013-09-04 12:27
33K
algspec1__t34_algspec1
2013-09-04 12:27
12K
algspec1__t35_algspec1
2013-09-04 12:27
29K
algspec1__t36_algspec1
2013-09-04 12:27
29K
algspec1__t37_algspec1
2013-09-04 12:27
36K
algspec1__t38_algspec1
2013-09-04 12:27
36K
algspec1__t39_algspec1
2013-09-04 12:27
41K
algspec1__t40_algspec1
2013-09-04 12:27
29K
algspec1__t41_algspec1
2013-09-04 12:27
28K
algspec1__t42_algspec1
2013-09-04 12:27
26K
algspec1__t43_algspec1
2013-09-04 12:27
30K
algspec1__t44_algspec1
2013-09-04 12:27
30K
algspec1__t45_algspec1
2013-09-04 12:27
1.4K
algspec1__t46_algspec1
2013-09-04 12:27
1.6K
algspec1__t47_algspec1
2013-09-04 12:27
40K
algspec1__t48_algspec1
2013-09-04 12:27
39K
algspec1__t49_algspec1
2013-09-04 12:27
37K
algspec1__t50_algspec1
2013-09-04 12:27
30K
algspec1__t51_algspec1
2013-09-04 12:27
19K
algspec1__t52_algspec1
2013-09-04 12:27
30K
algspec1__t53_algspec1
2013-09-04 12:27
33K
algspec1__t54_algspec1
2013-09-04 12:27
49K
algspec1__t55_algspec1
2013-09-04 12:27
11K
algspec1__t56_algspec1
2013-09-04 12:27
11K
algspec1__t57_algspec1
2013-09-04 12:27
25K
algspec1__t58_algspec1
2013-09-04 12:27
33K
algspec1__t59_algspec1
2013-09-04 12:27
39K
algspec1__t60_algspec1
2013-09-04 12:27
23K
algspec1__t61_algspec1
2013-09-04 12:27
16K
algspec1__t62_algspec1
2013-09-04 12:27
38K
algspec1__t63_algspec1
2013-09-04 12:27
23K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80