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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]seqfunc__l1_seqfunc2024-07-28 01:55 21K 
[ ]seqfunc__l1_seqfunc.vout2024-08-03 05:25 6.8K 
[ ]seqfunc__t1_seqfunc2024-07-28 01:09 19K 
[ ]seqfunc__t1_seqfunc.depv12024-08-03 10:19 130  
[ ]seqfunc__t1_seqfunc.depvmin12024-08-03 10:24 58  
[ ]seqfunc__t1_seqfunc.vmin12024-08-03 10:19 1.6K 
[ ]seqfunc__t1_seqfunc.vmin1out2024-08-03 10:23 28K 
[ ]seqfunc__t1_seqfunc.vout2024-08-03 07:46 52K 
[ ]seqfunc__t2_seqfunc2024-07-28 01:10 31K 
[ ]seqfunc__t2_seqfunc.vout2024-08-03 06:24 4.1K 
[ ]seqfunc__t3_seqfunc2024-07-28 01:12 41K 
[ ]seqfunc__t3_seqfunc.vout2024-08-03 09:40 4.1K 
[ ]seqfunc__t4_seqfunc2024-07-28 01:13 27K 
[ ]seqfunc__t4_seqfunc.vout2024-08-03 08:39 4.1K 
[ ]seqfunc__t5_seqfunc2024-07-28 01:14 27K 
[ ]seqfunc__t5_seqfunc.vout2024-08-03 04:46 4.1K 
[ ]seqfunc__t6_seqfunc2024-07-28 01:15 35K 
[ ]seqfunc__t6_seqfunc.vout2024-08-03 04:19 4.1K 
[ ]seqfunc__t7_seqfunc2024-07-28 01:16 30K 
[ ]seqfunc__t7_seqfunc.vout2024-08-03 06:27 4.1K 
[ ]seqfunc__t8_seqfunc2024-07-28 01:17 47K 
[ ]seqfunc__t8_seqfunc.vout2024-08-03 10:09 4.1K 
[ ]seqfunc__t9_seqfunc2024-07-28 01:18 43K 
[ ]seqfunc__t9_seqfunc.vout2024-08-03 04:34 4.1K 
[ ]seqfunc__t10_seqfunc2024-07-28 01:19 26K 
[ ]seqfunc__t10_seqfunc.vout2024-08-03 08:01 4.1K 
[ ]seqfunc__t11_seqfunc2024-07-28 01:20 25K 
[ ]seqfunc__t11_seqfunc.vout2024-08-03 07:30 4.1K 
[ ]seqfunc__t13_seqfunc2024-07-28 01:21 28K 
[ ]seqfunc__t13_seqfunc.vout2024-08-03 09:37 4.1K 
[ ]seqfunc__t14_seqfunc2024-07-28 01:22 27K 
[ ]seqfunc__t14_seqfunc.vout2024-08-03 05:09 4.7K 
[ ]seqfunc__t15_seqfunc2024-07-28 01:24 25K 
[ ]seqfunc__t15_seqfunc.vout2024-08-03 05:55 4.1K 
[ ]seqfunc__t16_seqfunc2024-07-28 01:25 31K 
[ ]seqfunc__t16_seqfunc.vout2024-08-03 04:54 4.1K 
[ ]seqfunc__t17_seqfunc2024-07-28 01:26 22K 
[ ]seqfunc__t17_seqfunc.vout2024-08-03 06:39 4.1K 
[ ]seqfunc__t18_seqfunc2024-07-28 01:27 29K 
[ ]seqfunc__t18_seqfunc.vout2024-08-03 05:44 4.1K 
[ ]seqfunc__t19_seqfunc2024-07-28 01:28 26K 
[ ]seqfunc__t19_seqfunc.vout2024-08-03 09:41 6.8K 
[ ]seqfunc__t20_seqfunc2024-07-28 01:29 25K 
[ ]seqfunc__t20_seqfunc.vout2024-08-03 07:46 6.8K 
[ ]seqfunc__t21_seqfunc2024-07-28 01:31 28K 
[ ]seqfunc__t21_seqfunc.vout2024-08-03 05:50 4.7K 
[ ]seqfunc__t22_seqfunc2024-07-28 01:32 24K 
[ ]seqfunc__t22_seqfunc.depv12024-08-03 10:19 60  
[ ]seqfunc__t22_seqfunc.depvmin12024-08-03 10:24 60  
[ ]seqfunc__t22_seqfunc.vmin12024-08-03 10:19 1.9K 
[ ]seqfunc__t22_seqfunc.vmin1out2024-08-03 10:22 62K 
[ ]seqfunc__t22_seqfunc.vout2024-08-03 07:19 85K 
[ ]seqfunc__t23_seqfunc2024-07-28 01:33 20K 
[ ]seqfunc__t23_seqfunc.depv12024-08-03 10:19 33  
[ ]seqfunc__t23_seqfunc.depvmin12024-08-03 10:24 33  
[ ]seqfunc__t23_seqfunc.vmin12024-08-03 10:19 882  
[ ]seqfunc__t23_seqfunc.vmin1out2024-08-03 10:22 21K 
[ ]seqfunc__t23_seqfunc.vout2024-08-03 06:12 19K 
[ ]seqfunc__t24_seqfunc2024-07-28 01:34 32K 
[ ]seqfunc__t24_seqfunc.vout2024-08-03 07:08 6.8K 
[ ]seqfunc__t25_seqfunc2024-07-28 01:36 29K 
[ ]seqfunc__t25_seqfunc.vout2024-08-03 05:00 6.8K 
[ ]seqfunc__t26_seqfunc2024-07-28 01:37 21K 
[ ]seqfunc__t26_seqfunc.depv12024-08-03 10:19 119  
[ ]seqfunc__t26_seqfunc.depvmin12024-08-03 10:24 119  
[ ]seqfunc__t26_seqfunc.vmin12024-08-03 10:19 1.5K 
[ ]seqfunc__t26_seqfunc.vmin1out2024-08-03 10:20 24K 
[ ]seqfunc__t26_seqfunc.vout2024-08-03 09:27 25K 
[ ]seqfunc__t27_seqfunc2024-07-28 01:04 23K 
[ ]seqfunc__t27_seqfunc.depv12024-08-03 10:19 36  
[ ]seqfunc__t27_seqfunc.depvmin12024-08-03 10:24 36  
[ ]seqfunc__t27_seqfunc.vmin12024-08-03 10:19 1.5K 
[ ]seqfunc__t27_seqfunc.vmin1out2024-08-03 10:23 24K 
[ ]seqfunc__t27_seqfunc.vout2024-08-03 07:26 24K 
[ ]seqfunc__t28_seqfunc2024-07-28 01:38 65K 
[ ]seqfunc__t28_seqfunc.vout2024-08-03 08:28 7.3K 
[ ]seqfunc__t29_seqfunc2024-07-28 01:39 38K 
[ ]seqfunc__t29_seqfunc.vout2024-08-03 05:42 4.1K 
[ ]seqfunc__t30_seqfunc2024-07-28 01:41 31K 
[ ]seqfunc__t30_seqfunc.vout2024-08-03 07:26 6.8K 
[ ]seqfunc__t31_seqfunc2024-07-28 01:42 49K 
[ ]seqfunc__t31_seqfunc.depv12024-08-03 10:19 36  
[ ]seqfunc__t31_seqfunc.depvmin12024-08-03 10:24 36  
[ ]seqfunc__t31_seqfunc.vmin12024-08-03 10:19 2.5K 
[ ]seqfunc__t31_seqfunc.vmin1out2024-08-03 10:20 37K 
[ ]seqfunc__t31_seqfunc.vout2024-08-03 09:27 35K 
[ ]seqfunc__t32_seqfunc2024-07-28 01:05 31K 
[ ]seqfunc__t32_seqfunc.depv12024-08-03 10:19 24  
[ ]seqfunc__t32_seqfunc.depvmin12024-08-03 10:24 24  
[ ]seqfunc__t32_seqfunc.vmin12024-08-03 10:19 1.1K 
[ ]seqfunc__t32_seqfunc.vmin1out2024-08-03 10:23 13K 
[ ]seqfunc__t32_seqfunc.vout2024-08-03 05:08 10K 
[ ]seqfunc__t33_seqfunc2024-07-28 01:43 27K 
[ ]seqfunc__t33_seqfunc.depv12024-08-03 10:19 36  
[ ]seqfunc__t33_seqfunc.depvmin12024-08-03 10:24 36  
[ ]seqfunc__t33_seqfunc.vmin12024-08-03 10:19 1.4K 
[ ]seqfunc__t33_seqfunc.vmin1out2024-08-03 10:22 14K 
[ ]seqfunc__t33_seqfunc.vout2024-08-03 09:27 12K 
[ ]seqfunc__t34_seqfunc2024-07-28 01:06 51K 
[ ]seqfunc__t34_seqfunc.depv12024-08-03 10:19 36  
[ ]seqfunc__t34_seqfunc.depvmin12024-08-03 10:24 36  
[ ]seqfunc__t34_seqfunc.vmin12024-08-03 10:19 2.9K 
[ ]seqfunc__t34_seqfunc.vmin1out2024-08-03 10:21 55K 
[ ]seqfunc__t34_seqfunc.vout2024-08-03 10:13 34K 
[ ]seqfunc__t35_seqfunc2024-07-28 01:07 31K 
[ ]seqfunc__t35_seqfunc.depv12024-08-03 10:19 24  
[ ]seqfunc__t35_seqfunc.depvmin12024-08-03 10:24 24  
[ ]seqfunc__t35_seqfunc.vmin12024-08-03 10:19 1.1K 
[ ]seqfunc__t35_seqfunc.vmin1out2024-08-03 10:22 13K 
[ ]seqfunc__t35_seqfunc.vout2024-08-03 05:13 10K 
[ ]seqfunc__t36_seqfunc2024-07-28 01:08 28K 
[ ]seqfunc__t36_seqfunc.depv12024-08-03 10:19 36  
[ ]seqfunc__t36_seqfunc.depvmin12024-08-03 10:24 36  
[ ]seqfunc__t36_seqfunc.vmin12024-08-03 10:19 1.8K 
[ ]seqfunc__t36_seqfunc.vmin1out2024-08-03 10:23 29K 
[ ]seqfunc__t36_seqfunc.vout2024-08-03 09:40 22K 
[ ]seqfunc__t37_seqfunc2024-07-28 01:44 56K 
[ ]seqfunc__t37_seqfunc.vout2024-08-03 08:53 6.8K 
[ ]seqfunc__t38_seqfunc2024-07-28 01:46 35K 
[ ]seqfunc__t38_seqfunc.vout2024-08-03 08:58 6.8K 
[ ]seqfunc__t39_seqfunc2024-07-28 01:47 27K 
[ ]seqfunc__t39_seqfunc.vout2024-08-03 07:51 6.8K 
[ ]seqfunc__t40_seqfunc2024-07-28 01:48 64K 
[ ]seqfunc__t40_seqfunc.vout2024-08-03 08:19 4.7K 
[ ]seqfunc__t41_seqfunc2024-07-28 01:49 41K 
[ ]seqfunc__t41_seqfunc.vout2024-08-03 04:18 4.7K 
[ ]seqfunc__t42_seqfunc2024-07-28 01:51 33K 
[ ]seqfunc__t42_seqfunc.vout2024-08-03 08:26 4.7K 
[ ]seqfunc__t43_seqfunc2024-07-28 01:52 28K 
[ ]seqfunc__t43_seqfunc.vout2024-08-03 05:21 4.7K 
[ ]seqfunc__t44_seqfunc2024-07-28 01:54 97K 
[ ]seqfunc__t44_seqfunc.vout2024-08-03 10:13 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80