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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]group_10__l26_group_102025-09-13 01:12 63K 
[ ]group_10__l29_group_102025-09-13 01:14 54K 
[ ]group_10__l30_group_102025-09-13 01:15 59K 
[ ]group_10__l31_group_102025-09-13 01:18 97K 
[ ]group_10__l32_group_102025-09-13 01:20 110K 
[ ]group_10__l33_group_102025-09-13 01:22 53K 
[ ]group_10__l34_group_102025-09-13 01:24 75K 
[ ]group_10__l36_group_102025-09-13 01:25 42K 
[ ]group_10__l42_group_102025-09-13 01:26 46K 
[ ]group_10__s1_group_102025-09-13 00:40 78K 
[ ]group_10__t1_group_102025-09-13 00:42 53K 
[ ]group_10__t2_group_102025-09-13 00:44 73K 
[ ]group_10__t3_group_102025-09-13 00:46 72K 
[ ]group_10__t4_group_102025-09-13 00:47 77K 
[ ]group_10__t5_group_102025-09-13 00:49 75K 
[ ]group_10__t6_group_102025-09-13 00:50 67K 
[ ]group_10__t7_group_102025-09-13 00:52 62K 
[ ]group_10__t8_group_102025-09-13 00:55 115K 
[ ]group_10__t9_group_102025-09-13 00:59 178K 
[ ]group_10__t10_group_102025-09-13 01:02 157K 
[ ]group_10__t11_group_102025-09-13 01:04 122K 
[ ]group_10__t12_group_102025-09-13 01:07 143K 
[ ]group_10__t13_group_102025-09-13 01:11 145K 
[ ]group_10__t14_group_102025-09-13 00:34 46K 
[ ]group_10__t15_group_102025-09-13 00:35 45K 
[ ]group_10__t16_group_102025-09-13 00:37 61K 
[ ]group_10__t17_group_102025-09-13 00:38 51K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80