Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_from_newthf/card_fin

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]card_fin__l65_card_fin2023-06-27 16:43 126K 
[   ]card_fin__l69_card_fin2023-06-27 16:43 146K 
[   ]card_fin__t2_card_fin2023-06-27 16:43 70K 
[   ]card_fin__t4_card_fin2023-06-27 16:43 99K 
[   ]card_fin__t5_card_fin2023-06-27 16:43 77K 
[   ]card_fin__t7_card_fin2023-06-27 16:43 122K 
[   ]card_fin__t13_card_fin2023-06-27 16:43 95K 
[   ]card_fin__t14_card_fin2023-06-27 16:43 79K 
[   ]card_fin__t16_card_fin2023-06-27 16:43 99K 
[   ]card_fin__t44_card_fin2023-06-27 16:43 116K 
[   ]card_fin__t53_card_fin2023-06-27 16:43 150K 
[   ]card_fin__t55_card_fin2023-06-27 16:43 56K 
[   ]card_fin__t56_card_fin2023-06-27 16:43 223K 
[   ]card_fin__t58_card_fin2023-06-27 16:43 87K 
[   ]card_fin__t60_card_fin2023-06-27 16:43 153K 
[   ]card_fin__t61_card_fin2023-06-27 16:43 113K 

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