Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/convfun1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]convfun1__l8_convfun12025-09-12 11:53 94K 
[ ]convfun1__l9_convfun12025-09-12 11:56 95K 
[ ]convfun1__l10_convfun12025-09-12 11:58 161K 
[ ]convfun1__l11_convfun12025-09-12 12:00 100K 
[ ]convfun1__l12_convfun12025-09-12 12:02 86K 
[ ]convfun1__l13_convfun12025-09-12 12:03 88K 
[ ]convfun1__l14_convfun12025-09-12 12:05 143K 
[ ]convfun1__l15_convfun12025-09-12 12:07 82K 
[ ]convfun1__l16_convfun12025-09-12 12:09 85K 
[ ]convfun1__l17_convfun12025-09-12 12:11 85K 
[ ]convfun1__l18_convfun12025-09-12 12:13 100K 
[ ]convfun1__l21_convfun12025-09-12 12:14 48K 
[ ]convfun1__l26_convfun12025-09-12 12:16 91K 
[ ]convfun1__l28_convfun12025-09-12 12:19 135K 
[ ]convfun1__t1_convfun12025-09-12 11:30 72K 
[ ]convfun1__t2_convfun12025-09-12 11:32 75K 
[ ]convfun1__t3_convfun12025-09-12 11:35 161K 
[ ]convfun1__t4_convfun12025-09-12 11:37 144K 
[ ]convfun1__t5_convfun12025-09-12 11:39 100K 
[ ]convfun1__t6_convfun12025-09-12 11:42 139K 
[ ]convfun1__t7_convfun12025-09-12 11:45 261K 
[ ]convfun1__t8_convfun12025-09-12 11:48 250K 
[ ]convfun1__t9_convfun12025-09-12 11:51 210K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80