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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]seqfunc2__t1_seqfunc22024-07-26 17:17 13K 
[ ]seqfunc2__t1_seqfunc2.vout2024-08-03 08:55 6.8K 
[ ]seqfunc2__t2_seqfunc22024-07-26 17:19 25K 
[ ]seqfunc2__t2_seqfunc2.vout2024-08-03 08:50 4.1K 
[ ]seqfunc2__t3_seqfunc22024-07-26 17:20 20K 
[ ]seqfunc2__t3_seqfunc2.vout2024-08-03 05:26 4.1K 
[ ]seqfunc2__t4_seqfunc22024-07-26 17:22 21K 
[ ]seqfunc2__t4_seqfunc2.vout2024-08-03 07:09 4.1K 
[ ]seqfunc2__t5_seqfunc22024-07-26 17:23 27K 
[ ]seqfunc2__t5_seqfunc2.vout2024-08-03 07:42 4.1K 
[ ]seqfunc2__t6_seqfunc22024-07-26 17:24 20K 
[ ]seqfunc2__t6_seqfunc2.vout2024-08-03 08:38 4.1K 
[ ]seqfunc2__t7_seqfunc22024-07-26 17:26 18K 
[ ]seqfunc2__t7_seqfunc2.depv12024-08-03 10:19 190  
[ ]seqfunc2__t7_seqfunc2.depvmin12024-08-03 10:24 190  
[ ]seqfunc2__t7_seqfunc2.vmin12024-08-03 10:19 3.3K 
[ ]seqfunc2__t7_seqfunc2.vmin1out2024-08-03 10:22 40K 
[ ]seqfunc2__t7_seqfunc2.vout2024-08-03 08:30 49K 
[ ]seqfunc2__t8_seqfunc22024-07-26 17:27 22K 
[ ]seqfunc2__t8_seqfunc2.vout2024-08-03 08:43 4.1K 
[ ]seqfunc2__t9_seqfunc22024-07-26 17:29 23K 
[ ]seqfunc2__t9_seqfunc2.vout2024-08-03 05:35 6.8K 
[ ]seqfunc2__t10_seqfunc22024-07-26 17:30 23K 
[ ]seqfunc2__t10_seqfunc2.vout2024-08-03 05:18 6.8K 
[ ]seqfunc2__t11_seqfunc22024-07-26 17:32 26K 
[ ]seqfunc2__t11_seqfunc2.vout2024-08-03 06:44 4.7K 
[ ]seqfunc2__t12_seqfunc22024-07-26 17:34 20K 
[ ]seqfunc2__t12_seqfunc2.depv12024-08-03 10:19 37  
[ ]seqfunc2__t12_seqfunc2.depvmin12024-08-03 10:24 37  
[ ]seqfunc2__t12_seqfunc2.vmin12024-08-03 10:19 2.8K 
[ ]seqfunc2__t12_seqfunc2.vmin1out2024-08-03 10:23 88K 
[ ]seqfunc2__t12_seqfunc2.vout2024-08-03 07:16 83K 
[ ]seqfunc2__t13_seqfunc22024-07-26 17:35 16K 
[ ]seqfunc2__t13_seqfunc2.depv12024-08-03 10:19 34  
[ ]seqfunc2__t13_seqfunc2.depvmin12024-08-03 10:24 34  
[ ]seqfunc2__t13_seqfunc2.vmin12024-08-03 10:19 1.2K 
[ ]seqfunc2__t13_seqfunc2.vmin1out2024-08-03 10:23 29K 
[ ]seqfunc2__t13_seqfunc2.vout2024-08-03 07:51 31K 
[ ]seqfunc2__t14_seqfunc22024-07-26 17:37 28K 
[ ]seqfunc2__t14_seqfunc2.vout2024-08-03 07:42 6.8K 
[ ]seqfunc2__t15_seqfunc22024-07-26 17:38 24K 
[ ]seqfunc2__t15_seqfunc2.vout2024-08-03 06:19 7.3K 
[ ]seqfunc2__t16_seqfunc22024-07-26 17:40 17K 
[ ]seqfunc2__t16_seqfunc2.depv12024-08-03 10:19 120  
[ ]seqfunc2__t16_seqfunc2.depvmin12024-08-03 10:24 120  
[ ]seqfunc2__t16_seqfunc2.vmin12024-08-03 10:19 1.7K 
[ ]seqfunc2__t16_seqfunc2.vmin1out2024-08-03 10:22 32K 
[ ]seqfunc2__t16_seqfunc2.vout2024-08-03 04:57 33K 
[ ]seqfunc2__t17_seqfunc22024-07-26 17:11 20K 
[ ]seqfunc2__t17_seqfunc2.depv12024-08-03 10:19 38  
[ ]seqfunc2__t17_seqfunc2.depvmin12024-08-03 10:24 38  
[ ]seqfunc2__t17_seqfunc2.vmin12024-08-03 10:19 2.4K 
[ ]seqfunc2__t17_seqfunc2.vmin1out2024-08-03 10:20 47K 
[ ]seqfunc2__t17_seqfunc2.vout2024-08-03 05:59 47K 
[ ]seqfunc2__t18_seqfunc22024-07-26 17:41 36K 
[ ]seqfunc2__t18_seqfunc2.vout2024-08-03 10:01 6.8K 
[ ]seqfunc2__t19_seqfunc22024-07-26 17:43 32K 
[ ]seqfunc2__t19_seqfunc2.vout2024-08-03 08:22 6.8K 
[ ]seqfunc2__t20_seqfunc22024-07-26 17:45 24K 
[ ]seqfunc2__t20_seqfunc2.vout2024-08-03 06:35 6.8K 
[ ]seqfunc2__t21_seqfunc22024-07-26 17:46 25K 
[ ]seqfunc2__t21_seqfunc2.depv12024-08-03 10:19 39  
[ ]seqfunc2__t21_seqfunc2.depvmin12024-08-03 10:24 39  
[ ]seqfunc2__t21_seqfunc2.vmin12024-08-03 10:19 3.0K 
[ ]seqfunc2__t21_seqfunc2.vmin1out2024-08-03 10:20 53K 
[ ]seqfunc2__t21_seqfunc2.vout2024-08-03 06:23 42K 
[ ]seqfunc2__t22_seqfunc22024-07-26 17:12 24K 
[ ]seqfunc2__t22_seqfunc2.depv12024-08-03 10:19 26  
[ ]seqfunc2__t22_seqfunc2.depvmin12024-08-03 10:24 26  
[ ]seqfunc2__t22_seqfunc2.vmin12024-08-03 10:19 1.8K 
[ ]seqfunc2__t22_seqfunc2.vmin1out2024-08-03 10:21 28K 
[ ]seqfunc2__t22_seqfunc2.vout2024-08-03 04:23 17K 
[ ]seqfunc2__t23_seqfunc22024-07-26 17:47 20K 
[ ]seqfunc2__t23_seqfunc2.depv12024-08-03 10:19 39  
[ ]seqfunc2__t23_seqfunc2.depvmin12024-08-03 10:24 39  
[ ]seqfunc2__t23_seqfunc2.vmin12024-08-03 10:19 2.3K 
[ ]seqfunc2__t23_seqfunc2.vmin1out2024-08-03 10:20 33K 
[ ]seqfunc2__t23_seqfunc2.vout2024-08-03 05:38 19K 
[ ]seqfunc2__t24_seqfunc22024-07-26 17:14 27K 
[ ]seqfunc2__t24_seqfunc2.depv12024-08-03 10:19 38  
[ ]seqfunc2__t24_seqfunc2.depvmin12024-08-03 10:24 38  
[ ]seqfunc2__t24_seqfunc2.vmin12024-08-03 10:19 3.5K 
[ ]seqfunc2__t24_seqfunc2.vmin1out2024-08-03 10:20 89K 
[ ]seqfunc2__t24_seqfunc2.vout2024-08-03 06:56 39K 
[ ]seqfunc2__t25_seqfunc22024-07-26 17:15 24K 
[ ]seqfunc2__t25_seqfunc2.depv12024-08-03 10:19 26  
[ ]seqfunc2__t25_seqfunc2.depvmin12024-08-03 10:24 26  
[ ]seqfunc2__t25_seqfunc2.vmin12024-08-03 10:19 1.8K 
[ ]seqfunc2__t25_seqfunc2.vmin1out2024-08-03 10:21 28K 
[ ]seqfunc2__t25_seqfunc2.vout2024-08-03 08:30 17K 
[ ]seqfunc2__t26_seqfunc22024-07-26 17:17 22K 
[ ]seqfunc2__t26_seqfunc2.depv12024-08-03 10:19 38  
[ ]seqfunc2__t26_seqfunc2.depvmin12024-08-03 10:24 38  
[ ]seqfunc2__t26_seqfunc2.vmin12024-08-03 10:19 2.7K 
[ ]seqfunc2__t26_seqfunc2.vmin1out2024-08-03 10:21 54K 
[ ]seqfunc2__t26_seqfunc2.vout2024-08-03 07:56 31K 
[ ]seqfunc2__t27_seqfunc22024-07-26 17:49 29K 
[ ]seqfunc2__t27_seqfunc2.vout2024-08-03 04:34 7.3K 
[ ]seqfunc2__t28_seqfunc22024-07-26 17:51 24K 
[ ]seqfunc2__t28_seqfunc2.vout2024-08-03 09:26 7.3K 
[ ]seqfunc2__t29_seqfunc22024-07-26 17:52 20K 
[ ]seqfunc2__t29_seqfunc2.vout2024-08-03 04:56 6.8K 
[ ]seqfunc2__t30_seqfunc22024-07-26 17:54 40K 
[ ]seqfunc2__t30_seqfunc2.vout2024-08-03 09:50 4.7K 
[ ]seqfunc2__t31_seqfunc22024-07-26 17:56 40K 
[ ]seqfunc2__t31_seqfunc2.vout2024-08-03 08:05 4.7K 
[ ]seqfunc2__t32_seqfunc22024-07-26 17:57 29K 
[ ]seqfunc2__t32_seqfunc2.vout2024-08-03 06:28 4.7K 
[ ]seqfunc2__t33_seqfunc22024-07-26 17:59 25K 
[ ]seqfunc2__t33_seqfunc2.vout2024-08-03 08:55 4.7K 
[ ]seqfunc2__t34_seqfunc22024-07-26 18:01 54K 
[ ]seqfunc2__t34_seqfunc2.vout2024-08-03 08:41 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80