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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]limfunc4__l1_limfunc42024-07-28 16:06 12K 
[ ]limfunc4__l1_limfunc4.vout2024-08-03 08:17 2.0K 
[ ]limfunc4__l2_limfunc42024-07-28 16:07 29K 
[ ]limfunc4__l2_limfunc4.vout2024-08-03 07:53 6.8K 
[ ]limfunc4__t1_limfunc42024-07-28 15:26 31K 
[ ]limfunc4__t1_limfunc4.vout2024-08-03 10:11 6.8K 
[ ]limfunc4__t2_limfunc42024-07-28 15:28 31K 
[ ]limfunc4__t2_limfunc4.vout2024-08-03 10:08 6.8K 
[ ]limfunc4__t3_limfunc42024-07-28 15:29 28K 
[ ]limfunc4__t3_limfunc4.vout2024-08-03 06:54 7.3K 
[ ]limfunc4__t4_limfunc42024-07-28 15:30 28K 
[ ]limfunc4__t4_limfunc4.vout2024-08-03 05:14 7.3K 
[ ]limfunc4__t5_limfunc42024-07-28 15:31 28K 
[ ]limfunc4__t5_limfunc4.vout2024-08-03 04:39 7.3K 
[ ]limfunc4__t6_limfunc42024-07-28 15:32 28K 
[ ]limfunc4__t6_limfunc4.vout2024-08-03 09:22 7.3K 
[ ]limfunc4__t7_limfunc42024-07-28 15:34 28K 
[ ]limfunc4__t7_limfunc4.vout2024-08-03 09:45 7.3K 
[ ]limfunc4__t8_limfunc42024-07-28 15:35 28K 
[ ]limfunc4__t8_limfunc4.vout2024-08-03 06:40 7.3K 
[ ]limfunc4__t9_limfunc42024-07-28 15:36 28K 
[ ]limfunc4__t9_limfunc4.vout2024-08-03 09:31 7.3K 
[ ]limfunc4__t10_limfunc42024-07-28 15:37 28K 
[ ]limfunc4__t10_limfunc4.vout2024-08-03 10:11 7.3K 
[ ]limfunc4__t11_limfunc42024-07-28 15:39 31K 
[ ]limfunc4__t11_limfunc4.vout2024-08-03 08:18 7.3K 
[ ]limfunc4__t12_limfunc42024-07-28 15:40 32K 
[ ]limfunc4__t12_limfunc4.vout2024-08-03 07:58 6.8K 
[ ]limfunc4__t13_limfunc42024-07-28 15:41 32K 
[ ]limfunc4__t13_limfunc4.vout2024-08-03 07:42 6.8K 
[ ]limfunc4__t14_limfunc42024-07-28 15:43 31K 
[ ]limfunc4__t14_limfunc4.vout2024-08-03 09:14 7.3K 
[ ]limfunc4__t15_limfunc42024-07-28 15:44 31K 
[ ]limfunc4__t15_limfunc4.vout2024-08-03 06:07 7.3K 
[ ]limfunc4__t16_limfunc42024-07-28 15:45 32K 
[ ]limfunc4__t16_limfunc4.vout2024-08-03 05:27 6.8K 
[ ]limfunc4__t17_limfunc42024-07-28 15:46 32K 
[ ]limfunc4__t17_limfunc4.vout2024-08-03 04:46 7.3K 
[ ]limfunc4__t18_limfunc42024-07-28 15:48 31K 
[ ]limfunc4__t18_limfunc4.vout2024-08-03 09:20 7.3K 
[ ]limfunc4__t35_limfunc42024-07-28 15:49 31K 
[ ]limfunc4__t35_limfunc4.vout2024-08-03 05:50 7.3K 
[ ]limfunc4__t36_limfunc42024-07-28 15:50 32K 
[ ]limfunc4__t36_limfunc4.vout2024-08-03 04:48 6.8K 
[ ]limfunc4__t37_limfunc42024-07-28 15:51 32K 
[ ]limfunc4__t37_limfunc4.vout2024-08-03 09:39 7.3K 
[ ]limfunc4__t38_limfunc42024-07-28 15:53 31K 
[ ]limfunc4__t38_limfunc4.vout2024-08-03 05:32 7.3K 
[ ]limfunc4__t53_limfunc42024-07-28 15:54 29K 
[ ]limfunc4__t53_limfunc4.vout2024-08-03 05:38 7.3K 
[ ]limfunc4__t54_limfunc42024-07-28 15:55 29K 
[ ]limfunc4__t54_limfunc4.vout2024-08-03 09:57 7.4K 
[ ]limfunc4__t55_limfunc42024-07-28 15:56 29K 
[ ]limfunc4__t55_limfunc4.vout2024-08-03 06:15 7.3K 
[ ]limfunc4__t56_limfunc42024-07-28 15:57 29K 
[ ]limfunc4__t56_limfunc4.vout2024-08-03 06:14 7.3K 
[ ]limfunc4__t57_limfunc42024-07-28 15:59 34K 
[ ]limfunc4__t57_limfunc4.vout2024-08-03 05:53 6.8K 
[ ]limfunc4__t58_limfunc42024-07-28 16:00 34K 
[ ]limfunc4__t58_limfunc4.vout2024-08-03 05:15 6.8K 
[ ]limfunc4__t59_limfunc42024-07-28 16:01 34K 
[ ]limfunc4__t59_limfunc4.vout2024-08-03 08:04 7.3K 
[ ]limfunc4__t60_limfunc42024-07-28 16:03 34K 
[ ]limfunc4__t60_limfunc4.vout2024-08-03 06:45 6.8K 
[ ]limfunc4__t69_limfunc42024-07-28 16:04 34K 
[ ]limfunc4__t69_limfunc4.vout2024-08-03 09:51 7.3K 
[ ]limfunc4__t70_limfunc42024-07-28 16:05 34K 
[ ]limfunc4__t70_limfunc4.vout2024-08-03 04:14 6.9K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80