Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/binari_3
Name
Last modified
Size
Description
Parent Directory
-
binari_3__l29_binari_3
2017-01-05 20:54
92K
binari_3__l30_binari_3
2016-03-08 13:04
56K
binari_3__l31_binari_3
2016-03-08 13:04
83K
binari_3__l32_binari_3
2017-01-05 20:54
164K
binari_3__t1_binari_3
2017-01-05 20:54
62K
binari_3__t2_binari_3
2017-01-05 20:54
69K
binari_3__t3_binari_3
2016-03-08 13:04
12K
binari_3__t4_binari_3
2017-01-05 20:54
29K
binari_3__t5_binari_3
2017-01-05 20:54
54K
binari_3__t6_binari_3
2017-01-05 20:54
44K
binari_3__t7_binari_3
2017-01-05 20:54
47K
binari_3__t8_binari_3
2017-01-05 20:54
40K
binari_3__t9_binari_3
2017-01-05 20:54
42K
binari_3__t10_binari_3
2016-03-08 13:04
23K
binari_3__t11_binari_3
2016-03-08 13:04
34K
binari_3__t12_binari_3
2016-03-08 13:04
49K
binari_3__t13_binari_3
2016-03-08 13:04
71K
binari_3__t14_binari_3
2016-03-08 13:04
53K
binari_3__t15_binari_3
2016-03-08 13:04
53K
binari_3__t16_binari_3
2016-03-08 13:04
32K
binari_3__t17_binari_3
2016-03-08 13:04
29K
binari_3__t18_binari_3
2016-03-08 13:04
45K
binari_3__t19_binari_3
2016-03-08 13:04
75K
binari_3__t20_binari_3
2016-03-08 13:04
59K
binari_3__t21_binari_3
2017-01-05 20:54
84K
binari_3__t22_binari_3
2017-01-05 20:54
84K
binari_3__t23_binari_3
2017-01-05 20:54
78K
binari_3__t24_binari_3
2017-01-05 20:54
53K
binari_3__t25_binari_3
2017-01-05 20:54
40K
binari_3__t26_binari_3
2016-03-08 13:04
51K
binari_3__t27_binari_3
2016-03-08 13:04
59K
binari_3__t28_binari_3
2017-01-05 20:54
119K
binari_3__t29_binari_3
2016-03-08 13:04
27K
binari_3__t30_binari_3
2016-03-08 13:04
33K
binari_3__t31_binari_3
2017-01-05 20:54
52K
binari_3__t32_binari_3
2017-01-05 20:54
49K
binari_3__t33_binari_3
2017-01-05 20:54
161K
binari_3__t34_binari_3
2016-03-08 13:04
148K
binari_3__t35_binari_3
2017-01-05 20:54
58K
binari_3__t36_binari_3
2016-03-08 13:04
23K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80