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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rfunct_3__l8_rfunct_32025-09-09 03:43 50K 
[ ]rfunct_3__l8_rfunct_3.depv12025-09-15 19:47 195  
[ ]rfunct_3__l8_rfunct_3.depvmin12025-09-15 19:52 195  
[ ]rfunct_3__l8_rfunct_3.vmin12025-09-15 19:47 1.7K 
[ ]rfunct_3__l8_rfunct_3.vmin1out2025-09-15 19:48 20K 
[ ]rfunct_3__l8_rfunct_3.vout2025-09-15 13:39 19K 
[ ]rfunct_3__l9_rfunct_32025-09-09 03:44 30K 
[ ]rfunct_3__l9_rfunct_3.vout2025-09-15 14:39 4.1K 
[ ]rfunct_3__l86_rfunct_32025-09-09 03:46 59K 
[ ]rfunct_3__l86_rfunct_3.vout2025-09-15 17:37 7.3K 
[ ]rfunct_3__l87_rfunct_32025-09-09 03:48 143K 
[ ]rfunct_3__l87_rfunct_3.vout2025-09-15 13:55 6.8K 
[ ]rfunct_3__t1_rfunct_32025-09-09 01:38 35K 
[ ]rfunct_3__t1_rfunct_3.vout2025-09-15 14:19 2.0K 
[ ]rfunct_3__t2_rfunct_32025-09-09 01:39 37K 
[ ]rfunct_3__t2_rfunct_3.vout2025-09-15 18:44 2.0K 
[ ]rfunct_3__t3_rfunct_32025-09-09 01:40 36K 
[ ]rfunct_3__t3_rfunct_3.vout2025-09-15 16:17 2.0K 
[ ]rfunct_3__t4_rfunct_32025-09-09 01:42 32K 
[ ]rfunct_3__t4_rfunct_3.depv12025-09-15 19:47 304  
[ ]rfunct_3__t4_rfunct_3.depvmin12025-09-15 19:52 304  
[ ]rfunct_3__t4_rfunct_3.vmin12025-09-15 19:47 2.7K 
[ ]rfunct_3__t4_rfunct_3.vmin1out2025-09-15 19:51 45K 
[ ]rfunct_3__t4_rfunct_3.vout2025-09-15 13:50 36K 
[ ]rfunct_3__t5_rfunct_32025-09-09 01:43 37K 
[ ]rfunct_3__t5_rfunct_3.vout2025-09-15 16:39 2.0K 
[ ]rfunct_3__t6_rfunct_32025-09-09 01:45 44K 
[ ]rfunct_3__t6_rfunct_3.vout2025-09-15 19:28 6.8K 
[ ]rfunct_3__t7_rfunct_32025-09-09 01:46 39K 
[ ]rfunct_3__t7_rfunct_3.vout2025-09-15 14:10 7.3K 
[ ]rfunct_3__t8_rfunct_32025-09-09 01:48 58K 
[ ]rfunct_3__t8_rfunct_3.vout2025-09-15 19:26 7.3K 
[ ]rfunct_3__t9_rfunct_32025-09-09 01:49 39K 
[ ]rfunct_3__t9_rfunct_3.vout2025-09-15 13:43 7.3K 
[ ]rfunct_3__t10_rfunct_32025-09-09 01:51 40K 
[ ]rfunct_3__t10_rfunct_3.vout2025-09-15 13:48 7.3K 
[ ]rfunct_3__t11_rfunct_32025-09-09 01:52 42K 
[ ]rfunct_3__t11_rfunct_3.vout2025-09-15 17:08 7.3K 
[ ]rfunct_3__t12_rfunct_32025-09-09 01:32 35K 
[ ]rfunct_3__t12_rfunct_3.vout2025-09-15 15:29 2.0K 
[ ]rfunct_3__t13_rfunct_32025-09-09 01:54 44K 
[ ]rfunct_3__t13_rfunct_3.vout2025-09-15 13:29 7.4K 
[ ]rfunct_3__t14_rfunct_32025-09-09 01:55 37K 
[ ]rfunct_3__t14_rfunct_3.vout2025-09-15 15:15 7.9K 
[ ]rfunct_3__t15_rfunct_32025-09-09 01:56 37K 
[ ]rfunct_3__t15_rfunct_3.vout2025-09-15 13:38 7.9K 
[ ]rfunct_3__t16_rfunct_32025-09-09 01:58 52K 
[ ]rfunct_3__t16_rfunct_3.vout2025-09-15 18:24 8.4K 
[ ]rfunct_3__t17_rfunct_32025-09-09 01:59 38K 
[ ]rfunct_3__t17_rfunct_3.vout2025-09-15 17:24 8.4K 
[ ]rfunct_3__t18_rfunct_32025-09-09 02:01 38K 
[ ]rfunct_3__t18_rfunct_3.vout2025-09-15 16:57 2.0K 
[ ]rfunct_3__t19_rfunct_32025-09-09 02:02 40K 
[ ]rfunct_3__t19_rfunct_3.vout2025-09-15 15:12 2.0K 
[ ]rfunct_3__t20_rfunct_32025-09-09 02:04 52K 
[ ]rfunct_3__t20_rfunct_3.vout2025-09-15 16:50 4.7K 
[ ]rfunct_3__t21_rfunct_32025-09-09 02:05 50K 
[ ]rfunct_3__t21_rfunct_3.vout2025-09-15 16:48 4.7K 
[ ]rfunct_3__t22_rfunct_32025-09-09 02:07 48K 
[ ]rfunct_3__t22_rfunct_3.vout2025-09-15 18:32 4.7K 
[ ]rfunct_3__t23_rfunct_32025-09-09 02:09 51K 
[ ]rfunct_3__t23_rfunct_3.vout2025-09-15 18:04 5.8K 
[ ]rfunct_3__t24_rfunct_32025-09-09 02:10 51K 
[ ]rfunct_3__t24_rfunct_3.vout2025-09-15 14:45 5.8K 
[ ]rfunct_3__t25_rfunct_32025-09-09 02:12 93K 
[ ]rfunct_3__t25_rfunct_3.vout2025-09-15 18:49 7.3K 
[ ]rfunct_3__t26_rfunct_32025-09-09 02:14 52K 
[ ]rfunct_3__t26_rfunct_3.vout2025-09-15 18:34 4.7K 
[ ]rfunct_3__t27_rfunct_32025-09-09 02:16 54K 
[ ]rfunct_3__t27_rfunct_3.vout2025-09-15 16:34 4.7K 
[ ]rfunct_3__t28_rfunct_32025-09-09 02:17 86K 
[ ]rfunct_3__t28_rfunct_3.vout2025-09-15 18:41 4.7K 
[ ]rfunct_3__t29_rfunct_32025-09-09 02:19 53K 
[ ]rfunct_3__t29_rfunct_3.vout2025-09-15 19:34 4.7K 
[ ]rfunct_3__t30_rfunct_32025-09-09 02:21 41K 
[ ]rfunct_3__t30_rfunct_3.vout2025-09-15 16:57 4.7K 
[ ]rfunct_3__t31_rfunct_32025-09-09 02:22 48K 
[ ]rfunct_3__t31_rfunct_3.vout2025-09-15 14:28 4.7K 
[ ]rfunct_3__t32_rfunct_32025-09-09 01:34 39K 
[ ]rfunct_3__t32_rfunct_3.depv12025-09-15 19:47 55  
[ ]rfunct_3__t32_rfunct_3.depvmin12025-09-15 19:52 55  
[ ]rfunct_3__t32_rfunct_3.vmin12025-09-15 19:47 1.0K 
[ ]rfunct_3__t32_rfunct_3.vmin1out2025-09-15 19:50 9.4K 
[ ]rfunct_3__t32_rfunct_3.vout2025-09-15 14:43 9.4K 
[ ]rfunct_3__t33_rfunct_32025-09-09 02:24 90K 
[ ]rfunct_3__t33_rfunct_3.vout2025-09-15 15:04 4.7K 
[ ]rfunct_3__t34_rfunct_32025-09-09 02:26 56K 
[ ]rfunct_3__t34_rfunct_3.vout2025-09-15 18:56 4.7K 
[ ]rfunct_3__t35_rfunct_32025-09-09 02:27 41K 
[ ]rfunct_3__t35_rfunct_3.vout2025-09-15 16:10 7.3K 
[ ]rfunct_3__t36_rfunct_32025-09-09 02:29 41K 
[ ]rfunct_3__t36_rfunct_3.vout2025-09-15 15:37 3.7K 
[ ]rfunct_3__t37_rfunct_32025-09-09 02:30 38K 
[ ]rfunct_3__t37_rfunct_3.vout2025-09-15 14:08 7.3K 
[ ]rfunct_3__t38_rfunct_32025-09-09 02:32 56K 
[ ]rfunct_3__t38_rfunct_3.vout2025-09-15 16:10 7.3K 
[ ]rfunct_3__t39_rfunct_32025-09-09 02:33 43K 
[ ]rfunct_3__t39_rfunct_3.vout2025-09-15 19:16 3.7K 
[ ]rfunct_3__t40_rfunct_32025-09-09 02:35 39K 
[ ]rfunct_3__t40_rfunct_3.vout2025-09-15 18:16 7.3K 
[ ]rfunct_3__t41_rfunct_32025-09-09 02:36 44K 
[ ]rfunct_3__t41_rfunct_3.vout2025-09-15 13:43 7.3K 
[ ]rfunct_3__t42_rfunct_32025-09-09 02:38 46K 
[ ]rfunct_3__t42_rfunct_3.vout2025-09-15 18:32 7.3K 
[ ]rfunct_3__t43_rfunct_32025-09-09 02:40 80K 
[ ]rfunct_3__t43_rfunct_3.vout2025-09-15 13:33 6.8K 
[ ]rfunct_3__t44_rfunct_32025-09-09 02:41 46K 
[ ]rfunct_3__t44_rfunct_3.vout2025-09-15 19:14 4.7K 
[ ]rfunct_3__t45_rfunct_32025-09-09 02:43 46K 
[ ]rfunct_3__t45_rfunct_3.vout2025-09-15 19:28 4.7K 
[ ]rfunct_3__t46_rfunct_32025-09-09 02:44 39K 
[ ]rfunct_3__t46_rfunct_3.vout2025-09-15 17:09 4.7K 
[ ]rfunct_3__t47_rfunct_32025-09-09 02:46 42K 
[ ]rfunct_3__t47_rfunct_3.vout2025-09-15 13:30 4.7K 
[ ]rfunct_3__t48_rfunct_32025-09-09 02:47 39K 
[ ]rfunct_3__t48_rfunct_3.vout2025-09-15 16:08 4.7K 
[ ]rfunct_3__t49_rfunct_32025-09-09 02:48 47K 
[ ]rfunct_3__t49_rfunct_3.vout2025-09-15 17:34 4.1K 
[ ]rfunct_3__t50_rfunct_32025-09-09 02:50 51K 
[ ]rfunct_3__t50_rfunct_3.vout2025-09-15 17:36 6.8K 
[ ]rfunct_3__t51_rfunct_32025-09-09 02:51 44K 
[ ]rfunct_3__t51_rfunct_3.vout2025-09-15 17:04 7.3K 
[ ]rfunct_3__t52_rfunct_32025-09-09 02:53 47K 
[ ]rfunct_3__t52_rfunct_3.vout2025-09-15 17:27 3.7K 
[ ]rfunct_3__t54_rfunct_32025-09-09 02:55 45K 
[ ]rfunct_3__t54_rfunct_3.depv12025-09-15 19:47 162  
[ ]rfunct_3__t54_rfunct_3.depvmin12025-09-15 19:52 59  
[ ]rfunct_3__t54_rfunct_3.vmin12025-09-15 19:47 2.2K 
[ ]rfunct_3__t54_rfunct_3.vmin1out2025-09-15 19:49 46K 
[ ]rfunct_3__t54_rfunct_3.vout2025-09-15 15:46 49K 
[ ]rfunct_3__t55_rfunct_32025-09-09 02:56 60K 
[ ]rfunct_3__t55_rfunct_3.vout2025-09-15 16:05 6.8K 
[ ]rfunct_3__t56_rfunct_32025-09-09 02:58 48K 
[ ]rfunct_3__t56_rfunct_3.vout2025-09-15 14:10 7.3K 
[ ]rfunct_3__t57_rfunct_32025-09-09 02:59 51K 
[ ]rfunct_3__t57_rfunct_3.vout2025-09-15 14:21 7.3K 
[ ]rfunct_3__t58_rfunct_32025-09-09 03:01 64K 
[ ]rfunct_3__t58_rfunct_3.vout2025-09-15 17:10 6.8K 
[ ]rfunct_3__t59_rfunct_32025-09-09 03:02 63K 
[ ]rfunct_3__t59_rfunct_3.vout2025-09-15 17:39 6.8K 
[ ]rfunct_3__t60_rfunct_32025-09-09 03:04 47K 
[ ]rfunct_3__t60_rfunct_3.depv12025-09-15 19:47 154  
[ ]rfunct_3__t60_rfunct_3.depvmin12025-09-15 19:52 154  
[ ]rfunct_3__t60_rfunct_3.vmin12025-09-15 19:47 1.5K 
[ ]rfunct_3__t60_rfunct_3.vmin1out2025-09-15 19:51 13K 
[ ]rfunct_3__t60_rfunct_3.vout2025-09-15 13:32 17K 
[ ]rfunct_3__t61_rfunct_32025-09-09 03:05 47K 
[ ]rfunct_3__t61_rfunct_3.vout2025-09-15 15:13 8.4K 
[ ]rfunct_3__t62_rfunct_32025-09-09 01:35 48K 
[ ]rfunct_3__t62_rfunct_3.depv12025-09-15 19:47 93  
[ ]rfunct_3__t62_rfunct_3.depvmin12025-09-15 19:52 93  
[ ]rfunct_3__t62_rfunct_3.vmin12025-09-15 19:47 1.0K 
[ ]rfunct_3__t62_rfunct_3.vmin1out2025-09-15 19:50 8.4K 
[ ]rfunct_3__t62_rfunct_3.vout2025-09-15 19:39 7.5K 
[ ]rfunct_3__t63_rfunct_32025-09-09 03:07 44K 
[ ]rfunct_3__t63_rfunct_3.vout2025-09-15 13:38 6.8K 
[ ]rfunct_3__t64_rfunct_32025-09-09 03:08 41K 
[ ]rfunct_3__t64_rfunct_3.vout2025-09-15 17:23 4.1K 
[ ]rfunct_3__t65_rfunct_32025-09-09 03:10 75K 
[ ]rfunct_3__t65_rfunct_3.vout2025-09-15 14:31 6.8K 
[ ]rfunct_3__t66_rfunct_32025-09-09 03:12 59K 
[ ]rfunct_3__t66_rfunct_3.vout2025-09-15 13:31 6.8K 
[ ]rfunct_3__t67_rfunct_32025-09-09 03:13 44K 
[ ]rfunct_3__t67_rfunct_3.vout2025-09-15 14:26 7.3K 
[ ]rfunct_3__t68_rfunct_32025-09-09 03:15 45K 
[ ]rfunct_3__t68_rfunct_3.vout2025-09-15 14:25 7.3K 
[ ]rfunct_3__t69_rfunct_32025-09-09 03:16 52K 
[ ]rfunct_3__t69_rfunct_3.vout2025-09-15 18:03 6.8K 
[ ]rfunct_3__t70_rfunct_32025-09-09 03:18 81K 
[ ]rfunct_3__t70_rfunct_3.vout2025-09-15 16:51 4.7K 
[ ]rfunct_3__t71_rfunct_32025-09-09 03:19 61K 
[ ]rfunct_3__t71_rfunct_3.vout2025-09-15 19:19 7.3K 
[ ]rfunct_3__t72_rfunct_32025-09-09 03:21 76K 
[ ]rfunct_3__t72_rfunct_3.vout2025-09-15 17:30 4.7K 
[ ]rfunct_3__t73_rfunct_32025-09-09 03:24 109K 
[ ]rfunct_3__t73_rfunct_3.vout2025-09-15 15:41 3.7K 
[ ]rfunct_3__t74_rfunct_32025-09-09 03:25 45K 
[ ]rfunct_3__t74_rfunct_3.vout2025-09-15 18:49 4.7K 
[ ]rfunct_3__t75_rfunct_32025-09-09 03:27 48K 
[ ]rfunct_3__t75_rfunct_3.vout2025-09-15 14:16 7.3K 
[ ]rfunct_3__t76_rfunct_32025-09-09 03:29 82K 
[ ]rfunct_3__t76_rfunct_3.vout2025-09-15 16:41 6.8K 
[ ]rfunct_3__t77_rfunct_32025-09-09 03:31 72K 
[ ]rfunct_3__t77_rfunct_3.vout2025-09-15 13:49 6.8K 
[ ]rfunct_3__t78_rfunct_32025-09-09 03:33 82K 
[ ]rfunct_3__t78_rfunct_3.vout2025-09-15 14:15 6.8K 
[ ]rfunct_3__t79_rfunct_32025-09-09 03:35 58K 
[ ]rfunct_3__t79_rfunct_3.vout2025-09-15 16:30 7.4K 
[ ]rfunct_3__t80_rfunct_32025-09-09 03:37 63K 
[ ]rfunct_3__t80_rfunct_3.vout2025-09-15 15:23 7.3K 
[ ]rfunct_3__t81_rfunct_32025-09-09 01:36 37K 
[ ]rfunct_3__t81_rfunct_3.depv12025-09-15 19:47 75  
[ ]rfunct_3__t81_rfunct_3.depvmin12025-09-15 19:52 51  
[ ]rfunct_3__t81_rfunct_3.vmin12025-09-15 19:47 794  
[ ]rfunct_3__t81_rfunct_3.vmin1out2025-09-15 19:48 6.4K 
[ ]rfunct_3__t81_rfunct_3.vout2025-09-15 14:49 6.9K 
[ ]rfunct_3__t82_rfunct_32025-09-09 03:38 42K 
[ ]rfunct_3__t82_rfunct_3.vout2025-09-15 17:28 2.0K 
[ ]rfunct_3__t83_rfunct_32025-09-09 03:40 56K 
[ ]rfunct_3__t83_rfunct_3.vout2025-09-15 16:50 1.1K 
[ ]rfunct_3__t84_rfunct_32025-09-09 03:42 59K 
[ ]rfunct_3__t84_rfunct_3.vout2025-09-15 19:30 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80