Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/goboard9
Name
Last modified
Size
Description
Parent Directory
-
goboard9__l9_goboard9
2017-01-13 00:41
73K
goboard9__t25_goboard9
2017-01-13 00:41
108K
goboard9__t24_goboard9
2017-01-13 00:41
67K
goboard9__t23_goboard9
2017-01-13 00:41
148K
goboard9__t21_goboard9
2017-01-13 00:41
521K
goboard9__t20_goboard9
2017-01-13 00:41
107K
goboard9__t19_goboard9
2017-01-13 00:41
83K
goboard9__t17_goboard9
2017-01-13 00:41
77K
goboard9__t16_goboard9
2017-01-13 00:41
106K
goboard9__t15_goboard9
2017-01-13 00:41
82K
goboard9__t14_goboard9
2017-01-13 00:41
132K
goboard9__t13_goboard9
2017-01-13 00:41
85K
goboard9__t12_goboard9
2017-01-13 00:41
83K
goboard9__t11_goboard9
2017-01-13 00:41
129K
goboard9__t10_goboard9
2017-01-13 00:41
90K
goboard9__t9_goboard9
2017-01-13 00:41
139K
goboard9__t8_goboard9
2017-01-13 00:41
150K
goboard9__t7_goboard9
2017-01-13 00:41
150K
goboard9__t6_goboard9
2017-01-13 00:41
64K
goboard9__t4_goboard9
2017-01-13 00:41
42K
goboard9__t3_goboard9
2017-01-13 00:41
51K
goboard9__t2_goboard9
2017-01-13 00:41
41K
goboard9__t1_goboard9
2017-01-13 00:41
40K
goboard9__t22_goboard9
2017-01-13 00:41
69K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80