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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fsm_1__t1_fsm_12025-09-12 09:31 62K 
[ ]fsm_1__t2_fsm_12025-09-12 09:33 55K 
[ ]fsm_1__t3_fsm_12025-09-12 09:34 49K 
[ ]fsm_1__t4_fsm_12025-09-12 09:24 59K 
[ ]fsm_1__t5_fsm_12025-09-12 09:36 69K 
[ ]fsm_1__t6_fsm_12025-09-12 09:38 77K 
[ ]fsm_1__t7_fsm_12025-09-12 09:40 78K 
[ ]fsm_1__t8_fsm_12025-09-12 09:41 101K 
[ ]fsm_1__t9_fsm_12025-09-12 09:43 53K 
[ ]fsm_1__t10_fsm_12025-09-12 09:45 62K 
[ ]fsm_1__t11_fsm_12025-09-12 09:47 111K 
[ ]fsm_1__t12_fsm_12025-09-12 09:48 65K 
[ ]fsm_1__t13_fsm_12025-09-12 09:51 117K 
[ ]fsm_1__t14_fsm_12025-09-12 09:53 118K 
[ ]fsm_1__t15_fsm_12025-09-12 09:55 47K 
[ ]fsm_1__t16_fsm_12025-09-12 09:56 47K 
[ ]fsm_1__t17_fsm_12025-09-12 09:58 110K 
[ ]fsm_1__t18_fsm_12025-09-12 10:00 105K 
[ ]fsm_1__t19_fsm_12025-09-12 10:02 77K 
[ ]fsm_1__t20_fsm_12025-09-12 10:04 69K 
[ ]fsm_1__t21_fsm_12025-09-12 09:26 50K 
[ ]fsm_1__t22_fsm_12025-09-12 09:27 51K 
[ ]fsm_1__t23_fsm_12025-09-12 10:05 51K 
[ ]fsm_1__t24_fsm_12025-09-12 09:28 52K 
[ ]fsm_1__t25_fsm_12025-09-12 10:07 51K 
[ ]fsm_1__t26_fsm_12025-09-12 10:08 54K 
[ ]fsm_1__t27_fsm_12025-09-12 10:10 107K 
[ ]fsm_1__t28_fsm_12025-09-12 10:12 71K 
[ ]fsm_1__t29_fsm_12025-09-12 10:15 77K 
[ ]fsm_1__t30_fsm_12025-09-12 09:30 53K 
[ ]fsm_1__t31_fsm_12025-09-12 10:16 70K 
[ ]fsm_1__t32_fsm_12025-09-12 10:18 58K 
[ ]fsm_1__t33_fsm_12025-09-12 10:20 57K 
[ ]fsm_1__t34_fsm_12025-09-12 10:21 52K 
[ ]fsm_1__t35_fsm_12025-09-12 10:23 69K 
[ ]fsm_1__t36_fsm_12025-09-12 10:25 68K 
[ ]fsm_1__t37_fsm_12025-09-12 10:27 81K 
[ ]fsm_1__t38_fsm_12025-09-12 10:29 67K 
[ ]fsm_1__t39_fsm_12025-09-12 10:30 65K 
[ ]fsm_1__t40_fsm_12025-09-12 10:32 72K 
[ ]fsm_1__t41_fsm_12025-09-12 10:34 76K 
[ ]fsm_1__t42_fsm_12025-09-12 10:35 61K 
[ ]fsm_1__t43_fsm_12025-09-12 10:37 64K 
[ ]fsm_1__t44_fsm_12025-09-12 10:39 79K 
[ ]fsm_1__t45_fsm_12025-09-12 10:41 109K 
[ ]fsm_1__t46_fsm_12025-09-12 10:43 71K 
[ ]fsm_1__t47_fsm_12025-09-12 10:45 64K 
[ ]fsm_1__t48_fsm_12025-09-12 10:46 36K 
[ ]fsm_1__t49_fsm_12025-09-12 10:49 101K 
[ ]fsm_1__t50_fsm_12025-09-12 10:51 105K 
[ ]fsm_1__t51_fsm_12025-09-12 10:53 109K 
[ ]fsm_1__t52_fsm_12025-09-12 10:55 77K 
[ ]fsm_1__t53_fsm_12025-09-12 10:57 80K 
[ ]fsm_1__t54_fsm_12025-09-12 10:59 74K 
[ ]fsm_1__t55_fsm_12025-09-12 11:01 76K 
[ ]fsm_1__t56_fsm_12025-09-12 11:03 72K 
[ ]fsm_1__t57_fsm_12025-09-12 11:05 55K 
[ ]fsm_1__t58_fsm_12025-09-12 11:06 54K 
[ ]fsm_1__t59_fsm_12025-09-12 11:08 80K 
[ ]fsm_1__t60_fsm_12025-09-12 11:10 79K 
[ ]fsm_1__t61_fsm_12025-09-12 11:14 93K 
[ ]fsm_1__t62_fsm_12025-09-12 11:16 70K 
[ ]fsm_1__t63_fsm_12025-09-12 11:18 76K 
[ ]fsm_1__t64_fsm_12025-09-12 11:21 93K 
[ ]fsm_1__t65_fsm_12025-09-12 11:23 98K 
[ ]fsm_1__t66_fsm_12025-09-12 11:25 63K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80