Index of /~mptp/1147/MPTP2/problems_small_consist/jordan14
Name
Last modified
Size
Description
Parent Directory
-
jordan14__t1_jordan14
2013-09-04 12:04
34K
jordan14__t2_jordan14
2013-09-04 12:04
35K
jordan14__t3_jordan14
2013-09-04 12:04
49K
jordan14__t4_jordan14
2013-09-04 12:04
39K
jordan14__t5_jordan14
2013-09-04 12:04
33K
jordan14__t6_jordan14
2013-09-04 12:04
40K
jordan14__t7_jordan14
2013-09-04 12:04
129K
jordan14__t8_jordan14
2013-09-04 12:04
46K
jordan14__t9_jordan14
2013-09-04 12:04
47K
jordan14__t10_jordan14
2013-09-04 12:04
43K
jordan14__t11_jordan14
2013-09-04 12:04
35K
jordan14__t12_jordan14
2013-09-04 12:04
34K
jordan14__t13_jordan14
2013-09-04 12:04
53K
jordan14__t14_jordan14
2013-09-04 12:04
42K
jordan14__t15_jordan14
2013-09-04 12:04
34K
jordan14__t16_jordan14
2013-09-04 12:04
34K
jordan14__t17_jordan14
2013-09-04 12:04
34K
jordan14__t18_jordan14
2013-09-04 12:04
34K
jordan14__t19_jordan14
2013-09-04 12:04
35K
jordan14__t20_jordan14
2013-09-04 12:04
35K
jordan14__t21_jordan14
2013-09-04 12:04
38K
jordan14__t22_jordan14
2013-09-04 12:04
73K
jordan14__t23_jordan14
2013-09-04 12:04
153K
jordan14__t24_jordan14
2013-09-04 12:04
73K
jordan14__t25_jordan14
2013-09-04 12:04
153K
jordan14__t26_jordan14
2013-09-04 12:04
42K
jordan14__t27_jordan14
2013-09-04 12:04
132K
jordan14__t28_jordan14
2013-09-04 12:04
203K
jordan14__t29_jordan14
2013-09-04 12:04
43K
jordan14__t30_jordan14
2013-09-04 12:04
181K
jordan14__t31_jordan14
2013-09-04 12:04
193K
jordan14__t32_jordan14
2013-09-04 12:04
220K
jordan14__t33_jordan14
2013-09-04 12:04
34K
jordan14__t34_jordan14
2013-09-04 12:04
124K
jordan14__t35_jordan14
2013-09-04 12:04
44K
jordan14__t36_jordan14
2013-09-04 12:04
36K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80