Index of /~mptp/1147/mptp/problems/quatern2
Name
Last modified
Size
Description
Parent Directory
-
quatern2__l1_quatern2
2023-06-28 00:29
18K
quatern2__t6_quatern2
2023-06-28 00:29
20K
quatern2__t8_quatern2
2023-06-28 00:29
20K
quatern2__t11_quatern2
2023-06-28 00:29
21K
quatern2__t7_quatern2
2023-06-28 00:29
21K
quatern2__t23_quatern2
2023-06-28 00:29
21K
quatern2__t24_quatern2
2023-06-28 00:29
21K
quatern2__t2_quatern2
2023-06-28 00:29
23K
quatern2__t3_quatern2
2023-06-28 00:29
27K
quatern2__t35_quatern2
2023-06-28 00:29
27K
quatern2__l2_quatern2
2023-06-28 00:29
27K
quatern2__l13_quatern2
2023-06-28 00:29
29K
quatern2__t10_quatern2
2023-06-28 00:29
32K
quatern2__t36_quatern2
2023-06-28 00:29
33K
quatern2__t37_quatern2
2023-06-28 00:29
33K
quatern2__t39_quatern2
2023-06-28 00:29
33K
quatern2__t25_quatern2
2023-06-28 00:29
33K
quatern2__t38_quatern2
2023-06-28 00:29
33K
quatern2__t53_quatern2
2023-06-28 00:29
34K
quatern2__t54_quatern2
2023-06-28 00:29
34K
quatern2__t55_quatern2
2023-06-28 00:29
34K
quatern2__t56_quatern2
2023-06-28 00:29
34K
quatern2__t57_quatern2
2023-06-28 00:29
34K
quatern2__t60_quatern2
2023-06-28 00:29
35K
quatern2__t58_quatern2
2023-06-28 00:29
35K
quatern2__t59_quatern2
2023-06-28 00:29
35K
quatern2__t47_quatern2
2023-06-28 00:29
36K
quatern2__t61_quatern2
2023-06-28 00:29
37K
quatern2__t40_quatern2
2023-06-28 00:29
40K
quatern2__t5_quatern2
2023-06-28 00:29
44K
quatern2__l3_quatern2
2023-06-28 00:29
45K
quatern2__t1_quatern2
2023-06-28 00:29
45K
quatern2__t16_quatern2
2023-06-28 00:29
47K
quatern2__t9_quatern2
2023-06-28 00:29
48K
quatern2__t22_quatern2
2023-06-28 00:29
49K
quatern2__t17_quatern2
2023-06-28 00:29
49K
quatern2__t18_quatern2
2023-06-28 00:29
49K
quatern2__t41_quatern2
2023-06-28 00:29
49K
quatern2__t42_quatern2
2023-06-28 00:29
50K
quatern2__t43_quatern2
2023-06-28 00:29
50K
quatern2__t4_quatern2
2023-06-28 00:29
52K
quatern2__t12_quatern2
2023-06-28 00:29
57K
quatern2__t13_quatern2
2023-06-28 00:29
57K
quatern2__t14_quatern2
2023-06-28 00:29
59K
quatern2__t15_quatern2
2023-06-28 00:29
59K
quatern2__t19_quatern2
2023-06-28 00:29
63K
quatern2__t20_quatern2
2023-06-28 00:29
63K
quatern2__t21_quatern2
2023-06-28 00:29
63K
quatern2__t45_quatern2
2023-06-28 00:29
72K
quatern2__t46_quatern2
2023-06-28 00:29
74K
quatern2__t44_quatern2
2023-06-28 00:29
74K
quatern2__t48_quatern2
2023-06-28 00:29
123K
quatern2__t26_quatern2
2023-06-28 00:29
134K
quatern2__t30_quatern2
2023-06-28 00:29
189K
quatern2__t29_quatern2
2023-06-28 00:29
192K
quatern2__t34_quatern2
2023-06-28 00:29
194K
quatern2__t33_quatern2
2023-06-28 00:29
237K
quatern2__t31_quatern2
2023-06-28 00:29
240K
quatern2__t32_quatern2
2023-06-28 00:29
240K
quatern2__t51_quatern2
2023-06-28 00:29
409K
quatern2__t27_quatern2
2023-06-28 00:29
412K
quatern2__t28_quatern2
2023-06-28 00:29
417K
quatern2__t52_quatern2
2023-06-28 00:29
456K
quatern2__t50_quatern2
2023-06-28 00:29
458K
quatern2__t49_quatern2
2023-06-28 00:29
458K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80