Index of /~mptp/mml5.63.1382/MPTP2/problems/finseq_7

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_7__l5_finseq_72023-06-28 07:16 24K 
[ ]finseq_7__l10_finseq_72023-06-28 07:16 34K 
[ ]finseq_7__l23_finseq_72023-06-28 07:16 38K 
[ ]finseq_7__l35_finseq_72023-06-28 07:17 34K 
[ ]finseq_7__t1_finseq_72023-06-28 07:01 68K 
[ ]finseq_7__t2_finseq_72023-06-28 07:02 74K 
[ ]finseq_7__t3_finseq_72023-06-28 07:02 36K 
[ ]finseq_7__t4_finseq_72023-06-28 07:00 32K 
[ ]finseq_7__t5_finseq_72023-06-28 07:00 28K 
[ ]finseq_7__t6_finseq_72023-06-28 07:01 25K 
[ ]finseq_7__t7_finseq_72023-06-28 07:03 35K 
[ ]finseq_7__t8_finseq_72023-06-28 07:03 34K 
[ ]finseq_7__t9_finseq_72023-06-28 07:04 73K 
[ ]finseq_7__t10_finseq_72023-06-28 07:04 35K 
[ ]finseq_7__t11_finseq_72023-06-28 07:05 56K 
[ ]finseq_7__t12_finseq_72023-06-28 07:05 60K 
[ ]finseq_7__t13_finseq_72023-06-28 07:06 61K 
[ ]finseq_7__t14_finseq_72023-06-28 07:06 58K 
[ ]finseq_7__t15_finseq_72023-06-28 07:07 62K 
[ ]finseq_7__t16_finseq_72023-06-28 07:07 59K 
[ ]finseq_7__t17_finseq_72023-06-28 07:08 64K 
[ ]finseq_7__t18_finseq_72023-06-28 07:08 30K 
[ ]finseq_7__t19_finseq_72023-06-28 07:09 34K 
[ ]finseq_7__t20_finseq_72023-06-28 07:09 35K 
[ ]finseq_7__t21_finseq_72023-06-28 07:09 35K 
[ ]finseq_7__t22_finseq_72023-06-28 07:01 27K 
[ ]finseq_7__t23_finseq_72023-06-28 07:10 51K 
[ ]finseq_7__t24_finseq_72023-06-28 07:10 53K 
[ ]finseq_7__t25_finseq_72023-06-28 07:11 53K 
[ ]finseq_7__t26_finseq_72023-06-28 07:11 53K 
[ ]finseq_7__t27_finseq_72023-06-28 07:12 53K 
[ ]finseq_7__t28_finseq_72023-06-28 07:12 52K 
[ ]finseq_7__t29_finseq_72023-06-28 07:13 51K 
[ ]finseq_7__t30_finseq_72023-06-28 07:13 34K 
[ ]finseq_7__t31_finseq_72023-06-28 07:13 35K 
[ ]finseq_7__t32_finseq_72023-06-28 07:14 96K 
[ ]finseq_7__t33_finseq_72023-06-28 07:14 35K 
[ ]finseq_7__t34_finseq_72023-06-28 07:15 37K 
[ ]finseq_7__t35_finseq_72023-06-28 07:15 36K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80