Index of /~mptp/7.13.01_4.181.1147/mptp/problems_gdfthf/convfun1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]convfun1__l8_convfun12019-08-21 11:10 129K 
[ ]convfun1__l9_convfun12019-08-21 11:10 151K 
[ ]convfun1__l10_convfun12019-08-21 11:12 398K 
[ ]convfun1__l11_convfun12019-08-21 11:12 202K 
[ ]convfun1__l12_convfun12019-08-21 11:12 127K 
[ ]convfun1__l13_convfun12019-08-21 11:13 166K 
[ ]convfun1__l14_convfun12019-08-21 11:14 317K 
[ ]convfun1__l15_convfun12019-08-21 11:14 129K 
[ ]convfun1__l16_convfun12019-08-21 11:14 136K 
[ ]convfun1__l17_convfun12019-08-21 11:15 132K 
[ ]convfun1__l18_convfun12019-08-21 11:15 172K 
[ ]convfun1__l21_convfun12019-08-21 11:15 87K 
[ ]convfun1__l26_convfun12019-08-21 11:24 218K 
[ ]convfun1__l28_convfun12019-08-21 11:30 492K 
[ ]convfun1__t1_convfun12019-08-21 11:07 78K 
[ ]convfun1__t2_convfun12019-08-21 11:07 78K 
[ ]convfun1__t3_convfun12019-08-21 11:10 486K 
[ ]convfun1__t4_convfun12019-08-21 11:17 639K 
[ ]convfun1__t5_convfun12019-08-21 11:18 260K 
[ ]convfun1__t6_convfun12019-08-21 11:20 676K 
[ ]convfun1__t7_convfun12019-08-21 11:24 900K 
[ ]convfun1__t8_convfun12019-08-21 11:28 895K 
[ ]convfun1__t9_convfun12019-08-21 11:35 1.2M 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80