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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cfunct_1__l8_cfunct_12025-09-07 22:32 15K 
[ ]cfunct_1__l8_cfunct_1.depv12025-09-15 19:47 163  
[ ]cfunct_1__l8_cfunct_1.depvmin12025-09-15 19:51 163  
[ ]cfunct_1__l8_cfunct_1.vmin12025-09-15 19:47 1.9K 
[ ]cfunct_1__l8_cfunct_1.vmin1out2025-09-15 19:51 35K 
[ ]cfunct_1__l8_cfunct_1.vout2025-09-15 19:36 35K 
[ ]cfunct_1__l26_cfunct_12025-09-07 23:51 14K 
[ ]cfunct_1__l26_cfunct_1.depv12025-09-15 19:47 141  
[ ]cfunct_1__l26_cfunct_1.depvmin12025-09-15 19:51 141  
[ ]cfunct_1__l26_cfunct_1.vmin12025-09-15 19:47 1.2K 
[ ]cfunct_1__l26_cfunct_1.vmin1out2025-09-15 19:51 15K 
[ ]cfunct_1__l26_cfunct_1.vout2025-09-15 15:27 15K 
[ ]cfunct_1__l27_cfunct_12025-09-07 23:52 16K 
[ ]cfunct_1__l27_cfunct_1.vout2025-09-15 14:52 6.3K 
[ ]cfunct_1__l42_cfunct_12025-09-07 22:32 7.2K 
[ ]cfunct_1__l42_cfunct_1.depv12025-09-15 19:47 115  
[ ]cfunct_1__l42_cfunct_1.depvmin12025-09-15 19:51 115  
[ ]cfunct_1__l42_cfunct_1.vmin12025-09-15 19:47 568  
[ ]cfunct_1__l42_cfunct_1.vmin1out2025-09-15 19:50 3.9K 
[ ]cfunct_1__l42_cfunct_1.vout2025-09-15 19:11 3.8K 
[ ]cfunct_1__l75_cfunct_12025-09-07 23:53 19K 
[ ]cfunct_1__l75_cfunct_1.depv12025-09-15 19:47 211  
[ ]cfunct_1__l75_cfunct_1.depvmin12025-09-15 19:51 195  
[ ]cfunct_1__l75_cfunct_1.vmin12025-09-15 19:47 2.2K 
[ ]cfunct_1__l75_cfunct_1.vmin1out2025-09-15 19:48 71K 
[ ]cfunct_1__l75_cfunct_1.vout2025-09-15 18:37 44K 
[ ]cfunct_1__t1_cfunct_12025-09-07 22:33 23K 
[ ]cfunct_1__t1_cfunct_1.depv12025-09-15 19:47 311  
[ ]cfunct_1__t1_cfunct_1.depvmin12025-09-15 19:51 285  
[ ]cfunct_1__t1_cfunct_1.vmin12025-09-15 19:47 3.9K 
[ ]cfunct_1__t1_cfunct_1.vmin1out2025-09-15 19:50 66K 
[ ]cfunct_1__t1_cfunct_1.vout2025-09-15 17:16 66K 
[ ]cfunct_1__t2_cfunct_12025-09-07 22:34 33K 
[ ]cfunct_1__t2_cfunct_1.vout2025-09-15 14:15 7.3K 
[ ]cfunct_1__t3_cfunct_12025-09-07 22:35 24K 
[ ]cfunct_1__t3_cfunct_1.depv12025-09-15 19:47 315  
[ ]cfunct_1__t3_cfunct_1.depvmin12025-09-15 19:51 288  
[ ]cfunct_1__t3_cfunct_1.vmin12025-09-15 19:47 3.9K 
[ ]cfunct_1__t3_cfunct_1.vmin1out2025-09-15 19:47 66K 
[ ]cfunct_1__t3_cfunct_1.vout2025-09-15 18:07 66K 
[ ]cfunct_1__t4_cfunct_12025-09-07 22:37 20K 
[ ]cfunct_1__t4_cfunct_1.depv12025-09-15 19:47 234  
[ ]cfunct_1__t4_cfunct_1.depvmin12025-09-15 19:51 234  
[ ]cfunct_1__t4_cfunct_1.vmin12025-09-15 19:47 2.9K 
[ ]cfunct_1__t4_cfunct_1.vmin1out2025-09-15 19:50 41K 
[ ]cfunct_1__t4_cfunct_1.vout2025-09-15 14:38 42K 
[ ]cfunct_1__t5_cfunct_12025-09-07 22:38 21K 
[ ]cfunct_1__t5_cfunct_1.depv12025-09-15 19:47 195  
[ ]cfunct_1__t5_cfunct_1.depvmin12025-09-15 19:51 179  
[ ]cfunct_1__t5_cfunct_1.vmin12025-09-15 19:47 2.1K 
[ ]cfunct_1__t5_cfunct_1.vmin1out2025-09-15 19:47 22K 
[ ]cfunct_1__t5_cfunct_1.vout2025-09-15 18:35 44K 
[ ]cfunct_1__t6_cfunct_12025-09-07 22:39 22K 
[ ]cfunct_1__t6_cfunct_1.depv12025-09-15 19:47 362  
[ ]cfunct_1__t6_cfunct_1.depvmin12025-09-15 19:51 206  
[ ]cfunct_1__t6_cfunct_1.vmin12025-09-15 19:47 3.2K 
[ ]cfunct_1__t6_cfunct_1.vmin1out2025-09-15 19:48 28K 
[ ]cfunct_1__t6_cfunct_1.vout2025-09-15 15:39 40K 
[ ]cfunct_1__t7_cfunct_12025-09-07 22:40 29K 
[ ]cfunct_1__t7_cfunct_1.vout2025-09-15 16:23 6.8K 
[ ]cfunct_1__t8_cfunct_12025-09-07 22:41 20K 
[ ]cfunct_1__t8_cfunct_1.vout2025-09-15 14:36 4.7K 
[ ]cfunct_1__t9_cfunct_12025-09-07 22:42 20K 
[ ]cfunct_1__t9_cfunct_1.vout2025-09-15 16:33 4.7K 
[ ]cfunct_1__t10_cfunct_12025-09-07 22:43 28K 
[ ]cfunct_1__t10_cfunct_1.vout2025-09-15 16:19 4.7K 
[ ]cfunct_1__t11_cfunct_12025-09-07 22:44 24K 
[ ]cfunct_1__t11_cfunct_1.vout2025-09-15 15:54 7.3K 
[ ]cfunct_1__t12_cfunct_12025-09-07 22:45 22K 
[ ]cfunct_1__t12_cfunct_1.vout2025-09-15 16:08 4.7K 
[ ]cfunct_1__t13_cfunct_12025-09-07 22:46 16K 
[ ]cfunct_1__t13_cfunct_1.vout2025-09-15 18:17 6.2K 
[ ]cfunct_1__t14_cfunct_12025-09-07 22:47 17K 
[ ]cfunct_1__t14_cfunct_1.vout2025-09-15 18:18 6.2K 
[ ]cfunct_1__t15_cfunct_12025-09-07 22:48 21K 
[ ]cfunct_1__t15_cfunct_1.vout2025-09-15 14:39 6.2K 
[ ]cfunct_1__t16_cfunct_12025-09-07 22:19 13K 
[ ]cfunct_1__t16_cfunct_1.depv12025-09-15 19:47 66  
[ ]cfunct_1__t16_cfunct_1.depvmin12025-09-15 19:51 66  
[ ]cfunct_1__t16_cfunct_1.vmin12025-09-15 19:47 1.1K 
[ ]cfunct_1__t16_cfunct_1.vmin1out2025-09-15 19:50 16K 
[ ]cfunct_1__t16_cfunct_1.vout2025-09-15 16:22 15K 
[ ]cfunct_1__t17_cfunct_12025-09-07 22:49 19K 
[ ]cfunct_1__t17_cfunct_1.vout2025-09-15 13:58 6.3K 
[ ]cfunct_1__t18_cfunct_12025-09-07 22:50 19K 
[ ]cfunct_1__t18_cfunct_1.vout2025-09-15 13:58 6.3K 
[ ]cfunct_1__t19_cfunct_12025-09-07 22:51 19K 
[ ]cfunct_1__t19_cfunct_1.vout2025-09-15 15:13 2.0K 
[ ]cfunct_1__t20_cfunct_12025-09-07 22:20 19K 
[ ]cfunct_1__t20_cfunct_1.depv12025-09-15 19:47 67  
[ ]cfunct_1__t20_cfunct_1.depvmin12025-09-15 19:51 67  
[ ]cfunct_1__t20_cfunct_1.vmin12025-09-15 19:47 1.1K 
[ ]cfunct_1__t20_cfunct_1.vmin1out2025-09-15 19:50 16K 
[ ]cfunct_1__t20_cfunct_1.vout2025-09-15 14:02 15K 
[ ]cfunct_1__t21_cfunct_12025-09-07 22:52 20K 
[ ]cfunct_1__t21_cfunct_1.vout2025-09-15 14:09 6.3K 
[ ]cfunct_1__t22_cfunct_12025-09-07 22:53 14K 
[ ]cfunct_1__t22_cfunct_1.vout2025-09-15 14:12 6.2K 
[ ]cfunct_1__t23_cfunct_12025-09-07 22:54 17K 
[ ]cfunct_1__t23_cfunct_1.depv12025-09-15 19:47 79  
[ ]cfunct_1__t23_cfunct_1.depvmin12025-09-15 19:51 79  
[ ]cfunct_1__t23_cfunct_1.vmin12025-09-15 19:47 1.4K 
[ ]cfunct_1__t23_cfunct_1.vmin1out2025-09-15 19:51 21K 
[ ]cfunct_1__t23_cfunct_1.vout2025-09-15 15:24 21K 
[ ]cfunct_1__t24_cfunct_12025-09-07 22:54 24K 
[ ]cfunct_1__t24_cfunct_1.vout2025-09-15 14:43 6.2K 
[ ]cfunct_1__t25_cfunct_12025-09-07 22:55 24K 
[ ]cfunct_1__t25_cfunct_1.vout2025-09-15 13:31 6.2K 
[ ]cfunct_1__t26_cfunct_12025-09-07 22:21 11K 
[ ]cfunct_1__t26_cfunct_1.depv12025-09-15 19:47 26  
[ ]cfunct_1__t26_cfunct_1.depvmin12025-09-15 19:51 26  
[ ]cfunct_1__t26_cfunct_1.vmin12025-09-15 19:47 249  
[ ]cfunct_1__t26_cfunct_1.vmin1out2025-09-15 19:50 2.9K 
[ ]cfunct_1__t26_cfunct_1.vout2025-09-15 16:16 3.1K 
[ ]cfunct_1__t27_cfunct_12025-09-07 22:56 17K 
[ ]cfunct_1__t27_cfunct_1.vout2025-09-15 15:37 2.0K 
[ ]cfunct_1__t28_cfunct_12025-09-07 22:22 17K 
[ ]cfunct_1__t28_cfunct_1.vout2025-09-15 18:37 2.0K 
[ ]cfunct_1__t29_cfunct_12025-09-07 22:57 19K 
[ ]cfunct_1__t29_cfunct_1.vout2025-09-15 13:27 6.3K 
[ ]cfunct_1__t30_cfunct_12025-09-07 22:58 17K 
[ ]cfunct_1__t30_cfunct_1.vout2025-09-15 16:03 6.3K 
[ ]cfunct_1__t31_cfunct_12025-09-07 22:22 13K 
[ ]cfunct_1__t31_cfunct_1.depv12025-09-15 19:47 25  
[ ]cfunct_1__t31_cfunct_1.depvmin12025-09-15 19:51 25  
[ ]cfunct_1__t31_cfunct_1.vmin12025-09-15 19:47 302  
[ ]cfunct_1__t31_cfunct_1.vmin1out2025-09-15 19:49 3.3K 
[ ]cfunct_1__t31_cfunct_1.vout2025-09-15 15:30 3.5K 
[ ]cfunct_1__t32_cfunct_12025-09-07 22:23 15K 
[ ]cfunct_1__t32_cfunct_1.depv12025-09-15 19:47 186  
[ ]cfunct_1__t32_cfunct_1.depvmin12025-09-15 19:51 170  
[ ]cfunct_1__t32_cfunct_1.vmin12025-09-15 19:47 1.9K 
[ ]cfunct_1__t32_cfunct_1.vmin1out2025-09-15 19:51 33K 
[ ]cfunct_1__t32_cfunct_1.vout2025-09-15 15:14 24K 
[ ]cfunct_1__t33_cfunct_12025-09-07 22:24 16K 
[ ]cfunct_1__t33_cfunct_1.depv12025-09-15 19:47 67  
[ ]cfunct_1__t33_cfunct_1.depvmin12025-09-15 19:51 67  
[ ]cfunct_1__t33_cfunct_1.vmin12025-09-15 19:47 803  
[ ]cfunct_1__t33_cfunct_1.vmin1out2025-09-15 19:49 8.4K 
[ ]cfunct_1__t33_cfunct_1.vout2025-09-15 17:50 9.1K 
[ ]cfunct_1__t34_cfunct_12025-09-07 22:59 26K 
[ ]cfunct_1__t34_cfunct_1.vout2025-09-15 14:06 4.7K 
[ ]cfunct_1__t35_cfunct_12025-09-07 23:00 30K 
[ ]cfunct_1__t35_cfunct_1.vout2025-09-15 18:03 4.7K 
[ ]cfunct_1__t36_cfunct_12025-09-07 23:02 26K 
[ ]cfunct_1__t36_cfunct_1.vout2025-09-15 19:28 4.7K 
[ ]cfunct_1__t37_cfunct_12025-09-07 22:25 23K 
[ ]cfunct_1__t37_cfunct_1.vout2025-09-15 18:55 4.7K 
[ ]cfunct_1__t38_cfunct_12025-09-07 23:03 35K 
[ ]cfunct_1__t38_cfunct_1.vout2025-09-15 17:55 4.7K 
[ ]cfunct_1__t39_cfunct_12025-09-07 23:04 30K 
[ ]cfunct_1__t39_cfunct_1.vout2025-09-15 17:36 4.7K 
[ ]cfunct_1__t40_cfunct_12025-09-07 23:05 21K 
[ ]cfunct_1__t40_cfunct_1.vout2025-09-15 18:47 4.7K 
[ ]cfunct_1__t41_cfunct_12025-09-07 23:06 39K 
[ ]cfunct_1__t41_cfunct_1.vout2025-09-15 14:51 4.7K 
[ ]cfunct_1__t42_cfunct_12025-09-07 23:08 32K 
[ ]cfunct_1__t42_cfunct_1.vout2025-09-15 16:56 4.7K 
[ ]cfunct_1__t43_cfunct_12025-09-07 23:09 21K 
[ ]cfunct_1__t43_cfunct_1.vout2025-09-15 13:57 4.7K 
[ ]cfunct_1__t44_cfunct_12025-09-07 23:10 19K 
[ ]cfunct_1__t44_cfunct_1.vout2025-09-15 15:13 4.7K 
[ ]cfunct_1__t45_cfunct_12025-09-07 23:11 22K 
[ ]cfunct_1__t45_cfunct_1.vout2025-09-15 17:41 4.7K 
[ ]cfunct_1__t46_cfunct_12025-09-07 23:12 28K 
[ ]cfunct_1__t46_cfunct_1.vout2025-09-15 17:12 4.7K 
[ ]cfunct_1__t47_cfunct_12025-09-07 23:13 29K 
[ ]cfunct_1__t47_cfunct_1.vout2025-09-15 19:04 4.7K 
[ ]cfunct_1__t48_cfunct_12025-09-07 23:14 42K 
[ ]cfunct_1__t48_cfunct_1.vout2025-09-15 16:03 4.7K 
[ ]cfunct_1__t49_cfunct_12025-09-07 23:15 22K 
[ ]cfunct_1__t49_cfunct_1.vout2025-09-15 13:33 4.7K 
[ ]cfunct_1__t50_cfunct_12025-09-07 23:16 30K 
[ ]cfunct_1__t50_cfunct_1.vout2025-09-15 15:17 4.7K 
[ ]cfunct_1__t51_cfunct_12025-09-07 23:17 25K 
[ ]cfunct_1__t51_cfunct_1.vout2025-09-15 18:18 4.7K 
[ ]cfunct_1__t52_cfunct_12025-09-07 23:18 28K 
[ ]cfunct_1__t52_cfunct_1.vout2025-09-15 17:03 4.7K 
[ ]cfunct_1__t53_cfunct_12025-09-07 23:19 28K 
[ ]cfunct_1__t53_cfunct_1.vout2025-09-15 15:19 4.7K 
[ ]cfunct_1__t54_cfunct_12025-09-07 23:21 39K 
[ ]cfunct_1__t54_cfunct_1.vout2025-09-15 18:15 4.7K 
[ ]cfunct_1__t55_cfunct_12025-09-07 23:22 33K 
[ ]cfunct_1__t55_cfunct_1.vout2025-09-15 14:21 4.7K 
[ ]cfunct_1__t56_cfunct_12025-09-07 23:23 31K 
[ ]cfunct_1__t56_cfunct_1.vout2025-09-15 15:52 4.7K 
[ ]cfunct_1__t57_cfunct_12025-09-07 23:24 25K 
[ ]cfunct_1__t57_cfunct_1.vout2025-09-15 17:59 4.7K 
[ ]cfunct_1__t58_cfunct_12025-09-07 23:25 41K 
[ ]cfunct_1__t58_cfunct_1.vout2025-09-15 19:45 7.4K 
[ ]cfunct_1__t59_cfunct_12025-09-07 22:26 18K 
[ ]cfunct_1__t59_cfunct_1.vout2025-09-15 17:26 2.0K 
[ ]cfunct_1__t60_cfunct_12025-09-07 22:27 21K 
[ ]cfunct_1__t60_cfunct_1.depv12025-09-15 19:47 167  
[ ]cfunct_1__t60_cfunct_1.depvmin12025-09-15 19:51 167  
[ ]cfunct_1__t60_cfunct_1.vmin12025-09-15 19:47 1.7K 
[ ]cfunct_1__t60_cfunct_1.vmin1out2025-09-15 19:49 19K 
[ ]cfunct_1__t60_cfunct_1.vout2025-09-15 14:36 18K 
[ ]cfunct_1__t61_cfunct_12025-09-07 22:28 18K 
[ ]cfunct_1__t61_cfunct_1.vout2025-09-15 14:47 7.9K 
[ ]cfunct_1__t62_cfunct_12025-09-07 23:26 20K 
[ ]cfunct_1__t62_cfunct_1.depv12025-09-15 19:47 251  
[ ]cfunct_1__t62_cfunct_1.depvmin12025-09-15 19:51 251  
[ ]cfunct_1__t62_cfunct_1.vmin12025-09-15 19:47 2.6K 
[ ]cfunct_1__t62_cfunct_1.vmin1out2025-09-15 19:48 42K 
[ ]cfunct_1__t62_cfunct_1.vout2025-09-15 17:06 46K 
[ ]cfunct_1__t63_cfunct_12025-09-07 23:27 33K 
[ ]cfunct_1__t63_cfunct_1.vout2025-09-15 19:16 4.7K 
[ ]cfunct_1__t64_cfunct_12025-09-07 23:29 40K 
[ ]cfunct_1__t64_cfunct_1.vout2025-09-15 16:06 2.0K 
[ ]cfunct_1__t65_cfunct_12025-09-07 23:29 20K 
[ ]cfunct_1__t65_cfunct_1.vout2025-09-15 14:28 2.0K 
[ ]cfunct_1__t66_cfunct_12025-09-07 23:31 27K 
[ ]cfunct_1__t66_cfunct_1.vout2025-09-15 16:21 7.4K 
[ ]cfunct_1__t67_cfunct_12025-09-07 22:29 19K 
[ ]cfunct_1__t67_cfunct_1.vout2025-09-15 19:29 7.3K 
[ ]cfunct_1__t68_cfunct_12025-09-07 23:32 26K 
[ ]cfunct_1__t68_cfunct_1.vout2025-09-15 16:06 7.3K 
[ ]cfunct_1__t69_cfunct_12025-09-07 23:33 33K 
[ ]cfunct_1__t69_cfunct_1.vout2025-09-15 13:30 4.7K 
[ ]cfunct_1__t70_cfunct_12025-09-07 23:34 26K 
[ ]cfunct_1__t70_cfunct_1.depv12025-09-15 19:47 174  
[ ]cfunct_1__t70_cfunct_1.depvmin12025-09-15 19:51 174  
[ ]cfunct_1__t70_cfunct_1.vmin12025-09-15 19:47 2.3K 
[ ]cfunct_1__t70_cfunct_1.vmin1out2025-09-15 19:51 22K 
[ ]cfunct_1__t70_cfunct_1.vout2025-09-15 14:20 26K 
[ ]cfunct_1__t71_cfunct_12025-09-07 23:35 20K 
[ ]cfunct_1__t71_cfunct_1.depv12025-09-15 19:47 211  
[ ]cfunct_1__t71_cfunct_1.depvmin12025-09-15 19:51 211  
[ ]cfunct_1__t71_cfunct_1.vmin12025-09-15 19:47 2.2K 
[ ]cfunct_1__t71_cfunct_1.vmin1out2025-09-15 19:47 22K 
[ ]cfunct_1__t71_cfunct_1.vout2025-09-15 16:19 23K 
[ ]cfunct_1__t72_cfunct_12025-09-07 23:36 27K 
[ ]cfunct_1__t72_cfunct_1.vout2025-09-15 19:40 4.7K 
[ ]cfunct_1__t73_cfunct_12025-09-07 23:37 24K 
[ ]cfunct_1__t73_cfunct_1.depv12025-09-15 19:47 189  
[ ]cfunct_1__t73_cfunct_1.depvmin12025-09-15 19:51 189  
[ ]cfunct_1__t73_cfunct_1.vmin12025-09-15 19:47 2.0K 
[ ]cfunct_1__t73_cfunct_1.vmin1out2025-09-15 19:50 18K 
[ ]cfunct_1__t73_cfunct_1.vout2025-09-15 14:24 20K 
[ ]cfunct_1__t74_cfunct_12025-09-07 23:38 27K 
[ ]cfunct_1__t74_cfunct_1.vout2025-09-15 16:55 4.7K 
[ ]cfunct_1__t75_cfunct_12025-09-07 23:40 43K 
[ ]cfunct_1__t75_cfunct_1.vout2025-09-15 18:40 7.3K 
[ ]cfunct_1__t76_cfunct_12025-09-07 23:41 48K 
[ ]cfunct_1__t76_cfunct_1.vout2025-09-15 14:16 7.4K 
[ ]cfunct_1__t77_cfunct_12025-09-07 23:42 28K 
[ ]cfunct_1__t77_cfunct_1.depv12025-09-15 19:47 174  
[ ]cfunct_1__t77_cfunct_1.depvmin12025-09-15 19:51 174  
[ ]cfunct_1__t77_cfunct_1.vmin12025-09-15 19:47 2.2K 
[ ]cfunct_1__t77_cfunct_1.vmin1out2025-09-15 19:48 22K 
[ ]cfunct_1__t77_cfunct_1.vout2025-09-15 17:51 28K 
[ ]cfunct_1__t78_cfunct_12025-09-07 23:43 43K 
[ ]cfunct_1__t78_cfunct_1.vout2025-09-15 15:15 7.3K 
[ ]cfunct_1__t79_cfunct_12025-09-07 23:44 25K 
[ ]cfunct_1__t79_cfunct_1.vout2025-09-15 14:17 7.3K 
[ ]cfunct_1__t80_cfunct_12025-09-07 23:46 44K 
[ ]cfunct_1__t80_cfunct_1.vout2025-09-15 16:05 7.3K 
[ ]cfunct_1__t81_cfunct_12025-09-07 23:47 21K 
[ ]cfunct_1__t81_cfunct_1.depv12025-09-15 19:47 115  
[ ]cfunct_1__t81_cfunct_1.depvmin12025-09-15 19:51 115  
[ ]cfunct_1__t81_cfunct_1.vmin12025-09-15 19:47 1.5K 
[ ]cfunct_1__t81_cfunct_1.vmin1out2025-09-15 19:47 28K 
[ ]cfunct_1__t81_cfunct_1.vout2025-09-15 17:31 25K 
[ ]cfunct_1__t82_cfunct_12025-09-07 23:48 27K 
[ ]cfunct_1__t82_cfunct_1.depv12025-09-15 19:47 284  
[ ]cfunct_1__t82_cfunct_1.depvmin12025-09-15 19:51 284  
[ ]cfunct_1__t82_cfunct_1.vmin12025-09-15 19:47 3.8K 
[ ]cfunct_1__t82_cfunct_1.vmin1out2025-09-15 19:49 42K 
[ ]cfunct_1__t82_cfunct_1.vout2025-09-15 16:21 45K 
[ ]cfunct_1__t83_cfunct_12025-09-07 23:49 22K 
[ ]cfunct_1__t83_cfunct_1.depv12025-09-15 19:47 39  
[ ]cfunct_1__t83_cfunct_1.depvmin12025-09-15 19:51 39  
[ ]cfunct_1__t83_cfunct_1.vmin12025-09-15 19:47 1.2K 
[ ]cfunct_1__t83_cfunct_1.vmin1out2025-09-15 19:50 13K 
[ ]cfunct_1__t83_cfunct_1.vout2025-09-15 19:34 12K 
[ ]cfunct_1__t84_cfunct_12025-09-07 23:50 41K 
[ ]cfunct_1__t84_cfunct_1.depv12025-09-15 19:47 65  
[ ]cfunct_1__t84_cfunct_1.depvmin12025-09-15 19:51 65  
[ ]cfunct_1__t84_cfunct_1.vmin12025-09-15 19:47 1.6K 
[ ]cfunct_1__t84_cfunct_1.vmin1out2025-09-15 19:51 23K 
[ ]cfunct_1__t84_cfunct_1.vout2025-09-15 14:41 19K 
[ ]cfunct_1__t85_cfunct_12025-09-07 22:30 16K 
[ ]cfunct_1__t85_cfunct_1.depv12025-09-15 19:47 26  
[ ]cfunct_1__t85_cfunct_1.depvmin12025-09-15 19:51 26  
[ ]cfunct_1__t85_cfunct_1.vmin12025-09-15 19:47 463  
[ ]cfunct_1__t85_cfunct_1.vmin1out2025-09-15 19:50 8.4K 
[ ]cfunct_1__t85_cfunct_1.vout2025-09-15 17:04 6.9K 
[ ]cfunct_1__t86_cfunct_12025-09-07 22:31 13K 
[ ]cfunct_1__t86_cfunct_1.depv12025-09-15 19:47 26  
[ ]cfunct_1__t86_cfunct_1.depvmin12025-09-15 19:51 26  
[ ]cfunct_1__t86_cfunct_1.vmin12025-09-15 19:47 407  
[ ]cfunct_1__t86_cfunct_1.vmin1out2025-09-15 19:48 4.6K 
[ ]cfunct_1__t86_cfunct_1.vout2025-09-15 14:20 4.6K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80