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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fsm_2__l8_fsm_22025-09-12 11:28 55K 
[ ]fsm_2__l9_fsm_22025-09-12 11:30 41K 
[ ]fsm_2__t1_fsm_22025-09-12 10:41 56K 
[ ]fsm_2__t2_fsm_22025-09-12 10:43 67K 
[ ]fsm_2__t3_fsm_22025-09-12 10:44 65K 
[ ]fsm_2__t4_fsm_22025-09-12 10:46 61K 
[ ]fsm_2__t5_fsm_22025-09-12 10:47 56K 
[ ]fsm_2__t6_fsm_22025-09-12 10:48 75K 
[ ]fsm_2__t7_fsm_22025-09-12 10:50 74K 
[ ]fsm_2__t8_fsm_22025-09-12 10:40 44K 
[ ]fsm_2__t9_fsm_22025-09-12 10:52 57K 
[ ]fsm_2__t10_fsm_22025-09-12 10:53 48K 
[ ]fsm_2__t11_fsm_22025-09-12 10:55 63K 
[ ]fsm_2__t12_fsm_22025-09-12 10:56 49K 
[ ]fsm_2__t13_fsm_22025-09-12 10:58 55K 
[ ]fsm_2__t14_fsm_22025-09-12 10:59 99K 
[ ]fsm_2__t15_fsm_22025-09-12 11:01 54K 
[ ]fsm_2__t16_fsm_22025-09-12 11:03 117K 
[ ]fsm_2__t17_fsm_22025-09-12 11:04 63K 
[ ]fsm_2__t18_fsm_22025-09-12 11:06 65K 
[ ]fsm_2__t19_fsm_22025-09-12 11:07 52K 
[ ]fsm_2__t20_fsm_22025-09-12 11:09 57K 
[ ]fsm_2__t21_fsm_22025-09-12 11:11 55K 
[ ]fsm_2__t22_fsm_22025-09-12 11:13 77K 
[ ]fsm_2__t23_fsm_22025-09-12 11:14 61K 
[ ]fsm_2__t24_fsm_22025-09-12 11:16 61K 
[ ]fsm_2__t25_fsm_22025-09-12 11:17 67K 
[ ]fsm_2__t26_fsm_22025-09-12 11:19 67K 
[ ]fsm_2__t27_fsm_22025-09-12 11:21 63K 
[ ]fsm_2__t28_fsm_22025-09-12 11:22 58K 
[ ]fsm_2__t29_fsm_22025-09-12 11:24 58K 
[ ]fsm_2__t30_fsm_22025-09-12 11:25 57K 
[ ]fsm_2__t31_fsm_22025-09-12 11:27 64K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80