Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/scmfsa7b
Name
Last modified
Size
Description
Parent Directory
-
scmfsa7b__l3_scmfsa7b
2016-03-08 13:09
340K
scmfsa7b__l5_scmfsa7b
2016-03-08 13:09
42K
scmfsa7b__l6_scmfsa7b
2016-03-08 13:09
338K
scmfsa7b__l7_scmfsa7b
2016-03-08 13:09
99K
scmfsa7b__l8_scmfsa7b
2017-01-05 20:54
683K
scmfsa7b__t1_scmfsa7b
2016-03-08 13:09
123K
scmfsa7b__t2_scmfsa7b
2016-03-08 13:09
122K
scmfsa7b__t3_scmfsa7b
2016-03-08 13:09
125K
scmfsa7b__t4_scmfsa7b
2016-03-08 13:09
155K
scmfsa7b__t5_scmfsa7b
2016-03-08 13:09
104K
scmfsa7b__t6_scmfsa7b
2016-03-08 13:09
116K
scmfsa7b__t7_scmfsa7b
2016-03-08 13:09
116K
scmfsa7b__t8_scmfsa7b
2016-03-08 13:09
116K
scmfsa7b__t9_scmfsa7b
2016-03-08 13:09
116K
scmfsa7b__t10_scmfsa7b
2016-03-08 13:09
116K
scmfsa7b__t11_scmfsa7b
2016-03-08 13:09
105K
scmfsa7b__t12_scmfsa7b
2016-03-08 13:09
104K
scmfsa7b__t13_scmfsa7b
2016-03-08 13:09
104K
scmfsa7b__t14_scmfsa7b
2016-03-08 13:09
116K
scmfsa7b__t15_scmfsa7b
2016-03-08 13:09
121K
scmfsa7b__t16_scmfsa7b
2016-03-08 13:09
116K
scmfsa7b__t17_scmfsa7b
2016-03-08 13:09
120K
scmfsa7b__t18_scmfsa7b
2016-03-08 13:09
110K
scmfsa7b__t19_scmfsa7b
2016-03-08 13:09
103K
scmfsa7b__t20_scmfsa7b
2017-01-05 20:54
242K
scmfsa7b__t21_scmfsa7b
2016-03-08 13:09
126K
scmfsa7b__t22_scmfsa7b
2016-03-08 13:09
139K
scmfsa7b__t23_scmfsa7b
2016-03-08 13:09
113K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80