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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]seq_2__t1_seq_22023-06-28 09:21 44K 
[   ]seq_2__t2_seq_22023-06-28 09:21 54K 
[   ]seq_2__t3_seq_22023-06-28 09:22 66K 
[   ]seq_2__t4_seq_22023-06-28 09:22 63K 
[   ]seq_2__t5_seq_22023-06-28 09:23 92K 
[   ]seq_2__t6_seq_22023-06-28 09:23 93K 
[   ]seq_2__t9_seq_22023-06-28 09:21 44K 
[   ]seq_2__t10_seq_22023-06-28 09:24 62K 
[   ]seq_2__t11_seq_22023-06-28 09:24 58K 
[   ]seq_2__t12_seq_22023-06-28 09:25 73K 
[   ]seq_2__t13_seq_22023-06-28 09:25 64K 
[   ]seq_2__t14_seq_22023-06-28 09:26 96K 
[   ]seq_2__t15_seq_22023-06-28 09:26 97K 
[   ]seq_2__t16_seq_22023-06-28 09:27 161K 
[   ]seq_2__t17_seq_22023-06-28 09:27 64K 
[   ]seq_2__t18_seq_22023-06-28 09:28 89K 
[   ]seq_2__t19_seq_22023-06-28 09:28 82K 
[   ]seq_2__t20_seq_22023-06-28 09:29 83K 
[   ]seq_2__t23_seq_22023-06-28 09:29 51K 
[   ]seq_2__t27_seq_22023-06-28 09:30 73K 
[   ]seq_2__t28_seq_22023-06-28 09:30 67K 
[   ]seq_2__t29_seq_22023-06-28 09:31 64K 
[   ]seq_2__t30_seq_22023-06-28 09:31 75K 
[   ]seq_2__t31_seq_22023-06-28 09:32 90K 
[   ]seq_2__t32_seq_22023-06-28 09:32 67K 
[   ]seq_2__t33_seq_22023-06-28 09:32 64K 
[   ]seq_2__t34_seq_22023-06-28 09:33 78K 
[   ]seq_2__t35_seq_22023-06-28 09:33 69K 

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