Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/goboard7
Name
Last modified
Size
Description
Parent Directory
-
goboard7__l25_goboard7
2017-01-13 00:37
44K
goboard7__l30_goboard7
2017-01-13 00:38
75K
goboard7__t1_goboard7
2017-01-13 00:37
65K
goboard7__t2_goboard7
2017-01-13 00:38
39K
goboard7__t3_goboard7
2017-01-13 00:38
71K
goboard7__t4_goboard7
2017-01-13 00:37
65K
goboard7__t5_goboard7
2017-01-13 00:38
95K
goboard7__t6_goboard7
2017-01-13 00:38
95K
goboard7__t7_goboard7
2017-01-13 00:38
84K
goboard7__t8_goboard7
2017-01-13 00:38
84K
goboard7__t9_goboard7
2017-01-13 00:38
93K
goboard7__t10_goboard7
2017-01-13 00:38
102K
goboard7__t11_goboard7
2017-01-13 00:38
102K
goboard7__t12_goboard7
2017-01-13 00:38
167K
goboard7__t13_goboard7
2017-01-13 00:38
100K
goboard7__t14_goboard7
2017-01-13 00:38
100K
goboard7__t15_goboard7
2017-01-13 00:38
99K
goboard7__t16_goboard7
2017-01-13 00:38
99K
goboard7__t17_goboard7
2017-01-13 00:38
99K
goboard7__t18_goboard7
2017-01-13 00:38
99K
goboard7__t19_goboard7
2017-01-13 00:38
127K
goboard7__t20_goboard7
2017-01-13 00:38
127K
goboard7__t21_goboard7
2017-01-13 00:38
110K
goboard7__t22_goboard7
2017-01-13 00:38
130K
goboard7__t23_goboard7
2017-01-13 00:38
130K
goboard7__t24_goboard7
2017-01-13 00:38
122K
goboard7__t25_goboard7
2017-01-13 00:38
204K
goboard7__t26_goboard7
2017-01-13 00:38
204K
goboard7__t27_goboard7
2017-01-13 00:38
206K
goboard7__t28_goboard7
2017-01-13 00:38
206K
goboard7__t29_goboard7
2017-01-13 00:38
96K
goboard7__t30_goboard7
2017-01-13 00:38
135K
goboard7__t31_goboard7
2017-01-13 00:38
135K
goboard7__t32_goboard7
2017-01-13 00:38
82K
goboard7__t33_goboard7
2017-01-13 00:38
82K
goboard7__t34_goboard7
2017-01-13 00:38
90K
goboard7__t35_goboard7
2017-01-13 00:38
264K
goboard7__t36_goboard7
2017-01-13 00:38
68K
goboard7__t37_goboard7
2017-01-13 00:38
68K
goboard7__t38_goboard7
2017-01-13 00:38
67K
goboard7__t39_goboard7
2017-01-13 00:38
208K
goboard7__t40_goboard7
2017-01-13 00:38
208K
goboard7__t41_goboard7
2017-01-13 00:38
95K
goboard7__t42_goboard7
2017-01-13 00:38
97K
goboard7__t43_goboard7
2017-01-13 00:38
95K
goboard7__t44_goboard7
2017-01-13 00:38
95K
goboard7__t45_goboard7
2017-01-13 00:38
97K
goboard7__t46_goboard7
2017-01-13 00:38
95K
goboard7__t47_goboard7
2017-01-13 00:38
95K
goboard7__t48_goboard7
2017-01-13 00:38
97K
goboard7__t49_goboard7
2017-01-13 00:38
95K
goboard7__t50_goboard7
2017-01-13 00:38
95K
goboard7__t51_goboard7
2017-01-13 00:38
97K
goboard7__t52_goboard7
2017-01-13 00:38
95K
goboard7__t53_goboard7
2017-01-13 00:38
294K
goboard7__t54_goboard7
2017-01-13 00:38
296K
goboard7__t55_goboard7
2017-01-13 00:38
296K
goboard7__t56_goboard7
2017-01-13 00:38
294K
goboard7__t57_goboard7
2017-01-13 00:38
296K
goboard7__t58_goboard7
2017-01-13 00:38
296K
goboard7__t59_goboard7
2017-01-13 00:38
121K
goboard7__t60_goboard7
2017-01-13 00:38
122K
goboard7__t61_goboard7
2017-01-13 00:38
121K
goboard7__t62_goboard7
2017-01-13 00:38
122K
goboard7__t63_goboard7
2017-01-13 00:38
79K
goboard7__t64_goboard7
2017-01-13 00:38
79K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80