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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]convfun1__l8_convfun12023-06-28 12:19 81K 
[ ]convfun1__l9_convfun12023-06-28 12:20 87K 
[ ]convfun1__l10_convfun12023-06-28 12:21 133K 
[ ]convfun1__l11_convfun12023-06-28 12:21 87K 
[ ]convfun1__l12_convfun12023-06-28 12:22 73K 
[ ]convfun1__l13_convfun12023-06-28 12:22 75K 
[ ]convfun1__l14_convfun12023-06-28 12:23 116K 
[ ]convfun1__l15_convfun12023-06-28 12:24 75K 
[ ]convfun1__l16_convfun12023-06-28 12:24 72K 
[ ]convfun1__l17_convfun12023-06-28 12:25 72K 
[ ]convfun1__l18_convfun12023-06-28 12:25 86K 
[ ]convfun1__l21_convfun12023-06-28 12:26 44K 
[ ]convfun1__l26_convfun12023-06-28 12:26 84K 
[ ]convfun1__l28_convfun12023-06-28 12:27 123K 
[ ]convfun1__t1_convfun12023-06-28 12:12 65K 
[ ]convfun1__t2_convfun12023-06-28 12:12 68K 
[ ]convfun1__t3_convfun12023-06-28 12:13 133K 
[ ]convfun1__t4_convfun12023-06-28 12:14 135K 
[ ]convfun1__t5_convfun12023-06-28 12:15 94K 
[ ]convfun1__t6_convfun12023-06-28 12:15 130K 
[ ]convfun1__t7_convfun12023-06-28 12:16 168K 
[ ]convfun1__t8_convfun12023-06-28 12:18 161K 
[ ]convfun1__t9_convfun12023-06-28 12:19 190K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80