Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/seqfunc2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]seqfunc2__t1_seqfunc22025-09-12 14:35 22K 
[ ]seqfunc2__t2_seqfunc22025-09-12 14:36 41K 
[ ]seqfunc2__t3_seqfunc22025-09-12 14:38 35K 
[ ]seqfunc2__t4_seqfunc22025-09-12 14:39 36K 
[ ]seqfunc2__t5_seqfunc22025-09-12 14:40 45K 
[ ]seqfunc2__t6_seqfunc22025-09-12 14:42 34K 
[ ]seqfunc2__t7_seqfunc22025-09-12 14:43 31K 
[ ]seqfunc2__t8_seqfunc22025-09-12 14:45 38K 
[ ]seqfunc2__t9_seqfunc22025-09-12 14:46 39K 
[ ]seqfunc2__t10_seqfunc22025-09-12 14:48 38K 
[ ]seqfunc2__t11_seqfunc22025-09-12 14:50 44K 
[ ]seqfunc2__t12_seqfunc22025-09-12 14:51 34K 
[ ]seqfunc2__t13_seqfunc22025-09-12 14:52 28K 
[ ]seqfunc2__t14_seqfunc22025-09-12 14:54 47K 
[ ]seqfunc2__t15_seqfunc22025-09-12 14:56 41K 
[ ]seqfunc2__t16_seqfunc22025-09-12 14:57 30K 
[ ]seqfunc2__t17_seqfunc22025-09-12 14:28 35K 
[ ]seqfunc2__t18_seqfunc22025-09-12 14:59 60K 
[ ]seqfunc2__t19_seqfunc22025-09-12 15:00 53K 
[ ]seqfunc2__t20_seqfunc22025-09-12 15:02 41K 
[ ]seqfunc2__t21_seqfunc22025-09-12 15:03 42K 
[ ]seqfunc2__t22_seqfunc22025-09-12 14:29 40K 
[ ]seqfunc2__t23_seqfunc22025-09-12 15:05 35K 
[ ]seqfunc2__t24_seqfunc22025-09-12 14:31 45K 
[ ]seqfunc2__t25_seqfunc22025-09-12 14:32 40K 
[ ]seqfunc2__t26_seqfunc22025-09-12 14:34 38K 
[ ]seqfunc2__t27_seqfunc22025-09-12 15:06 49K 
[ ]seqfunc2__t28_seqfunc22025-09-12 15:08 40K 
[ ]seqfunc2__t29_seqfunc22025-09-12 15:09 35K 
[ ]seqfunc2__t30_seqfunc22025-09-12 15:11 65K 
[ ]seqfunc2__t31_seqfunc22025-09-12 15:13 66K 
[ ]seqfunc2__t32_seqfunc22025-09-12 15:15 48K 
[ ]seqfunc2__t33_seqfunc22025-09-12 15:17 43K 
[ ]seqfunc2__t34_seqfunc22025-09-12 15:19 90K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80