Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_from_newthf1/card_2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]card_2__l4_card_22023-06-27 17:14 48K 
[   ]card_2__l5_card_22023-06-27 17:14 42K 
[   ]card_2__l12_card_22023-06-27 17:14 42K 
[   ]card_2__l70_card_22023-06-27 17:14 48K 
[   ]card_2__t2_card_22023-06-27 17:14 34K 
[   ]card_2__t3_card_22023-06-27 17:14 37K 
[   ]card_2__t5_card_22023-06-27 17:14 42K 
[   ]card_2__t6_card_22023-06-27 17:14 42K 
[   ]card_2__t11_card_22023-06-27 17:14 49K 
[   ]card_2__t16_card_22023-06-27 17:14 44K 
[   ]card_2__t34_card_22023-06-27 17:14 44K 
[   ]card_2__t36_card_22023-06-27 17:14 42K 
[   ]card_2__t37_card_22023-06-27 17:14 47K 
[   ]card_2__t44_card_22023-06-27 17:14 57K 
[   ]card_2__t67_card_22023-06-27 17:14 26K 
[   ]card_2__t70_card_22023-06-27 17:14 41K 
[   ]card_2__t71_card_22023-06-27 17:14 42K 
[   ]card_2__t72_card_22023-06-27 17:14 43K 
[   ]card_2__t74_card_22023-06-27 17:14 38K 
[   ]card_2__t88_card_22023-06-27 17:14 42K 
[   ]card_2__t89_card_22023-06-27 17:14 41K 
[   ]card_2__t101_card_22023-06-27 17:14 33K 

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