Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/quaterni
Name
Last modified
Size
Description
Parent Directory
-
quaterni__l6_quaterni
2016-03-08 13:08
24K
quaterni__l8_quaterni
2016-03-08 13:08
33K
quaterni__l13_quaterni
2016-03-08 13:08
34K
quaterni__l15_quaterni
2017-01-05 20:54
54K
quaterni__l19_quaterni
2016-03-08 13:08
17K
quaterni__l21_quaterni
2017-01-05 20:54
58K
quaterni__l26_quaterni
2017-01-05 20:54
56K
quaterni__l46_quaterni
2016-03-08 13:08
39K
quaterni__l47_quaterni
2017-01-05 20:54
52K
quaterni__l53_quaterni
2016-03-08 13:08
66K
quaterni__l57_quaterni
2017-01-05 20:54
48K
quaterni__l61_quaterni
2017-01-05 20:54
53K
quaterni__l62_quaterni
2017-01-05 20:54
52K
quaterni__l63_quaterni
2017-01-05 20:54
52K
quaterni__l64_quaterni
2017-01-05 20:54
77K
quaterni__l65_quaterni
2017-01-05 20:54
53K
quaterni__l66_quaterni
2017-01-05 20:54
77K
quaterni__l67_quaterni
2017-01-05 20:54
77K
quaterni__l69_quaterni
2017-01-05 20:54
52K
quaterni__l76_quaterni
2017-01-05 20:54
79K
quaterni__l77_quaterni
2017-01-05 20:54
68K
quaterni__l79_quaterni
2017-01-05 20:54
154K
quaterni__l81_quaterni
2017-01-05 20:54
55K
quaterni__l82_quaterni
2017-01-05 20:54
67K
quaterni__l86_quaterni
2017-01-05 20:54
82K
quaterni__l88_quaterni
2017-01-05 20:54
90K
quaterni__l124_quaterni
2016-03-08 13:08
41K
quaterni__l125_quaterni
2016-03-08 13:08
40K
quaterni__l126_quaterni
2016-03-08 13:08
41K
quaterni__l127_quaterni
2016-03-08 13:08
67K
quaterni__l128_quaterni
2016-03-08 13:08
3.3K
quaterni__l129_quaterni
2016-03-08 13:08
45K
quaterni__l130_quaterni
2016-03-08 13:08
69K
quaterni__l131_quaterni
2016-03-08 13:08
48K
quaterni__l138_quaterni
2017-01-05 20:54
80K
quaterni__l139_quaterni
2017-01-05 20:54
80K
quaterni__l140_quaterni
2017-01-05 20:54
72K
quaterni__l141_quaterni
2017-01-05 20:54
204K
quaterni__l142_quaterni
2017-01-05 20:54
203K
quaterni__l147_quaterni
2017-01-05 20:54
79K
quaterni__t1_quaterni
2016-03-08 13:08
37K
quaterni__t2_quaterni
2016-03-08 13:08
36K
quaterni__t3_quaterni
2016-03-08 13:08
34K
quaterni__t4_quaterni
2016-03-08 13:08
30K
quaterni__t5_quaterni
2016-03-08 13:08
20K
quaterni__t6_quaterni
2016-03-08 13:08
39K
quaterni__t7_quaterni
2017-01-05 20:54
61K
quaterni__t8_quaterni
2016-03-08 13:08
39K
quaterni__t9_quaterni
2017-01-05 20:54
40K
quaterni__t10_quaterni
2017-01-05 20:54
59K
quaterni__t11_quaterni
2016-03-08 13:08
3.7K
quaterni__t12_quaterni
2017-01-05 20:54
57K
quaterni__t13_quaterni
2017-01-05 20:54
155K
quaterni__t14_quaterni
2017-01-05 20:54
96K
quaterni__t15_quaterni
2017-01-05 20:54
96K
quaterni__t16_quaterni
2017-01-05 20:54
164K
quaterni__t17_quaterni
2017-01-05 20:54
164K
quaterni__t18_quaterni
2017-01-05 20:54
164K
quaterni__t19_quaterni
2017-01-05 20:54
166K
quaterni__t20_quaterni
2017-01-05 20:54
96K
quaterni__t21_quaterni
2017-01-05 20:54
166K
quaterni__t22_quaterni
2016-03-08 13:08
47K
quaterni__t23_quaterni
2017-01-05 20:54
63K
quaterni__t24_quaterni
2017-01-05 20:54
66K
quaterni__t25_quaterni
2017-01-05 20:54
47K
quaterni__t26_quaterni
2017-01-05 20:54
48K
quaterni__t27_quaterni
2017-01-05 20:54
83K
quaterni__t28_quaterni
2016-03-08 13:08
60K
quaterni__t29_quaterni
2017-01-05 20:54
48K
quaterni__t30_quaterni
2017-01-05 20:54
52K
quaterni__t31_quaterni
2017-01-05 20:54
59K
quaterni__t32_quaterni
2017-01-05 20:54
53K
quaterni__t33_quaterni
2016-03-08 13:08
102K
quaterni__t34_quaterni
2017-01-05 20:54
97K
quaterni__t35_quaterni
2017-01-05 20:54
97K
quaterni__t36_quaterni
2017-01-05 20:54
53K
quaterni__t37_quaterni
2017-01-05 20:54
64K
quaterni__t38_quaterni
2017-01-05 20:54
173K
quaterni__t39_quaterni
2017-01-05 20:54
86K
quaterni__t40_quaterni
2017-01-05 20:54
205K
quaterni__t41_quaterni
2017-01-05 20:54
68K
quaterni__t42_quaterni
2017-01-05 20:54
88K
quaterni__t43_quaterni
2017-01-05 20:54
126K
quaterni__t44_quaterni
2017-01-05 20:54
68K
quaterni__t45_quaterni
2017-01-05 20:54
68K
quaterni__t46_quaterni
2017-01-05 20:54
168K
quaterni__t47_quaterni
2017-01-05 20:54
69K
quaterni__t48_quaterni
2017-01-05 20:54
68K
quaterni__t49_quaterni
2017-01-05 20:54
68K
quaterni__t50_quaterni
2017-01-05 20:54
68K
quaterni__t51_quaterni
2017-01-05 20:54
68K
quaterni__t52_quaterni
2017-01-05 20:54
68K
quaterni__t53_quaterni
2017-01-05 20:54
68K
quaterni__t54_quaterni
2017-01-05 20:54
78K
quaterni__t55_quaterni
2017-01-05 20:54
83K
quaterni__t56_quaterni
2017-01-05 20:54
92K
quaterni__t57_quaterni
2017-01-05 20:54
431K
quaterni__t58_quaterni
2017-01-05 20:54
68K
quaterni__t59_quaterni
2017-01-05 20:54
68K
quaterni__t60_quaterni
2017-01-05 20:54
173K
quaterni__t61_quaterni
2017-01-05 20:54
125K
quaterni__t62_quaterni
2017-01-05 20:54
66K
quaterni__t63_quaterni
2017-01-05 20:54
80K
quaterni__t64_quaterni
2017-01-05 20:54
172K
quaterni__t65_quaterni
2017-01-05 20:54
84K
quaterni__t66_quaterni
2017-01-05 20:54
246K
quaterni__t67_quaterni
2016-03-08 13:08
44K
quaterni__t68_quaterni
2017-01-05 20:54
84K
quaterni__t69_quaterni
2016-03-08 13:08
46K
quaterni__t70_quaterni
2017-01-05 20:54
71K
quaterni__t71_quaterni
2017-01-05 20:54
71K
quaterni__t72_quaterni
2017-01-05 20:54
204K
quaterni__t73_quaterni
2017-01-05 20:54
428K
quaterni__t74_quaterni
2016-03-08 13:08
39K
quaterni__t75_quaterni
2016-03-08 13:08
71K
quaterni__t76_quaterni
2016-03-08 13:08
71K
quaterni__t77_quaterni
2016-03-08 13:08
71K
quaterni__t78_quaterni
2016-03-08 13:08
71K
quaterni__t79_quaterni
2017-01-05 20:54
253K
quaterni__t80_quaterni
2017-01-05 20:54
99K
quaterni__t81_quaterni
2017-01-05 20:54
99K
quaterni__t82_quaterni
2017-01-05 20:54
99K
quaterni__t83_quaterni
2017-01-05 20:54
86K
quaterni__t84_quaterni
2017-01-05 20:54
87K
quaterni__t85_quaterni
2017-01-05 20:54
99K
quaterni__t86_quaterni
2017-01-05 20:54
101K
quaterni__t87_quaterni
2017-01-05 20:54
249K
quaterni__t88_quaterni
2017-01-05 20:54
98K
quaterni__t89_quaterni
2017-01-05 20:54
170K
quaterni__t90_quaterni
2016-03-08 13:08
26K
quaterni__t91_quaterni
2017-01-05 20:54
45K
quaterni__t92_quaterni
2017-01-05 20:54
68K
quaterni__t93_quaterni
2017-01-05 20:54
153K
quaterni__t94_quaterni
2017-01-05 20:54
67K
quaterni__t95_quaterni
2017-01-05 20:54
87K
quaterni__t96_quaterni
2016-03-08 13:08
56K
quaterni__t97_quaterni
2017-01-05 20:54
77K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80