Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/convfun1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]convfun1__l8_convfun12024-07-27 00:53 55K 
[ ]convfun1__l8_convfun1.vout2024-08-03 09:33 4.7K 
[ ]convfun1__l9_convfun12024-07-27 00:55 59K 
[ ]convfun1__l9_convfun1.vout2024-08-03 09:16 4.7K 
[ ]convfun1__l10_convfun12024-07-27 00:57 94K 
[ ]convfun1__l10_convfun1.vout2024-08-03 08:13 4.7K 
[ ]convfun1__l11_convfun12024-07-27 00:59 63K 
[ ]convfun1__l11_convfun1.vout2024-08-03 10:06 7.3K 
[ ]convfun1__l12_convfun12024-07-27 01:00 54K 
[ ]convfun1__l12_convfun1.vout2024-08-03 09:52 6.3K 
[ ]convfun1__l13_convfun12024-07-27 01:02 56K 
[ ]convfun1__l13_convfun1.vout2024-08-03 05:58 5.8K 
[ ]convfun1__l14_convfun12024-07-27 01:04 83K 
[ ]convfun1__l14_convfun1.vout2024-08-03 10:06 4.7K 
[ ]convfun1__l15_convfun12024-07-27 01:06 51K 
[ ]convfun1__l15_convfun1.vout2024-08-03 05:15 4.7K 
[ ]convfun1__l16_convfun12024-07-27 01:07 54K 
[ ]convfun1__l16_convfun1.vout2024-08-03 06:32 6.2K 
[ ]convfun1__l17_convfun12024-07-27 01:09 54K 
[ ]convfun1__l17_convfun1.vout2024-08-03 07:12 6.3K 
[ ]convfun1__l18_convfun12024-07-27 01:11 63K 
[ ]convfun1__l18_convfun1.vout2024-08-03 08:30 4.7K 
[ ]convfun1__l21_convfun12024-07-27 01:12 28K 
[ ]convfun1__l21_convfun1.depv12024-08-03 10:19 76  
[ ]convfun1__l21_convfun1.depvmin12024-08-03 10:24 76  
[ ]convfun1__l21_convfun1.vmin12024-08-03 10:19 1.1K 
[ ]convfun1__l21_convfun1.vmin1out2024-08-03 10:20 17K 
[ ]convfun1__l21_convfun1.vout2024-08-03 05:05 19K 
[ ]convfun1__l26_convfun12024-07-27 01:14 57K 
[ ]convfun1__l26_convfun1.vout2024-08-03 05:55 7.3K 
[ ]convfun1__l28_convfun12024-07-27 01:16 83K 
[ ]convfun1__l28_convfun1.vout2024-08-03 09:21 6.8K 
[ ]convfun1__t1_convfun12024-07-27 00:31 45K 
[ ]convfun1__t1_convfun1.vout2024-08-03 07:24 4.1K 
[ ]convfun1__t2_convfun12024-07-27 00:32 46K 
[ ]convfun1__t2_convfun1.vout2024-08-03 04:47 4.1K 
[ ]convfun1__t3_convfun12024-07-27 00:35 95K 
[ ]convfun1__t3_convfun1.vout2024-08-03 04:16 4.7K 
[ ]convfun1__t4_convfun12024-07-27 00:37 87K 
[ ]convfun1__t4_convfun1.vout2024-08-03 08:14 6.8K 
[ ]convfun1__t5_convfun12024-07-27 00:39 62K 
[ ]convfun1__t5_convfun1.vout2024-08-03 06:14 4.7K 
[ ]convfun1__t6_convfun12024-07-27 00:42 83K 
[ ]convfun1__t6_convfun1.vout2024-08-03 06:32 4.7K 
[ ]convfun1__t7_convfun12024-07-27 00:45 118K 
[ ]convfun1__t7_convfun1.vout2024-08-03 08:05 4.7K 
[ ]convfun1__t8_convfun12024-07-27 00:48 107K 
[ ]convfun1__t8_convfun1.vout2024-08-03 05:31 7.3K 
[ ]convfun1__t9_convfun12024-07-27 00:51 129K 
[ ]convfun1__t9_convfun1.vout2024-08-03 05:57 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80