Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/lattice8
Name
Last modified
Size
Description
Parent Directory
-
lattice8__l3_lattice8
2016-03-08 13:07
31K
lattice8__l4_lattice8
2016-03-08 13:07
26K
lattice8__l47_lattice8
2016-03-08 13:07
28K
lattice8__l48_lattice8
2016-03-08 13:07
31K
lattice8__t1_lattice8
2016-03-08 13:07
39K
lattice8__t2_lattice8
2016-03-08 13:07
33K
lattice8__t3_lattice8
2016-03-08 13:07
46K
lattice8__t4_lattice8
2016-03-08 13:07
40K
lattice8__t5_lattice8
2016-03-08 13:07
52K
lattice8__t6_lattice8
2016-03-08 13:07
49K
lattice8__t7_lattice8
2016-03-08 13:07
65K
lattice8__t8_lattice8
2016-03-08 13:07
279K
lattice8__t9_lattice8
2016-03-08 13:07
71K
lattice8__t10_lattice8
2016-03-08 13:07
55K
lattice8__t11_lattice8
2016-03-08 13:07
55K
lattice8__t12_lattice8
2016-03-08 13:07
64K
lattice8__t13_lattice8
2016-03-08 13:07
57K
lattice8__t14_lattice8
2016-03-08 13:07
32K
lattice8__t15_lattice8
2016-03-08 13:07
32K
lattice8__t16_lattice8
2016-03-08 13:07
33K
lattice8__t17_lattice8
2016-03-08 13:07
29K
lattice8__t18_lattice8
2016-03-08 13:07
50K
lattice8__t19_lattice8
2016-03-08 13:07
50K
lattice8__t20_lattice8
2016-03-08 13:07
51K
lattice8__t21_lattice8
2016-03-08 13:07
30K
lattice8__t22_lattice8
2017-01-05 20:54
62K
lattice8__t23_lattice8
2016-03-08 13:07
53K
lattice8__t24_lattice8
2016-03-08 13:07
54K
lattice8__t25_lattice8
2016-03-08 13:07
60K
lattice8__t26_lattice8
2016-03-08 13:07
60K
lattice8__t27_lattice8
2017-01-05 20:54
85K
lattice8__t28_lattice8
2016-03-08 13:07
43K
lattice8__t29_lattice8
2017-01-05 20:54
87K
lattice8__t30_lattice8
2016-03-08 13:07
71K
lattice8__t31_lattice8
2016-03-08 13:07
72K
lattice8__t32_lattice8
2017-01-05 20:54
67K
lattice8__t33_lattice8
2017-01-05 20:54
60K
lattice8__t34_lattice8
2017-01-05 20:54
293K
lattice8__t35_lattice8
2017-01-05 20:54
178K
lattice8__t36_lattice8
2016-03-08 13:07
27K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80