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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ltlaxio5__t1_ltlaxio52024-07-28 03:09 16K 
[ ]ltlaxio5__t1_ltlaxio5.depv12024-08-03 10:19 153  
[ ]ltlaxio5__t1_ltlaxio5.depvmin12024-08-03 10:24 153  
[ ]ltlaxio5__t1_ltlaxio5.vmin12024-08-03 10:19 1.4K 
[ ]ltlaxio5__t1_ltlaxio5.vmin1out2024-08-03 10:20 13K 
[ ]ltlaxio5__t1_ltlaxio5.vout2024-08-03 06:43 12K 
[ ]ltlaxio5__t2_ltlaxio52024-07-28 03:11 18K 
[ ]ltlaxio5__t2_ltlaxio5.depv12024-08-03 10:19 78  
[ ]ltlaxio5__t2_ltlaxio5.depvmin12024-08-03 10:24 78  
[ ]ltlaxio5__t2_ltlaxio5.vmin12024-08-03 10:19 2.0K 
[ ]ltlaxio5__t2_ltlaxio5.vmin1out2024-08-03 10:20 58K 
[ ]ltlaxio5__t2_ltlaxio5.vout2024-08-03 07:19 123K 
[ ]ltlaxio5__t3_ltlaxio52024-07-28 03:12 35K 
[ ]ltlaxio5__t3_ltlaxio5.vout2024-08-03 07:30 7.9K 
[ ]ltlaxio5__t4_ltlaxio52024-07-28 03:13 65K 
[ ]ltlaxio5__t4_ltlaxio5.vout2024-08-03 09:32 7.9K 
[ ]ltlaxio5__t5_ltlaxio52024-07-28 03:14 19K 
[ ]ltlaxio5__t5_ltlaxio5.depv12024-08-03 10:19 251  
[ ]ltlaxio5__t5_ltlaxio5.depvmin12024-08-03 10:24 225  
[ ]ltlaxio5__t5_ltlaxio5.vmin12024-08-03 10:19 2.2K 
[ ]ltlaxio5__t5_ltlaxio5.vmin1out2024-08-03 10:21 22K 
[ ]ltlaxio5__t5_ltlaxio5.vout2024-08-03 06:20 22K 
[ ]ltlaxio5__t6_ltlaxio52024-07-28 03:15 20K 
[ ]ltlaxio5__t6_ltlaxio5.vout2024-08-03 06:11 4.1K 
[ ]ltlaxio5__t7_ltlaxio52024-07-28 03:16 19K 
[ ]ltlaxio5__t7_ltlaxio5.depv12024-08-03 10:19 332  
[ ]ltlaxio5__t7_ltlaxio5.depvmin12024-08-03 10:24 280  
[ ]ltlaxio5__t7_ltlaxio5.vmin12024-08-03 10:19 3.0K 
[ ]ltlaxio5__t7_ltlaxio5.vmin1out2024-08-03 10:23 39K 
[ ]ltlaxio5__t7_ltlaxio5.vout2024-08-03 08:55 30K 
[ ]ltlaxio5__t8_ltlaxio52024-07-28 03:18 19K 
[ ]ltlaxio5__t8_ltlaxio5.vout2024-08-03 06:51 4.1K 
[ ]ltlaxio5__t9_ltlaxio52024-07-28 03:19 16K 
[ ]ltlaxio5__t9_ltlaxio5.depv12024-08-03 10:19 100  
[ ]ltlaxio5__t9_ltlaxio5.depvmin12024-08-03 10:24 76  
[ ]ltlaxio5__t9_ltlaxio5.vmin12024-08-03 10:19 2.0K 
[ ]ltlaxio5__t9_ltlaxio5.vmin1out2024-08-03 10:22 24K 
[ ]ltlaxio5__t9_ltlaxio5.vout2024-08-03 08:05 25K 
[ ]ltlaxio5__t10_ltlaxio52024-07-28 03:20 18K 
[ ]ltlaxio5__t10_ltlaxio5.vout2024-08-03 06:00 2.0K 
[ ]ltlaxio5__t11_ltlaxio52024-07-28 03:21 22K 
[ ]ltlaxio5__t11_ltlaxio5.vout2024-08-03 08:22 2.0K 
[ ]ltlaxio5__t12_ltlaxio52024-07-28 03:22 17K 
[ ]ltlaxio5__t12_ltlaxio5.depv12024-08-03 10:19 135  
[ ]ltlaxio5__t12_ltlaxio5.depvmin12024-08-03 10:24 135  
[ ]ltlaxio5__t12_ltlaxio5.vmin12024-08-03 10:19 2.1K 
[ ]ltlaxio5__t12_ltlaxio5.vmin1out2024-08-03 10:20 42K 
[ ]ltlaxio5__t12_ltlaxio5.vout2024-08-03 07:59 35K 
[ ]ltlaxio5__t13_ltlaxio52024-07-28 03:23 22K 
[ ]ltlaxio5__t13_ltlaxio5.vout2024-08-03 08:02 6.8K 
[ ]ltlaxio5__t14_ltlaxio52024-07-28 03:25 36K 
[ ]ltlaxio5__t14_ltlaxio5.vout2024-08-03 09:04 7.3K 
[ ]ltlaxio5__t15_ltlaxio52024-07-28 03:26 14K 
[ ]ltlaxio5__t15_ltlaxio5.depv12024-08-03 10:19 119  
[ ]ltlaxio5__t15_ltlaxio5.depvmin12024-08-03 10:24 119  
[ ]ltlaxio5__t15_ltlaxio5.vmin12024-08-03 10:19 1.1K 
[ ]ltlaxio5__t15_ltlaxio5.vmin1out2024-08-03 10:21 7.7K 
[ ]ltlaxio5__t15_ltlaxio5.vout2024-08-03 06:07 14K 
[ ]ltlaxio5__t16_ltlaxio52024-07-28 03:27 20K 
[ ]ltlaxio5__t16_ltlaxio5.vout2024-08-03 08:41 2.0K 
[ ]ltlaxio5__t17_ltlaxio52024-07-28 03:28 22K 
[ ]ltlaxio5__t17_ltlaxio5.vout2024-08-03 07:18 4.7K 
[ ]ltlaxio5__t18_ltlaxio52024-07-28 03:29 14K 
[ ]ltlaxio5__t18_ltlaxio5.depv12024-08-03 10:19 114  
[ ]ltlaxio5__t18_ltlaxio5.depvmin12024-08-03 10:24 104  
[ ]ltlaxio5__t18_ltlaxio5.vmin12024-08-03 10:19 1.1K 
[ ]ltlaxio5__t18_ltlaxio5.vmin1out2024-08-03 10:23 7.2K 
[ ]ltlaxio5__t18_ltlaxio5.vout2024-08-03 09:03 15K 
[ ]ltlaxio5__t19_ltlaxio52024-07-28 03:30 17K 
[ ]ltlaxio5__t19_ltlaxio5.vout2024-08-03 08:00 6.8K 
[ ]ltlaxio5__t20_ltlaxio52024-07-28 03:31 16K 
[ ]ltlaxio5__t20_ltlaxio5.depv12024-08-03 10:19 169  
[ ]ltlaxio5__t20_ltlaxio5.depvmin12024-08-03 10:24 124  
[ ]ltlaxio5__t20_ltlaxio5.vmin12024-08-03 10:19 1.7K 
[ ]ltlaxio5__t20_ltlaxio5.vmin1out2024-08-03 10:20 19K 
[ ]ltlaxio5__t20_ltlaxio5.vout2024-08-03 05:05 28K 
[ ]ltlaxio5__t21_ltlaxio52024-07-28 03:33 38K 
[ ]ltlaxio5__t21_ltlaxio5.vout2024-08-03 08:10 7.3K 
[ ]ltlaxio5__t22_ltlaxio52024-07-28 03:34 9.9K 
[ ]ltlaxio5__t22_ltlaxio5.depv12024-08-03 10:19 142  
[ ]ltlaxio5__t22_ltlaxio5.depvmin12024-08-03 10:24 142  
[ ]ltlaxio5__t22_ltlaxio5.vmin12024-08-03 10:19 1.0K 
[ ]ltlaxio5__t22_ltlaxio5.vmin1out2024-08-03 10:20 11K 
[ ]ltlaxio5__t22_ltlaxio5.vout2024-08-03 05:50 11K 
[ ]ltlaxio5__t23_ltlaxio52024-07-28 03:35 15K 
[ ]ltlaxio5__t23_ltlaxio5.depv12024-08-03 10:19 64  
[ ]ltlaxio5__t23_ltlaxio5.depvmin12024-08-03 10:24 54  
[ ]ltlaxio5__t23_ltlaxio5.vmin12024-08-03 10:19 1.3K 
[ ]ltlaxio5__t23_ltlaxio5.vmin1out2024-08-03 10:23 30K 
[ ]ltlaxio5__t23_ltlaxio5.vout2024-08-03 05:23 28K 
[ ]ltlaxio5__t24_ltlaxio52024-07-28 03:36 14K 
[ ]ltlaxio5__t24_ltlaxio5.depv12024-08-03 10:19 67  
[ ]ltlaxio5__t24_ltlaxio5.depvmin12024-08-03 10:24 67  
[ ]ltlaxio5__t24_ltlaxio5.vmin12024-08-03 10:19 1.0K 
[ ]ltlaxio5__t24_ltlaxio5.vmin1out2024-08-03 10:22 12K 
[ ]ltlaxio5__t24_ltlaxio5.vout2024-08-03 09:46 14K 
[ ]ltlaxio5__t25_ltlaxio52024-07-28 03:37 17K 
[ ]ltlaxio5__t25_ltlaxio5.vout2024-08-03 08:13 4.1K 
[ ]ltlaxio5__t26_ltlaxio52024-07-28 03:38 22K 
[ ]ltlaxio5__t26_ltlaxio5.vout2024-08-03 06:30 6.8K 
[ ]ltlaxio5__t27_ltlaxio52024-07-28 03:40 40K 
[ ]ltlaxio5__t27_ltlaxio5.vout2024-08-03 06:54 7.4K 
[ ]ltlaxio5__t28_ltlaxio52024-07-28 03:41 40K 
[ ]ltlaxio5__t28_ltlaxio5.vout2024-08-03 06:31 7.3K 
[ ]ltlaxio5__t29_ltlaxio52024-07-28 03:43 21K 
[ ]ltlaxio5__t29_ltlaxio5.vout2024-08-03 10:14 6.8K 
[ ]ltlaxio5__t30_ltlaxio52024-07-28 03:44 34K 
[ ]ltlaxio5__t30_ltlaxio5.vout2024-08-03 07:21 7.3K 
[ ]ltlaxio5__t31_ltlaxio52024-07-28 03:45 35K 
[ ]ltlaxio5__t31_ltlaxio5.vout2024-08-03 10:13 6.8K 
[ ]ltlaxio5__t32_ltlaxio52024-07-28 03:46 19K 
[ ]ltlaxio5__t32_ltlaxio5.vout2024-08-03 04:21 2.0K 
[ ]ltlaxio5__t33_ltlaxio52024-07-28 03:48 19K 
[ ]ltlaxio5__t33_ltlaxio5.vout2024-08-03 10:04 2.0K 
[ ]ltlaxio5__t34_ltlaxio52024-07-28 03:49 37K 
[ ]ltlaxio5__t34_ltlaxio5.vout2024-08-03 06:01 6.8K 
[ ]ltlaxio5__t35_ltlaxio52024-07-28 03:51 26K 
[ ]ltlaxio5__t35_ltlaxio5.vout2024-08-03 07:05 6.8K 
[ ]ltlaxio5__t36_ltlaxio52024-07-28 03:52 19K 
[ ]ltlaxio5__t36_ltlaxio5.vout2024-08-03 05:13 7.4K 
[ ]ltlaxio5__t37_ltlaxio52024-07-28 03:53 39K 
[ ]ltlaxio5__t37_ltlaxio5.vout2024-08-03 09:51 7.3K 
[ ]ltlaxio5__t38_ltlaxio52024-07-28 03:55 39K 
[ ]ltlaxio5__t38_ltlaxio5.vout2024-08-03 08:00 7.3K 
[ ]ltlaxio5__t39_ltlaxio52024-07-28 03:56 31K 
[ ]ltlaxio5__t39_ltlaxio5.vout2024-08-03 07:50 7.3K 
[ ]ltlaxio5__t40_ltlaxio52024-07-28 03:57 31K 
[ ]ltlaxio5__t40_ltlaxio5.vout2024-08-03 08:10 7.3K 
[ ]ltlaxio5__t41_ltlaxio52024-07-28 03:59 32K 
[ ]ltlaxio5__t41_ltlaxio5.vout2024-08-03 06:32 7.3K 
[ ]ltlaxio5__t42_ltlaxio52024-07-28 04:00 16K 
[ ]ltlaxio5__t42_ltlaxio5.depv12024-08-03 10:19 141  
[ ]ltlaxio5__t42_ltlaxio5.depvmin12024-08-03 10:24 141  
[ ]ltlaxio5__t42_ltlaxio5.vmin12024-08-03 10:19 1.3K 
[ ]ltlaxio5__t42_ltlaxio5.vmin1out2024-08-03 10:23 14K 
[ ]ltlaxio5__t42_ltlaxio5.vout2024-08-03 10:15 14K 
[ ]ltlaxio5__t43_ltlaxio52024-07-28 04:01 16K 
[ ]ltlaxio5__t43_ltlaxio5.depv12024-08-03 10:19 159  
[ ]ltlaxio5__t43_ltlaxio5.depvmin12024-08-03 10:24 126  
[ ]ltlaxio5__t43_ltlaxio5.vmin12024-08-03 10:19 1.4K 
[ ]ltlaxio5__t43_ltlaxio5.vmin1out2024-08-03 10:21 12K 
[ ]ltlaxio5__t43_ltlaxio5.vout2024-08-03 09:50 17K 
[ ]ltlaxio5__t44_ltlaxio52024-07-28 04:02 22K 
[ ]ltlaxio5__t44_ltlaxio5.vout2024-08-03 10:02 7.3K 
[ ]ltlaxio5__t45_ltlaxio52024-07-28 04:04 18K 
[ ]ltlaxio5__t45_ltlaxio5.depv12024-08-03 10:19 204  
[ ]ltlaxio5__t45_ltlaxio5.depvmin12024-08-03 10:24 204  
[ ]ltlaxio5__t45_ltlaxio5.vmin12024-08-03 10:19 2.1K 
[ ]ltlaxio5__t45_ltlaxio5.vmin1out2024-08-03 10:23 20K 
[ ]ltlaxio5__t45_ltlaxio5.vout2024-08-03 08:00 21K 
[ ]ltlaxio5__t46_ltlaxio52024-07-28 04:05 19K 
[ ]ltlaxio5__t46_ltlaxio5.depv12024-08-03 10:19 72  
[ ]ltlaxio5__t46_ltlaxio5.depvmin12024-08-03 10:24 72  
[ ]ltlaxio5__t46_ltlaxio5.vmin12024-08-03 10:19 1.9K 
[ ]ltlaxio5__t46_ltlaxio5.vmin1out2024-08-03 10:23 58K 
[ ]ltlaxio5__t46_ltlaxio5.vout2024-08-03 04:50 54K 
[ ]ltlaxio5__t47_ltlaxio52024-07-28 04:06 54K 
[ ]ltlaxio5__t47_ltlaxio5.vout2024-08-03 04:46 4.2K 
[ ]ltlaxio5__t48_ltlaxio52024-07-28 04:08 29K 
[ ]ltlaxio5__t48_ltlaxio5.vout2024-08-03 05:35 3.7K 
[ ]ltlaxio5__t49_ltlaxio52024-07-28 04:09 20K 
[ ]ltlaxio5__t49_ltlaxio5.vout2024-08-03 05:16 6.8K 
[ ]ltlaxio5__t50_ltlaxio52024-07-28 04:10 18K 
[ ]ltlaxio5__t50_ltlaxio5.depv12024-08-03 10:19 106  
[ ]ltlaxio5__t50_ltlaxio5.depvmin12024-08-03 10:24 106  
[ ]ltlaxio5__t50_ltlaxio5.vmin12024-08-03 10:19 1.4K 
[ ]ltlaxio5__t50_ltlaxio5.vmin1out2024-08-03 10:23 15K 
[ ]ltlaxio5__t50_ltlaxio5.vout2024-08-03 05:23 17K 
[ ]ltlaxio5__t51_ltlaxio52024-07-28 04:11 17K 
[ ]ltlaxio5__t51_ltlaxio5.depv12024-08-03 10:19 52  
[ ]ltlaxio5__t51_ltlaxio5.depvmin12024-08-03 10:24 52  
[ ]ltlaxio5__t51_ltlaxio5.vmin12024-08-03 10:19 755  
[ ]ltlaxio5__t51_ltlaxio5.vmin1out2024-08-03 10:23 6.9K 
[ ]ltlaxio5__t51_ltlaxio5.vout2024-08-03 07:23 9.5K 
[ ]ltlaxio5__t52_ltlaxio52024-07-28 04:13 26K 
[ ]ltlaxio5__t52_ltlaxio5.vout2024-08-03 10:06 4.7K 
[ ]ltlaxio5__t53_ltlaxio52024-07-28 04:14 17K 
[ ]ltlaxio5__t53_ltlaxio5.depv12024-08-03 10:19 67  
[ ]ltlaxio5__t53_ltlaxio5.depvmin12024-08-03 10:24 67  
[ ]ltlaxio5__t53_ltlaxio5.vmin12024-08-03 10:19 898  
[ ]ltlaxio5__t53_ltlaxio5.vmin1out2024-08-03 10:23 7.4K 
[ ]ltlaxio5__t53_ltlaxio5.vout2024-08-03 07:02 10K 
[ ]ltlaxio5__t54_ltlaxio52024-07-28 04:15 18K 
[ ]ltlaxio5__t54_ltlaxio5.depv12024-08-03 10:19 191  
[ ]ltlaxio5__t54_ltlaxio5.depvmin12024-08-03 10:24 191  
[ ]ltlaxio5__t54_ltlaxio5.vmin12024-08-03 10:19 1.9K 
[ ]ltlaxio5__t54_ltlaxio5.vmin1out2024-08-03 10:20 21K 
[ ]ltlaxio5__t54_ltlaxio5.vout2024-08-03 06:37 19K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80