Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/jordan17
Name
Last modified
Size
Description
Parent Directory
-
jordan17__t7_jordan17
2016-03-08 13:06
56K
jordan17__t8_jordan17
2016-03-08 13:06
49K
jordan17__t5_jordan17
2016-03-08 13:06
48K
jordan17__t4_jordan17
2016-03-08 13:06
48K
jordan17__t3_jordan17
2016-03-08 13:06
48K
jordan17__t6_jordan17
2016-03-08 13:06
36K
jordan17__t1_jordan17
2016-03-08 13:06
30K
jordan17__t20_jordan17
2016-03-08 13:06
25K
jordan17__t19_jordan17
2016-03-08 13:06
25K
jordan17__t18_jordan17
2016-03-08 13:06
25K
jordan17__t17_jordan17
2016-03-08 13:06
25K
jordan17__t16_jordan17
2016-03-08 13:06
25K
jordan17__t15_jordan17
2016-03-08 13:06
25K
jordan17__t14_jordan17
2016-03-08 13:06
25K
jordan17__t13_jordan17
2016-03-08 13:06
25K
jordan17__t2_jordan17
2016-03-08 13:06
23K
jordan17__t26_jordan17
2016-03-08 13:06
22K
jordan17__t24_jordan17
2016-03-08 13:06
22K
jordan17__t23_jordan17
2016-03-08 13:06
22K
jordan17__t21_jordan17
2016-03-08 13:06
22K
jordan17__t27_jordan17
2016-03-08 13:06
22K
jordan17__t25_jordan17
2016-03-08 13:06
22K
jordan17__t22_jordan17
2016-03-08 13:06
22K
jordan17__t9_jordan17
2016-03-08 13:06
21K
jordan17__t12_jordan17
2016-03-08 13:06
21K
jordan17__t11_jordan17
2016-03-08 13:06
21K
jordan17__t10_jordan17
2016-03-08 13:06
21K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80