Index of /~mptp/mml5.63.1382/MPTP2/problems_small/rfunct_3

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rfunct_3__l8_rfunct_32021-07-17 19:02 40K 
[   ]rfunct_3__l8_rfunct_3.depv12021-07-25 20:57 205  
[   ]rfunct_3__l8_rfunct_3.depvmin12021-07-25 21:03 195  
[   ]rfunct_3__l8_rfunct_3.vmin12021-07-25 20:57 1.8K 
[   ]rfunct_3__l8_rfunct_3.vmin1out2021-07-25 21:01 20K 
[   ]rfunct_3__l8_rfunct_3.vout2021-07-25 15:21 22K 
[   ]rfunct_3__l9_rfunct_32021-07-17 19:02 25K 
[   ]rfunct_3__l9_rfunct_3.vout2021-07-25 16:05 4.1K 
[   ]rfunct_3__l86_rfunct_32021-07-17 19:03 51K 
[   ]rfunct_3__l86_rfunct_3.vout2021-07-25 14:57 7.3K 
[   ]rfunct_3__l87_rfunct_32021-07-17 19:03 129K 
[   ]rfunct_3__l87_rfunct_3.vout2021-07-25 19:19 6.8K 
[   ]rfunct_3__t1_rfunct_32021-07-17 18:18 31K 
[   ]rfunct_3__t1_rfunct_3.depv12021-07-25 20:57 635  
[   ]rfunct_3__t1_rfunct_3.depvmin12021-07-25 21:03 466  
[   ]rfunct_3__t1_rfunct_3.vmin12021-07-25 20:57 4.7K 
[   ]rfunct_3__t1_rfunct_3.vmin1out2021-07-25 20:58 55K 
[   ]rfunct_3__t1_rfunct_3.vout2021-07-25 16:10 63K 
[   ]rfunct_3__t2_rfunct_32021-07-17 18:18 32K 
[   ]rfunct_3__t2_rfunct_3.vout2021-07-25 17:30 2.0K 
[   ]rfunct_3__t3_rfunct_32021-07-17 18:19 31K 
[   ]rfunct_3__t3_rfunct_3.vout2021-07-25 15:41 2.0K 
[   ]rfunct_3__t4_rfunct_32021-07-17 18:19 27K 
[   ]rfunct_3__t4_rfunct_3.depv12021-07-25 20:57 250  
[   ]rfunct_3__t4_rfunct_3.depvmin12021-07-25 21:03 250  
[   ]rfunct_3__t4_rfunct_3.vmin12021-07-25 20:57 2.2K 
[   ]rfunct_3__t4_rfunct_3.vmin1out2021-07-25 20:57 55K 
[   ]rfunct_3__t4_rfunct_3.vout2021-07-25 18:19 32K 
[   ]rfunct_3__t5_rfunct_32021-07-17 18:20 33K 
[   ]rfunct_3__t5_rfunct_3.vout2021-07-25 20:09 2.0K 
[   ]rfunct_3__t6_rfunct_32021-07-17 18:20 40K 
[   ]rfunct_3__t6_rfunct_3.vout2021-07-25 20:42 6.8K 
[   ]rfunct_3__t7_rfunct_32021-07-17 18:21 35K 
[   ]rfunct_3__t7_rfunct_3.vout2021-07-25 17:21 6.8K 
[   ]rfunct_3__t8_rfunct_32021-07-17 18:21 53K 
[   ]rfunct_3__t8_rfunct_3.vout2021-07-25 17:08 6.8K 
[   ]rfunct_3__t9_rfunct_32021-07-17 18:22 34K 
[   ]rfunct_3__t9_rfunct_3.vout2021-07-25 15:49 7.3K 
[   ]rfunct_3__t10_rfunct_32021-07-17 18:22 35K 
[   ]rfunct_3__t10_rfunct_3.vout2021-07-25 20:23 7.3K 
[   ]rfunct_3__t11_rfunct_32021-07-17 18:23 37K 
[   ]rfunct_3__t11_rfunct_3.vout2021-07-25 19:22 7.3K 
[   ]rfunct_3__t12_rfunct_32021-07-17 18:16 31K 
[   ]rfunct_3__t12_rfunct_3.vout2021-07-25 16:23 2.0K 
[   ]rfunct_3__t13_rfunct_32021-07-17 18:23 40K 
[   ]rfunct_3__t13_rfunct_3.vout2021-07-25 17:36 7.3K 
[   ]rfunct_3__t14_rfunct_32021-07-17 18:24 32K 
[   ]rfunct_3__t14_rfunct_3.vout2021-07-25 17:09 7.9K 
[   ]rfunct_3__t15_rfunct_32021-07-17 18:24 33K 
[   ]rfunct_3__t15_rfunct_3.vout2021-07-25 15:03 7.9K 
[   ]rfunct_3__t16_rfunct_32021-07-17 18:25 47K 
[   ]rfunct_3__t16_rfunct_3.vout2021-07-25 17:45 8.4K 
[   ]rfunct_3__t17_rfunct_32021-07-17 18:25 34K 
[   ]rfunct_3__t17_rfunct_3.vout2021-07-25 19:11 8.4K 
[   ]rfunct_3__t18_rfunct_32021-07-17 18:26 34K 
[   ]rfunct_3__t18_rfunct_3.vout2021-07-25 17:43 2.0K 
[   ]rfunct_3__t19_rfunct_32021-07-17 18:26 35K 
[   ]rfunct_3__t19_rfunct_3.vout2021-07-25 18:57 2.0K 
[   ]rfunct_3__t20_rfunct_32021-07-17 18:27 44K 
[   ]rfunct_3__t20_rfunct_3.vout2021-07-25 18:33 4.7K 
[   ]rfunct_3__t21_rfunct_32021-07-17 18:27 43K 
[   ]rfunct_3__t21_rfunct_3.vout2021-07-25 19:08 4.7K 
[   ]rfunct_3__t22_rfunct_32021-07-17 18:28 40K 
[   ]rfunct_3__t22_rfunct_3.vout2021-07-25 19:52 4.7K 
[   ]rfunct_3__t23_rfunct_32021-07-17 18:29 43K 
[   ]rfunct_3__t23_rfunct_3.vout2021-07-25 15:22 5.8K 
[   ]rfunct_3__t24_rfunct_32021-07-17 18:29 43K 
[   ]rfunct_3__t24_rfunct_3.vout2021-07-25 20:07 5.8K 
[   ]rfunct_3__t25_rfunct_32021-07-17 18:30 80K 
[   ]rfunct_3__t25_rfunct_3.vout2021-07-25 17:17 7.3K 
[   ]rfunct_3__t26_rfunct_32021-07-17 18:30 42K 
[   ]rfunct_3__t26_rfunct_3.vout2021-07-25 17:01 4.7K 
[   ]rfunct_3__t27_rfunct_32021-07-17 18:31 49K 
[   ]rfunct_3__t27_rfunct_3.vout2021-07-25 15:30 4.7K 
[   ]rfunct_3__t28_rfunct_32021-07-17 18:32 74K 
[   ]rfunct_3__t28_rfunct_3.vout2021-07-25 18:17 4.7K 
[   ]rfunct_3__t29_rfunct_32021-07-17 18:32 44K 
[   ]rfunct_3__t29_rfunct_3.vout2021-07-25 20:22 4.7K 
[   ]rfunct_3__t30_rfunct_32021-07-17 18:33 36K 
[   ]rfunct_3__t30_rfunct_3.vout2021-07-25 16:22 4.7K 
[   ]rfunct_3__t31_rfunct_32021-07-17 18:33 43K 
[   ]rfunct_3__t31_rfunct_3.vout2021-07-25 17:20 4.7K 
[   ]rfunct_3__t32_rfunct_32021-07-17 18:16 34K 
[   ]rfunct_3__t32_rfunct_3.depv12021-07-25 20:57 55  
[   ]rfunct_3__t32_rfunct_3.depvmin12021-07-25 21:03 55  
[   ]rfunct_3__t32_rfunct_3.vmin12021-07-25 20:57 1.0K 
[   ]rfunct_3__t32_rfunct_3.vmin1out2021-07-25 20:59 9.4K 
[   ]rfunct_3__t32_rfunct_3.vout2021-07-25 16:13 9.4K 
[   ]rfunct_3__t33_rfunct_32021-07-17 18:34 78K 
[   ]rfunct_3__t33_rfunct_3.vout2021-07-25 15:02 4.7K 
[   ]rfunct_3__t34_rfunct_32021-07-17 18:35 52K 
[   ]rfunct_3__t34_rfunct_3.vout2021-07-25 15:30 4.7K 
[   ]rfunct_3__t35_rfunct_32021-07-17 18:35 36K 
[   ]rfunct_3__t35_rfunct_3.vout2021-07-25 17:56 7.3K 
[   ]rfunct_3__t36_rfunct_32021-07-17 18:36 37K 
[   ]rfunct_3__t36_rfunct_3.vout2021-07-25 20:07 3.7K 
[   ]rfunct_3__t37_rfunct_32021-07-17 18:36 34K 
[   ]rfunct_3__t37_rfunct_3.depv12021-07-25 20:57 564  
[   ]rfunct_3__t37_rfunct_3.depvmin12021-07-25 21:03 361  
[   ]rfunct_3__t37_rfunct_3.vmin12021-07-25 20:57 5.0K 
[   ]rfunct_3__t37_rfunct_3.vmin1out2021-07-25 20:58 43K 
[   ]rfunct_3__t37_rfunct_3.vout2021-07-25 19:40 60K 
[   ]rfunct_3__t38_rfunct_32021-07-17 18:37 52K 
[   ]rfunct_3__t38_rfunct_3.vout2021-07-25 19:41 6.8K 
[   ]rfunct_3__t39_rfunct_32021-07-17 18:37 38K 
[   ]rfunct_3__t39_rfunct_3.vout2021-07-25 17:12 3.7K 
[   ]rfunct_3__t40_rfunct_32021-07-17 18:38 35K 
[   ]rfunct_3__t40_rfunct_3.vout2021-07-25 17:14 7.3K 
[   ]rfunct_3__t41_rfunct_32021-07-17 18:38 40K 
[   ]rfunct_3__t41_rfunct_3.vout2021-07-25 15:19 7.3K 
[   ]rfunct_3__t42_rfunct_32021-07-17 18:39 41K 
[   ]rfunct_3__t42_rfunct_3.vout2021-07-25 17:33 7.3K 
[   ]rfunct_3__t43_rfunct_32021-07-17 18:40 76K 
[   ]rfunct_3__t43_rfunct_3.vout2021-07-25 16:12 6.8K 
[   ]rfunct_3__t44_rfunct_32021-07-17 18:40 41K 
[   ]rfunct_3__t44_rfunct_3.vout2021-07-25 20:37 4.7K 
[   ]rfunct_3__t45_rfunct_32021-07-17 18:41 41K 
[   ]rfunct_3__t45_rfunct_3.vout2021-07-25 16:48 4.7K 
[   ]rfunct_3__t46_rfunct_32021-07-17 18:41 35K 
[   ]rfunct_3__t46_rfunct_3.vout2021-07-25 16:22 4.7K 
[   ]rfunct_3__t47_rfunct_32021-07-17 18:42 38K 
[   ]rfunct_3__t47_rfunct_3.vout2021-07-25 14:44 4.7K 
[   ]rfunct_3__t48_rfunct_32021-07-17 18:42 35K 
[   ]rfunct_3__t48_rfunct_3.vout2021-07-25 15:20 4.7K 
[   ]rfunct_3__t49_rfunct_32021-07-17 18:43 42K 
[   ]rfunct_3__t49_rfunct_3.vout2021-07-25 17:42 4.2K 
[   ]rfunct_3__t50_rfunct_32021-07-17 18:43 46K 
[   ]rfunct_3__t50_rfunct_3.vout2021-07-25 14:40 6.8K 
[   ]rfunct_3__t51_rfunct_32021-07-17 18:44 40K 
[   ]rfunct_3__t51_rfunct_3.vout2021-07-25 18:08 7.3K 
[   ]rfunct_3__t52_rfunct_32021-07-17 18:44 43K 
[   ]rfunct_3__t52_rfunct_3.vout2021-07-25 18:20 3.7K 
[   ]rfunct_3__t54_rfunct_32021-07-17 18:45 41K 
[   ]rfunct_3__t54_rfunct_3.depv12021-07-25 20:57 59  
[   ]rfunct_3__t54_rfunct_3.depvmin12021-07-25 21:03 59  
[   ]rfunct_3__t54_rfunct_3.vmin12021-07-25 20:57 1.1K 
[   ]rfunct_3__t54_rfunct_3.vmin1out2021-07-25 21:02 24K 
[   ]rfunct_3__t54_rfunct_3.vout2021-07-25 15:54 29K 
[   ]rfunct_3__t55_rfunct_32021-07-17 18:45 55K 
[   ]rfunct_3__t55_rfunct_3.vout2021-07-25 20:31 6.8K 
[   ]rfunct_3__t56_rfunct_32021-07-17 18:46 44K 
[   ]rfunct_3__t56_rfunct_3.vout2021-07-25 16:02 6.8K 
[   ]rfunct_3__t57_rfunct_32021-07-17 18:46 46K 
[   ]rfunct_3__t57_rfunct_3.vout2021-07-25 16:31 7.4K 
[   ]rfunct_3__t58_rfunct_32021-07-17 18:47 59K 
[   ]rfunct_3__t58_rfunct_3.vout2021-07-25 16:13 6.8K 
[   ]rfunct_3__t59_rfunct_32021-07-17 18:47 58K 
[   ]rfunct_3__t59_rfunct_3.vout2021-07-25 20:07 6.8K 
[   ]rfunct_3__t60_rfunct_32021-07-17 18:48 43K 
[   ]rfunct_3__t60_rfunct_3.depv12021-07-25 20:57 154  
[   ]rfunct_3__t60_rfunct_3.depvmin12021-07-25 21:03 154  
[   ]rfunct_3__t60_rfunct_3.vmin12021-07-25 20:57 1.5K 
[   ]rfunct_3__t60_rfunct_3.vmin1out2021-07-25 21:02 13K 
[   ]rfunct_3__t60_rfunct_3.vout2021-07-25 14:35 17K 
[   ]rfunct_3__t61_rfunct_32021-07-17 18:48 42K 
[   ]rfunct_3__t61_rfunct_3.vout2021-07-25 15:54 8.4K 
[   ]rfunct_3__t62_rfunct_32021-07-17 18:17 44K 
[   ]rfunct_3__t62_rfunct_3.depv12021-07-25 20:57 93  
[   ]rfunct_3__t62_rfunct_3.depvmin12021-07-25 21:03 93  
[   ]rfunct_3__t62_rfunct_3.vmin12021-07-25 20:57 1.0K 
[   ]rfunct_3__t62_rfunct_3.vmin1out2021-07-25 20:59 8.4K 
[   ]rfunct_3__t62_rfunct_3.vout2021-07-25 17:46 7.5K 
[   ]rfunct_3__t63_rfunct_32021-07-17 18:49 39K 
[   ]rfunct_3__t63_rfunct_3.vout2021-07-25 16:05 6.8K 
[   ]rfunct_3__t64_rfunct_32021-07-17 18:49 35K 
[   ]rfunct_3__t64_rfunct_3.vout2021-07-25 18:11 4.1K 
[   ]rfunct_3__t65_rfunct_32021-07-17 18:50 66K 
[   ]rfunct_3__t65_rfunct_3.vout2021-07-25 19:48 6.8K 
[   ]rfunct_3__t66_rfunct_32021-07-17 18:51 50K 
[   ]rfunct_3__t66_rfunct_3.vout2021-07-25 17:17 7.3K 
[   ]rfunct_3__t67_rfunct_32021-07-17 18:51 38K 
[   ]rfunct_3__t67_rfunct_3.vout2021-07-25 20:18 7.3K 
[   ]rfunct_3__t68_rfunct_32021-07-17 18:52 40K 
[   ]rfunct_3__t68_rfunct_3.vout2021-07-25 15:24 7.3K 
[   ]rfunct_3__t69_rfunct_32021-07-17 18:52 45K 
[   ]rfunct_3__t69_rfunct_3.vout2021-07-25 17:45 7.3K 
[   ]rfunct_3__t70_rfunct_32021-07-17 18:53 68K 
[   ]rfunct_3__t70_rfunct_3.vout2021-07-25 16:58 4.7K 
[   ]rfunct_3__t71_rfunct_32021-07-17 18:53 52K 
[   ]rfunct_3__t71_rfunct_3.vout2021-07-25 15:39 7.3K 
[   ]rfunct_3__t72_rfunct_32021-07-17 18:54 70K 
[   ]rfunct_3__t72_rfunct_3.vout2021-07-25 16:24 4.7K 
[   ]rfunct_3__t73_rfunct_32021-07-17 18:55 97K 
[   ]rfunct_3__t73_rfunct_3.vout2021-07-25 19:04 3.7K 
[   ]rfunct_3__t74_rfunct_32021-07-17 18:55 40K 
[   ]rfunct_3__t74_rfunct_3.vout2021-07-25 18:04 4.7K 
[   ]rfunct_3__t75_rfunct_32021-07-17 18:56 42K 
[   ]rfunct_3__t75_rfunct_3.vout2021-07-25 15:29 7.3K 
[   ]rfunct_3__t76_rfunct_32021-07-17 18:57 72K 
[   ]rfunct_3__t76_rfunct_3.vout2021-07-25 18:06 6.8K 
[   ]rfunct_3__t77_rfunct_32021-07-17 18:57 66K 
[   ]rfunct_3__t77_rfunct_3.vout2021-07-25 17:22 6.8K 
[   ]rfunct_3__t78_rfunct_32021-07-17 18:58 73K 
[   ]rfunct_3__t78_rfunct_3.vout2021-07-25 18:16 6.8K 
[   ]rfunct_3__t79_rfunct_32021-07-17 18:59 52K 
[   ]rfunct_3__t79_rfunct_3.vout2021-07-25 16:07 7.4K 
[   ]rfunct_3__t80_rfunct_32021-07-17 19:00 57K 
[   ]rfunct_3__t80_rfunct_3.vout2021-07-25 19:14 7.3K 
[   ]rfunct_3__t81_rfunct_32021-07-17 18:17 32K 
[   ]rfunct_3__t81_rfunct_3.depv12021-07-25 20:57 75  
[   ]rfunct_3__t81_rfunct_3.depvmin12021-07-25 21:03 51  
[   ]rfunct_3__t81_rfunct_3.vmin12021-07-25 20:57 794  
[   ]rfunct_3__t81_rfunct_3.vmin1out2021-07-25 21:01 6.4K 
[   ]rfunct_3__t81_rfunct_3.vout2021-07-25 19:42 6.9K 
[   ]rfunct_3__t82_rfunct_32021-07-17 19:00 37K 
[   ]rfunct_3__t82_rfunct_3.vout2021-07-25 17:12 2.0K 
[   ]rfunct_3__t83_rfunct_32021-07-17 19:01 48K 
[   ]rfunct_3__t83_rfunct_3.vout2021-07-25 20:27 1.1K 
[   ]rfunct_3__t84_rfunct_32021-07-17 19:01 51K 
[   ]rfunct_3__t84_rfunct_3.vout2021-07-25 18:44 6.8K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80