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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]collsp__l4_collsp2025-09-13 17:07 8.5K 
[ ]collsp__l5_collsp2025-09-13 17:27 11K 
[ ]collsp__l6_collsp2025-09-13 17:08 8.3K 
[ ]collsp__l7_collsp2025-09-13 17:09 11K 
[ ]collsp__l8_collsp2025-09-13 17:09 16K 
[ ]collsp__l9_collsp2025-09-13 17:28 18K 
[ ]collsp__l23_collsp2025-09-13 17:29 11K 
[ ]collsp__l24_collsp2025-09-13 17:10 9.2K 
[ ]collsp__l25_collsp2025-09-13 17:11 12K 
[ ]collsp__l26_collsp2025-09-13 17:11 17K 
[ ]collsp__l27_collsp2025-09-13 17:30 18K 
[ ]collsp__l28_collsp2025-09-13 17:31 19K 
[ ]collsp__l29_collsp2025-09-13 17:32 19K 
[ ]collsp__l30_collsp2025-09-13 17:33 22K 
[ ]collsp__l38_collsp2025-09-13 17:34 14K 
[ ]collsp__t1_collsp2025-09-13 17:12 6.5K 
[ ]collsp__t2_collsp2025-09-13 17:05 14K 
[ ]collsp__t3_collsp2025-09-13 17:05 15K 
[ ]collsp__t4_collsp2025-09-13 17:13 14K 
[ ]collsp__t5_collsp2025-09-13 17:06 14K 
[ ]collsp__t6_collsp2025-09-13 17:14 14K 
[ ]collsp__t7_collsp2025-09-13 17:07 14K 
[ ]collsp__t8_collsp2025-09-13 17:14 14K 
[ ]collsp__t9_collsp2025-09-13 17:15 16K 
[ ]collsp__t10_collsp2025-09-13 17:16 14K 
[ ]collsp__t11_collsp2025-09-13 17:17 14K 
[ ]collsp__t12_collsp2025-09-13 17:18 14K 
[ ]collsp__t13_collsp2025-09-13 17:19 14K 
[ ]collsp__t14_collsp2025-09-13 17:20 13K 
[ ]collsp__t15_collsp2025-09-13 17:20 13K 
[ ]collsp__t16_collsp2025-09-13 17:21 15K 
[ ]collsp__t17_collsp2025-09-13 17:22 18K 
[ ]collsp__t18_collsp2025-09-13 17:23 18K 
[ ]collsp__t19_collsp2025-09-13 17:24 15K 
[ ]collsp__t20_collsp2025-09-13 17:25 13K 
[ ]collsp__t21_collsp2025-09-13 17:26 16K 
[ ]collsp__t22_collsp2025-09-13 17:27 15K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80