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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rfinseq__l5_rfinseq2025-09-11 19:50 60K 
[   ]rfinseq__l6_rfinseq2025-09-11 19:52 113K 
[   ]rfinseq__l9_rfinseq2025-09-11 19:54 69K 
[   ]rfinseq__l12_rfinseq2025-09-11 19:56 136K 
[   ]rfinseq__l29_rfinseq2025-09-11 19:58 103K 
[   ]rfinseq__l30_rfinseq2025-09-11 20:00 53K 
[   ]rfinseq__l31_rfinseq2025-09-11 20:02 231K 
[   ]rfinseq__l33_rfinseq2025-09-11 20:04 127K 
[   ]rfinseq__t1_rfinseq2025-09-11 18:53 60K 
[   ]rfinseq__t2_rfinseq2025-09-11 18:54 51K 
[   ]rfinseq__t3_rfinseq2025-09-11 18:56 59K 
[   ]rfinseq__t4_rfinseq2025-09-11 18:58 73K 
[   ]rfinseq__t5_rfinseq2025-09-11 18:59 59K 
[   ]rfinseq__t6_rfinseq2025-09-11 19:01 77K 
[   ]rfinseq__t7_rfinseq2025-09-11 19:03 118K 
[   ]rfinseq__t8_rfinseq2025-09-11 19:04 88K 
[   ]rfinseq__t9_rfinseq2025-09-11 19:07 140K 
[   ]rfinseq__t10_rfinseq2025-09-11 19:09 315K 
[   ]rfinseq__t11_rfinseq2025-09-11 19:11 316K 
[   ]rfinseq__t12_rfinseq2025-09-11 19:12 60K 
[   ]rfinseq__t13_rfinseq2025-09-11 19:14 72K 
[   ]rfinseq__t14_rfinseq2025-09-11 19:16 115K 
[   ]rfinseq__t15_rfinseq2025-09-11 19:18 103K 
[   ]rfinseq__t16_rfinseq2025-09-11 19:20 218K 
[   ]rfinseq__t17_rfinseq2025-09-11 19:22 95K 
[   ]rfinseq__t18_rfinseq2025-09-11 19:23 67K 
[   ]rfinseq__t19_rfinseq2025-09-11 19:25 53K 
[   ]rfinseq__t20_rfinseq2025-09-11 18:51 71K 
[   ]rfinseq__t21_rfinseq2025-09-11 19:26 80K 
[   ]rfinseq__t22_rfinseq2025-09-11 19:28 58K 
[   ]rfinseq__t23_rfinseq2025-09-11 19:29 41K 
[   ]rfinseq__t24_rfinseq2025-09-11 19:31 97K 
[   ]rfinseq__t25_rfinseq2025-09-11 19:33 87K 
[   ]rfinseq__t26_rfinseq2025-09-11 19:35 46K 
[   ]rfinseq__t27_rfinseq2025-09-11 19:36 63K 
[   ]rfinseq__t28_rfinseq2025-09-11 19:38 96K 
[   ]rfinseq__t29_rfinseq2025-09-11 19:40 72K 
[   ]rfinseq__t30_rfinseq2025-09-11 19:41 67K 
[   ]rfinseq__t31_rfinseq2025-09-11 19:43 60K 
[   ]rfinseq__t32_rfinseq2025-09-11 19:45 109K 
[   ]rfinseq__t33_rfinseq2025-09-11 19:46 60K 
[   ]rfinseq__t34_rfinseq2025-09-11 19:48 125K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80