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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sysrel__l1_sysrel2025-09-12 23:06 4.4K 
[ ]sysrel__l13_sysrel2025-09-12 23:26 6.8K 
[ ]sysrel__t1_sysrel2025-09-12 23:07 7.5K 
[ ]sysrel__t2_sysrel2025-09-12 23:07 7.6K 
[ ]sysrel__t3_sysrel2025-09-12 23:08 6.8K 
[ ]sysrel__t4_sysrel2025-09-12 23:08 5.9K 
[ ]sysrel__t5_sysrel2025-09-12 23:09 4.6K 
[ ]sysrel__t6_sysrel2025-09-12 23:09 6.0K 
[ ]sysrel__t7_sysrel2025-09-12 23:10 9.5K 
[ ]sysrel__t8_sysrel2025-09-12 23:10 9.0K 
[ ]sysrel__t9_sysrel2025-09-12 23:11 9.7K 
[ ]sysrel__t10_sysrel2025-09-12 23:11 10K 
[ ]sysrel__t11_sysrel2025-09-12 23:12 6.6K 
[ ]sysrel__t12_sysrel2025-09-12 23:12 8.2K 
[ ]sysrel__t13_sysrel2025-09-12 23:13 7.6K 
[ ]sysrel__t14_sysrel2025-09-12 23:13 9.8K 
[ ]sysrel__t15_sysrel2025-09-12 23:14 9.4K 
[ ]sysrel__t16_sysrel2025-09-12 23:04 7.3K 
[ ]sysrel__t17_sysrel2025-09-12 23:14 7.5K 
[ ]sysrel__t18_sysrel2025-09-12 23:15 9.0K 
[ ]sysrel__t19_sysrel2025-09-12 23:15 7.6K 
[ ]sysrel__t20_sysrel2025-09-12 23:16 10K 
[ ]sysrel__t21_sysrel2025-09-12 23:17 12K 
[ ]sysrel__t22_sysrel2025-09-12 23:17 11K 
[ ]sysrel__t23_sysrel2025-09-12 23:05 11K 
[ ]sysrel__t24_sysrel2025-09-12 23:18 11K 
[ ]sysrel__t25_sysrel2025-09-12 23:18 6.6K 
[ ]sysrel__t26_sysrel2025-09-12 23:19 9.4K 
[ ]sysrel__t27_sysrel2025-09-12 23:19 8.7K 
[ ]sysrel__t28_sysrel2025-09-12 23:20 7.1K 
[ ]sysrel__t29_sysrel2025-09-12 23:21 14K 
[ ]sysrel__t30_sysrel2025-09-12 23:21 12K 
[ ]sysrel__t31_sysrel2025-09-12 23:22 13K 
[ ]sysrel__t32_sysrel2025-09-12 23:22 9.0K 
[ ]sysrel__t33_sysrel2025-09-12 23:05 8.9K 
[ ]sysrel__t34_sysrel2025-09-12 23:23 10K 
[ ]sysrel__t35_sysrel2025-09-12 23:23 15K 
[ ]sysrel__t36_sysrel2025-09-12 23:24 16K 
[ ]sysrel__t37_sysrel2025-09-12 23:25 12K 
[ ]sysrel__t38_sysrel2025-09-12 23:25 9.1K 
[ ]sysrel__t39_sysrel2025-09-12 23:26 12K 
[ ]sysrel__t40_sysrel2025-09-12 23:06 11K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80