Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/rfunct_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rfunct_3__l8_rfunct_32024-07-26 19:26 50K 
[ ]rfunct_3__l8_rfunct_3.depv12024-08-03 10:19 195  
[ ]rfunct_3__l8_rfunct_3.depvmin12024-08-03 10:24 195  
[ ]rfunct_3__l8_rfunct_3.vmin12024-08-03 10:20 1.7K 
[ ]rfunct_3__l8_rfunct_3.vmin1out2024-08-03 10:22 20K 
[ ]rfunct_3__l8_rfunct_3.vout2024-08-03 05:00 19K 
[ ]rfunct_3__l9_rfunct_32024-07-26 19:28 30K 
[ ]rfunct_3__l9_rfunct_3.vout2024-08-03 05:55 4.1K 
[ ]rfunct_3__l86_rfunct_32024-07-26 19:29 59K 
[ ]rfunct_3__l86_rfunct_3.vout2024-08-03 07:42 7.3K 
[ ]rfunct_3__l87_rfunct_32024-07-26 19:31 143K 
[ ]rfunct_3__l87_rfunct_3.vout2024-08-03 07:27 6.8K 
[ ]rfunct_3__t1_rfunct_32024-07-26 17:17 35K 
[ ]rfunct_3__t1_rfunct_3.vout2024-08-03 05:33 2.0K 
[ ]rfunct_3__t2_rfunct_32024-07-26 17:18 37K 
[ ]rfunct_3__t2_rfunct_3.vout2024-08-03 09:21 2.0K 
[ ]rfunct_3__t3_rfunct_32024-07-26 17:20 36K 
[ ]rfunct_3__t3_rfunct_3.vout2024-08-03 07:20 2.0K 
[ ]rfunct_3__t4_rfunct_32024-07-26 17:21 32K 
[ ]rfunct_3__t4_rfunct_3.depv12024-08-03 10:19 304  
[ ]rfunct_3__t4_rfunct_3.depvmin12024-08-03 10:24 304  
[ ]rfunct_3__t4_rfunct_3.vmin12024-08-03 10:20 2.7K 
[ ]rfunct_3__t4_rfunct_3.vmin1out2024-08-03 10:20 45K 
[ ]rfunct_3__t4_rfunct_3.vout2024-08-03 10:17 36K 
[ ]rfunct_3__t5_rfunct_32024-07-26 17:23 37K 
[ ]rfunct_3__t5_rfunct_3.vout2024-08-03 07:18 2.0K 
[ ]rfunct_3__t6_rfunct_32024-07-26 17:24 44K 
[ ]rfunct_3__t6_rfunct_3.vout2024-08-03 09:26 6.8K 
[ ]rfunct_3__t7_rfunct_32024-07-26 17:26 39K 
[ ]rfunct_3__t7_rfunct_3.vout2024-08-03 08:03 7.3K 
[ ]rfunct_3__t8_rfunct_32024-07-26 17:28 58K 
[ ]rfunct_3__t8_rfunct_3.vout2024-08-03 09:52 6.8K 
[ ]rfunct_3__t9_rfunct_32024-07-26 17:29 39K 
[ ]rfunct_3__t9_rfunct_3.vout2024-08-03 08:32 7.3K 
[ ]rfunct_3__t10_rfunct_32024-07-26 17:31 40K 
[ ]rfunct_3__t10_rfunct_3.vout2024-08-03 10:06 7.4K 
[ ]rfunct_3__t11_rfunct_32024-07-26 17:32 42K 
[ ]rfunct_3__t11_rfunct_3.vout2024-08-03 08:33 7.3K 
[ ]rfunct_3__t12_rfunct_32024-07-26 17:10 35K 
[ ]rfunct_3__t12_rfunct_3.vout2024-08-03 04:44 2.0K 
[ ]rfunct_3__t13_rfunct_32024-07-26 17:34 44K 
[ ]rfunct_3__t13_rfunct_3.vout2024-08-03 07:09 7.4K 
[ ]rfunct_3__t14_rfunct_32024-07-26 17:35 37K 
[ ]rfunct_3__t14_rfunct_3.vout2024-08-03 10:08 7.9K 
[ ]rfunct_3__t15_rfunct_32024-07-26 17:37 37K 
[ ]rfunct_3__t15_rfunct_3.vout2024-08-03 05:40 7.9K 
[ ]rfunct_3__t16_rfunct_32024-07-26 17:39 52K 
[ ]rfunct_3__t16_rfunct_3.vout2024-08-03 07:29 8.4K 
[ ]rfunct_3__t17_rfunct_32024-07-26 17:40 38K 
[ ]rfunct_3__t17_rfunct_3.vout2024-08-03 09:47 8.4K 
[ ]rfunct_3__t18_rfunct_32024-07-26 17:42 38K 
[ ]rfunct_3__t18_rfunct_3.vout2024-08-03 08:30 2.0K 
[ ]rfunct_3__t19_rfunct_32024-07-26 17:43 40K 
[ ]rfunct_3__t19_rfunct_3.vout2024-08-03 07:28 2.0K 
[ ]rfunct_3__t20_rfunct_32024-07-26 17:45 52K 
[ ]rfunct_3__t20_rfunct_3.vout2024-08-03 05:55 4.7K 
[ ]rfunct_3__t21_rfunct_32024-07-26 17:47 50K 
[ ]rfunct_3__t21_rfunct_3.vout2024-08-03 07:40 4.7K 
[ ]rfunct_3__t22_rfunct_32024-07-26 17:48 48K 
[ ]rfunct_3__t22_rfunct_3.vout2024-08-03 08:41 4.7K 
[ ]rfunct_3__t23_rfunct_32024-07-26 17:50 51K 
[ ]rfunct_3__t23_rfunct_3.vout2024-08-03 04:49 5.8K 
[ ]rfunct_3__t24_rfunct_32024-07-26 17:52 51K 
[ ]rfunct_3__t24_rfunct_3.vout2024-08-03 06:18 5.8K 
[ ]rfunct_3__t25_rfunct_32024-07-26 17:54 93K 
[ ]rfunct_3__t25_rfunct_3.vout2024-08-03 06:49 7.3K 
[ ]rfunct_3__t26_rfunct_32024-07-26 17:55 52K 
[ ]rfunct_3__t26_rfunct_3.vout2024-08-03 06:10 4.7K 
[ ]rfunct_3__t27_rfunct_32024-07-26 17:57 54K 
[ ]rfunct_3__t27_rfunct_3.vout2024-08-03 04:17 4.7K 
[ ]rfunct_3__t28_rfunct_32024-07-26 17:59 86K 
[ ]rfunct_3__t28_rfunct_3.vout2024-08-03 05:47 4.7K 
[ ]rfunct_3__t29_rfunct_32024-07-26 18:01 53K 
[ ]rfunct_3__t29_rfunct_3.vout2024-08-03 09:11 4.7K 
[ ]rfunct_3__t30_rfunct_32024-07-26 18:02 41K 
[ ]rfunct_3__t30_rfunct_3.vout2024-08-03 09:46 4.7K 
[ ]rfunct_3__t31_rfunct_32024-07-26 18:04 48K 
[ ]rfunct_3__t31_rfunct_3.vout2024-08-03 05:36 4.7K 
[ ]rfunct_3__t32_rfunct_32024-07-26 17:12 39K 
[ ]rfunct_3__t32_rfunct_3.depv12024-08-03 10:19 55  
[ ]rfunct_3__t32_rfunct_3.depvmin12024-08-03 10:24 55  
[ ]rfunct_3__t32_rfunct_3.vmin12024-08-03 10:20 1.0K 
[ ]rfunct_3__t32_rfunct_3.vmin1out2024-08-03 10:20 9.4K 
[ ]rfunct_3__t32_rfunct_3.vout2024-08-03 04:28 9.4K 
[ ]rfunct_3__t33_rfunct_32024-07-26 18:06 90K 
[ ]rfunct_3__t33_rfunct_3.vout2024-08-03 10:03 4.7K 
[ ]rfunct_3__t34_rfunct_32024-07-26 18:08 56K 
[ ]rfunct_3__t34_rfunct_3.vout2024-08-03 04:46 4.7K 
[ ]rfunct_3__t35_rfunct_32024-07-26 18:09 41K 
[ ]rfunct_3__t35_rfunct_3.vout2024-08-03 04:45 7.3K 
[ ]rfunct_3__t36_rfunct_32024-07-26 18:11 41K 
[ ]rfunct_3__t36_rfunct_3.vout2024-08-03 06:27 3.7K 
[ ]rfunct_3__t37_rfunct_32024-07-26 18:12 38K 
[ ]rfunct_3__t37_rfunct_3.vout2024-08-03 08:53 7.3K 
[ ]rfunct_3__t38_rfunct_32024-07-26 18:14 56K 
[ ]rfunct_3__t38_rfunct_3.vout2024-08-03 08:33 6.8K 
[ ]rfunct_3__t39_rfunct_32024-07-26 18:16 43K 
[ ]rfunct_3__t39_rfunct_3.vout2024-08-03 04:57 3.7K 
[ ]rfunct_3__t40_rfunct_32024-07-26 18:17 39K 
[ ]rfunct_3__t40_rfunct_3.vout2024-08-03 08:18 7.3K 
[ ]rfunct_3__t41_rfunct_32024-07-26 18:19 44K 
[ ]rfunct_3__t41_rfunct_3.vout2024-08-03 07:44 7.3K 
[ ]rfunct_3__t42_rfunct_32024-07-26 18:20 46K 
[ ]rfunct_3__t42_rfunct_3.vout2024-08-03 04:16 7.3K 
[ ]rfunct_3__t43_rfunct_32024-07-26 18:22 80K 
[ ]rfunct_3__t43_rfunct_3.vout2024-08-03 08:35 6.8K 
[ ]rfunct_3__t44_rfunct_32024-07-26 18:24 46K 
[ ]rfunct_3__t44_rfunct_3.vout2024-08-03 05:14 4.7K 
[ ]rfunct_3__t45_rfunct_32024-07-26 18:25 46K 
[ ]rfunct_3__t45_rfunct_3.vout2024-08-03 10:10 4.7K 
[ ]rfunct_3__t46_rfunct_32024-07-26 18:27 39K 
[ ]rfunct_3__t46_rfunct_3.vout2024-08-03 06:12 4.7K 
[ ]rfunct_3__t47_rfunct_32024-07-26 18:28 42K 
[ ]rfunct_3__t47_rfunct_3.vout2024-08-03 05:15 4.7K 
[ ]rfunct_3__t48_rfunct_32024-07-26 18:30 39K 
[ ]rfunct_3__t48_rfunct_3.vout2024-08-03 07:20 4.7K 
[ ]rfunct_3__t49_rfunct_32024-07-26 18:31 47K 
[ ]rfunct_3__t49_rfunct_3.vout2024-08-03 08:37 4.1K 
[ ]rfunct_3__t50_rfunct_32024-07-26 18:33 51K 
[ ]rfunct_3__t50_rfunct_3.vout2024-08-03 06:06 7.3K 
[ ]rfunct_3__t51_rfunct_32024-07-26 18:34 44K 
[ ]rfunct_3__t51_rfunct_3.vout2024-08-03 05:34 7.3K 
[ ]rfunct_3__t52_rfunct_32024-07-26 18:36 47K 
[ ]rfunct_3__t52_rfunct_3.vout2024-08-03 05:17 3.7K 
[ ]rfunct_3__t54_rfunct_32024-07-26 18:38 45K 
[ ]rfunct_3__t54_rfunct_3.depv12024-08-03 10:19 162  
[ ]rfunct_3__t54_rfunct_3.depvmin12024-08-03 10:24 59  
[ ]rfunct_3__t54_rfunct_3.vmin12024-08-03 10:20 2.2K 
[ ]rfunct_3__t54_rfunct_3.vmin1out2024-08-03 10:22 46K 
[ ]rfunct_3__t54_rfunct_3.vout2024-08-03 08:43 49K 
[ ]rfunct_3__t55_rfunct_32024-07-26 18:39 60K 
[ ]rfunct_3__t55_rfunct_3.vout2024-08-03 08:17 6.8K 
[ ]rfunct_3__t56_rfunct_32024-07-26 18:41 48K 
[ ]rfunct_3__t56_rfunct_3.vout2024-08-03 05:15 6.8K 
[ ]rfunct_3__t57_rfunct_32024-07-26 18:42 51K 
[ ]rfunct_3__t57_rfunct_3.vout2024-08-03 06:51 7.3K 
[ ]rfunct_3__t58_rfunct_32024-07-26 18:44 64K 
[ ]rfunct_3__t58_rfunct_3.vout2024-08-03 05:57 6.8K 
[ ]rfunct_3__t59_rfunct_32024-07-26 18:45 63K 
[ ]rfunct_3__t59_rfunct_3.vout2024-08-03 10:09 7.3K 
[ ]rfunct_3__t60_rfunct_32024-07-26 18:47 47K 
[ ]rfunct_3__t60_rfunct_3.depv12024-08-03 10:19 154  
[ ]rfunct_3__t60_rfunct_3.depvmin12024-08-03 10:24 154  
[ ]rfunct_3__t60_rfunct_3.vmin12024-08-03 10:20 1.5K 
[ ]rfunct_3__t60_rfunct_3.vmin1out2024-08-03 10:20 13K 
[ ]rfunct_3__t60_rfunct_3.vout2024-08-03 05:42 17K 
[ ]rfunct_3__t61_rfunct_32024-07-26 18:48 47K 
[ ]rfunct_3__t61_rfunct_3.vout2024-08-03 07:42 8.4K 
[ ]rfunct_3__t62_rfunct_32024-07-26 17:14 48K 
[ ]rfunct_3__t62_rfunct_3.depv12024-08-03 10:19 93  
[ ]rfunct_3__t62_rfunct_3.depvmin12024-08-03 10:24 93  
[ ]rfunct_3__t62_rfunct_3.vmin12024-08-03 10:20 1.0K 
[ ]rfunct_3__t62_rfunct_3.vmin1out2024-08-03 10:22 8.4K 
[ ]rfunct_3__t62_rfunct_3.vout2024-08-03 04:18 7.5K 
[ ]rfunct_3__t63_rfunct_32024-07-26 18:50 44K 
[ ]rfunct_3__t63_rfunct_3.vout2024-08-03 06:26 7.3K 
[ ]rfunct_3__t64_rfunct_32024-07-26 18:51 41K 
[ ]rfunct_3__t64_rfunct_3.vout2024-08-03 08:24 4.1K 
[ ]rfunct_3__t65_rfunct_32024-07-26 18:53 76K 
[ ]rfunct_3__t65_rfunct_3.vout2024-08-03 08:06 6.8K 
[ ]rfunct_3__t66_rfunct_32024-07-26 18:55 59K 
[ ]rfunct_3__t66_rfunct_3.vout2024-08-03 09:52 6.8K 
[ ]rfunct_3__t67_rfunct_32024-07-26 18:56 44K 
[ ]rfunct_3__t67_rfunct_3.vout2024-08-03 06:15 7.3K 
[ ]rfunct_3__t68_rfunct_32024-07-26 18:57 45K 
[ ]rfunct_3__t68_rfunct_3.vout2024-08-03 07:41 7.3K 
[ ]rfunct_3__t69_rfunct_32024-07-26 18:59 52K 
[ ]rfunct_3__t69_rfunct_3.vout2024-08-03 08:14 7.3K 
[ ]rfunct_3__t70_rfunct_32024-07-26 19:01 81K 
[ ]rfunct_3__t70_rfunct_3.vout2024-08-03 08:52 4.7K 
[ ]rfunct_3__t71_rfunct_32024-07-26 19:02 61K 
[ ]rfunct_3__t71_rfunct_3.vout2024-08-03 06:22 7.3K 
[ ]rfunct_3__t72_rfunct_32024-07-26 19:04 76K 
[ ]rfunct_3__t72_rfunct_3.vout2024-08-03 07:13 4.7K 
[ ]rfunct_3__t73_rfunct_32024-07-26 19:07 109K 
[ ]rfunct_3__t73_rfunct_3.vout2024-08-03 06:01 3.7K 
[ ]rfunct_3__t74_rfunct_32024-07-26 19:08 45K 
[ ]rfunct_3__t74_rfunct_3.vout2024-08-03 08:25 4.7K 
[ ]rfunct_3__t75_rfunct_32024-07-26 19:10 48K 
[ ]rfunct_3__t75_rfunct_3.vout2024-08-03 08:18 7.4K 
[ ]rfunct_3__t76_rfunct_32024-07-26 19:12 82K 
[ ]rfunct_3__t76_rfunct_3.vout2024-08-03 05:42 6.8K 
[ ]rfunct_3__t77_rfunct_32024-07-26 19:14 72K 
[ ]rfunct_3__t77_rfunct_3.vout2024-08-03 07:53 6.8K 
[ ]rfunct_3__t78_rfunct_32024-07-26 19:16 82K 
[ ]rfunct_3__t78_rfunct_3.vout2024-08-03 04:46 6.8K 
[ ]rfunct_3__t79_rfunct_32024-07-26 19:18 58K 
[ ]rfunct_3__t79_rfunct_3.vout2024-08-03 05:11 7.4K 
[ ]rfunct_3__t80_rfunct_32024-07-26 19:20 63K 
[ ]rfunct_3__t80_rfunct_3.vout2024-08-03 04:20 7.4K 
[ ]rfunct_3__t81_rfunct_32024-07-26 17:15 37K 
[ ]rfunct_3__t81_rfunct_3.depv12024-08-03 10:19 75  
[ ]rfunct_3__t81_rfunct_3.depvmin12024-08-03 10:24 51  
[ ]rfunct_3__t81_rfunct_3.vmin12024-08-03 10:20 794  
[ ]rfunct_3__t81_rfunct_3.vmin1out2024-08-03 10:22 6.4K 
[ ]rfunct_3__t81_rfunct_3.vout2024-08-03 04:40 6.9K 
[ ]rfunct_3__t82_rfunct_32024-07-26 19:21 42K 
[ ]rfunct_3__t82_rfunct_3.vout2024-08-03 06:21 2.0K 
[ ]rfunct_3__t83_rfunct_32024-07-26 19:23 56K 
[ ]rfunct_3__t83_rfunct_3.vout2024-08-03 05:03 1.1K 
[ ]rfunct_3__t84_rfunct_32024-07-26 19:25 59K 
[ ]rfunct_3__t84_rfunct_3.vout2024-08-03 06:56 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80