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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]menelaus__l15_menelaus2024-07-26 22:03 108K 
[   ]menelaus__l15_menelaus.vout2024-08-03 07:06 4.1K 
[   ]menelaus__l18_menelaus2024-07-26 22:05 71K 
[   ]menelaus__l18_menelaus.vout2024-08-03 06:26 6.8K 
[   ]menelaus__l19_menelaus2024-07-26 22:06 71K 
[   ]menelaus__l19_menelaus.vout2024-08-03 08:59 6.8K 
[   ]menelaus__l20_menelaus2024-07-26 22:07 97K 
[   ]menelaus__l20_menelaus.vout2024-08-03 08:15 7.3K 
[   ]menelaus__l21_menelaus2024-07-26 22:08 54K 
[   ]menelaus__l21_menelaus.vout2024-08-03 07:45 6.8K 
[   ]menelaus__l23_menelaus2024-07-26 22:10 90K 
[   ]menelaus__l23_menelaus.vout2024-08-03 07:43 6.8K 
[   ]menelaus__l28_menelaus2024-07-26 22:12 662K 
[   ]menelaus__l28_menelaus.vout2024-08-03 10:04 4.7K 
[   ]menelaus__t1_menelaus2024-07-26 21:30 17K 
[   ]menelaus__t1_menelaus.depv12024-08-03 10:19 215  
[   ]menelaus__t1_menelaus.depvmin12024-08-03 10:24 215  
[   ]menelaus__t1_menelaus.vmin12024-08-03 10:20 2.6K 
[   ]menelaus__t1_menelaus.vmin1out2024-08-03 10:21 34K 
[   ]menelaus__t1_menelaus.vout2024-08-03 04:13 33K 
[   ]menelaus__t2_menelaus2024-07-26 21:32 17K 
[   ]menelaus__t2_menelaus.depv12024-08-03 10:19 74  
[   ]menelaus__t2_menelaus.depvmin12024-08-03 10:24 74  
[   ]menelaus__t2_menelaus.vmin12024-08-03 10:20 1.0K 
[   ]menelaus__t2_menelaus.vmin1out2024-08-03 10:20 10K 
[   ]menelaus__t2_menelaus.vout2024-08-03 08:51 12K 
[   ]menelaus__t3_menelaus2024-07-26 21:33 16K 
[   ]menelaus__t3_menelaus.depv12024-08-03 10:19 74  
[   ]menelaus__t3_menelaus.depvmin12024-08-03 10:24 74  
[   ]menelaus__t3_menelaus.vmin12024-08-03 10:20 932  
[   ]menelaus__t3_menelaus.vmin1out2024-08-03 10:23 8.3K 
[   ]menelaus__t3_menelaus.vout2024-08-03 08:01 6.7K 
[   ]menelaus__t4_menelaus2024-07-26 21:34 28K 
[   ]menelaus__t4_menelaus.vout2024-08-03 09:56 4.1K 
[   ]menelaus__t5_menelaus2024-07-26 21:36 23K 
[   ]menelaus__t5_menelaus.depv12024-08-03 10:19 243  
[   ]menelaus__t5_menelaus.depvmin12024-08-03 10:24 243  
[   ]menelaus__t5_menelaus.vmin12024-08-03 10:20 3.4K 
[   ]menelaus__t5_menelaus.vmin1out2024-08-03 10:21 37K 
[   ]menelaus__t5_menelaus.vout2024-08-03 04:07 45K 
[   ]menelaus__t6_menelaus2024-07-26 21:37 23K 
[   ]menelaus__t6_menelaus.vout2024-08-03 07:52 4.1K 
[   ]menelaus__t7_menelaus2024-07-26 21:39 134K 
[   ]menelaus__t7_menelaus.vout2024-08-03 04:48 4.1K 
[   ]menelaus__t8_menelaus2024-07-26 21:40 118K 
[   ]menelaus__t8_menelaus.vout2024-08-03 10:07 6.8K 
[   ]menelaus__t9_menelaus2024-07-26 21:42 301K 
[   ]menelaus__t9_menelaus.vout2024-08-03 04:38 7.3K 
[   ]menelaus__t10_menelaus2024-07-26 21:43 63K 
[   ]menelaus__t10_menelaus.vout2024-08-03 08:12 7.3K 
[   ]menelaus__t11_menelaus2024-07-26 21:45 265K 
[   ]menelaus__t11_menelaus.vout2024-08-03 07:13 4.1K 
[   ]menelaus__t12_menelaus2024-07-26 21:46 25K 
[   ]menelaus__t12_menelaus.vout2024-08-03 09:27 8.4K 
[   ]menelaus__t13_menelaus2024-07-26 21:48 88K 
[   ]menelaus__t13_menelaus.vout2024-08-03 05:01 7.3K 
[   ]menelaus__t14_menelaus2024-07-26 21:49 54K 
[   ]menelaus__t14_menelaus.depv12024-08-03 10:19 189  
[   ]menelaus__t14_menelaus.depvmin12024-08-03 10:24 189  
[   ]menelaus__t14_menelaus.vmin12024-08-03 10:20 3.2K 
[   ]menelaus__t14_menelaus.vmin1out2024-08-03 10:20 39K 
[   ]menelaus__t14_menelaus.vout2024-08-03 05:08 43K 
[   ]menelaus__t15_menelaus2024-07-26 21:29 13K 
[   ]menelaus__t15_menelaus.depv12024-08-03 10:19 104  
[   ]menelaus__t15_menelaus.depvmin12024-08-03 10:24 104  
[   ]menelaus__t15_menelaus.vmin12024-08-03 10:20 1.9K 
[   ]menelaus__t15_menelaus.vmin1out2024-08-03 10:20 197K 
[   ]menelaus__t15_menelaus.vout2024-08-03 04:27 28K 
[   ]menelaus__t16_menelaus2024-07-26 21:51 71K 
[   ]menelaus__t16_menelaus.vout2024-08-03 07:46 6.8K 
[   ]menelaus__t17_menelaus2024-07-26 21:52 109K 
[   ]menelaus__t17_menelaus.vout2024-08-03 06:44 4.1K 
[   ]menelaus__t18_menelaus2024-07-26 21:54 69K 
[   ]menelaus__t18_menelaus.vout2024-08-03 05:35 4.7K 
[   ]menelaus__t19_menelaus2024-07-26 21:56 588K 
[   ]menelaus__t19_menelaus.vout2024-08-03 05:37 4.7K 
[   ]menelaus__t20_menelaus2024-07-26 21:58 1.4M 
[   ]menelaus__t20_menelaus.vout2024-08-03 08:49 4.7K 
[   ]menelaus__t21_menelaus2024-07-26 22:00 207K 
[   ]menelaus__t21_menelaus.vout2024-08-03 06:57 7.3K 
[   ]menelaus__t22_menelaus2024-07-26 22:02 74K 
[   ]menelaus__t22_menelaus.vout2024-08-03 08:30 6.8K 

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