Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/scmfsa9a
Name
Last modified
Size
Description
Parent Directory
-
scmfsa9a__l11_scmfsa9a
2017-01-05 20:54
538K
scmfsa9a__l12_scmfsa9a
2016-03-08 13:09
255K
scmfsa9a__l13_scmfsa9a
2016-03-08 13:09
267K
scmfsa9a__l30_scmfsa9a
2017-01-05 20:54
538K
scmfsa9a__l31_scmfsa9a
2016-03-08 13:09
255K
scmfsa9a__l32_scmfsa9a
2016-03-08 13:09
267K
scmfsa9a__l51_scmfsa9a
2016-03-08 13:09
113K
scmfsa9a__l52_scmfsa9a
2016-03-08 13:09
114K
scmfsa9a__t1_scmfsa9a
2016-03-08 13:09
88K
scmfsa9a__t2_scmfsa9a
2016-03-08 13:09
88K
scmfsa9a__t3_scmfsa9a
2016-03-08 13:09
91K
scmfsa9a__t4_scmfsa9a
2016-03-08 13:09
109K
scmfsa9a__t5_scmfsa9a
2016-03-08 13:09
83K
scmfsa9a__t6_scmfsa9a
2016-03-08 13:09
101K
scmfsa9a__t7_scmfsa9a
2016-03-08 13:09
163K
scmfsa9a__t8_scmfsa9a
2016-03-08 13:09
169K
scmfsa9a__t9_scmfsa9a
2016-03-08 13:09
163K
scmfsa9a__t10_scmfsa9a
2016-03-08 13:09
169K
scmfsa9a__t11_scmfsa9a
2016-03-08 13:09
153K
scmfsa9a__t12_scmfsa9a
2016-03-08 13:09
151K
scmfsa9a__t13_scmfsa9a
2016-03-08 13:09
90K
scmfsa9a__t14_scmfsa9a
2016-03-08 13:09
386K
scmfsa9a__t15_scmfsa9a
2016-03-08 13:09
91K
scmfsa9a__t16_scmfsa9a
2016-03-08 13:09
251K
scmfsa9a__t17_scmfsa9a
2016-03-08 13:09
226K
scmfsa9a__t18_scmfsa9a
2016-03-08 13:09
130K
scmfsa9a__t19_scmfsa9a
2016-03-08 13:09
141K
scmfsa9a__t20_scmfsa9a
2016-03-08 13:09
154K
scmfsa9a__t21_scmfsa9a
2016-03-08 13:09
144K
scmfsa9a__t22_scmfsa9a
2016-03-08 13:09
131K
scmfsa9a__t23_scmfsa9a
2016-03-08 13:09
134K
scmfsa9a__t24_scmfsa9a
2016-03-08 13:09
153K
scmfsa9a__t25_scmfsa9a
2016-03-08 13:09
151K
scmfsa9a__t26_scmfsa9a
2016-03-08 13:09
92K
scmfsa9a__t27_scmfsa9a
2016-03-08 13:09
386K
scmfsa9a__t28_scmfsa9a
2016-03-08 13:09
94K
scmfsa9a__t29_scmfsa9a
2016-03-08 13:09
250K
scmfsa9a__t30_scmfsa9a
2016-03-08 13:09
226K
scmfsa9a__t31_scmfsa9a
2016-03-08 13:09
133K
scmfsa9a__t32_scmfsa9a
2016-03-08 13:09
143K
scmfsa9a__t33_scmfsa9a
2016-03-08 13:09
156K
scmfsa9a__t34_scmfsa9a
2016-03-08 13:09
147K
scmfsa9a__t35_scmfsa9a
2016-03-08 13:09
134K
scmfsa9a__t36_scmfsa9a
2016-03-08 13:09
134K
scmfsa9a__t37_scmfsa9a
2016-03-08 13:09
132K
scmfsa9a__t38_scmfsa9a
2016-03-08 13:09
107K
scmfsa9a__t39_scmfsa9a
2016-03-08 13:09
230K
scmfsa9a__t40_scmfsa9a
2016-03-08 13:09
179K
scmfsa9a__t41_scmfsa9a
2016-03-08 13:09
108K
scmfsa9a__t42_scmfsa9a
2016-03-08 13:09
607K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80