Index of /~mptp/7.13.01_4.181.1147/mptp/problems_from_newthf/card_2

[ICO]NameLast modifiedSizeDescription

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

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