Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/goboard9
Name
Last modified
Size
Description
Parent Directory
-
goboard9__l9_goboard9
2013-09-04 12:59
29K
goboard9__t1_goboard9
2013-09-04 12:59
16K
goboard9__t2_goboard9
2013-09-04 12:59
16K
goboard9__t3_goboard9
2013-09-04 12:59
21K
goboard9__t4_goboard9
2013-09-04 12:59
17K
goboard9__t6_goboard9
2013-09-04 12:59
25K
goboard9__t7_goboard9
2013-09-04 12:59
70K
goboard9__t8_goboard9
2013-09-04 12:59
70K
goboard9__t9_goboard9
2013-09-04 12:59
60K
goboard9__t10_goboard9
2013-09-04 12:59
37K
goboard9__t11_goboard9
2013-09-04 12:59
56K
goboard9__t12_goboard9
2013-09-04 12:59
38K
goboard9__t13_goboard9
2013-09-04 12:59
38K
goboard9__t14_goboard9
2013-09-04 12:59
57K
goboard9__t15_goboard9
2013-09-04 12:59
33K
goboard9__t16_goboard9
2013-09-04 12:59
45K
goboard9__t17_goboard9
2013-09-04 12:59
31K
goboard9__t19_goboard9
2013-09-04 12:59
33K
goboard9__t20_goboard9
2013-09-04 12:59
45K
goboard9__t21_goboard9
2013-09-04 12:59
265K
goboard9__t22_goboard9
2013-09-04 12:59
28K
goboard9__t23_goboard9
2013-09-04 12:59
67K
goboard9__t24_goboard9
2013-09-04 12:59
26K
goboard9__t25_goboard9
2013-09-04 12:59
46K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80