Index of /~mptp/mml5.63.1382/MPTP2/problems_small/fsm_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fsm_1__t1_fsm_12021-07-17 17:53 39K 
[ ]fsm_1__t1_fsm_1.vout2021-07-25 19:06 7.2K 
[ ]fsm_1__t2_fsm_12021-07-17 17:54 35K 
[ ]fsm_1__t2_fsm_1.vout2021-07-25 20:13 8.3K 
[ ]fsm_1__t3_fsm_12021-07-17 17:54 32K 
[ ]fsm_1__t3_fsm_1.vout2021-07-25 16:13 7.8K 
[ ]fsm_1__t4_fsm_12021-07-17 17:51 38K 
[ ]fsm_1__t4_fsm_1.depv12021-07-25 20:57 64  
[ ]fsm_1__t4_fsm_1.depvmin12021-07-25 21:02 64  
[ ]fsm_1__t4_fsm_1.vmin12021-07-25 20:57 1.7K 
[ ]fsm_1__t4_fsm_1.vmin1out2021-07-25 21:00 30K 
[ ]fsm_1__t4_fsm_1.vout2021-07-25 16:37 31K 
[ ]fsm_1__t5_fsm_12021-07-17 17:55 45K 
[ ]fsm_1__t5_fsm_1.vout2021-07-25 14:41 7.2K 
[ ]fsm_1__t6_fsm_12021-07-17 17:55 48K 
[ ]fsm_1__t6_fsm_1.vout2021-07-25 16:46 7.3K 
[ ]fsm_1__t7_fsm_12021-07-17 17:56 50K 
[ ]fsm_1__t7_fsm_1.vout2021-07-25 17:14 7.2K 
[ ]fsm_1__t8_fsm_12021-07-17 17:56 62K 
[ ]fsm_1__t8_fsm_1.vout2021-07-25 17:35 4.7K 
[ ]fsm_1__t9_fsm_12021-07-17 17:57 34K 
[ ]fsm_1__t9_fsm_1.depv12021-07-25 20:57 175  
[ ]fsm_1__t9_fsm_1.depvmin12021-07-25 21:02 175  
[ ]fsm_1__t9_fsm_1.vmin12021-07-25 20:57 1.9K 
[ ]fsm_1__t9_fsm_1.vmin1out2021-07-25 20:59 23K 
[ ]fsm_1__t9_fsm_1.vout2021-07-25 15:40 23K 
[ ]fsm_1__t10_fsm_12021-07-17 17:57 40K 
[ ]fsm_1__t10_fsm_1.vout2021-07-25 18:35 7.2K 
[ ]fsm_1__t11_fsm_12021-07-17 17:58 68K 
[ ]fsm_1__t11_fsm_1.vout2021-07-25 20:36 4.7K 
[ ]fsm_1__t12_fsm_12021-07-17 17:59 41K 
[ ]fsm_1__t12_fsm_1.vout2021-07-25 16:18 4.1K 
[ ]fsm_1__t13_fsm_12021-07-17 17:59 71K 
[ ]fsm_1__t13_fsm_1.vout2021-07-25 14:55 4.7K 
[ ]fsm_1__t14_fsm_12021-07-17 18:00 73K 
[ ]fsm_1__t14_fsm_1.vout2021-07-25 15:00 4.7K 
[ ]fsm_1__t15_fsm_12021-07-17 18:01 30K 
[ ]fsm_1__t15_fsm_1.depv12021-07-25 20:57 19  
[ ]fsm_1__t15_fsm_1.depvmin12021-07-25 21:02 19  
[ ]fsm_1__t15_fsm_1.vmin12021-07-25 20:57 748  
[ ]fsm_1__t15_fsm_1.vmin1out2021-07-25 21:02 22K 
[ ]fsm_1__t15_fsm_1.vout2021-07-25 14:40 18K 
[ ]fsm_1__t16_fsm_12021-07-17 18:01 30K 
[ ]fsm_1__t16_fsm_1.depv12021-07-25 20:57 20  
[ ]fsm_1__t16_fsm_1.depvmin12021-07-25 21:02 20  
[ ]fsm_1__t16_fsm_1.vmin12021-07-25 20:57 793  
[ ]fsm_1__t16_fsm_1.vmin1out2021-07-25 20:58 19K 
[ ]fsm_1__t16_fsm_1.vout2021-07-25 17:23 19K 
[ ]fsm_1__t17_fsm_12021-07-17 18:02 66K 
[ ]fsm_1__t17_fsm_1.vout2021-07-25 20:48 7.2K 
[ ]fsm_1__t18_fsm_12021-07-17 18:02 63K 
[ ]fsm_1__t18_fsm_1.vout2021-07-25 17:30 4.7K 
[ ]fsm_1__t19_fsm_12021-07-17 18:03 47K 
[ ]fsm_1__t19_fsm_1.vout2021-07-25 15:19 4.7K 
[ ]fsm_1__t20_fsm_12021-07-17 18:03 45K 
[ ]fsm_1__t20_fsm_1.vout2021-07-25 18:55 7.3K 
[ ]fsm_1__t21_fsm_12021-07-17 17:51 32K 
[ ]fsm_1__t21_fsm_1.depv12021-07-25 20:57 20  
[ ]fsm_1__t21_fsm_1.depvmin12021-07-25 21:02 20  
[ ]fsm_1__t21_fsm_1.vmin12021-07-25 20:57 744  
[ ]fsm_1__t21_fsm_1.vmin1out2021-07-25 20:59 9.7K 
[ ]fsm_1__t21_fsm_1.vout2021-07-25 17:13 9.8K 
[ ]fsm_1__t22_fsm_12021-07-17 17:52 33K 
[ ]fsm_1__t22_fsm_1.depv12021-07-25 20:57 20  
[ ]fsm_1__t22_fsm_1.depvmin12021-07-25 21:02 20  
[ ]fsm_1__t22_fsm_1.vmin12021-07-25 20:57 828  
[ ]fsm_1__t22_fsm_1.vmin1out2021-07-25 21:02 21K 
[ ]fsm_1__t22_fsm_1.vout2021-07-25 20:15 20K 
[ ]fsm_1__t23_fsm_12021-07-17 18:04 33K 
[ ]fsm_1__t23_fsm_1.depv12021-07-25 20:57 20  
[ ]fsm_1__t23_fsm_1.depvmin12021-07-25 21:02 20  
[ ]fsm_1__t23_fsm_1.vmin12021-07-25 20:57 911  
[ ]fsm_1__t23_fsm_1.vmin1out2021-07-25 21:00 24K 
[ ]fsm_1__t23_fsm_1.vout2021-07-25 20:26 25K 
[ ]fsm_1__t24_fsm_12021-07-17 17:52 33K 
[ ]fsm_1__t24_fsm_1.depv12021-07-25 20:57 30  
[ ]fsm_1__t24_fsm_1.depvmin12021-07-25 21:02 30  
[ ]fsm_1__t24_fsm_1.vmin12021-07-25 20:57 1.2K 
[ ]fsm_1__t24_fsm_1.vmin1out2021-07-25 20:59 20K 
[ ]fsm_1__t24_fsm_1.vout2021-07-25 19:34 20K 
[ ]fsm_1__t25_fsm_12021-07-17 18:04 33K 
[ ]fsm_1__t25_fsm_1.vout2021-07-25 19:56 2.0K 
[ ]fsm_1__t26_fsm_12021-07-17 18:05 35K 
[ ]fsm_1__t26_fsm_1.vout2021-07-25 17:22 2.0K 
[ ]fsm_1__t27_fsm_12021-07-17 18:06 64K 
[ ]fsm_1__t27_fsm_1.vout2021-07-25 16:50 4.7K 
[ ]fsm_1__t28_fsm_12021-07-17 18:06 45K 
[ ]fsm_1__t28_fsm_1.vout2021-07-25 18:46 7.2K 
[ ]fsm_1__t29_fsm_12021-07-17 18:07 50K 
[ ]fsm_1__t29_fsm_1.vout2021-07-25 18:45 4.2K 
[ ]fsm_1__t30_fsm_12021-07-17 17:53 34K 
[ ]fsm_1__t30_fsm_1.vout2021-07-25 20:56 2.0K 
[ ]fsm_1__t31_fsm_12021-07-17 18:07 44K 
[ ]fsm_1__t31_fsm_1.vout2021-07-25 15:34 1.1K 
[ ]fsm_1__t32_fsm_12021-07-17 18:08 38K 
[ ]fsm_1__t32_fsm_1.vout2021-07-25 15:37 3.2K 
[ ]fsm_1__t33_fsm_12021-07-17 18:08 36K 
[ ]fsm_1__t33_fsm_1.vout2021-07-25 18:08 7.3K 
[ ]fsm_1__t34_fsm_12021-07-17 18:09 33K 
[ ]fsm_1__t34_fsm_1.vout2021-07-25 17:29 7.8K 
[ ]fsm_1__t35_fsm_12021-07-17 18:09 45K 
[ ]fsm_1__t35_fsm_1.vout2021-07-25 19:31 2.0K 
[ ]fsm_1__t36_fsm_12021-07-17 18:10 44K 
[ ]fsm_1__t36_fsm_1.vout2021-07-25 17:33 7.3K 
[ ]fsm_1__t37_fsm_12021-07-17 18:11 51K 
[ ]fsm_1__t37_fsm_1.vout2021-07-25 20:46 4.1K 
[ ]fsm_1__t38_fsm_12021-07-17 18:11 43K 
[ ]fsm_1__t38_fsm_1.vout2021-07-25 19:01 1.1K 
[ ]fsm_1__t39_fsm_12021-07-17 18:12 41K 
[ ]fsm_1__t39_fsm_1.depv12021-07-25 20:57 52  
[ ]fsm_1__t39_fsm_1.depvmin12021-07-25 21:02 52  
[ ]fsm_1__t39_fsm_1.vmin12021-07-25 20:57 1.5K 
[ ]fsm_1__t39_fsm_1.vmin1out2021-07-25 21:00 19K 
[ ]fsm_1__t39_fsm_1.vout2021-07-25 17:44 19K 
[ ]fsm_1__t40_fsm_12021-07-17 18:12 47K 
[ ]fsm_1__t40_fsm_1.vout2021-07-25 15:15 4.7K 
[ ]fsm_1__t41_fsm_12021-07-17 18:13 49K 
[ ]fsm_1__t41_fsm_1.vout2021-07-25 16:24 4.1K 
[ ]fsm_1__t42_fsm_12021-07-17 18:13 40K 
[ ]fsm_1__t42_fsm_1.vout2021-07-25 15:17 7.8K 
[ ]fsm_1__t43_fsm_12021-07-17 18:14 42K 
[ ]fsm_1__t43_fsm_1.vout2021-07-25 17:42 6.7K 
[ ]fsm_1__t44_fsm_12021-07-17 18:14 50K 
[ ]fsm_1__t44_fsm_1.vout2021-07-25 15:16 4.1K 
[ ]fsm_1__t45_fsm_12021-07-17 18:15 67K 
[ ]fsm_1__t45_fsm_1.vout2021-07-25 16:25 6.7K 
[ ]fsm_1__t46_fsm_12021-07-17 18:16 46K 
[ ]fsm_1__t46_fsm_1.vout2021-07-25 20:13 7.2K 
[ ]fsm_1__t47_fsm_12021-07-17 18:16 41K 
[ ]fsm_1__t47_fsm_1.vout2021-07-25 18:08 4.1K 
[ ]fsm_1__t48_fsm_12021-07-17 18:17 24K 
[ ]fsm_1__t48_fsm_1.depv12021-07-25 20:57 121  
[ ]fsm_1__t48_fsm_1.depvmin12021-07-25 21:02 121  
[ ]fsm_1__t48_fsm_1.vmin12021-07-25 20:57 1.5K 
[ ]fsm_1__t48_fsm_1.vmin1out2021-07-25 21:01 31K 
[ ]fsm_1__t48_fsm_1.vout2021-07-25 16:01 33K 
[ ]fsm_1__t49_fsm_12021-07-17 18:17 62K 
[ ]fsm_1__t49_fsm_1.vout2021-07-25 16:52 4.2K 
[ ]fsm_1__t50_fsm_12021-07-17 18:18 68K 
[ ]fsm_1__t50_fsm_1.vout2021-07-25 17:49 7.2K 
[ ]fsm_1__t51_fsm_12021-07-17 18:19 71K 
[ ]fsm_1__t51_fsm_1.vout2021-07-25 17:18 4.2K 
[ ]fsm_1__t52_fsm_12021-07-17 18:19 50K 
[ ]fsm_1__t52_fsm_1.vout2021-07-25 17:07 4.7K 
[ ]fsm_1__t53_fsm_12021-07-17 18:20 51K 
[ ]fsm_1__t53_fsm_1.vout2021-07-25 17:07 4.1K 
[ ]fsm_1__t54_fsm_12021-07-17 18:21 48K 
[ ]fsm_1__t54_fsm_1.vout2021-07-25 15:45 4.7K 
[ ]fsm_1__t55_fsm_12021-07-17 18:21 49K 
[ ]fsm_1__t55_fsm_1.vout2021-07-25 15:33 4.1K 
[ ]fsm_1__t56_fsm_12021-07-17 18:22 45K 
[ ]fsm_1__t56_fsm_1.vout2021-07-25 15:35 6.8K 
[ ]fsm_1__t57_fsm_12021-07-17 18:22 35K 
[ ]fsm_1__t57_fsm_1.vout2021-07-25 19:24 4.1K 
[ ]fsm_1__t58_fsm_12021-07-17 18:23 35K 
[ ]fsm_1__t58_fsm_1.vout2021-07-25 19:32 4.1K 
[ ]fsm_1__t59_fsm_12021-07-17 18:23 51K 
[ ]fsm_1__t59_fsm_1.vout2021-07-25 15:45 7.2K 
[ ]fsm_1__t60_fsm_12021-07-17 18:24 51K 
[ ]fsm_1__t60_fsm_1.vout2021-07-25 17:21 6.7K 
[ ]fsm_1__t61_fsm_12021-07-17 18:25 58K 
[ ]fsm_1__t61_fsm_1.vout2021-07-25 14:48 7.2K 
[ ]fsm_1__t62_fsm_12021-07-17 18:26 48K 
[ ]fsm_1__t62_fsm_1.vout2021-07-25 18:59 7.3K 
[ ]fsm_1__t63_fsm_12021-07-17 18:27 49K 
[ ]fsm_1__t63_fsm_1.vout2021-07-25 17:35 5.8K 
[ ]fsm_1__t64_fsm_12021-07-17 18:27 60K 
[ ]fsm_1__t64_fsm_1.vout2021-07-25 17:03 7.2K 
[ ]fsm_1__t65_fsm_12021-07-17 18:28 63K 
[ ]fsm_1__t65_fsm_1.vout2021-07-25 18:04 4.1K 
[ ]fsm_1__t66_fsm_12021-07-17 18:29 40K 
[ ]fsm_1__t66_fsm_1.depv12021-07-25 20:57 109  
[ ]fsm_1__t66_fsm_1.depvmin12021-07-25 21:02 91  
[ ]fsm_1__t66_fsm_1.vmin12021-07-25 20:57 2.7K 
[ ]fsm_1__t66_fsm_1.vmin1out2021-07-25 21:01 36K 
[ ]fsm_1__t66_fsm_1.vout2021-07-25 17:31 43K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80