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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]limfunc2__l1_limfunc22024-07-27 14:52 15K 
[ ]limfunc2__l1_limfunc2.vout2024-08-03 09:58 2.0K 
[ ]limfunc2__l2_limfunc22024-07-27 14:54 35K 
[ ]limfunc2__l2_limfunc2.vout2024-08-03 09:45 6.8K 
[ ]limfunc2__l3_limfunc22024-07-27 14:54 17K 
[ ]limfunc2__l3_limfunc2.depv12024-08-03 10:19 515  
[ ]limfunc2__l3_limfunc2.depvmin12024-08-03 10:24 505  
[ ]limfunc2__l3_limfunc2.vmin12024-08-03 10:20 3.9K 
[ ]limfunc2__l3_limfunc2.vmin1out2024-08-03 10:20 61K 
[ ]limfunc2__l3_limfunc2.vout2024-08-03 05:57 67K 
[ ]limfunc2__l4_limfunc22024-07-27 14:56 35K 
[ ]limfunc2__l4_limfunc2.vout2024-08-03 04:14 6.8K 
[ ]limfunc2__l7_limfunc22024-07-27 14:57 33K 
[ ]limfunc2__l7_limfunc2.vout2024-08-03 09:22 6.8K 
[ ]limfunc2__t1_limfunc22024-07-27 13:35 58K 
[ ]limfunc2__t1_limfunc2.vout2024-08-03 04:49 4.7K 
[ ]limfunc2__t2_limfunc22024-07-27 13:37 58K 
[ ]limfunc2__t2_limfunc2.vout2024-08-03 05:55 4.7K 
[ ]limfunc2__t3_limfunc22024-07-27 13:38 29K 
[ ]limfunc2__t3_limfunc2.vout2024-08-03 07:02 6.8K 
[ ]limfunc2__t4_limfunc22024-07-27 13:39 26K 
[ ]limfunc2__t4_limfunc2.vout2024-08-03 10:14 6.8K 
[ ]limfunc2__t5_limfunc22024-07-27 13:41 73K 
[ ]limfunc2__t5_limfunc2.vout2024-08-03 09:38 3.7K 
[ ]limfunc2__t6_limfunc22024-07-27 13:43 63K 
[ ]limfunc2__t6_limfunc2.vout2024-08-03 06:24 3.7K 
[ ]limfunc2__t7_limfunc22024-07-27 13:44 45K 
[ ]limfunc2__t7_limfunc2.vout2024-08-03 09:55 6.8K 
[ ]limfunc2__t8_limfunc22024-07-27 13:46 43K 
[ ]limfunc2__t8_limfunc2.vout2024-08-03 08:36 6.8K 
[ ]limfunc2__t9_limfunc22024-07-27 13:48 43K 
[ ]limfunc2__t9_limfunc2.vout2024-08-03 06:44 6.8K 
[ ]limfunc2__t10_limfunc22024-07-27 13:50 45K 
[ ]limfunc2__t10_limfunc2.vout2024-08-03 09:19 6.8K 
[ ]limfunc2__t11_limfunc22024-07-27 13:51 41K 
[ ]limfunc2__t11_limfunc2.vout2024-08-03 07:23 7.3K 
[ ]limfunc2__t12_limfunc22024-07-27 13:53 40K 
[ ]limfunc2__t12_limfunc2.vout2024-08-03 05:34 6.8K 
[ ]limfunc2__t13_limfunc22024-07-27 13:54 66K 
[ ]limfunc2__t13_limfunc2.vout2024-08-03 07:11 4.1K 
[ ]limfunc2__t14_limfunc22024-07-27 13:56 66K 
[ ]limfunc2__t14_limfunc2.vout2024-08-03 04:28 4.1K 
[ ]limfunc2__t15_limfunc22024-07-27 13:58 66K 
[ ]limfunc2__t15_limfunc2.vout2024-08-03 08:29 4.1K 
[ ]limfunc2__t16_limfunc22024-07-27 14:00 66K 
[ ]limfunc2__t16_limfunc2.vout2024-08-03 08:15 4.1K 
[ ]limfunc2__t21_limfunc22024-07-27 14:01 42K 
[ ]limfunc2__t21_limfunc2.vout2024-08-03 09:34 4.7K 
[ ]limfunc2__t22_limfunc22024-07-27 14:03 42K 
[ ]limfunc2__t22_limfunc2.vout2024-08-03 09:02 4.7K 
[ ]limfunc2__t23_limfunc22024-07-27 14:04 46K 
[ ]limfunc2__t23_limfunc2.vout2024-08-03 09:19 4.1K 
[ ]limfunc2__t24_limfunc22024-07-27 14:06 46K 
[ ]limfunc2__t24_limfunc2.vout2024-08-03 04:46 4.2K 
[ ]limfunc2__t25_limfunc22024-07-27 14:07 41K 
[ ]limfunc2__t25_limfunc2.vout2024-08-03 09:14 7.3K 
[ ]limfunc2__t26_limfunc22024-07-27 13:30 37K 
[ ]limfunc2__t26_limfunc2.depv12024-08-03 10:19 108  
[ ]limfunc2__t26_limfunc2.depvmin12024-08-03 10:24 108  
[ ]limfunc2__t26_limfunc2.vmin12024-08-03 10:20 2.1K 
[ ]limfunc2__t26_limfunc2.vmin1out2024-08-03 10:22 38K 
[ ]limfunc2__t26_limfunc2.vout2024-08-03 06:42 32K 
[ ]limfunc2__t27_limfunc22024-07-27 14:09 41K 
[ ]limfunc2__t27_limfunc2.vout2024-08-03 05:59 6.8K 
[ ]limfunc2__t28_limfunc22024-07-27 13:31 37K 
[ ]limfunc2__t28_limfunc2.depv12024-08-03 10:19 108  
[ ]limfunc2__t28_limfunc2.depvmin12024-08-03 10:24 108  
[ ]limfunc2__t28_limfunc2.vmin12024-08-03 10:20 2.1K 
[ ]limfunc2__t28_limfunc2.vmin1out2024-08-03 10:20 38K 
[ ]limfunc2__t28_limfunc2.vout2024-08-03 06:24 32K 
[ ]limfunc2__t29_limfunc22024-07-27 14:11 40K 
[ ]limfunc2__t29_limfunc2.vout2024-08-03 08:35 6.8K 
[ ]limfunc2__t30_limfunc22024-07-27 13:32 36K 
[ ]limfunc2__t30_limfunc2.depv12024-08-03 10:19 108  
[ ]limfunc2__t30_limfunc2.depvmin12024-08-03 10:24 108  
[ ]limfunc2__t30_limfunc2.vmin12024-08-03 10:20 2.1K 
[ ]limfunc2__t30_limfunc2.vmin1out2024-08-03 10:21 38K 
[ ]limfunc2__t30_limfunc2.vout2024-08-03 06:49 32K 
[ ]limfunc2__t31_limfunc22024-07-27 14:12 40K 
[ ]limfunc2__t31_limfunc2.vout2024-08-03 09:27 6.8K 
[ ]limfunc2__t32_limfunc22024-07-27 13:34 36K 
[ ]limfunc2__t32_limfunc2.depv12024-08-03 10:19 108  
[ ]limfunc2__t32_limfunc2.depvmin12024-08-03 10:24 108  
[ ]limfunc2__t32_limfunc2.vmin12024-08-03 10:20 2.1K 
[ ]limfunc2__t32_limfunc2.vmin1out2024-08-03 10:22 38K 
[ ]limfunc2__t32_limfunc2.vout2024-08-03 09:55 32K 
[ ]limfunc2__t37_limfunc22024-07-27 14:14 36K 
[ ]limfunc2__t37_limfunc2.vout2024-08-03 08:40 6.8K 
[ ]limfunc2__t38_limfunc22024-07-27 14:15 36K 
[ ]limfunc2__t38_limfunc2.vout2024-08-03 07:40 7.3K 
[ ]limfunc2__t39_limfunc22024-07-27 14:16 35K 
[ ]limfunc2__t39_limfunc2.vout2024-08-03 07:46 6.8K 
[ ]limfunc2__t40_limfunc22024-07-27 14:18 35K 
[ ]limfunc2__t40_limfunc2.vout2024-08-03 09:50 7.3K 
[ ]limfunc2__t41_limfunc22024-07-27 14:20 45K 
[ ]limfunc2__t41_limfunc2.vout2024-08-03 09:38 6.8K 
[ ]limfunc2__t42_limfunc22024-07-27 14:21 45K 
[ ]limfunc2__t42_limfunc2.vout2024-08-03 05:40 6.8K 
[ ]limfunc2__t43_limfunc22024-07-27 14:23 40K 
[ ]limfunc2__t43_limfunc2.vout2024-08-03 04:55 4.1K 
[ ]limfunc2__t44_limfunc22024-07-27 14:24 41K 
[ ]limfunc2__t44_limfunc2.vout2024-08-03 05:58 7.3K 
[ ]limfunc2__t45_limfunc22024-07-27 14:26 62K 
[ ]limfunc2__t45_limfunc2.vout2024-08-03 06:06 4.1K 
[ ]limfunc2__t46_limfunc22024-07-27 14:27 55K 
[ ]limfunc2__t46_limfunc2.vout2024-08-03 10:11 7.3K 
[ ]limfunc2__t47_limfunc22024-07-27 14:29 43K 
[ ]limfunc2__t47_limfunc2.vout2024-08-03 05:16 4.7K 
[ ]limfunc2__t48_limfunc22024-07-27 14:30 46K 
[ ]limfunc2__t48_limfunc2.vout2024-08-03 05:12 4.1K 
[ ]limfunc2__t49_limfunc22024-07-27 14:32 43K 
[ ]limfunc2__t49_limfunc2.vout2024-08-03 05:17 4.7K 
[ ]limfunc2__t50_limfunc22024-07-27 14:33 61K 
[ ]limfunc2__t50_limfunc2.vout2024-08-03 04:39 4.1K 
[ ]limfunc2__t52_limfunc22024-07-27 14:35 40K 
[ ]limfunc2__t52_limfunc2.vout2024-08-03 05:54 4.1K 
[ ]limfunc2__t53_limfunc22024-07-27 14:36 41K 
[ ]limfunc2__t53_limfunc2.vout2024-08-03 04:54 7.4K 
[ ]limfunc2__t54_limfunc22024-07-27 14:38 62K 
[ ]limfunc2__t54_limfunc2.vout2024-08-03 05:04 4.1K 
[ ]limfunc2__t55_limfunc22024-07-27 14:39 55K 
[ ]limfunc2__t55_limfunc2.vout2024-08-03 04:27 7.3K 
[ ]limfunc2__t56_limfunc22024-07-27 14:41 43K 
[ ]limfunc2__t56_limfunc2.vout2024-08-03 05:57 4.7K 
[ ]limfunc2__t57_limfunc22024-07-27 14:42 46K 
[ ]limfunc2__t57_limfunc2.vout2024-08-03 05:09 4.1K 
[ ]limfunc2__t58_limfunc22024-07-27 14:44 43K 
[ ]limfunc2__t58_limfunc2.vout2024-08-03 05:36 4.7K 
[ ]limfunc2__t59_limfunc22024-07-27 14:45 61K 
[ ]limfunc2__t59_limfunc2.vout2024-08-03 09:47 4.1K 
[ ]limfunc2__t64_limfunc22024-07-27 14:47 42K 
[ ]limfunc2__t64_limfunc2.vout2024-08-03 07:43 6.8K 
[ ]limfunc2__t66_limfunc22024-07-27 14:48 38K 
[ ]limfunc2__t66_limfunc2.vout2024-08-03 04:10 6.8K 
[ ]limfunc2__t69_limfunc22024-07-27 14:50 44K 
[ ]limfunc2__t69_limfunc2.vout2024-08-03 05:52 4.7K 
[ ]limfunc2__t70_limfunc22024-07-27 14:52 44K 
[ ]limfunc2__t70_limfunc2.vout2024-08-03 07:15 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80