Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/cat_4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cat_4__l10_cat_42025-09-08 15:16 32K 
[ ]cat_4__l10_cat_4.vout2025-09-15 14:23 8.8K 
[ ]cat_4__l72_cat_42025-09-08 15:18 33K 
[ ]cat_4__l72_cat_4.vout2025-09-15 14:37 8.7K 
[ ]cat_4__t1_cat_42025-09-08 13:33 60K 
[ ]cat_4__t1_cat_4.vout2025-09-15 15:14 7.2K 
[ ]cat_4__t2_cat_42025-09-08 13:19 30K 
[ ]cat_4__t2_cat_4.vout2025-09-15 15:00 8.9K 
[ ]cat_4__t3_cat_42025-09-08 13:34 28K 
[ ]cat_4__t3_cat_4.vout2025-09-15 17:35 5.7K 
[ ]cat_4__t4_cat_42025-09-08 13:36 28K 
[ ]cat_4__t4_cat_4.vout2025-09-15 14:03 5.8K 
[ ]cat_4__t5_cat_42025-09-08 13:37 32K 
[ ]cat_4__t5_cat_4.vout2025-09-15 19:30 8.3K 
[ ]cat_4__t6_cat_42025-09-08 13:39 33K 
[ ]cat_4__t6_cat_4.depv12025-09-15 19:47 181  
[ ]cat_4__t6_cat_4.depvmin12025-09-15 19:52 161  
[ ]cat_4__t6_cat_4.vmin12025-09-15 19:47 2.2K 
[ ]cat_4__t6_cat_4.vmin1out2025-09-15 19:49 17K 
[ ]cat_4__t6_cat_4.vout2025-09-15 16:13 20K 
[ ]cat_4__t7_cat_42025-09-08 13:20 32K 
[ ]cat_4__t7_cat_4.depv12025-09-15 19:47 71  
[ ]cat_4__t7_cat_4.depvmin12025-09-15 19:52 62  
[ ]cat_4__t7_cat_4.vmin12025-09-15 19:47 1.0K 
[ ]cat_4__t7_cat_4.vmin1out2025-09-15 19:49 6.1K 
[ ]cat_4__t7_cat_4.vout2025-09-15 18:48 13K 
[ ]cat_4__t8_cat_42025-09-08 13:41 33K 
[ ]cat_4__t8_cat_4.vout2025-09-15 18:02 8.3K 
[ ]cat_4__t9_cat_42025-09-08 13:42 34K 
[ ]cat_4__t9_cat_4.depv12025-09-15 19:47 133  
[ ]cat_4__t9_cat_4.depvmin12025-09-15 19:52 123  
[ ]cat_4__t9_cat_4.vmin12025-09-15 19:47 2.8K 
[ ]cat_4__t9_cat_4.vmin1out2025-09-15 19:48 58K 
[ ]cat_4__t9_cat_4.vout2025-09-15 19:16 102K 
[ ]cat_4__t10_cat_42025-09-08 13:22 33K 
[ ]cat_4__t10_cat_4.vout2025-09-15 16:14 11K 
[ ]cat_4__t11_cat_42025-09-08 13:23 30K 
[ ]cat_4__t11_cat_4.depv12025-09-15 19:47 28  
[ ]cat_4__t11_cat_4.depvmin12025-09-15 19:52 28  
[ ]cat_4__t11_cat_4.vmin12025-09-15 19:47 1.1K 
[ ]cat_4__t11_cat_4.vmin1out2025-09-15 19:49 16K 
[ ]cat_4__t11_cat_4.vout2025-09-15 17:38 20K 
[ ]cat_4__t12_cat_42025-09-08 13:44 30K 
[ ]cat_4__t12_cat_4.vout2025-09-15 15:56 7.8K 
[ ]cat_4__t13_cat_42025-09-08 13:45 30K 
[ ]cat_4__t13_cat_4.vout2025-09-15 13:26 7.3K 
[ ]cat_4__t14_cat_42025-09-08 13:47 31K 
[ ]cat_4__t14_cat_4.depv12025-09-15 19:47 74  
[ ]cat_4__t14_cat_4.depvmin12025-09-15 19:52 74  
[ ]cat_4__t14_cat_4.vmin12025-09-15 19:47 2.1K 
[ ]cat_4__t14_cat_4.vmin1out2025-09-15 19:48 28K 
[ ]cat_4__t14_cat_4.vout2025-09-15 15:51 34K 
[ ]cat_4__t15_cat_42025-09-08 13:48 31K 
[ ]cat_4__t15_cat_4.depv12025-09-15 19:47 72  
[ ]cat_4__t15_cat_4.depvmin12025-09-15 19:52 72  
[ ]cat_4__t15_cat_4.vmin12025-09-15 19:47 2.1K 
[ ]cat_4__t15_cat_4.vmin1out2025-09-15 19:50 35K 
[ ]cat_4__t15_cat_4.vout2025-09-15 13:32 39K 
[ ]cat_4__t16_cat_42025-09-08 13:50 28K 
[ ]cat_4__t16_cat_4.depv12025-09-15 19:47 75  
[ ]cat_4__t16_cat_4.depvmin12025-09-15 19:52 75  
[ ]cat_4__t16_cat_4.vmin12025-09-15 19:47 1.9K 
[ ]cat_4__t16_cat_4.vmin1out2025-09-15 19:49 13K 
[ ]cat_4__t16_cat_4.vout2025-09-15 17:19 32K 
[ ]cat_4__t17_cat_42025-09-08 13:51 30K 
[ ]cat_4__t17_cat_4.depv12025-09-15 19:47 187  
[ ]cat_4__t17_cat_4.depvmin12025-09-15 19:52 187  
[ ]cat_4__t17_cat_4.vmin12025-09-15 19:47 4.5K 
[ ]cat_4__t17_cat_4.vmin1out2025-09-15 19:51 39K 
[ ]cat_4__t17_cat_4.vout2025-09-15 15:23 53K 
[ ]cat_4__t18_cat_42025-09-08 13:53 30K 
[ ]cat_4__t18_cat_4.depv12025-09-15 19:47 187  
[ ]cat_4__t18_cat_4.depvmin12025-09-15 19:52 187  
[ ]cat_4__t18_cat_4.vmin12025-09-15 19:47 4.5K 
[ ]cat_4__t18_cat_4.vmin1out2025-09-15 19:49 39K 
[ ]cat_4__t18_cat_4.vout2025-09-15 16:08 53K 
[ ]cat_4__t19_cat_42025-09-08 13:54 30K 
[ ]cat_4__t19_cat_4.vout2025-09-15 18:02 7.3K 
[ ]cat_4__t20_cat_42025-09-08 13:25 33K 
[ ]cat_4__t20_cat_4.depv12025-09-15 19:47 90  
[ ]cat_4__t20_cat_4.depvmin12025-09-15 19:52 90  
[ ]cat_4__t20_cat_4.vmin12025-09-15 19:47 2.7K 
[ ]cat_4__t20_cat_4.vmin1out2025-09-15 19:49 36K 
[ ]cat_4__t20_cat_4.vout2025-09-15 17:23 43K 
[ ]cat_4__t21_cat_42025-09-08 13:56 34K 
[ ]cat_4__t21_cat_4.vout2025-09-15 19:11 7.8K 
[ ]cat_4__t22_cat_42025-09-08 13:57 34K 
[ ]cat_4__t22_cat_4.vout2025-09-15 18:06 7.3K 
[ ]cat_4__t23_cat_42025-09-08 13:59 35K 
[ ]cat_4__t23_cat_4.vout2025-09-15 16:32 7.2K 
[ ]cat_4__t24_cat_42025-09-08 14:00 35K 
[ ]cat_4__t24_cat_4.depv12025-09-15 19:47 100  
[ ]cat_4__t24_cat_4.depvmin12025-09-15 19:52 100  
[ ]cat_4__t24_cat_4.vmin12025-09-15 19:47 3.2K 
[ ]cat_4__t24_cat_4.vmin1out2025-09-15 19:49 55K 
[ ]cat_4__t24_cat_4.vout2025-09-15 14:26 59K 
[ ]cat_4__t25_cat_42025-09-08 14:02 35K 
[ ]cat_4__t25_cat_4.vout2025-09-15 18:08 7.3K 
[ ]cat_4__t26_cat_42025-09-08 14:04 33K 
[ ]cat_4__t26_cat_4.depv12025-09-15 19:47 32  
[ ]cat_4__t26_cat_4.depvmin12025-09-15 19:52 32  
[ ]cat_4__t26_cat_4.vmin12025-09-15 19:47 1.9K 
[ ]cat_4__t26_cat_4.vmin1out2025-09-15 19:48 68K 
[ ]cat_4__t26_cat_4.vout2025-09-15 16:23 69K 
[ ]cat_4__t27_cat_42025-09-08 14:05 31K 
[ ]cat_4__t27_cat_4.vout2025-09-15 13:44 7.3K 
[ ]cat_4__t28_cat_42025-09-08 14:06 28K 
[ ]cat_4__t28_cat_4.depv12025-09-15 19:47 77  
[ ]cat_4__t28_cat_4.depvmin12025-09-15 19:52 77  
[ ]cat_4__t28_cat_4.vmin12025-09-15 19:47 1.7K 
[ ]cat_4__t28_cat_4.vmin1out2025-09-15 19:49 22K 
[ ]cat_4__t28_cat_4.vout2025-09-15 13:39 32K 
[ ]cat_4__t29_cat_42025-09-08 14:08 40K 
[ ]cat_4__t29_cat_4.depv12025-09-15 19:47 291  
[ ]cat_4__t29_cat_4.vmin12025-09-15 19:47 9.1K 
[ ]cat_4__t29_cat_4.vmin1out2025-09-15 19:51 7.1K 
[ ]cat_4__t29_cat_4.vout2025-09-15 15:39 169K 
[ ]cat_4__t30_cat_42025-09-08 14:10 39K 
[ ]cat_4__t30_cat_4.depv12025-09-15 19:47 137  
[ ]cat_4__t30_cat_4.depvmin12025-09-15 19:52 137  
[ ]cat_4__t30_cat_4.vmin12025-09-15 19:47 4.2K 
[ ]cat_4__t30_cat_4.vmin1out2025-09-15 19:47 73K 
[ ]cat_4__t30_cat_4.vout2025-09-15 15:46 94K 
[ ]cat_4__t31_cat_42025-09-08 14:11 28K 
[ ]cat_4__t31_cat_4.depv12025-09-15 19:47 42  
[ ]cat_4__t31_cat_4.depvmin12025-09-15 19:52 42  
[ ]cat_4__t31_cat_4.vmin12025-09-15 19:47 1.5K 
[ ]cat_4__t31_cat_4.vmin1out2025-09-15 19:47 21K 
[ ]cat_4__t31_cat_4.vout2025-09-15 13:57 29K 
[ ]cat_4__t32_cat_42025-09-08 14:13 37K 
[ ]cat_4__t32_cat_4.vout2025-09-15 18:53 7.3K 
[ ]cat_4__t33_cat_42025-09-08 14:14 36K 
[ ]cat_4__t33_cat_4.depv12025-09-15 19:47 163  
[ ]cat_4__t33_cat_4.depvmin12025-09-15 19:52 145  
[ ]cat_4__t33_cat_4.vmin12025-09-15 19:47 3.2K 
[ ]cat_4__t33_cat_4.vmin1out2025-09-15 19:50 49K 
[ ]cat_4__t33_cat_4.vout2025-09-15 16:04 39K 
[ ]cat_4__t34_cat_42025-09-08 14:15 27K 
[ ]cat_4__t34_cat_4.depv12025-09-15 19:47 55  
[ ]cat_4__t34_cat_4.depvmin12025-09-15 19:52 55  
[ ]cat_4__t34_cat_4.vmin12025-09-15 19:47 1.1K 
[ ]cat_4__t34_cat_4.vmin1out2025-09-15 19:48 12K 
[ ]cat_4__t34_cat_4.vout2025-09-15 16:39 17K 
[ ]cat_4__t35_cat_42025-09-08 14:17 31K 
[ ]cat_4__t35_cat_4.depv12025-09-15 19:47 87  
[ ]cat_4__t35_cat_4.depvmin12025-09-15 19:52 87  
[ ]cat_4__t35_cat_4.vmin12025-09-15 19:47 2.6K 
[ ]cat_4__t35_cat_4.vmin1out2025-09-15 19:49 40K 
[ ]cat_4__t35_cat_4.vout2025-09-15 19:44 44K 
[ ]cat_4__t36_cat_42025-09-08 14:18 28K 
[ ]cat_4__t36_cat_4.depv12025-09-15 19:47 64  
[ ]cat_4__t36_cat_4.depvmin12025-09-15 19:52 64  
[ ]cat_4__t36_cat_4.vmin12025-09-15 19:47 2.2K 
[ ]cat_4__t36_cat_4.vmin1out2025-09-15 19:47 73K 
[ ]cat_4__t36_cat_4.vout2025-09-15 13:46 97K 
[ ]cat_4__t37_cat_42025-09-08 14:19 41K 
[ ]cat_4__t37_cat_4.vout2025-09-15 18:51 7.3K 
[ ]cat_4__t38_cat_42025-09-08 14:21 38K 
[ ]cat_4__t38_cat_4.depv12025-09-15 19:47 176  
[ ]cat_4__t38_cat_4.depvmin12025-09-15 19:52 176  
[ ]cat_4__t38_cat_4.vmin12025-09-15 19:47 4.3K 
[ ]cat_4__t38_cat_4.vmin1out2025-09-15 19:48 74K 
[ ]cat_4__t38_cat_4.vout2025-09-15 18:37 48K 
[ ]cat_4__t39_cat_42025-09-08 14:22 28K 
[ ]cat_4__t39_cat_4.depv12025-09-15 19:47 64  
[ ]cat_4__t39_cat_4.depvmin12025-09-15 19:52 64  
[ ]cat_4__t39_cat_4.vmin12025-09-15 19:47 2.2K 
[ ]cat_4__t39_cat_4.vmin1out2025-09-15 19:48 35K 
[ ]cat_4__t39_cat_4.vout2025-09-15 18:50 46K 
[ ]cat_4__t40_cat_42025-09-08 14:24 36K 
[ ]cat_4__t40_cat_4.depv12025-09-15 19:47 110  
[ ]cat_4__t40_cat_4.depvmin12025-09-15 19:52 110  
[ ]cat_4__t40_cat_4.vmin12025-09-15 19:47 3.5K 
[ ]cat_4__t40_cat_4.vmin1out2025-09-15 19:49 57K 
[ ]cat_4__t40_cat_4.vout2025-09-15 16:59 37K 
[ ]cat_4__t41_cat_42025-09-08 14:25 37K 
[ ]cat_4__t41_cat_4.vout2025-09-15 14:04 7.3K 
[ ]cat_4__t42_cat_42025-09-08 14:27 37K 
[ ]cat_4__t42_cat_4.vout2025-09-15 18:58 7.3K 
[ ]cat_4__t43_cat_42025-09-08 14:29 36K 
[ ]cat_4__t43_cat_4.vout2025-09-15 14:26 7.2K 
[ ]cat_4__t44_cat_42025-09-08 14:31 60K 
[ ]cat_4__t44_cat_4.vout2025-09-15 18:13 7.2K 
[ ]cat_4__t46_cat_42025-09-08 14:33 28K 
[ ]cat_4__t46_cat_4.vout2025-09-15 15:15 5.8K 
[ ]cat_4__t47_cat_42025-09-08 14:34 28K 
[ ]cat_4__t47_cat_4.vout2025-09-15 16:09 5.8K 
[ ]cat_4__t48_cat_42025-09-08 14:35 32K 
[ ]cat_4__t48_cat_4.vout2025-09-15 16:41 8.3K 
[ ]cat_4__t49_cat_42025-09-08 14:37 33K 
[ ]cat_4__t49_cat_4.depv12025-09-15 19:47 184  
[ ]cat_4__t49_cat_4.depvmin12025-09-15 19:52 164  
[ ]cat_4__t49_cat_4.vmin12025-09-15 19:47 2.2K 
[ ]cat_4__t49_cat_4.vmin1out2025-09-15 19:50 17K 
[ ]cat_4__t49_cat_4.vout2025-09-15 14:45 20K 
[ ]cat_4__t50_cat_42025-09-08 13:26 32K 
[ ]cat_4__t50_cat_4.depv12025-09-15 19:47 74  
[ ]cat_4__t50_cat_4.depvmin12025-09-15 19:52 64  
[ ]cat_4__t50_cat_4.vmin12025-09-15 19:47 1.0K 
[ ]cat_4__t50_cat_4.vmin1out2025-09-15 19:47 6.1K 
[ ]cat_4__t50_cat_4.vout2025-09-15 16:37 13K 
[ ]cat_4__t51_cat_42025-09-08 14:39 33K 
[ ]cat_4__t51_cat_4.vout2025-09-15 16:59 8.3K 
[ ]cat_4__t52_cat_42025-09-08 14:40 34K 
[ ]cat_4__t52_cat_4.depv12025-09-15 19:47 137  
[ ]cat_4__t52_cat_4.depvmin12025-09-15 19:52 127  
[ ]cat_4__t52_cat_4.vmin12025-09-15 19:47 2.9K 
[ ]cat_4__t52_cat_4.vmin1out2025-09-15 19:51 59K 
[ ]cat_4__t52_cat_4.vout2025-09-15 13:36 104K 
[ ]cat_4__t53_cat_42025-09-08 13:28 33K 
[ ]cat_4__t53_cat_4.vout2025-09-15 16:13 11K 
[ ]cat_4__t54_cat_42025-09-08 13:29 30K 
[ ]cat_4__t54_cat_4.depv12025-09-15 19:47 30  
[ ]cat_4__t54_cat_4.depvmin12025-09-15 19:52 30  
[ ]cat_4__t54_cat_4.vmin12025-09-15 19:47 1.1K 
[ ]cat_4__t54_cat_4.vmin1out2025-09-15 19:47 16K 
[ ]cat_4__t54_cat_4.vout2025-09-15 19:28 20K 
[ ]cat_4__t55_cat_42025-09-08 14:42 30K 
[ ]cat_4__t55_cat_4.vout2025-09-15 18:10 7.3K 
[ ]cat_4__t56_cat_42025-09-08 14:43 30K 
[ ]cat_4__t56_cat_4.vout2025-09-15 13:35 7.3K 
[ ]cat_4__t57_cat_42025-09-08 14:45 31K 
[ ]cat_4__t57_cat_4.depv12025-09-15 19:47 78  
[ ]cat_4__t57_cat_4.depvmin12025-09-15 19:52 78  
[ ]cat_4__t57_cat_4.vmin12025-09-15 19:47 2.1K 
[ ]cat_4__t57_cat_4.vmin1out2025-09-15 19:47 28K 
[ ]cat_4__t57_cat_4.vout2025-09-15 15:37 34K 
[ ]cat_4__t58_cat_42025-09-08 14:46 31K 
[ ]cat_4__t58_cat_4.depv12025-09-15 19:47 75  
[ ]cat_4__t58_cat_4.depvmin12025-09-15 19:52 75  
[ ]cat_4__t58_cat_4.vmin12025-09-15 19:47 2.1K 
[ ]cat_4__t58_cat_4.vmin1out2025-09-15 19:48 35K 
[ ]cat_4__t58_cat_4.vout2025-09-15 13:53 39K 
[ ]cat_4__t59_cat_42025-09-08 14:47 28K 
[ ]cat_4__t59_cat_4.depv12025-09-15 19:47 77  
[ ]cat_4__t59_cat_4.depvmin12025-09-15 19:52 77  
[ ]cat_4__t59_cat_4.vmin12025-09-15 19:47 1.9K 
[ ]cat_4__t59_cat_4.vmin1out2025-09-15 19:49 13K 
[ ]cat_4__t59_cat_4.vout2025-09-15 17:02 33K 
[ ]cat_4__t60_cat_42025-09-08 14:49 30K 
[ ]cat_4__t60_cat_4.depv12025-09-15 19:47 192  
[ ]cat_4__t60_cat_4.depvmin12025-09-15 19:52 192  
[ ]cat_4__t60_cat_4.vmin12025-09-15 19:47 4.5K 
[ ]cat_4__t60_cat_4.vmin1out2025-09-15 19:50 38K 
[ ]cat_4__t60_cat_4.vout2025-09-15 13:58 54K 
[ ]cat_4__t61_cat_42025-09-08 14:50 30K 
[ ]cat_4__t61_cat_4.depv12025-09-15 19:47 192  
[ ]cat_4__t61_cat_4.depvmin12025-09-15 19:52 192  
[ ]cat_4__t61_cat_4.vmin12025-09-15 19:47 4.5K 
[ ]cat_4__t61_cat_4.vmin1out2025-09-15 19:49 38K 
[ ]cat_4__t61_cat_4.vout2025-09-15 15:40 54K 
[ ]cat_4__t62_cat_42025-09-08 14:52 30K 
[ ]cat_4__t62_cat_4.vout2025-09-15 19:02 7.3K 
[ ]cat_4__t63_cat_42025-09-08 13:31 31K 
[ ]cat_4__t63_cat_4.depv12025-09-15 19:47 50  
[ ]cat_4__t63_cat_4.depvmin12025-09-15 19:52 50  
[ ]cat_4__t63_cat_4.vmin12025-09-15 19:47 2.0K 
[ ]cat_4__t63_cat_4.vmin1out2025-09-15 19:51 27K 
[ ]cat_4__t63_cat_4.vout2025-09-15 16:09 34K 
[ ]cat_4__t64_cat_42025-09-08 14:53 33K 
[ ]cat_4__t64_cat_4.vout2025-09-15 14:09 7.8K 
[ ]cat_4__t65_cat_42025-09-08 14:55 34K 
[ ]cat_4__t65_cat_4.vout2025-09-15 17:37 7.3K 
[ ]cat_4__t66_cat_42025-09-08 14:56 35K 
[ ]cat_4__t66_cat_4.vout2025-09-15 17:34 7.2K 
[ ]cat_4__t67_cat_42025-09-08 14:58 35K 
[ ]cat_4__t67_cat_4.depv12025-09-15 19:47 103  
[ ]cat_4__t67_cat_4.depvmin12025-09-15 19:52 103  
[ ]cat_4__t67_cat_4.vmin12025-09-15 19:47 3.2K 
[ ]cat_4__t67_cat_4.vmin1out2025-09-15 19:51 71K 
[ ]cat_4__t67_cat_4.vout2025-09-15 13:34 60K 
[ ]cat_4__t68_cat_42025-09-08 14:59 35K 
[ ]cat_4__t68_cat_4.vout2025-09-15 19:37 7.2K 
[ ]cat_4__t69_cat_42025-09-08 15:01 33K 
[ ]cat_4__t69_cat_4.depv12025-09-15 19:47 33  
[ ]cat_4__t69_cat_4.depvmin12025-09-15 19:52 33  
[ ]cat_4__t69_cat_4.vmin12025-09-15 19:47 1.9K 
[ ]cat_4__t69_cat_4.vmin1out2025-09-15 19:51 68K 
[ ]cat_4__t69_cat_4.vout2025-09-15 15:57 28K 
[ ]cat_4__t70_cat_42025-09-08 15:03 31K 
[ ]cat_4__t70_cat_4.vout2025-09-15 18:02 7.3K 
[ ]cat_4__t71_cat_42025-09-08 15:04 39K 
[ ]cat_4__t71_cat_4.vout2025-09-15 14:08 7.3K 
[ ]cat_4__t72_cat_42025-09-08 15:06 38K 
[ ]cat_4__t72_cat_4.vout2025-09-15 18:50 7.3K 
[ ]cat_4__t73_cat_42025-09-08 15:07 39K 
[ ]cat_4__t73_cat_4.vout2025-09-15 18:18 7.2K 
[ ]cat_4__t74_cat_42025-09-08 15:09 28K 
[ ]cat_4__t74_cat_4.depv12025-09-15 19:47 65  
[ ]cat_4__t74_cat_4.depvmin12025-09-15 19:52 65  
[ ]cat_4__t74_cat_4.vmin12025-09-15 19:47 2.2K 
[ ]cat_4__t74_cat_4.vmin1out2025-09-15 19:47 35K 
[ ]cat_4__t74_cat_4.vout2025-09-15 19:05 47K 
[ ]cat_4__t75_cat_42025-09-08 15:10 36K 
[ ]cat_4__t75_cat_4.depv12025-09-15 19:47 113  
[ ]cat_4__t75_cat_4.depvmin12025-09-15 19:52 113  
[ ]cat_4__t75_cat_4.vmin12025-09-15 19:47 3.5K 
[ ]cat_4__t75_cat_4.vmin1out2025-09-15 19:49 58K 
[ ]cat_4__t75_cat_4.vout2025-09-15 18:21 65K 
[ ]cat_4__t76_cat_42025-09-08 15:12 37K 
[ ]cat_4__t76_cat_4.vout2025-09-15 14:42 7.2K 
[ ]cat_4__t77_cat_42025-09-08 15:13 37K 
[ ]cat_4__t77_cat_4.vout2025-09-15 14:09 7.3K 
[ ]cat_4__t78_cat_42025-09-08 15:15 36K 
[ ]cat_4__t78_cat_4.vout2025-09-15 18:35 7.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80