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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]topalg_7__l1_topalg_72025-09-12 15:33 36K 
[   ]topalg_7__l16_topalg_72025-09-12 16:02 65K 
[   ]topalg_7__l23_topalg_72025-09-12 16:04 79K 
[   ]topalg_7__s1_topalg_72025-09-12 15:35 44K 
[   ]topalg_7__s2_topalg_72025-09-12 15:36 45K 
[   ]topalg_7__t1_topalg_72025-09-12 15:38 34K 
[   ]topalg_7__t2_topalg_72025-09-12 15:40 56K 
[   ]topalg_7__t3_topalg_72025-09-12 15:41 58K 
[   ]topalg_7__t4_topalg_72025-09-12 15:43 58K 
[   ]topalg_7__t5_topalg_72025-09-12 15:45 45K 
[   ]topalg_7__t6_topalg_72025-09-12 15:46 54K 
[   ]topalg_7__t7_topalg_72025-09-12 15:48 72K 
[   ]topalg_7__t8_topalg_72025-09-12 15:50 62K 
[   ]topalg_7__t9_topalg_72025-09-12 15:52 61K 
[   ]topalg_7__t10_topalg_72025-09-12 15:54 62K 
[   ]topalg_7__t11_topalg_72025-09-12 15:56 154K 
[   ]topalg_7__t12_topalg_72025-09-12 15:58 60K 
[   ]topalg_7__t13_topalg_72025-09-12 16:00 58K 

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