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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ltlaxio5__t1_ltlaxio52021-07-17 20:53 16K 
[ ]ltlaxio5__t1_ltlaxio5.depv12021-07-25 20:57 153  
[ ]ltlaxio5__t1_ltlaxio5.depvmin12021-07-25 21:02 153  
[ ]ltlaxio5__t1_ltlaxio5.vmin12021-07-25 20:57 1.4K 
[ ]ltlaxio5__t1_ltlaxio5.vmin1out2021-07-25 20:59 13K 
[ ]ltlaxio5__t1_ltlaxio5.vout2021-07-25 20:16 12K 
[ ]ltlaxio5__t2_ltlaxio52021-07-17 20:54 18K 
[ ]ltlaxio5__t2_ltlaxio5.depv12021-07-25 20:57 78  
[ ]ltlaxio5__t2_ltlaxio5.depvmin12021-07-25 21:02 78  
[ ]ltlaxio5__t2_ltlaxio5.vmin12021-07-25 20:57 2.0K 
[ ]ltlaxio5__t2_ltlaxio5.vmin1out2021-07-25 21:01 58K 
[ ]ltlaxio5__t2_ltlaxio5.vout2021-07-25 15:04 119K 
[ ]ltlaxio5__t3_ltlaxio52021-07-17 20:54 35K 
[ ]ltlaxio5__t3_ltlaxio5.vout2021-07-25 17:21 7.9K 
[ ]ltlaxio5__t4_ltlaxio52021-07-17 20:55 65K 
[ ]ltlaxio5__t4_ltlaxio5.vout2021-07-25 14:32 7.9K 
[ ]ltlaxio5__t5_ltlaxio52021-07-17 20:55 19K 
[ ]ltlaxio5__t5_ltlaxio5.depv12021-07-25 20:57 251  
[ ]ltlaxio5__t5_ltlaxio5.depvmin12021-07-25 21:02 225  
[ ]ltlaxio5__t5_ltlaxio5.vmin12021-07-25 20:57 2.2K 
[ ]ltlaxio5__t5_ltlaxio5.vmin1out2021-07-25 21:00 22K 
[ ]ltlaxio5__t5_ltlaxio5.vout2021-07-25 18:19 22K 
[ ]ltlaxio5__t6_ltlaxio52021-07-17 20:56 20K 
[ ]ltlaxio5__t6_ltlaxio5.vout2021-07-25 18:44 4.1K 
[ ]ltlaxio5__t7_ltlaxio52021-07-17 20:56 19K 
[ ]ltlaxio5__t7_ltlaxio5.depv12021-07-25 20:57 332  
[ ]ltlaxio5__t7_ltlaxio5.depvmin12021-07-25 21:02 280  
[ ]ltlaxio5__t7_ltlaxio5.vmin12021-07-25 20:57 3.0K 
[ ]ltlaxio5__t7_ltlaxio5.vmin1out2021-07-25 21:01 39K 
[ ]ltlaxio5__t7_ltlaxio5.vout2021-07-25 16:01 30K 
[ ]ltlaxio5__t8_ltlaxio52021-07-17 20:56 19K 
[ ]ltlaxio5__t8_ltlaxio5.vout2021-07-25 17:27 4.1K 
[ ]ltlaxio5__t9_ltlaxio52021-07-17 20:57 16K 
[ ]ltlaxio5__t9_ltlaxio5.depv12021-07-25 20:57 100  
[ ]ltlaxio5__t9_ltlaxio5.depvmin12021-07-25 21:02 76  
[ ]ltlaxio5__t9_ltlaxio5.vmin12021-07-25 20:57 2.0K 
[ ]ltlaxio5__t9_ltlaxio5.vmin1out2021-07-25 20:58 24K 
[ ]ltlaxio5__t9_ltlaxio5.vout2021-07-25 17:20 25K 
[ ]ltlaxio5__t10_ltlaxio52021-07-17 20:57 18K 
[ ]ltlaxio5__t10_ltlaxio5.vout2021-07-25 19:01 2.0K 
[ ]ltlaxio5__t11_ltlaxio52021-07-17 20:58 22K 
[ ]ltlaxio5__t11_ltlaxio5.vout2021-07-25 18:22 2.0K 
[ ]ltlaxio5__t12_ltlaxio52021-07-17 20:58 17K 
[ ]ltlaxio5__t12_ltlaxio5.depv12021-07-25 20:57 135  
[ ]ltlaxio5__t12_ltlaxio5.depvmin12021-07-25 21:02 135  
[ ]ltlaxio5__t12_ltlaxio5.vmin12021-07-25 20:57 2.1K 
[ ]ltlaxio5__t12_ltlaxio5.vmin1out2021-07-25 21:00 42K 
[ ]ltlaxio5__t12_ltlaxio5.vout2021-07-25 18:46 35K 
[ ]ltlaxio5__t13_ltlaxio52021-07-17 20:59 22K 
[ ]ltlaxio5__t13_ltlaxio5.vout2021-07-25 19:08 6.8K 
[ ]ltlaxio5__t14_ltlaxio52021-07-17 20:59 36K 
[ ]ltlaxio5__t14_ltlaxio5.vout2021-07-25 18:51 7.3K 
[ ]ltlaxio5__t15_ltlaxio52021-07-17 20:59 14K 
[ ]ltlaxio5__t15_ltlaxio5.depv12021-07-25 20:57 119  
[ ]ltlaxio5__t15_ltlaxio5.depvmin12021-07-25 21:02 119  
[ ]ltlaxio5__t15_ltlaxio5.vmin12021-07-25 20:57 1.1K 
[ ]ltlaxio5__t15_ltlaxio5.vmin1out2021-07-25 21:02 7.7K 
[ ]ltlaxio5__t15_ltlaxio5.vout2021-07-25 15:32 14K 
[ ]ltlaxio5__t16_ltlaxio52021-07-17 21:00 20K 
[ ]ltlaxio5__t16_ltlaxio5.vout2021-07-25 17:17 2.0K 
[ ]ltlaxio5__t17_ltlaxio52021-07-17 21:00 22K 
[ ]ltlaxio5__t17_ltlaxio5.vout2021-07-25 17:28 5.3K 
[ ]ltlaxio5__t18_ltlaxio52021-07-17 21:01 14K 
[ ]ltlaxio5__t18_ltlaxio5.depv12021-07-25 20:57 114  
[ ]ltlaxio5__t18_ltlaxio5.depvmin12021-07-25 21:02 104  
[ ]ltlaxio5__t18_ltlaxio5.vmin12021-07-25 20:57 1.1K 
[ ]ltlaxio5__t18_ltlaxio5.vmin1out2021-07-25 20:58 7.2K 
[ ]ltlaxio5__t18_ltlaxio5.vout2021-07-25 14:56 15K 
[ ]ltlaxio5__t19_ltlaxio52021-07-17 21:01 17K 
[ ]ltlaxio5__t19_ltlaxio5.vout2021-07-25 16:55 6.8K 
[ ]ltlaxio5__t20_ltlaxio52021-07-17 21:02 16K 
[ ]ltlaxio5__t20_ltlaxio5.depv12021-07-25 20:57 169  
[ ]ltlaxio5__t20_ltlaxio5.depvmin12021-07-25 21:02 124  
[ ]ltlaxio5__t20_ltlaxio5.vmin12021-07-25 20:57 1.7K 
[ ]ltlaxio5__t20_ltlaxio5.vmin1out2021-07-25 21:01 19K 
[ ]ltlaxio5__t20_ltlaxio5.vout2021-07-25 16:22 28K 
[ ]ltlaxio5__t21_ltlaxio52021-07-17 21:02 38K 
[ ]ltlaxio5__t21_ltlaxio5.vout2021-07-25 19:32 7.3K 
[ ]ltlaxio5__t22_ltlaxio52021-07-17 21:02 9.9K 
[ ]ltlaxio5__t22_ltlaxio5.depv12021-07-25 20:57 142  
[ ]ltlaxio5__t22_ltlaxio5.depvmin12021-07-25 21:02 142  
[ ]ltlaxio5__t22_ltlaxio5.vmin12021-07-25 20:57 1.0K 
[ ]ltlaxio5__t22_ltlaxio5.vmin1out2021-07-25 20:59 11K 
[ ]ltlaxio5__t22_ltlaxio5.vout2021-07-25 15:53 11K 
[ ]ltlaxio5__t23_ltlaxio52021-07-17 21:03 16K 
[ ]ltlaxio5__t23_ltlaxio5.depv12021-07-25 20:57 87  
[ ]ltlaxio5__t23_ltlaxio5.depvmin12021-07-25 21:02 54  
[ ]ltlaxio5__t23_ltlaxio5.vmin12021-07-25 20:57 1.4K 
[ ]ltlaxio5__t23_ltlaxio5.vmin1out2021-07-25 21:02 30K 
[ ]ltlaxio5__t23_ltlaxio5.vout2021-07-25 15:55 27K 
[ ]ltlaxio5__t24_ltlaxio52021-07-17 21:03 14K 
[ ]ltlaxio5__t24_ltlaxio5.depv12021-07-25 20:57 67  
[ ]ltlaxio5__t24_ltlaxio5.depvmin12021-07-25 21:02 67  
[ ]ltlaxio5__t24_ltlaxio5.vmin12021-07-25 20:57 1.0K 
[ ]ltlaxio5__t24_ltlaxio5.vmin1out2021-07-25 20:59 12K 
[ ]ltlaxio5__t24_ltlaxio5.vout2021-07-25 17:49 14K 
[ ]ltlaxio5__t25_ltlaxio52021-07-17 21:04 17K 
[ ]ltlaxio5__t25_ltlaxio5.vout2021-07-25 17:12 4.1K 
[ ]ltlaxio5__t26_ltlaxio52021-07-17 21:04 22K 
[ ]ltlaxio5__t26_ltlaxio5.vout2021-07-25 17:52 6.8K 
[ ]ltlaxio5__t27_ltlaxio52021-07-17 21:05 40K 
[ ]ltlaxio5__t27_ltlaxio5.vout2021-07-25 20:37 7.4K 
[ ]ltlaxio5__t28_ltlaxio52021-07-17 21:05 40K 
[ ]ltlaxio5__t28_ltlaxio5.vout2021-07-25 16:51 7.3K 
[ ]ltlaxio5__t29_ltlaxio52021-07-17 21:06 22K 
[ ]ltlaxio5__t29_ltlaxio5.vout2021-07-25 19:34 6.8K 
[ ]ltlaxio5__t30_ltlaxio52021-07-17 21:06 34K 
[ ]ltlaxio5__t30_ltlaxio5.vout2021-07-25 20:04 6.8K 
[ ]ltlaxio5__t31_ltlaxio52021-07-17 21:07 35K 
[ ]ltlaxio5__t31_ltlaxio5.vout2021-07-25 15:00 6.8K 
[ ]ltlaxio5__t32_ltlaxio52021-07-17 21:07 19K 
[ ]ltlaxio5__t32_ltlaxio5.vout2021-07-25 16:50 2.0K 
[ ]ltlaxio5__t33_ltlaxio52021-07-17 21:07 19K 
[ ]ltlaxio5__t33_ltlaxio5.vout2021-07-25 16:21 2.0K 
[ ]ltlaxio5__t34_ltlaxio52021-07-17 21:08 37K 
[ ]ltlaxio5__t34_ltlaxio5.vout2021-07-25 17:32 6.8K 
[ ]ltlaxio5__t35_ltlaxio52021-07-17 21:08 26K 
[ ]ltlaxio5__t35_ltlaxio5.vout2021-07-25 17:50 6.8K 
[ ]ltlaxio5__t36_ltlaxio52021-07-17 21:09 19K 
[ ]ltlaxio5__t36_ltlaxio5.vout2021-07-25 18:37 7.9K 
[ ]ltlaxio5__t37_ltlaxio52021-07-17 21:09 39K 
[ ]ltlaxio5__t37_ltlaxio5.vout2021-07-25 15:34 7.3K 
[ ]ltlaxio5__t38_ltlaxio52021-07-17 21:10 39K 
[ ]ltlaxio5__t38_ltlaxio5.vout2021-07-25 15:32 7.3K 
[ ]ltlaxio5__t39_ltlaxio52021-07-17 21:10 31K 
[ ]ltlaxio5__t39_ltlaxio5.vout2021-07-25 19:03 7.3K 
[ ]ltlaxio5__t40_ltlaxio52021-07-17 21:11 31K 
[ ]ltlaxio5__t40_ltlaxio5.vout2021-07-25 16:25 7.3K 
[ ]ltlaxio5__t41_ltlaxio52021-07-17 21:12 32K 
[ ]ltlaxio5__t41_ltlaxio5.vout2021-07-25 17:27 7.3K 
[ ]ltlaxio5__t42_ltlaxio52021-07-17 21:12 16K 
[ ]ltlaxio5__t42_ltlaxio5.depv12021-07-25 20:57 141  
[ ]ltlaxio5__t42_ltlaxio5.depvmin12021-07-25 21:02 141  
[ ]ltlaxio5__t42_ltlaxio5.vmin12021-07-25 20:57 1.3K 
[ ]ltlaxio5__t42_ltlaxio5.vmin1out2021-07-25 21:00 14K 
[ ]ltlaxio5__t42_ltlaxio5.vout2021-07-25 17:15 14K 
[ ]ltlaxio5__t43_ltlaxio52021-07-17 21:12 16K 
[ ]ltlaxio5__t43_ltlaxio5.depv12021-07-25 20:57 159  
[ ]ltlaxio5__t43_ltlaxio5.depvmin12021-07-25 21:02 126  
[ ]ltlaxio5__t43_ltlaxio5.vmin12021-07-25 20:57 1.4K 
[ ]ltlaxio5__t43_ltlaxio5.vmin1out2021-07-25 21:01 12K 
[ ]ltlaxio5__t43_ltlaxio5.vout2021-07-25 16:37 17K 
[ ]ltlaxio5__t44_ltlaxio52021-07-17 21:13 22K 
[ ]ltlaxio5__t44_ltlaxio5.vout2021-07-25 15:26 7.3K 
[ ]ltlaxio5__t45_ltlaxio52021-07-17 21:13 18K 
[ ]ltlaxio5__t45_ltlaxio5.depv12021-07-25 20:57 204  
[ ]ltlaxio5__t45_ltlaxio5.depvmin12021-07-25 21:02 204  
[ ]ltlaxio5__t45_ltlaxio5.vmin12021-07-25 20:57 2.1K 
[ ]ltlaxio5__t45_ltlaxio5.vmin1out2021-07-25 21:01 20K 
[ ]ltlaxio5__t45_ltlaxio5.vout2021-07-25 16:26 21K 
[ ]ltlaxio5__t46_ltlaxio52021-07-17 21:14 19K 
[ ]ltlaxio5__t46_ltlaxio5.depv12021-07-25 20:57 72  
[ ]ltlaxio5__t46_ltlaxio5.depvmin12021-07-25 21:02 72  
[ ]ltlaxio5__t46_ltlaxio5.vmin12021-07-25 20:57 1.9K 
[ ]ltlaxio5__t46_ltlaxio5.vmin1out2021-07-25 21:00 58K 
[ ]ltlaxio5__t46_ltlaxio5.vout2021-07-25 20:40 54K 
[ ]ltlaxio5__t47_ltlaxio52021-07-17 21:14 54K 
[ ]ltlaxio5__t47_ltlaxio5.vout2021-07-25 18:07 4.2K 
[ ]ltlaxio5__t48_ltlaxio52021-07-17 21:15 29K 
[ ]ltlaxio5__t48_ltlaxio5.vout2021-07-25 17:28 3.7K 
[ ]ltlaxio5__t49_ltlaxio52021-07-17 21:15 20K 
[ ]ltlaxio5__t49_ltlaxio5.vout2021-07-25 18:27 6.8K 
[ ]ltlaxio5__t50_ltlaxio52021-07-17 21:16 18K 
[ ]ltlaxio5__t50_ltlaxio5.depv12021-07-25 20:57 106  
[ ]ltlaxio5__t50_ltlaxio5.depvmin12021-07-25 21:02 106  
[ ]ltlaxio5__t50_ltlaxio5.vmin12021-07-25 20:57 1.4K 
[ ]ltlaxio5__t50_ltlaxio5.vmin1out2021-07-25 20:58 15K 
[ ]ltlaxio5__t50_ltlaxio5.vout2021-07-25 19:29 17K 
[ ]ltlaxio5__t51_ltlaxio52021-07-17 21:16 17K 
[ ]ltlaxio5__t51_ltlaxio5.depv12021-07-25 20:57 52  
[ ]ltlaxio5__t51_ltlaxio5.depvmin12021-07-25 21:02 52  
[ ]ltlaxio5__t51_ltlaxio5.vmin12021-07-25 20:57 755  
[ ]ltlaxio5__t51_ltlaxio5.vmin1out2021-07-25 20:59 6.9K 
[ ]ltlaxio5__t51_ltlaxio5.vout2021-07-25 16:02 9.5K 
[ ]ltlaxio5__t52_ltlaxio52021-07-17 21:17 26K 
[ ]ltlaxio5__t52_ltlaxio5.vout2021-07-25 19:26 4.7K 
[ ]ltlaxio5__t53_ltlaxio52021-07-17 21:17 17K 
[ ]ltlaxio5__t53_ltlaxio5.depv12021-07-25 20:57 67  
[ ]ltlaxio5__t53_ltlaxio5.depvmin12021-07-25 21:02 67  
[ ]ltlaxio5__t53_ltlaxio5.vmin12021-07-25 20:57 898  
[ ]ltlaxio5__t53_ltlaxio5.vmin1out2021-07-25 21:02 7.4K 
[ ]ltlaxio5__t53_ltlaxio5.vout2021-07-25 20:41 10K 
[ ]ltlaxio5__t54_ltlaxio52021-07-17 21:18 18K 
[ ]ltlaxio5__t54_ltlaxio5.depv12021-07-25 20:57 191  
[ ]ltlaxio5__t54_ltlaxio5.depvmin12021-07-25 21:02 191  
[ ]ltlaxio5__t54_ltlaxio5.vmin12021-07-25 20:57 1.9K 
[ ]ltlaxio5__t54_ltlaxio5.vmin1out2021-07-25 21:01 21K 
[ ]ltlaxio5__t54_ltlaxio5.vout2021-07-25 15:24 19K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80