Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/scmfsa_9
Name
Last modified
Size
Description
Parent Directory
-
scmfsa_9__l1_scmfsa_9
2016-03-08 13:09
107K
scmfsa_9__l2_scmfsa_9
2016-03-08 13:09
105K
scmfsa_9__l3_scmfsa_9
2016-03-08 13:09
100K
scmfsa_9__t1_scmfsa_9
2016-03-08 13:09
151K
scmfsa_9__t2_scmfsa_9
2016-03-08 13:09
151K
scmfsa_9__t3_scmfsa_9
2016-03-08 13:09
161K
scmfsa_9__t4_scmfsa_9
2016-03-08 13:09
231K
scmfsa_9__t5_scmfsa_9
2016-03-08 13:09
231K
scmfsa_9__t6_scmfsa_9
2016-03-08 13:09
248K
scmfsa_9__t10_scmfsa_9
2016-03-08 13:09
175K
scmfsa_9__t11_scmfsa_9
2016-03-08 13:09
391K
scmfsa_9__t12_scmfsa_9
2016-03-08 13:09
218K
scmfsa_9__t13_scmfsa_9
2016-03-08 13:09
218K
scmfsa_9__t14_scmfsa_9
2017-01-05 20:54
433K
scmfsa_9__t15_scmfsa_9
2017-01-05 20:54
538K
scmfsa_9__t16_scmfsa_9
2017-01-05 20:54
436K
scmfsa_9__t17_scmfsa_9
2016-03-08 13:09
218K
scmfsa_9__t18_scmfsa_9
2016-03-08 13:09
561K
scmfsa_9__t19_scmfsa_9
2017-01-05 20:54
287K
scmfsa_9__t20_scmfsa_9
2017-01-05 20:54
268K
scmfsa_9__t21_scmfsa_9
2016-03-08 13:09
170K
scmfsa_9__t22_scmfsa_9
2016-03-08 13:09
304K
scmfsa_9__t23_scmfsa_9
2016-03-08 13:09
168K
scmfsa_9__t25_scmfsa_9
2016-03-08 13:09
173K
scmfsa_9__t26_scmfsa_9
2016-03-08 13:09
181K
scmfsa_9__t27_scmfsa_9
2016-03-08 13:09
485K
scmfsa_9__t28_scmfsa_9
2016-03-08 13:09
167K
scmfsa_9__t29_scmfsa_9
2016-03-08 13:09
170K
scmfsa_9__t30_scmfsa_9
2016-03-08 13:09
97K
scmfsa_9__t31_scmfsa_9
2016-03-08 13:09
118K
scmfsa_9__t32_scmfsa_9
2016-03-08 13:09
218K
scmfsa_9__t33_scmfsa_9
2016-03-08 13:09
218K
scmfsa_9__t34_scmfsa_9
2017-01-05 20:54
433K
scmfsa_9__t35_scmfsa_9
2017-01-05 20:54
538K
scmfsa_9__t36_scmfsa_9
2017-01-05 20:54
436K
scmfsa_9__t37_scmfsa_9
2016-03-08 13:09
218K
scmfsa_9__t38_scmfsa_9
2016-03-08 13:09
563K
scmfsa_9__t39_scmfsa_9
2017-01-05 20:54
287K
scmfsa_9__t40_scmfsa_9
2017-01-05 20:54
267K
scmfsa_9__t41_scmfsa_9
2016-03-08 13:09
170K
scmfsa_9__t42_scmfsa_9
2016-03-08 13:09
307K
scmfsa_9__t43_scmfsa_9
2016-03-08 13:09
168K
scmfsa_9__t44_scmfsa_9
2016-03-08 13:09
173K
scmfsa_9__t45_scmfsa_9
2016-03-08 13:09
181K
scmfsa_9__t46_scmfsa_9
2016-03-08 13:09
490K
scmfsa_9__t47_scmfsa_9
2016-03-08 13:09
167K
scmfsa_9__t48_scmfsa_9
2016-03-08 13:09
170K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80