Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/jordan21
Name
Last modified
Size
Description
Parent Directory
-
jordan21__t9_jordan21
2017-01-05 20:54
52K
jordan21__t50_jordan21
2017-01-05 20:54
158K
jordan21__t49_jordan21
2017-01-05 20:54
158K
jordan21__t42_jordan21
2017-01-05 20:54
93K
jordan21__t8_jordan21
2017-01-05 20:54
52K
jordan21__t7_jordan21
2017-01-05 20:54
52K
jordan21__t6_jordan21
2017-01-05 20:54
52K
jordan21__t5_jordan21
2017-01-05 20:54
95K
jordan21__t4_jordan21
2017-01-05 20:54
95K
jordan21__t3_jordan21
2017-01-05 20:54
95K
jordan21__t35_jordan21
2017-01-05 20:54
122K
jordan21__t34_jordan21
2017-01-05 20:54
122K
jordan21__t33_jordan21
2017-01-05 20:54
110K
jordan21__t32_jordan21
2017-01-05 20:54
110K
jordan21__t27_jordan21
2017-01-05 20:54
113K
jordan21__t26_jordan21
2017-01-05 20:54
113K
jordan21__t2_jordan21
2017-01-05 20:54
95K
jordan21__t25_jordan21
2017-01-05 20:54
113K
jordan21__t24_jordan21
2017-01-05 20:54
113K
jordan21__t23_jordan21
2017-01-05 20:54
86K
jordan21__t22_jordan21
2017-01-05 20:54
107K
jordan21__t21_jordan21
2017-01-05 20:54
106K
jordan21__t20_jordan21
2017-01-05 20:54
89K
jordan21__t19_jordan21
2017-01-05 20:54
89K
jordan21__t18_jordan21
2017-01-05 20:54
89K
jordan21__t17_jordan21
2017-01-05 20:54
89K
jordan21__t15_jordan21
2017-01-05 20:54
130K
jordan21__t48_jordan21
2016-03-08 13:07
80K
jordan21__t47_jordan21
2016-03-08 13:07
80K
jordan21__t46_jordan21
2016-03-08 13:07
107K
jordan21__t45_jordan21
2016-03-08 13:07
108K
jordan21__t44_jordan21
2016-03-08 13:07
101K
jordan21__t43_jordan21
2016-03-08 13:07
101K
jordan21__t41_jordan21
2016-03-08 13:07
77K
jordan21__t40_jordan21
2016-03-08 13:07
75K
jordan21__t39_jordan21
2016-03-08 13:07
75K
jordan21__t38_jordan21
2016-03-08 13:07
77K
jordan21__t37_jordan21
2016-03-08 13:07
74K
jordan21__t36_jordan21
2016-03-08 13:07
108K
jordan21__t31_jordan21
2016-03-08 13:07
76K
jordan21__t30_jordan21
2016-03-08 13:07
78K
jordan21__t29_jordan21
2016-03-08 13:07
80K
jordan21__t28_jordan21
2016-03-08 13:07
82K
jordan21__t1_jordan21
2016-03-08 13:07
46K
jordan21__t16_jordan21
2016-03-08 13:07
44K
jordan21__t14_jordan21
2016-03-08 13:07
45K
jordan21__t13_jordan21
2016-03-08 13:07
71K
jordan21__t12_jordan21
2016-03-08 13:07
71K
jordan21__t11_jordan21
2016-03-08 13:07
51K
jordan21__t10_jordan21
2016-03-08 13:07
48K
jordan21__l4_jordan21
2016-03-08 13:07
1.5K
jordan21__l3_jordan21
2016-03-08 13:07
7.7K
jordan21__l2_jordan21
2016-03-08 13:07
46K
jordan21__l1_jordan21
2016-03-08 13:07
43K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80