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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]counters__l53_counters2025-09-14 02:05 125K 
[ ]counters__l54_counters2025-09-14 02:07 125K 
[ ]counters__s1_counters2025-09-14 02:09 115K 
[ ]counters__t1_counters2025-09-14 02:11 116K 
[ ]counters__t2_counters2025-09-14 02:13 113K 
[ ]counters__t3_counters2025-09-14 01:50 68K 
[ ]counters__t4_counters2025-09-14 01:52 68K 
[ ]counters__t5_counters2025-09-14 01:53 76K 
[ ]counters__t6_counters2025-09-14 02:15 81K 
[ ]counters__t7_counters2025-09-14 02:16 70K 
[ ]counters__t8_counters2025-09-14 01:55 76K 
[ ]counters__t9_counters2025-09-14 02:18 98K 
[ ]counters__t10_counters2025-09-14 01:57 74K 
[ ]counters__t11_counters2025-09-14 02:20 108K 
[ ]counters__t12_counters2025-09-14 02:22 77K 
[ ]counters__t13_counters2025-09-14 02:23 94K 
[ ]counters__t14_counters2025-09-14 02:25 78K 
[ ]counters__t15_counters2025-09-14 02:27 78K 
[ ]counters__t16_counters2025-09-14 02:28 69K 
[ ]counters__t17_counters2025-09-14 02:30 83K 
[ ]counters__t18_counters2025-09-14 02:32 108K 
[ ]counters__t19_counters2025-09-14 02:34 84K 
[ ]counters__t20_counters2025-09-14 01:58 76K 
[ ]counters__t21_counters2025-09-14 02:00 76K 
[ ]counters__t22_counters2025-09-14 02:35 85K 
[ ]counters__t23_counters2025-09-14 02:37 114K 
[ ]counters__t24_counters2025-09-14 02:39 66K 
[ ]counters__t25_counters2025-09-14 02:41 115K 
[ ]counters__t26_counters2025-09-14 02:01 77K 
[ ]counters__t27_counters2025-09-14 02:42 67K 
[ ]counters__t28_counters2025-09-14 02:44 67K 
[ ]counters__t29_counters2025-09-14 02:03 117K 
[ ]counters__t30_counters2025-09-14 02:46 121K 
[ ]counters__t31_counters2025-09-14 02:48 122K 
[ ]counters__t32_counters2025-09-14 02:50 124K 
[ ]counters__t33_counters2025-09-14 02:52 143K 
[ ]counters__t34_counters2025-09-14 02:54 136K 
[ ]counters__t35_counters2025-09-14 02:56 125K 
[ ]counters__t36_counters2025-09-14 02:58 128K 
[ ]counters__t37_counters2025-09-14 03:00 155K 
[ ]counters__t38_counters2025-09-14 03:02 129K 
[ ]counters__t41_counters2025-09-14 03:04 144K 
[ ]counters__t42_counters2025-09-14 03:06 125K 
[ ]counters__t43_counters2025-09-14 03:08 141K 
[ ]counters__t44_counters2025-09-14 03:11 150K 
[ ]counters__t45_counters2025-09-14 03:13 150K 
[ ]counters__t46_counters2025-09-14 03:15 141K 
[ ]counters__t47_counters2025-09-14 03:17 141K 
[ ]counters__t48_counters2025-09-14 03:19 141K 
[ ]counters__t49_counters2025-09-14 03:21 141K 
[ ]counters__t50_counters2025-09-14 03:23 142K 
[ ]counters__t51_counters2025-09-14 03:25 141K 
[ ]counters__t52_counters2025-09-14 03:27 130K 
[ ]counters__t53_counters2025-09-14 03:29 130K 
[ ]counters__t54_counters2025-09-14 03:31 132K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80