Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/fsm_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fsm_1__t1_fsm_12024-07-28 04:00 38K 
[ ]fsm_1__t1_fsm_1.vout2024-08-03 07:08 7.2K 
[ ]fsm_1__t2_fsm_12024-07-28 04:01 35K 
[ ]fsm_1__t2_fsm_1.vout2024-08-03 06:34 7.8K 
[ ]fsm_1__t3_fsm_12024-07-28 04:02 32K 
[ ]fsm_1__t3_fsm_1.depv12024-08-03 10:19 147  
[ ]fsm_1__t3_fsm_1.depvmin12024-08-03 10:24 147  
[ ]fsm_1__t3_fsm_1.vmin12024-08-03 10:19 1.5K 
[ ]fsm_1__t3_fsm_1.vmin1out2024-08-03 10:23 20K 
[ ]fsm_1__t3_fsm_1.vout2024-08-03 07:28 21K 
[ ]fsm_1__t4_fsm_12024-07-28 03:54 37K 
[ ]fsm_1__t4_fsm_1.depv12024-08-03 10:19 64  
[ ]fsm_1__t4_fsm_1.depvmin12024-08-03 10:24 64  
[ ]fsm_1__t4_fsm_1.vmin12024-08-03 10:19 1.7K 
[ ]fsm_1__t4_fsm_1.vmin1out2024-08-03 10:21 30K 
[ ]fsm_1__t4_fsm_1.vout2024-08-03 08:30 31K 
[ ]fsm_1__t5_fsm_12024-07-28 04:04 44K 
[ ]fsm_1__t5_fsm_1.vout2024-08-03 06:22 7.2K 
[ ]fsm_1__t6_fsm_12024-07-28 04:05 48K 
[ ]fsm_1__t6_fsm_1.vout2024-08-03 06:36 7.2K 
[ ]fsm_1__t7_fsm_12024-07-28 04:07 50K 
[ ]fsm_1__t7_fsm_1.vout2024-08-03 07:09 7.2K 
[ ]fsm_1__t8_fsm_12024-07-28 04:08 62K 
[ ]fsm_1__t8_fsm_1.vout2024-08-03 09:57 4.7K 
[ ]fsm_1__t9_fsm_12024-07-28 04:10 33K 
[ ]fsm_1__t9_fsm_1.depv12024-08-03 10:19 286  
[ ]fsm_1__t9_fsm_1.depvmin12024-08-03 10:24 273  
[ ]fsm_1__t9_fsm_1.vmin12024-08-03 10:19 2.7K 
[ ]fsm_1__t9_fsm_1.vmin1out2024-08-03 10:21 28K 
[ ]fsm_1__t9_fsm_1.vout2024-08-03 08:30 30K 
[ ]fsm_1__t10_fsm_12024-07-28 04:11 39K 
[ ]fsm_1__t10_fsm_1.vout2024-08-03 07:24 7.2K 
[ ]fsm_1__t11_fsm_12024-07-28 04:13 67K 
[ ]fsm_1__t11_fsm_1.vout2024-08-03 06:19 4.7K 
[ ]fsm_1__t12_fsm_12024-07-28 04:14 41K 
[ ]fsm_1__t12_fsm_1.vout2024-08-03 05:47 4.1K 
[ ]fsm_1__t13_fsm_12024-07-28 04:16 72K 
[ ]fsm_1__t13_fsm_1.vout2024-08-03 04:47 4.7K 
[ ]fsm_1__t14_fsm_12024-07-28 04:18 74K 
[ ]fsm_1__t14_fsm_1.vout2024-08-03 04:39 4.7K 
[ ]fsm_1__t15_fsm_12024-07-28 04:20 29K 
[ ]fsm_1__t15_fsm_1.depv12024-08-03 10:19 19  
[ ]fsm_1__t15_fsm_1.depvmin12024-08-03 10:24 19  
[ ]fsm_1__t15_fsm_1.vmin12024-08-03 10:19 748  
[ ]fsm_1__t15_fsm_1.vmin1out2024-08-03 10:22 22K 
[ ]fsm_1__t15_fsm_1.vout2024-08-03 05:05 18K 
[ ]fsm_1__t16_fsm_12024-07-28 04:21 29K 
[ ]fsm_1__t16_fsm_1.depv12024-08-03 10:19 20  
[ ]fsm_1__t16_fsm_1.depvmin12024-08-03 10:24 20  
[ ]fsm_1__t16_fsm_1.vmin12024-08-03 10:19 793  
[ ]fsm_1__t16_fsm_1.vmin1out2024-08-03 10:20 19K 
[ ]fsm_1__t16_fsm_1.vout2024-08-03 08:15 19K 
[ ]fsm_1__t17_fsm_12024-07-28 04:22 67K 
[ ]fsm_1__t17_fsm_1.vout2024-08-03 06:17 6.8K 
[ ]fsm_1__t18_fsm_12024-07-28 04:24 64K 
[ ]fsm_1__t18_fsm_1.vout2024-08-03 08:04 4.7K 
[ ]fsm_1__t19_fsm_12024-07-28 04:26 49K 
[ ]fsm_1__t19_fsm_1.vout2024-08-03 06:52 4.7K 
[ ]fsm_1__t20_fsm_12024-07-28 04:27 44K 
[ ]fsm_1__t20_fsm_1.vout2024-08-03 07:47 7.2K 
[ ]fsm_1__t21_fsm_12024-07-28 03:55 32K 
[ ]fsm_1__t21_fsm_1.depv12024-08-03 10:19 20  
[ ]fsm_1__t21_fsm_1.depvmin12024-08-03 10:24 20  
[ ]fsm_1__t21_fsm_1.vmin12024-08-03 10:19 744  
[ ]fsm_1__t21_fsm_1.vmin1out2024-08-03 10:20 9.7K 
[ ]fsm_1__t21_fsm_1.vout2024-08-03 08:00 9.8K 
[ ]fsm_1__t22_fsm_12024-07-28 03:56 32K 
[ ]fsm_1__t22_fsm_1.depv12024-08-03 10:19 20  
[ ]fsm_1__t22_fsm_1.depvmin12024-08-03 10:24 20  
[ ]fsm_1__t22_fsm_1.vmin12024-08-03 10:19 828  
[ ]fsm_1__t22_fsm_1.vmin1out2024-08-03 10:23 21K 
[ ]fsm_1__t22_fsm_1.vout2024-08-03 09:20 20K 
[ ]fsm_1__t23_fsm_12024-07-28 04:29 32K 
[ ]fsm_1__t23_fsm_1.depv12024-08-03 10:19 20  
[ ]fsm_1__t23_fsm_1.depvmin12024-08-03 10:24 20  
[ ]fsm_1__t23_fsm_1.vmin12024-08-03 10:19 911  
[ ]fsm_1__t23_fsm_1.vmin1out2024-08-03 10:23 24K 
[ ]fsm_1__t23_fsm_1.vout2024-08-03 09:12 25K 
[ ]fsm_1__t24_fsm_12024-07-28 03:57 33K 
[ ]fsm_1__t24_fsm_1.depv12024-08-03 10:19 30  
[ ]fsm_1__t24_fsm_1.depvmin12024-08-03 10:24 30  
[ ]fsm_1__t24_fsm_1.vmin12024-08-03 10:19 1.2K 
[ ]fsm_1__t24_fsm_1.vmin1out2024-08-03 10:22 20K 
[ ]fsm_1__t24_fsm_1.vout2024-08-03 09:36 20K 
[ ]fsm_1__t25_fsm_12024-07-28 04:30 32K 
[ ]fsm_1__t25_fsm_1.vout2024-08-03 05:17 2.0K 
[ ]fsm_1__t26_fsm_12024-07-28 04:31 34K 
[ ]fsm_1__t26_fsm_1.vout2024-08-03 10:12 2.0K 
[ ]fsm_1__t27_fsm_12024-07-28 04:33 65K 
[ ]fsm_1__t27_fsm_1.vout2024-08-03 08:19 4.7K 
[ ]fsm_1__t28_fsm_12024-07-28 04:35 44K 
[ ]fsm_1__t28_fsm_1.vout2024-08-03 08:25 7.2K 
[ ]fsm_1__t29_fsm_12024-07-28 04:37 49K 
[ ]fsm_1__t29_fsm_1.vout2024-08-03 04:41 4.2K 
[ ]fsm_1__t30_fsm_12024-07-28 03:58 33K 
[ ]fsm_1__t30_fsm_1.vout2024-08-03 05:36 2.0K 
[ ]fsm_1__t31_fsm_12024-07-28 04:38 43K 
[ ]fsm_1__t31_fsm_1.vout2024-08-03 06:53 1.0K 
[ ]fsm_1__t32_fsm_12024-07-28 04:39 36K 
[ ]fsm_1__t32_fsm_1.vout2024-08-03 05:38 3.2K 
[ ]fsm_1__t33_fsm_12024-07-28 04:41 36K 
[ ]fsm_1__t33_fsm_1.vout2024-08-03 05:39 7.3K 
[ ]fsm_1__t34_fsm_12024-07-28 04:42 32K 
[ ]fsm_1__t34_fsm_1.vout2024-08-03 07:44 7.3K 
[ ]fsm_1__t35_fsm_12024-07-28 04:44 44K 
[ ]fsm_1__t35_fsm_1.vout2024-08-03 07:06 2.0K 
[ ]fsm_1__t36_fsm_12024-07-28 04:45 43K 
[ ]fsm_1__t36_fsm_1.vout2024-08-03 08:36 7.3K 
[ ]fsm_1__t37_fsm_12024-07-28 04:47 50K 
[ ]fsm_1__t37_fsm_1.vout2024-08-03 07:50 4.1K 
[ ]fsm_1__t38_fsm_12024-07-28 04:49 42K 
[ ]fsm_1__t38_fsm_1.vout2024-08-03 07:08 1.1K 
[ ]fsm_1__t39_fsm_12024-07-28 04:50 40K 
[ ]fsm_1__t39_fsm_1.depv12024-08-03 10:19 52  
[ ]fsm_1__t39_fsm_1.depvmin12024-08-03 10:24 52  
[ ]fsm_1__t39_fsm_1.vmin12024-08-03 10:19 1.5K 
[ ]fsm_1__t39_fsm_1.vmin1out2024-08-03 10:22 19K 
[ ]fsm_1__t39_fsm_1.vout2024-08-03 05:17 19K 
[ ]fsm_1__t40_fsm_12024-07-28 04:52 46K 
[ ]fsm_1__t40_fsm_1.vout2024-08-03 04:56 4.7K 
[ ]fsm_1__t41_fsm_12024-07-28 04:53 47K 
[ ]fsm_1__t41_fsm_1.vout2024-08-03 08:28 4.1K 
[ ]fsm_1__t42_fsm_12024-07-28 04:55 38K 
[ ]fsm_1__t42_fsm_1.vout2024-08-03 08:27 7.8K 
[ ]fsm_1__t43_fsm_12024-07-28 04:56 41K 
[ ]fsm_1__t43_fsm_1.vout2024-08-03 06:56 6.7K 
[ ]fsm_1__t44_fsm_12024-07-28 04:58 49K 
[ ]fsm_1__t44_fsm_1.vout2024-08-03 07:12 4.1K 
[ ]fsm_1__t45_fsm_12024-07-28 05:00 66K 
[ ]fsm_1__t45_fsm_1.vout2024-08-03 08:06 6.8K 
[ ]fsm_1__t46_fsm_12024-07-28 05:01 44K 
[ ]fsm_1__t46_fsm_1.vout2024-08-03 09:43 7.2K 
[ ]fsm_1__t47_fsm_12024-07-28 05:03 40K 
[ ]fsm_1__t47_fsm_1.vout2024-08-03 06:16 4.1K 
[ ]fsm_1__t48_fsm_12024-07-28 05:04 23K 
[ ]fsm_1__t48_fsm_1.depv12024-08-03 10:19 121  
[ ]fsm_1__t48_fsm_1.depvmin12024-08-03 10:24 121  
[ ]fsm_1__t48_fsm_1.vmin12024-08-03 10:19 1.5K 
[ ]fsm_1__t48_fsm_1.vmin1out2024-08-03 10:23 31K 
[ ]fsm_1__t48_fsm_1.vout2024-08-03 05:06 32K 
[ ]fsm_1__t49_fsm_12024-07-28 05:06 62K 
[ ]fsm_1__t49_fsm_1.vout2024-08-03 04:09 4.2K 
[ ]fsm_1__t50_fsm_12024-07-28 05:07 66K 
[ ]fsm_1__t50_fsm_1.vout2024-08-03 05:20 6.8K 
[ ]fsm_1__t51_fsm_12024-07-28 05:09 68K 
[ ]fsm_1__t51_fsm_1.vout2024-08-03 05:18 4.7K 
[ ]fsm_1__t52_fsm_12024-07-28 05:11 49K 
[ ]fsm_1__t52_fsm_1.vout2024-08-03 07:53 4.7K 
[ ]fsm_1__t53_fsm_12024-07-28 05:13 50K 
[ ]fsm_1__t53_fsm_1.vout2024-08-03 04:16 4.1K 
[ ]fsm_1__t54_fsm_12024-07-28 05:14 47K 
[ ]fsm_1__t54_fsm_1.vout2024-08-03 05:28 4.7K 
[ ]fsm_1__t55_fsm_12024-07-28 05:16 48K 
[ ]fsm_1__t55_fsm_1.vout2024-08-03 08:19 4.1K 
[ ]fsm_1__t56_fsm_12024-07-28 05:18 44K 
[ ]fsm_1__t56_fsm_1.vout2024-08-03 07:59 6.8K 
[ ]fsm_1__t57_fsm_12024-07-28 05:19 34K 
[ ]fsm_1__t57_fsm_1.vout2024-08-03 08:46 4.1K 
[ ]fsm_1__t58_fsm_12024-07-28 05:20 34K 
[ ]fsm_1__t58_fsm_1.vout2024-08-03 08:42 4.1K 
[ ]fsm_1__t59_fsm_12024-07-28 05:22 50K 
[ ]fsm_1__t59_fsm_1.vout2024-08-03 08:58 7.2K 
[ ]fsm_1__t60_fsm_12024-07-28 05:24 49K 
[ ]fsm_1__t60_fsm_1.vout2024-08-03 06:43 6.7K 
[ ]fsm_1__t61_fsm_12024-07-28 05:27 58K 
[ ]fsm_1__t61_fsm_1.vout2024-08-03 04:49 6.7K 
[ ]fsm_1__t62_fsm_12024-07-28 05:29 47K 
[ ]fsm_1__t62_fsm_1.vout2024-08-03 05:27 7.2K 
[ ]fsm_1__t63_fsm_12024-07-28 05:31 48K 
[ ]fsm_1__t63_fsm_1.vout2024-08-03 05:21 5.8K 
[ ]fsm_1__t64_fsm_12024-07-28 05:33 58K 
[ ]fsm_1__t64_fsm_1.vout2024-08-03 06:16 7.3K 
[ ]fsm_1__t65_fsm_12024-07-28 05:35 61K 
[ ]fsm_1__t65_fsm_1.vout2024-08-03 06:06 4.1K 
[ ]fsm_1__t66_fsm_12024-07-28 05:36 39K 
[ ]fsm_1__t66_fsm_1.depv12024-08-03 10:19 109  
[ ]fsm_1__t66_fsm_1.depvmin12024-08-03 10:24 91  
[ ]fsm_1__t66_fsm_1.vmin12024-08-03 10:19 2.7K 
[ ]fsm_1__t66_fsm_1.vmin1out2024-08-03 10:22 36K 
[ ]fsm_1__t66_fsm_1.vout2024-08-03 05:05 44K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80