Index of /~mptp/mml5.63.1382/MPTP2/problems/comseq_2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]comseq_2__t2_comseq_22023-06-28 14:51 56K 
[   ]comseq_2__t3_comseq_22023-06-28 14:52 39K 
[   ]comseq_2__t4_comseq_22023-06-28 14:52 49K 
[   ]comseq_2__t5_comseq_22023-06-28 14:53 52K 
[   ]comseq_2__t6_comseq_22023-06-28 14:53 46K 
[   ]comseq_2__t7_comseq_22023-06-28 14:53 64K 
[   ]comseq_2__t8_comseq_22023-06-28 14:54 37K 
[   ]comseq_2__t9_comseq_22023-06-28 14:54 48K 
[   ]comseq_2__t10_comseq_22023-06-28 14:55 49K 
[   ]comseq_2__t12_comseq_22023-06-28 14:55 47K 
[   ]comseq_2__t14_comseq_22023-06-28 14:55 90K 
[   ]comseq_2__t16_comseq_22023-06-28 14:56 48K 
[   ]comseq_2__t20_comseq_22023-06-28 14:56 45K 
[   ]comseq_2__t22_comseq_22023-06-28 14:57 56K 
[   ]comseq_2__t24_comseq_22023-06-28 14:57 49K 
[   ]comseq_2__t26_comseq_22023-06-28 14:57 74K 
[   ]comseq_2__t28_comseq_22023-06-28 14:58 65K 
[   ]comseq_2__t30_comseq_22023-06-28 14:58 92K 
[   ]comseq_2__t32_comseq_22023-06-28 14:59 50K 
[   ]comseq_2__t33_comseq_22023-06-28 14:59 81K 
[   ]comseq_2__t37_comseq_22023-06-28 14:59 44K 
[   ]comseq_2__t38_comseq_22023-06-28 15:00 51K 
[   ]comseq_2__t41_comseq_22023-06-28 15:00 57K 
[   ]comseq_2__t45_comseq_22023-06-28 15:01 48K 

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