Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/yellow14
Name
Last modified
Size
Description
Parent Directory
-
yellow14__t1_yellow14
2013-09-04 12:45
9.7K
yellow14__t2_yellow14
2013-09-04 12:45
21K
yellow14__t3_yellow14
2013-09-04 12:45
17K
yellow14__t4_yellow14
2013-09-04 12:45
16K
yellow14__t5_yellow14
2013-09-04 12:45
16K
yellow14__t6_yellow14
2013-09-04 12:45
17K
yellow14__t7_yellow14
2013-09-04 12:45
22K
yellow14__t8_yellow14
2013-09-04 12:45
25K
yellow14__t9_yellow14
2013-09-04 12:45
21K
yellow14__t10_yellow14
2013-09-04 12:45
22K
yellow14__t11_yellow14
2013-09-04 12:45
27K
yellow14__t12_yellow14
2013-09-04 12:45
27K
yellow14__t13_yellow14
2013-09-04 12:45
7.9K
yellow14__t14_yellow14
2013-09-04 12:45
28K
yellow14__t15_yellow14
2013-09-04 12:45
28K
yellow14__t16_yellow14
2013-09-04 12:45
33K
yellow14__t17_yellow14
2013-09-04 12:45
33K
yellow14__t18_yellow14
2013-09-04 12:45
22K
yellow14__t19_yellow14
2013-09-04 12:45
31K
yellow14__t20_yellow14
2013-09-04 12:45
9.5K
yellow14__t21_yellow14
2013-09-04 12:45
9.7K
yellow14__t22_yellow14
2013-09-04 12:45
10K
yellow14__t23_yellow14
2013-09-04 12:45
20K
yellow14__t24_yellow14
2013-09-04 12:45
19K
yellow14__t25_yellow14
2013-09-04 12:45
13K
yellow14__t26_yellow14
2013-09-04 12:45
18K
yellow14__t27_yellow14
2013-09-04 12:45
19K
yellow14__t28_yellow14
2013-09-04 12:45
13K
yellow14__t29_yellow14
2013-09-04 12:45
37K
yellow14__t30_yellow14
2013-09-04 12:45
29K
yellow14__t31_yellow14
2013-09-04 12:45
38K
yellow14__t32_yellow14
2013-09-04 12:45
29K
yellow14__t33_yellow14
2013-09-04 12:45
25K
yellow14__t34_yellow14
2013-09-04 12:45
24K
yellow14__t35_yellow14
2013-09-04 12:45
36K
yellow14__t36_yellow14
2013-09-04 12:45
42K
yellow14__t37_yellow14
2013-09-04 12:45
26K
yellow14__t38_yellow14
2013-09-04 12:45
27K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80