Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/csspace2
Name
Last modified
Size
Description
Parent Directory
-
csspace2__l1_csspace2
2016-03-08 13:05
44K
csspace2__l2_csspace2
2016-03-08 13:05
38K
csspace2__l3_csspace2
2016-03-08 13:05
214K
csspace2__l4_csspace2
2016-03-08 13:05
72K
csspace2__l5_csspace2
2016-03-08 13:05
40K
csspace2__l6_csspace2
2016-03-08 13:05
54K
csspace2__l7_csspace2
2016-03-08 13:05
57K
csspace2__l8_csspace2
2016-03-08 13:05
74K
csspace2__l9_csspace2
2016-03-08 13:05
67K
csspace2__l10_csspace2
2016-03-08 13:05
51K
csspace2__l11_csspace2
2016-03-08 13:05
71K
csspace2__l12_csspace2
2016-03-08 13:05
79K
csspace2__l13_csspace2
2016-03-08 13:05
80K
csspace2__l14_csspace2
2016-03-08 13:05
55K
csspace2__l15_csspace2
2016-03-08 13:05
71K
csspace2__l16_csspace2
2016-03-08 13:05
169K
csspace2__l17_csspace2
2016-03-08 13:05
64K
csspace2__l18_csspace2
2016-03-08 13:05
45K
csspace2__l19_csspace2
2016-03-08 13:05
79K
csspace2__l22_csspace2
2016-03-08 13:05
209K
csspace2__l23_csspace2
2016-03-08 13:05
55K
csspace2__l24_csspace2
2016-03-08 13:05
109K
csspace2__l25_csspace2
2016-03-08 13:05
113K
csspace2__t1_csspace2
2016-03-08 13:05
121K
csspace2__t2_csspace2
2016-03-08 13:05
299K
csspace2__t3_csspace2
2016-03-08 13:05
32K
csspace2__t4_csspace2
2016-03-08 13:05
38K
csspace2__t5_csspace2
2016-03-08 13:05
32K
csspace2__t7_csspace2
2016-03-08 13:05
33K
csspace2__t8_csspace2
2016-03-08 13:05
43K
csspace2__t9_csspace2
2016-03-08 13:05
36K
csspace2__t10_csspace2
2016-03-08 13:05
42K
csspace2__t11_csspace2
2016-03-08 13:05
48K
csspace2__t12_csspace2
2016-03-08 13:05
47K
csspace2__t13_csspace2
2016-03-08 13:05
63K
csspace2__t14_csspace2
2016-03-08 13:05
36K
csspace2__t15_csspace2
2016-03-08 13:05
42K
csspace2__t16_csspace2
2016-03-08 13:05
44K
csspace2__t17_csspace2
2016-03-08 13:05
42K
csspace2__t18_csspace2
2016-03-08 13:05
44K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80