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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]friends1__l1_friends12023-06-28 10:05 36K 
[   ]friends1__l3_friends12023-06-28 10:05 23K 
[   ]friends1__l4_friends12023-06-28 10:05 23K 
[   ]friends1__l6_friends12023-06-28 10:06 56K 
[   ]friends1__l15_friends12023-06-28 10:06 28K 
[   ]friends1__s1_friends12023-06-28 09:57 120K 
[   ]friends1__t1_friends12023-06-28 09:57 36K 
[   ]friends1__t2_friends12023-06-28 09:57 26K 
[   ]friends1__t3_friends12023-06-28 09:58 101K 
[   ]friends1__t4_friends12023-06-28 09:58 91K 
[   ]friends1__t5_friends12023-06-28 09:59 100K 
[   ]friends1__t6_friends12023-06-28 10:00 119K 
[   ]friends1__t7_friends12023-06-28 10:00 106K 
[   ]friends1__t8_friends12023-06-28 10:01 91K 
[   ]friends1__t9_friends12023-06-28 10:01 84K 
[   ]friends1__t10_friends12023-06-28 10:02 55K 
[   ]friends1__t11_friends12023-06-28 10:02 84K 
[   ]friends1__t12_friends12023-06-28 10:03 496K 
[   ]friends1__t13_friends12023-06-28 10:03 38K 
[   ]friends1__t14_friends12023-06-28 10:04 320K 

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