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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rfinseq2__l18_rfinseq22025-09-14 02:53 81K 
[ ]rfinseq2__l20_rfinseq22025-09-14 02:54 81K 
[ ]rfinseq2__l25_rfinseq22025-09-14 02:56 89K 
[ ]rfinseq2__l27_rfinseq22025-09-14 02:58 107K 
[ ]rfinseq2__t1_rfinseq22025-09-14 02:09 54K 
[ ]rfinseq2__t2_rfinseq22025-09-14 02:11 54K 
[ ]rfinseq2__t3_rfinseq22025-09-14 02:12 57K 
[ ]rfinseq2__t4_rfinseq22025-09-14 02:13 57K 
[ ]rfinseq2__t5_rfinseq22025-09-14 02:15 69K 
[ ]rfinseq2__t6_rfinseq22025-09-14 02:16 69K 
[ ]rfinseq2__t7_rfinseq22025-09-14 02:18 81K 
[ ]rfinseq2__t8_rfinseq22025-09-14 02:20 81K 
[ ]rfinseq2__t9_rfinseq22025-09-14 02:21 75K 
[ ]rfinseq2__t10_rfinseq22025-09-14 02:23 73K 
[ ]rfinseq2__t11_rfinseq22025-09-14 02:24 78K 
[ ]rfinseq2__t12_rfinseq22025-09-14 02:26 78K 
[ ]rfinseq2__t13_rfinseq22025-09-14 02:27 83K 
[ ]rfinseq2__t14_rfinseq22025-09-14 02:29 43K 
[ ]rfinseq2__t15_rfinseq22025-09-14 02:30 43K 
[ ]rfinseq2__t16_rfinseq22025-09-14 02:31 70K 
[ ]rfinseq2__t17_rfinseq22025-09-14 02:33 58K 
[ ]rfinseq2__t18_rfinseq22025-09-14 02:34 76K 
[ ]rfinseq2__t19_rfinseq22025-09-14 02:36 40K 
[ ]rfinseq2__t20_rfinseq22025-09-14 02:37 52K 
[ ]rfinseq2__t21_rfinseq22025-09-14 02:38 52K 
[ ]rfinseq2__t24_rfinseq22025-09-14 02:40 81K 
[ ]rfinseq2__t25_rfinseq22025-09-14 02:41 81K 
[ ]rfinseq2__t26_rfinseq22025-09-14 02:43 85K 
[ ]rfinseq2__t27_rfinseq22025-09-14 02:44 86K 
[ ]rfinseq2__t28_rfinseq22025-09-14 02:46 54K 
[ ]rfinseq2__t29_rfinseq22025-09-14 02:47 54K 
[ ]rfinseq2__t30_rfinseq22025-09-14 02:48 56K 
[ ]rfinseq2__t31_rfinseq22025-09-14 02:50 56K 
[ ]rfinseq2__t32_rfinseq22025-09-14 02:51 70K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80