Index of /~mptp/1147/MPTP2/problems_thf_tls/goboard9
Name
Last modified
Size
Description
Parent Directory
-
goboard9__l9_goboard9
2017-01-12 22:15
48K
goboard9__t1_goboard9
2017-01-12 22:15
27K
goboard9__t2_goboard9
2017-01-12 22:15
27K
goboard9__t3_goboard9
2017-01-12 22:15
35K
goboard9__t4_goboard9
2017-01-12 22:15
28K
goboard9__t6_goboard9
2017-01-12 22:15
42K
goboard9__t7_goboard9
2017-01-12 22:15
123K
goboard9__t8_goboard9
2017-01-12 22:15
123K
goboard9__t9_goboard9
2017-01-12 22:15
102K
goboard9__t10_goboard9
2017-01-12 22:15
62K
goboard9__t11_goboard9
2017-01-12 22:15
95K
goboard9__t12_goboard9
2017-01-12 22:15
57K
goboard9__t13_goboard9
2017-01-12 22:15
58K
goboard9__t14_goboard9
2017-01-12 22:15
96K
goboard9__t15_goboard9
2017-01-12 22:15
55K
goboard9__t16_goboard9
2017-01-12 22:15
77K
goboard9__t17_goboard9
2017-01-12 22:15
51K
goboard9__t19_goboard9
2017-01-12 22:15
56K
goboard9__t20_goboard9
2017-01-12 22:15
77K
goboard9__t21_goboard9
2017-01-12 22:15
460K
goboard9__t22_goboard9
2017-01-12 22:15
45K
goboard9__t23_goboard9
2017-01-12 22:15
117K
goboard9__t24_goboard9
2017-01-12 22:15
43K
goboard9__t25_goboard9
2017-01-12 22:15
78K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80