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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]limfunc2__l1_limfunc22021-07-17 20:23 15K 
[ ]limfunc2__l1_limfunc2.vout2021-07-25 15:14 2.0K 
[ ]limfunc2__l2_limfunc22021-07-17 20:23 32K 
[ ]limfunc2__l2_limfunc2.vout2021-07-25 18:25 6.8K 
[ ]limfunc2__l3_limfunc22021-07-17 20:24 17K 
[ ]limfunc2__l3_limfunc2.depv12021-07-25 20:57 410  
[ ]limfunc2__l3_limfunc2.depvmin12021-07-25 21:03 360  
[ ]limfunc2__l3_limfunc2.vmin12021-07-25 20:57 3.4K 
[ ]limfunc2__l3_limfunc2.vmin1out2021-07-25 21:02 58K 
[ ]limfunc2__l3_limfunc2.vout2021-07-25 20:07 58K 
[ ]limfunc2__l4_limfunc22021-07-17 20:24 32K 
[ ]limfunc2__l4_limfunc2.vout2021-07-25 19:29 6.8K 
[ ]limfunc2__l7_limfunc22021-07-17 20:25 30K 
[ ]limfunc2__l7_limfunc2.vout2021-07-25 18:45 6.8K 
[ ]limfunc2__t1_limfunc22021-07-17 19:56 55K 
[ ]limfunc2__t1_limfunc2.vout2021-07-25 17:55 4.7K 
[ ]limfunc2__t2_limfunc22021-07-17 19:56 55K 
[ ]limfunc2__t2_limfunc2.vout2021-07-25 15:53 4.7K 
[ ]limfunc2__t3_limfunc22021-07-17 19:57 26K 
[ ]limfunc2__t3_limfunc2.vout2021-07-25 15:26 6.8K 
[ ]limfunc2__t4_limfunc22021-07-17 19:57 23K 
[ ]limfunc2__t4_limfunc2.vout2021-07-25 18:36 6.8K 
[ ]limfunc2__t5_limfunc22021-07-17 19:58 70K 
[ ]limfunc2__t5_limfunc2.vout2021-07-25 17:23 3.7K 
[ ]limfunc2__t6_limfunc22021-07-17 19:58 60K 
[ ]limfunc2__t6_limfunc2.vout2021-07-25 20:43 3.7K 
[ ]limfunc2__t7_limfunc22021-07-17 19:59 41K 
[ ]limfunc2__t7_limfunc2.vout2021-07-25 17:04 6.8K 
[ ]limfunc2__t8_limfunc22021-07-17 20:00 39K 
[ ]limfunc2__t8_limfunc2.vout2021-07-25 20:54 6.8K 
[ ]limfunc2__t9_limfunc22021-07-17 20:00 39K 
[ ]limfunc2__t9_limfunc2.vout2021-07-25 17:01 6.8K 
[ ]limfunc2__t10_limfunc22021-07-17 20:01 41K 
[ ]limfunc2__t10_limfunc2.vout2021-07-25 18:12 6.8K 
[ ]limfunc2__t11_limfunc22021-07-17 20:01 38K 
[ ]limfunc2__t11_limfunc2.vout2021-07-25 15:00 6.8K 
[ ]limfunc2__t12_limfunc22021-07-17 20:02 36K 
[ ]limfunc2__t12_limfunc2.vout2021-07-25 15:46 6.8K 
[ ]limfunc2__t13_limfunc22021-07-17 20:02 63K 
[ ]limfunc2__t13_limfunc2.vout2021-07-25 18:51 4.1K 
[ ]limfunc2__t14_limfunc22021-07-17 20:03 63K 
[ ]limfunc2__t14_limfunc2.vout2021-07-25 15:30 4.1K 
[ ]limfunc2__t15_limfunc22021-07-17 20:04 63K 
[ ]limfunc2__t15_limfunc2.vout2021-07-25 18:53 4.1K 
[ ]limfunc2__t16_limfunc22021-07-17 20:04 63K 
[ ]limfunc2__t16_limfunc2.vout2021-07-25 20:55 4.1K 
[ ]limfunc2__t21_limfunc22021-07-17 20:05 39K 
[ ]limfunc2__t21_limfunc2.vout2021-07-25 18:38 4.7K 
[ ]limfunc2__t22_limfunc22021-07-17 20:05 39K 
[ ]limfunc2__t22_limfunc2.vout2021-07-25 17:11 4.7K 
[ ]limfunc2__t23_limfunc22021-07-17 20:06 43K 
[ ]limfunc2__t23_limfunc2.vout2021-07-25 16:00 4.1K 
[ ]limfunc2__t24_limfunc22021-07-17 20:06 43K 
[ ]limfunc2__t24_limfunc2.vout2021-07-25 15:40 4.1K 
[ ]limfunc2__t25_limfunc22021-07-17 20:07 37K 
[ ]limfunc2__t25_limfunc2.vout2021-07-25 19:49 6.8K 
[ ]limfunc2__t26_limfunc22021-07-17 19:54 33K 
[ ]limfunc2__t26_limfunc2.depv12021-07-25 20:57 108  
[ ]limfunc2__t26_limfunc2.depvmin12021-07-25 21:03 108  
[ ]limfunc2__t26_limfunc2.vmin12021-07-25 20:57 2.1K 
[ ]limfunc2__t26_limfunc2.vmin1out2021-07-25 21:02 38K 
[ ]limfunc2__t26_limfunc2.vout2021-07-25 17:24 32K 
[ ]limfunc2__t27_limfunc22021-07-17 20:07 37K 
[ ]limfunc2__t27_limfunc2.vout2021-07-25 15:11 7.3K 
[ ]limfunc2__t28_limfunc22021-07-17 19:54 33K 
[ ]limfunc2__t28_limfunc2.depv12021-07-25 20:57 108  
[ ]limfunc2__t28_limfunc2.depvmin12021-07-25 21:03 108  
[ ]limfunc2__t28_limfunc2.vmin12021-07-25 20:57 2.1K 
[ ]limfunc2__t28_limfunc2.vmin1out2021-07-25 21:01 38K 
[ ]limfunc2__t28_limfunc2.vout2021-07-25 18:54 32K 
[ ]limfunc2__t29_limfunc22021-07-17 20:08 36K 
[ ]limfunc2__t29_limfunc2.vout2021-07-25 15:55 6.8K 
[ ]limfunc2__t30_limfunc22021-07-17 19:55 32K 
[ ]limfunc2__t30_limfunc2.depv12021-07-25 20:57 108  
[ ]limfunc2__t30_limfunc2.depvmin12021-07-25 21:03 108  
[ ]limfunc2__t30_limfunc2.vmin12021-07-25 20:57 2.1K 
[ ]limfunc2__t30_limfunc2.vmin1out2021-07-25 21:00 38K 
[ ]limfunc2__t30_limfunc2.vout2021-07-25 15:21 32K 
[ ]limfunc2__t31_limfunc22021-07-17 20:09 36K 
[ ]limfunc2__t31_limfunc2.vout2021-07-25 18:45 6.8K 
[ ]limfunc2__t32_limfunc22021-07-17 19:55 32K 
[ ]limfunc2__t32_limfunc2.depv12021-07-25 20:57 108  
[ ]limfunc2__t32_limfunc2.depvmin12021-07-25 21:03 108  
[ ]limfunc2__t32_limfunc2.vmin12021-07-25 20:57 2.1K 
[ ]limfunc2__t32_limfunc2.vmin1out2021-07-25 21:01 38K 
[ ]limfunc2__t32_limfunc2.vout2021-07-25 20:42 32K 
[ ]limfunc2__t37_limfunc22021-07-17 20:09 33K 
[ ]limfunc2__t37_limfunc2.vout2021-07-25 17:22 6.8K 
[ ]limfunc2__t38_limfunc22021-07-17 20:10 33K 
[ ]limfunc2__t38_limfunc2.vout2021-07-25 20:40 6.8K 
[ ]limfunc2__t39_limfunc22021-07-17 20:10 32K 
[ ]limfunc2__t39_limfunc2.vout2021-07-25 20:43 6.8K 
[ ]limfunc2__t40_limfunc22021-07-17 20:10 32K 
[ ]limfunc2__t40_limfunc2.vout2021-07-25 17:36 6.8K 
[ ]limfunc2__t41_limfunc22021-07-17 20:11 42K 
[ ]limfunc2__t41_limfunc2.vout2021-07-25 17:53 6.8K 
[ ]limfunc2__t42_limfunc22021-07-17 20:12 42K 
[ ]limfunc2__t42_limfunc2.vout2021-07-25 20:28 6.8K 
[ ]limfunc2__t43_limfunc22021-07-17 20:12 36K 
[ ]limfunc2__t43_limfunc2.vout2021-07-25 17:23 4.1K 
[ ]limfunc2__t44_limfunc22021-07-17 20:13 38K 
[ ]limfunc2__t44_limfunc2.vout2021-07-25 20:21 7.3K 
[ ]limfunc2__t45_limfunc22021-07-17 20:13 59K 
[ ]limfunc2__t45_limfunc2.vout2021-07-25 16:26 4.1K 
[ ]limfunc2__t46_limfunc22021-07-17 20:14 52K 
[ ]limfunc2__t46_limfunc2.vout2021-07-25 15:45 7.3K 
[ ]limfunc2__t47_limfunc22021-07-17 20:14 39K 
[ ]limfunc2__t47_limfunc2.vout2021-07-25 17:15 4.7K 
[ ]limfunc2__t48_limfunc22021-07-17 20:15 43K 
[ ]limfunc2__t48_limfunc2.vout2021-07-25 14:42 4.1K 
[ ]limfunc2__t49_limfunc22021-07-17 20:15 40K 
[ ]limfunc2__t49_limfunc2.vout2021-07-25 20:06 4.7K 
[ ]limfunc2__t50_limfunc22021-07-17 20:16 58K 
[ ]limfunc2__t50_limfunc2.vout2021-07-25 16:25 4.1K 
[ ]limfunc2__t52_limfunc22021-07-17 20:17 36K 
[ ]limfunc2__t52_limfunc2.vout2021-07-25 17:59 4.1K 
[ ]limfunc2__t53_limfunc22021-07-17 20:17 38K 
[ ]limfunc2__t53_limfunc2.vout2021-07-25 15:10 7.4K 
[ ]limfunc2__t54_limfunc22021-07-17 20:18 59K 
[ ]limfunc2__t54_limfunc2.vout2021-07-25 16:31 4.2K 
[ ]limfunc2__t55_limfunc22021-07-17 20:18 52K 
[ ]limfunc2__t55_limfunc2.vout2021-07-25 18:11 7.3K 
[ ]limfunc2__t56_limfunc22021-07-17 20:19 39K 
[ ]limfunc2__t56_limfunc2.vout2021-07-25 17:18 4.7K 
[ ]limfunc2__t57_limfunc22021-07-17 20:19 43K 
[ ]limfunc2__t57_limfunc2.vout2021-07-25 20:24 4.1K 
[ ]limfunc2__t58_limfunc22021-07-17 20:20 40K 
[ ]limfunc2__t58_limfunc2.vout2021-07-25 16:25 4.7K 
[ ]limfunc2__t59_limfunc22021-07-17 20:20 58K 
[ ]limfunc2__t59_limfunc2.vout2021-07-25 20:29 4.1K 
[ ]limfunc2__t64_limfunc22021-07-17 20:21 39K 
[ ]limfunc2__t64_limfunc2.vout2021-07-25 16:28 6.8K 
[ ]limfunc2__t66_limfunc22021-07-17 20:21 35K 
[ ]limfunc2__t66_limfunc2.vout2021-07-25 20:37 6.8K 
[ ]limfunc2__t69_limfunc22021-07-17 20:22 41K 
[ ]limfunc2__t69_limfunc2.vout2021-07-25 18:44 4.7K 
[ ]limfunc2__t70_limfunc22021-07-17 20:23 41K 
[ ]limfunc2__t70_limfunc2.vout2021-07-25 17:11 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80