Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/scmpds_4
Name
Last modified
Size
Description
Parent Directory
-
scmpds_4__l26_scmpds_4
2016-03-08 13:09
106K
scmpds_4__l32_scmpds_4
2016-03-08 13:09
99K
scmpds_4__t1_scmpds_4
2016-03-08 13:09
364K
scmpds_4__t2_scmpds_4
2016-03-08 13:09
76K
scmpds_4__t3_scmpds_4
2016-03-08 13:09
75K
scmpds_4__t4_scmpds_4
2016-03-08 13:09
74K
scmpds_4__t5_scmpds_4
2016-03-08 13:09
66K
scmpds_4__t6_scmpds_4
2016-03-08 13:09
67K
scmpds_4__t8_scmpds_4
2016-03-08 13:09
75K
scmpds_4__t9_scmpds_4
2016-03-08 13:09
79K
scmpds_4__t10_scmpds_4
2016-03-08 13:09
79K
scmpds_4__t11_scmpds_4
2016-03-08 13:09
79K
scmpds_4__t12_scmpds_4
2016-03-08 13:09
81K
scmpds_4__t13_scmpds_4
2016-03-08 13:09
80K
scmpds_4__t14_scmpds_4
2016-03-08 13:09
79K
scmpds_4__t15_scmpds_4
2016-03-08 13:09
80K
scmpds_4__t16_scmpds_4
2016-03-08 13:09
80K
scmpds_4__t17_scmpds_4
2016-03-08 13:09
81K
scmpds_4__t18_scmpds_4
2016-03-08 13:09
69K
scmpds_4__t20_scmpds_4
2016-03-08 13:09
563K
scmpds_4__t21_scmpds_4
2016-03-08 13:09
83K
scmpds_4__t22_scmpds_4
2016-03-08 13:09
84K
scmpds_4__t23_scmpds_4
2017-01-05 20:54
274K
scmpds_4__t24_scmpds_4
2017-01-05 20:54
259K
scmpds_4__t25_scmpds_4
2017-01-05 20:54
260K
scmpds_4__t26_scmpds_4
2017-01-05 20:54
260K
scmpds_4__t27_scmpds_4
2016-03-08 13:09
97K
scmpds_4__t28_scmpds_4
2016-03-08 13:09
1.0M
scmpds_4__t29_scmpds_4
2017-01-05 20:54
170K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80