Index of /~mptp/7.13.01_4.181.1147/mptp/problems_notypes/jordan17
Name
Last modified
Size
Description
Parent Directory
-
jordan17__t1_jordan17
2017-03-01 15:25
13K
jordan17__t2_jordan17
2017-03-01 15:25
9.9K
jordan17__t3_jordan17
2017-03-01 15:25
20K
jordan17__t4_jordan17
2017-03-01 15:25
20K
jordan17__t5_jordan17
2017-03-01 15:25
20K
jordan17__t6_jordan17
2017-03-01 15:25
15K
jordan17__t7_jordan17
2017-03-01 15:25
23K
jordan17__t8_jordan17
2017-03-01 15:25
20K
jordan17__t9_jordan17
2017-03-01 15:25
9.1K
jordan17__t10_jordan17
2017-03-01 15:25
9.1K
jordan17__t11_jordan17
2017-03-01 15:25
9.1K
jordan17__t12_jordan17
2017-03-01 15:25
9.1K
jordan17__t13_jordan17
2017-03-01 15:25
10K
jordan17__t14_jordan17
2017-03-01 15:25
10K
jordan17__t15_jordan17
2017-03-01 15:25
10K
jordan17__t16_jordan17
2017-03-01 15:25
10K
jordan17__t17_jordan17
2017-03-01 15:25
10K
jordan17__t18_jordan17
2017-03-01 15:25
10K
jordan17__t19_jordan17
2017-03-01 15:26
10K
jordan17__t20_jordan17
2017-03-01 15:26
10K
jordan17__t21_jordan17
2017-03-01 15:26
9.4K
jordan17__t22_jordan17
2017-03-01 15:26
9.3K
jordan17__t23_jordan17
2017-03-01 15:26
9.4K
jordan17__t24_jordan17
2017-03-01 15:26
9.4K
jordan17__t25_jordan17
2017-03-01 15:26
9.3K
jordan17__t26_jordan17
2017-03-01 15:26
9.4K
jordan17__t27_jordan17
2017-03-01 15:26
9.5K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80