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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]seqfunc__t44_seqfunc.vout2021-07-25 15:26 6.8K 
[ ]seqfunc__t44_seqfunc2021-07-17 22:21 93K 
[ ]seqfunc__t43_seqfunc.vout2021-07-25 20:36 4.7K 
[ ]seqfunc__t43_seqfunc2021-07-17 22:20 25K 
[ ]seqfunc__t42_seqfunc.vout2021-07-25 19:29 4.7K 
[ ]seqfunc__t42_seqfunc2021-07-17 22:20 30K 
[ ]seqfunc__t41_seqfunc.vout2021-07-25 16:45 4.7K 
[ ]seqfunc__t41_seqfunc2021-07-17 22:20 38K 
[ ]seqfunc__t40_seqfunc.vout2021-07-25 15:02 4.7K 
[ ]seqfunc__t40_seqfunc2021-07-17 22:19 62K 
[ ]seqfunc__t39_seqfunc.vout2021-07-25 17:52 6.8K 
[ ]seqfunc__t39_seqfunc2021-07-17 22:19 24K 
[ ]seqfunc__t38_seqfunc.vout2021-07-25 14:26 6.8K 
[ ]seqfunc__t38_seqfunc2021-07-17 22:18 32K 
[ ]seqfunc__t37_seqfunc.vout2021-07-25 16:11 6.8K 
[ ]seqfunc__t37_seqfunc2021-07-17 22:18 54K 
[ ]seqfunc__t36_seqfunc.vout2021-07-25 15:26 22K 
[ ]seqfunc__t36_seqfunc.vmin1out2021-07-25 21:02 29K 
[ ]seqfunc__t36_seqfunc.vmin12021-07-25 20:57 1.8K 
[ ]seqfunc__t36_seqfunc.depvmin12021-07-25 21:03 36  
[ ]seqfunc__t36_seqfunc.depv12021-07-25 20:57 36  
[ ]seqfunc__t36_seqfunc2021-07-17 22:05 25K 
[ ]seqfunc__t35_seqfunc.vout2021-07-25 16:58 10K 
[ ]seqfunc__t35_seqfunc.vmin1out2021-07-25 21:00 13K 
[ ]seqfunc__t35_seqfunc.vmin12021-07-25 20:57 1.1K 
[ ]seqfunc__t35_seqfunc.depvmin12021-07-25 21:03 24  
[ ]seqfunc__t35_seqfunc.depv12021-07-25 20:57 24  
[ ]seqfunc__t35_seqfunc2021-07-17 22:05 28K 
[ ]seqfunc__t34_seqfunc.vout2021-07-25 16:43 34K 
[ ]seqfunc__t34_seqfunc.vmin1out2021-07-25 20:58 55K 
[ ]seqfunc__t34_seqfunc.vmin12021-07-25 20:57 2.9K 
[ ]seqfunc__t34_seqfunc.depvmin12021-07-25 21:03 36  
[ ]seqfunc__t34_seqfunc.depv12021-07-25 20:57 36  
[ ]seqfunc__t34_seqfunc2021-07-17 22:05 48K 
[ ]seqfunc__t33_seqfunc.vout2021-07-25 18:11 12K 
[ ]seqfunc__t33_seqfunc.vmin1out2021-07-25 21:00 14K 
[ ]seqfunc__t33_seqfunc.vmin12021-07-25 20:57 1.4K 
[ ]seqfunc__t33_seqfunc.depvmin12021-07-25 21:03 36  
[ ]seqfunc__t33_seqfunc.depv12021-07-25 20:57 36  
[ ]seqfunc__t33_seqfunc2021-07-17 22:17 24K 
[ ]seqfunc__t32_seqfunc.vout2021-07-25 17:12 10K 
[ ]seqfunc__t32_seqfunc.vmin1out2021-07-25 21:00 13K 
[ ]seqfunc__t32_seqfunc.vmin12021-07-25 20:57 1.1K 
[ ]seqfunc__t32_seqfunc.depvmin12021-07-25 21:03 24  
[ ]seqfunc__t32_seqfunc.depv12021-07-25 20:57 24  
[ ]seqfunc__t32_seqfunc2021-07-17 22:04 28K 
[ ]seqfunc__t31_seqfunc.vout2021-07-25 15:04 35K 
[ ]seqfunc__t31_seqfunc.vmin1out2021-07-25 21:02 37K 
[ ]seqfunc__t31_seqfunc.vmin12021-07-25 20:57 2.5K 
[ ]seqfunc__t31_seqfunc.depvmin12021-07-25 21:03 36  
[ ]seqfunc__t31_seqfunc.depv12021-07-25 20:57 36  
[ ]seqfunc__t31_seqfunc2021-07-17 22:17 46K 
[ ]seqfunc__t30_seqfunc.vout2021-07-25 16:36 7.3K 
[ ]seqfunc__t30_seqfunc2021-07-17 22:17 28K 
[ ]seqfunc__t29_seqfunc.vout2021-07-25 17:02 4.1K 
[ ]seqfunc__t29_seqfunc2021-07-17 22:16 35K 
[ ]seqfunc__t28_seqfunc.vout2021-07-25 17:57 6.8K 
[ ]seqfunc__t28_seqfunc2021-07-17 22:16 62K 
[ ]seqfunc__t27_seqfunc.vout2021-07-25 17:01 24K 
[ ]seqfunc__t27_seqfunc.vmin1out2021-07-25 21:02 24K 
[ ]seqfunc__t27_seqfunc.vmin12021-07-25 20:57 1.5K 
[ ]seqfunc__t27_seqfunc.depvmin12021-07-25 21:03 36  
[ ]seqfunc__t27_seqfunc.depv12021-07-25 20:57 36  
[ ]seqfunc__t27_seqfunc2021-07-17 22:04 20K 
[ ]seqfunc__t26_seqfunc.vout2021-07-25 17:42 25K 
[ ]seqfunc__t26_seqfunc.vmin1out2021-07-25 20:59 24K 
[ ]seqfunc__t26_seqfunc.vmin12021-07-25 20:57 1.5K 
[ ]seqfunc__t26_seqfunc.depvmin12021-07-25 21:03 119  
[ ]seqfunc__t26_seqfunc.depv12021-07-25 20:57 119  
[ ]seqfunc__t26_seqfunc2021-07-17 22:15 17K 
[ ]seqfunc__t25_seqfunc.vout2021-07-25 15:47 6.8K 
[ ]seqfunc__t25_seqfunc2021-07-17 22:15 26K 
[ ]seqfunc__t24_seqfunc.vout2021-07-25 14:24 6.8K 
[ ]seqfunc__t24_seqfunc2021-07-17 22:14 29K 
[ ]seqfunc__t23_seqfunc.vout2021-07-25 19:11 19K 
[ ]seqfunc__t23_seqfunc.vmin1out2021-07-25 21:02 21K 
[ ]seqfunc__t23_seqfunc.vmin12021-07-25 20:57 882  
[ ]seqfunc__t23_seqfunc.depvmin12021-07-25 21:03 33  
[ ]seqfunc__t23_seqfunc.depv12021-07-25 20:57 33  
[ ]seqfunc__t23_seqfunc2021-07-17 22:14 17K 
[ ]seqfunc__t22_seqfunc.vout2021-07-25 16:28 6.8K 
[ ]seqfunc__t22_seqfunc2021-07-17 22:14 21K 
[ ]seqfunc__t21_seqfunc.vout2021-07-25 17:32 4.7K 
[ ]seqfunc__t21_seqfunc2021-07-17 22:13 25K 
[ ]seqfunc__t20_seqfunc.vout2021-07-25 14:57 6.8K 
[ ]seqfunc__t20_seqfunc2021-07-17 22:13 22K 
[ ]seqfunc__t19_seqfunc.vout2021-07-25 19:35 6.8K 
[ ]seqfunc__t19_seqfunc2021-07-17 22:12 23K 
[ ]seqfunc__t18_seqfunc.vout2021-07-25 20:45 4.1K 
[ ]seqfunc__t18_seqfunc2021-07-17 22:12 26K 
[ ]seqfunc__t17_seqfunc.vout2021-07-25 17:41 4.1K 
[ ]seqfunc__t17_seqfunc2021-07-17 22:11 19K 
[ ]seqfunc__t16_seqfunc.vout2021-07-25 17:48 4.1K 
[ ]seqfunc__t16_seqfunc2021-07-17 22:11 28K 
[ ]seqfunc__t15_seqfunc.vout2021-07-25 19:37 4.1K 
[ ]seqfunc__t15_seqfunc2021-07-17 22:11 22K 
[ ]seqfunc__t14_seqfunc.vout2021-07-25 16:43 4.7K 
[ ]seqfunc__t14_seqfunc2021-07-17 22:10 24K 
[ ]seqfunc__t13_seqfunc.vout2021-07-25 17:52 4.1K 
[ ]seqfunc__t13_seqfunc2021-07-17 22:10 26K 
[ ]seqfunc__t11_seqfunc.vout2021-07-25 17:21 4.1K 
[ ]seqfunc__t11_seqfunc2021-07-17 22:10 22K 
[ ]seqfunc__t10_seqfunc.vout2021-07-25 15:15 4.1K 
[ ]seqfunc__t10_seqfunc2021-07-17 22:09 23K 
[ ]seqfunc__t9_seqfunc.vout2021-07-25 18:12 4.1K 
[ ]seqfunc__t9_seqfunc2021-07-17 22:09 40K 
[ ]seqfunc__t8_seqfunc.vout2021-07-25 15:48 4.1K 
[ ]seqfunc__t8_seqfunc2021-07-17 22:08 45K 
[ ]seqfunc__t7_seqfunc.vout2021-07-25 19:30 4.1K 
[ ]seqfunc__t7_seqfunc2021-07-17 22:08 27K 
[ ]seqfunc__t6_seqfunc.vout2021-07-25 18:34 4.1K 
[ ]seqfunc__t6_seqfunc2021-07-17 22:08 32K 
[ ]seqfunc__t5_seqfunc.vout2021-07-25 14:40 4.1K 
[ ]seqfunc__t5_seqfunc2021-07-17 22:07 24K 
[ ]seqfunc__t4_seqfunc.vout2021-07-25 16:27 4.1K 
[ ]seqfunc__t4_seqfunc2021-07-17 22:07 24K 
[ ]seqfunc__t3_seqfunc.vout2021-07-25 16:52 4.1K 
[ ]seqfunc__t3_seqfunc2021-07-17 22:07 39K 
[ ]seqfunc__t2_seqfunc.vout2021-07-25 15:25 4.1K 
[ ]seqfunc__t2_seqfunc2021-07-17 22:06 28K 
[ ]seqfunc__t1_seqfunc.vout2021-07-25 19:04 28K 
[ ]seqfunc__t1_seqfunc.vmin1out2021-07-25 21:01 29K 
[ ]seqfunc__t1_seqfunc.vmin12021-07-25 20:57 1.0K 
[ ]seqfunc__t1_seqfunc.depvmin12021-07-25 21:03 58  
[ ]seqfunc__t1_seqfunc.depv12021-07-25 20:57 58  
[ ]seqfunc__t1_seqfunc2021-07-17 22:06 15K 
[ ]seqfunc__l1_seqfunc.vout2021-07-25 15:55 7.3K 
[ ]seqfunc__l1_seqfunc2021-07-17 22:21 17K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80