Index of /~mptp/1147/MPTP2/problems_small_consist/jordan5b
Name
Last modified
Size
Description
Parent Directory
-
jordan5b__l4_jordan5b
2013-09-04 12:19
24K
jordan5b__l8_jordan5b
2013-09-04 12:19
22K
jordan5b__l24_jordan5b
2013-09-04 12:19
53K
jordan5b__l27_jordan5b
2013-09-04 12:19
44K
jordan5b__t1_jordan5b
2013-09-04 12:19
22K
jordan5b__t2_jordan5b
2013-09-04 12:19
20K
jordan5b__t3_jordan5b
2013-09-04 12:19
21K
jordan5b__t4_jordan5b
2013-09-04 12:19
28K
jordan5b__t5_jordan5b
2013-09-04 12:19
55K
jordan5b__t6_jordan5b
2013-09-04 12:19
55K
jordan5b__t7_jordan5b
2013-09-04 12:19
278K
jordan5b__t8_jordan5b
2013-09-04 12:19
66K
jordan5b__t9_jordan5b
2013-09-04 12:19
45K
jordan5b__t10_jordan5b
2013-09-04 12:19
57K
jordan5b__t11_jordan5b
2013-09-04 12:19
52K
jordan5b__t12_jordan5b
2013-09-04 12:19
47K
jordan5b__t13_jordan5b
2013-09-04 12:19
43K
jordan5b__t14_jordan5b
2013-09-04 12:19
55K
jordan5b__t15_jordan5b
2013-09-04 12:19
56K
jordan5b__t16_jordan5b
2013-09-04 12:19
75K
jordan5b__t17_jordan5b
2013-09-04 12:19
42K
jordan5b__t18_jordan5b
2013-09-04 12:19
44K
jordan5b__t19_jordan5b
2013-09-04 12:19
42K
jordan5b__t20_jordan5b
2013-09-04 12:19
39K
jordan5b__t21_jordan5b
2013-09-04 12:19
55K
jordan5b__t22_jordan5b
2013-09-04 12:19
103K
jordan5b__t23_jordan5b
2013-09-04 12:19
36K
jordan5b__t24_jordan5b
2013-09-04 12:19
58K
jordan5b__t25_jordan5b
2013-09-04 12:19
50K
jordan5b__t26_jordan5b
2013-09-04 12:19
50K
jordan5b__t27_jordan5b
2013-09-04 12:19
46K
jordan5b__t28_jordan5b
2013-09-04 12:19
40K
jordan5b__t29_jordan5b
2013-09-04 12:19
48K
jordan5b__t30_jordan5b
2013-09-04 12:19
59K
jordan5b__t31_jordan5b
2013-09-04 12:19
56K
jordan5b__t32_jordan5b
2013-09-04 12:19
56K
jordan5b__t33_jordan5b
2013-09-04 12:19
39K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80