Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls1/quaterni
Name
Last modified
Size
Description
Parent Directory
-
quaterni__l6_quaterni
2017-01-13 17:42
36K
quaterni__l8_quaterni
2017-01-13 17:42
50K
quaterni__l13_quaterni
2017-01-13 17:42
51K
quaterni__l15_quaterni
2017-01-13 17:42
82K
quaterni__l19_quaterni
2017-01-13 17:42
25K
quaterni__l21_quaterni
2017-01-13 17:42
85K
quaterni__l26_quaterni
2017-01-13 17:42
86K
quaterni__l46_quaterni
2017-01-13 17:42
58K
quaterni__l47_quaterni
2017-01-13 17:42
77K
quaterni__l53_quaterni
2017-01-13 17:42
88K
quaterni__l57_quaterni
2017-01-13 17:42
72K
quaterni__l61_quaterni
2017-01-13 17:42
78K
quaterni__l62_quaterni
2017-01-13 17:42
78K
quaterni__l63_quaterni
2017-01-13 17:42
78K
quaterni__l64_quaterni
2017-01-13 17:42
107K
quaterni__l65_quaterni
2017-01-13 17:42
79K
quaterni__l66_quaterni
2017-01-13 17:42
108K
quaterni__l67_quaterni
2017-01-13 17:42
107K
quaterni__l69_quaterni
2017-01-13 17:42
77K
quaterni__l76_quaterni
2017-01-13 17:42
114K
quaterni__l77_quaterni
2017-01-13 17:42
101K
quaterni__l79_quaterni
2017-01-13 17:42
194K
quaterni__l81_quaterni
2017-01-13 17:42
82K
quaterni__l82_quaterni
2017-01-13 17:42
98K
quaterni__l86_quaterni
2017-01-13 17:42
117K
quaterni__l88_quaterni
2017-01-13 17:42
126K
quaterni__l124_quaterni
2017-01-13 17:42
60K
quaterni__l125_quaterni
2017-01-13 17:42
59K
quaterni__l126_quaterni
2017-01-13 17:42
60K
quaterni__l127_quaterni
2017-01-13 17:42
90K
quaterni__l128_quaterni
2017-01-13 17:42
4.5K
quaterni__l129_quaterni
2017-01-13 17:42
66K
quaterni__l130_quaterni
2017-01-13 17:42
93K
quaterni__l131_quaterni
2017-01-13 17:42
67K
quaterni__l138_quaterni
2017-01-13 17:42
110K
quaterni__l139_quaterni
2017-01-13 17:42
110K
quaterni__l140_quaterni
2017-01-13 17:42
101K
quaterni__l141_quaterni
2017-01-13 17:42
247K
quaterni__l142_quaterni
2017-01-13 17:42
246K
quaterni__l147_quaterni
2017-01-13 17:42
108K
quaterni__t1_quaterni
2017-01-13 17:42
58K
quaterni__t2_quaterni
2017-01-13 17:42
56K
quaterni__t3_quaterni
2017-01-13 17:42
52K
quaterni__t4_quaterni
2017-01-13 17:42
46K
quaterni__t5_quaterni
2017-01-13 17:42
30K
quaterni__t6_quaterni
2017-01-13 17:42
59K
quaterni__t7_quaterni
2017-01-13 17:42
92K
quaterni__t8_quaterni
2017-01-13 17:42
59K
quaterni__t9_quaterni
2017-01-13 17:42
60K
quaterni__t10_quaterni
2017-01-13 17:42
90K
quaterni__t11_quaterni
2017-01-13 17:42
4.3K
quaterni__t12_quaterni
2017-01-13 17:42
87K
quaterni__t13_quaterni
2017-01-13 17:42
190K
quaterni__t14_quaterni
2017-01-13 17:42
133K
quaterni__t15_quaterni
2017-01-13 17:42
133K
quaterni__t16_quaterni
2017-01-13 17:42
205K
quaterni__t17_quaterni
2017-01-13 17:42
205K
quaterni__t18_quaterni
2017-01-13 17:42
205K
quaterni__t19_quaterni
2017-01-13 17:42
208K
quaterni__t20_quaterni
2017-01-13 17:42
133K
quaterni__t21_quaterni
2017-01-13 17:42
208K
quaterni__t22_quaterni
2017-01-13 17:42
71K
quaterni__t23_quaterni
2017-01-13 17:42
94K
quaterni__t24_quaterni
2017-01-13 17:42
98K
quaterni__t25_quaterni
2017-01-13 17:42
70K
quaterni__t26_quaterni
2017-01-13 17:42
72K
quaterni__t27_quaterni
2017-01-13 17:42
114K
quaterni__t28_quaterni
2017-01-13 17:42
82K
quaterni__t29_quaterni
2017-01-13 17:42
72K
quaterni__t30_quaterni
2017-01-13 17:42
77K
quaterni__t31_quaterni
2017-01-13 17:42
89K
quaterni__t32_quaterni
2017-01-13 17:42
78K
quaterni__t33_quaterni
2017-01-13 17:42
128K
quaterni__t34_quaterni
2017-01-13 17:42
134K
quaterni__t35_quaterni
2017-01-13 17:42
134K
quaterni__t36_quaterni
2017-01-13 17:42
78K
quaterni__t37_quaterni
2017-01-13 17:42
95K
quaterni__t38_quaterni
2017-01-13 17:42
216K
quaterni__t39_quaterni
2017-01-13 17:42
117K
quaterni__t40_quaterni
2017-01-13 17:42
248K
quaterni__t41_quaterni
2017-01-13 17:42
100K
quaterni__t42_quaterni
2017-01-13 17:42
125K
quaterni__t43_quaterni
2017-01-13 17:42
165K
quaterni__t44_quaterni
2017-01-13 17:42
100K
quaterni__t45_quaterni
2017-01-13 17:42
100K
quaterni__t46_quaterni
2017-01-13 17:42
209K
quaterni__t47_quaterni
2017-01-13 17:42
101K
quaterni__t48_quaterni
2017-01-13 17:42
100K
quaterni__t49_quaterni
2017-01-13 17:42
101K
quaterni__t50_quaterni
2017-01-13 17:42
101K
quaterni__t51_quaterni
2017-01-13 17:42
101K
quaterni__t52_quaterni
2017-01-13 17:42
101K
quaterni__t53_quaterni
2017-01-13 17:42
101K
quaterni__t54_quaterni
2017-01-13 17:42
112K
quaterni__t55_quaterni
2017-01-13 17:42
118K
quaterni__t56_quaterni
2017-01-13 17:42
129K
quaterni__t57_quaterni
2017-01-13 17:42
495K
quaterni__t58_quaterni
2017-01-13 17:42
101K
quaterni__t59_quaterni
2017-01-13 17:42
100K
quaterni__t60_quaterni
2017-01-13 17:42
216K
quaterni__t61_quaterni
2017-01-13 17:42
164K
quaterni__t62_quaterni
2017-01-13 17:42
94K
quaterni__t63_quaterni
2017-01-13 17:42
110K
quaterni__t64_quaterni
2017-01-13 17:42
214K
quaterni__t65_quaterni
2017-01-13 17:42
115K
quaterni__t66_quaterni
2017-01-13 17:42
293K
quaterni__t67_quaterni
2017-01-13 17:42
64K
quaterni__t68_quaterni
2017-01-13 17:42
115K
quaterni__t69_quaterni
2017-01-13 17:42
67K
quaterni__t70_quaterni
2017-01-13 17:42
104K
quaterni__t71_quaterni
2017-01-13 17:42
104K
quaterni__t72_quaterni
2017-01-13 17:42
248K
quaterni__t73_quaterni
2017-01-13 17:42
491K
quaterni__t74_quaterni
2017-01-13 17:42
57K
quaterni__t75_quaterni
2017-01-13 17:42
95K
quaterni__t76_quaterni
2017-01-13 17:42
95K
quaterni__t77_quaterni
2017-01-13 17:42
95K
quaterni__t78_quaterni
2017-01-13 17:42
95K
quaterni__t79_quaterni
2017-01-13 17:42
302K
quaterni__t80_quaterni
2017-01-13 17:42
133K
quaterni__t81_quaterni
2017-01-13 17:42
133K
quaterni__t82_quaterni
2017-01-13 17:42
133K
quaterni__t83_quaterni
2017-01-13 17:42
117K
quaterni__t84_quaterni
2017-01-13 17:42
119K
quaterni__t85_quaterni
2017-01-13 17:42
133K
quaterni__t86_quaterni
2017-01-13 17:42
135K
quaterni__t87_quaterni
2017-01-13 17:42
297K
quaterni__t88_quaterni
2017-01-13 17:42
131K
quaterni__t89_quaterni
2017-01-13 17:42
212K
quaterni__t90_quaterni
2017-01-13 17:42
38K
quaterni__t91_quaterni
2017-01-13 17:42
68K
quaterni__t92_quaterni
2017-01-13 17:42
101K
quaterni__t93_quaterni
2017-01-13 17:42
194K
quaterni__t94_quaterni
2017-01-13 17:42
99K
quaterni__t95_quaterni
2017-01-13 17:42
123K
quaterni__t96_quaterni
2017-01-13 17:42
77K
quaterni__t97_quaterni
2017-01-13 17:42
107K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80