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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]menelaus__l15_menelaus2025-09-13 08:14 199K 
[ ]menelaus__l18_menelaus2025-09-13 08:16 127K 
[ ]menelaus__l19_menelaus2025-09-13 08:18 127K 
[ ]menelaus__l20_menelaus2025-09-13 08:19 179K 
[ ]menelaus__l21_menelaus2025-09-13 08:20 100K 
[ ]menelaus__l23_menelaus2025-09-13 08:21 165K 
[ ]menelaus__l28_menelaus2025-09-13 08:23 1.3M 
[ ]menelaus__t1_menelaus2025-09-13 07:36 30K 
[ ]menelaus__t2_menelaus2025-09-13 07:38 30K 
[ ]menelaus__t3_menelaus2025-09-13 07:39 29K 
[ ]menelaus__t4_menelaus2025-09-13 07:41 49K 
[ ]menelaus__t5_menelaus2025-09-13 07:42 41K 
[ ]menelaus__t6_menelaus2025-09-13 07:44 41K 
[ ]menelaus__t7_menelaus2025-09-13 07:46 247K 
[ ]menelaus__t8_menelaus2025-09-13 07:48 203K 
[ ]menelaus__t9_menelaus2025-09-13 07:50 528K 
[ ]menelaus__t10_menelaus2025-09-13 07:51 115K 
[ ]menelaus__t11_menelaus2025-09-13 07:53 496K 
[ ]menelaus__t12_menelaus2025-09-13 07:55 42K 
[ ]menelaus__t13_menelaus2025-09-13 07:57 156K 
[ ]menelaus__t14_menelaus2025-09-13 07:59 91K 
[ ]menelaus__t15_menelaus2025-09-13 07:35 24K 
[ ]menelaus__t16_menelaus2025-09-13 08:00 127K 
[ ]menelaus__t17_menelaus2025-09-13 08:02 199K 
[ ]menelaus__t18_menelaus2025-09-13 08:04 125K 
[ ]menelaus__t19_menelaus2025-09-13 08:06 1.1M 
[ ]menelaus__t20_menelaus2025-09-13 08:09 2.8M 
[ ]menelaus__t21_menelaus2025-09-13 08:11 358K 
[ ]menelaus__t22_menelaus2025-09-13 08:13 131K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80