Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/ltlaxio5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ltlaxio5__t1_ltlaxio52025-09-09 14:24 16K 
[ ]ltlaxio5__t1_ltlaxio5.depv12025-09-15 19:47 153  
[ ]ltlaxio5__t1_ltlaxio5.depvmin12025-09-15 19:51 153  
[ ]ltlaxio5__t1_ltlaxio5.vmin12025-09-15 19:47 1.4K 
[ ]ltlaxio5__t1_ltlaxio5.vmin1out2025-09-15 19:49 13K 
[ ]ltlaxio5__t1_ltlaxio5.vout2025-09-15 14:15 12K 
[ ]ltlaxio5__t2_ltlaxio52025-09-09 14:25 18K 
[ ]ltlaxio5__t2_ltlaxio5.depv12025-09-15 19:47 78  
[ ]ltlaxio5__t2_ltlaxio5.depvmin12025-09-15 19:51 78  
[ ]ltlaxio5__t2_ltlaxio5.vmin12025-09-15 19:47 2.0K 
[ ]ltlaxio5__t2_ltlaxio5.vmin1out2025-09-15 19:48 58K 
[ ]ltlaxio5__t2_ltlaxio5.vout2025-09-15 14:12 123K 
[ ]ltlaxio5__t3_ltlaxio52025-09-09 14:27 35K 
[ ]ltlaxio5__t3_ltlaxio5.vout2025-09-15 18:07 7.9K 
[ ]ltlaxio5__t4_ltlaxio52025-09-09 14:28 65K 
[ ]ltlaxio5__t4_ltlaxio5.vout2025-09-15 19:45 7.9K 
[ ]ltlaxio5__t5_ltlaxio52025-09-09 14:30 19K 
[ ]ltlaxio5__t5_ltlaxio5.depv12025-09-15 19:47 251  
[ ]ltlaxio5__t5_ltlaxio5.depvmin12025-09-15 19:51 225  
[ ]ltlaxio5__t5_ltlaxio5.vmin12025-09-15 19:47 2.2K 
[ ]ltlaxio5__t5_ltlaxio5.vmin1out2025-09-15 19:50 22K 
[ ]ltlaxio5__t5_ltlaxio5.vout2025-09-15 18:00 22K 
[ ]ltlaxio5__t6_ltlaxio52025-09-09 14:31 20K 
[ ]ltlaxio5__t6_ltlaxio5.vout2025-09-15 18:32 4.1K 
[ ]ltlaxio5__t7_ltlaxio52025-09-09 14:32 19K 
[ ]ltlaxio5__t7_ltlaxio5.depv12025-09-15 19:47 332  
[ ]ltlaxio5__t7_ltlaxio5.depvmin12025-09-15 19:51 280  
[ ]ltlaxio5__t7_ltlaxio5.vmin12025-09-15 19:47 3.0K 
[ ]ltlaxio5__t7_ltlaxio5.vmin1out2025-09-15 19:50 39K 
[ ]ltlaxio5__t7_ltlaxio5.vout2025-09-15 15:32 30K 
[ ]ltlaxio5__t8_ltlaxio52025-09-09 14:34 19K 
[ ]ltlaxio5__t8_ltlaxio5.vout2025-09-15 16:12 4.1K 
[ ]ltlaxio5__t9_ltlaxio52025-09-09 14:35 16K 
[ ]ltlaxio5__t9_ltlaxio5.depv12025-09-15 19:47 100  
[ ]ltlaxio5__t9_ltlaxio5.depvmin12025-09-15 19:51 76  
[ ]ltlaxio5__t9_ltlaxio5.vmin12025-09-15 19:47 2.0K 
[ ]ltlaxio5__t9_ltlaxio5.vmin1out2025-09-15 19:48 24K 
[ ]ltlaxio5__t9_ltlaxio5.vout2025-09-15 17:57 25K 
[ ]ltlaxio5__t10_ltlaxio52025-09-09 14:36 18K 
[ ]ltlaxio5__t10_ltlaxio5.vout2025-09-15 14:49 2.0K 
[ ]ltlaxio5__t11_ltlaxio52025-09-09 14:38 22K 
[ ]ltlaxio5__t11_ltlaxio5.vout2025-09-15 15:04 2.0K 
[ ]ltlaxio5__t12_ltlaxio52025-09-09 14:39 17K 
[ ]ltlaxio5__t12_ltlaxio5.depv12025-09-15 19:47 135  
[ ]ltlaxio5__t12_ltlaxio5.depvmin12025-09-15 19:51 135  
[ ]ltlaxio5__t12_ltlaxio5.vmin12025-09-15 19:47 2.1K 
[ ]ltlaxio5__t12_ltlaxio5.vmin1out2025-09-15 19:48 42K 
[ ]ltlaxio5__t12_ltlaxio5.vout2025-09-15 17:18 35K 
[ ]ltlaxio5__t13_ltlaxio52025-09-09 14:41 22K 
[ ]ltlaxio5__t13_ltlaxio5.vout2025-09-15 13:26 6.8K 
[ ]ltlaxio5__t14_ltlaxio52025-09-09 14:42 36K 
[ ]ltlaxio5__t14_ltlaxio5.vout2025-09-15 14:41 7.3K 
[ ]ltlaxio5__t15_ltlaxio52025-09-09 14:43 14K 
[ ]ltlaxio5__t15_ltlaxio5.depv12025-09-15 19:47 119  
[ ]ltlaxio5__t15_ltlaxio5.depvmin12025-09-15 19:51 119  
[ ]ltlaxio5__t15_ltlaxio5.vmin12025-09-15 19:47 1.1K 
[ ]ltlaxio5__t15_ltlaxio5.vmin1out2025-09-15 19:48 7.7K 
[ ]ltlaxio5__t15_ltlaxio5.vout2025-09-15 16:41 14K 
[ ]ltlaxio5__t16_ltlaxio52025-09-09 14:45 20K 
[ ]ltlaxio5__t16_ltlaxio5.vout2025-09-15 13:55 2.0K 
[ ]ltlaxio5__t17_ltlaxio52025-09-09 14:46 22K 
[ ]ltlaxio5__t17_ltlaxio5.vout2025-09-15 14:00 4.7K 
[ ]ltlaxio5__t18_ltlaxio52025-09-09 14:47 14K 
[ ]ltlaxio5__t18_ltlaxio5.depv12025-09-15 19:47 94  
[ ]ltlaxio5__t18_ltlaxio5.depvmin12025-09-15 19:51 94  
[ ]ltlaxio5__t18_ltlaxio5.vmin12025-09-15 19:47 1.0K 
[ ]ltlaxio5__t18_ltlaxio5.vmin1out2025-09-15 19:48 8.2K 
[ ]ltlaxio5__t18_ltlaxio5.vout2025-09-15 14:06 7.2K 
[ ]ltlaxio5__t19_ltlaxio52025-09-09 14:49 17K 
[ ]ltlaxio5__t19_ltlaxio5.vout2025-09-15 18:41 7.3K 
[ ]ltlaxio5__t20_ltlaxio52025-09-09 14:50 16K 
[ ]ltlaxio5__t20_ltlaxio5.depv12025-09-15 19:47 169  
[ ]ltlaxio5__t20_ltlaxio5.depvmin12025-09-15 19:51 124  
[ ]ltlaxio5__t20_ltlaxio5.vmin12025-09-15 19:47 1.7K 
[ ]ltlaxio5__t20_ltlaxio5.vmin1out2025-09-15 19:48 19K 
[ ]ltlaxio5__t20_ltlaxio5.vout2025-09-15 13:31 28K 
[ ]ltlaxio5__t21_ltlaxio52025-09-09 14:52 38K 
[ ]ltlaxio5__t21_ltlaxio5.vout2025-09-15 19:39 7.3K 
[ ]ltlaxio5__t22_ltlaxio52025-09-09 14:52 9.9K 
[ ]ltlaxio5__t22_ltlaxio5.depv12025-09-15 19:47 142  
[ ]ltlaxio5__t22_ltlaxio5.depvmin12025-09-15 19:51 142  
[ ]ltlaxio5__t22_ltlaxio5.vmin12025-09-15 19:47 1.0K 
[ ]ltlaxio5__t22_ltlaxio5.vmin1out2025-09-15 19:51 11K 
[ ]ltlaxio5__t22_ltlaxio5.vout2025-09-15 16:26 11K 
[ ]ltlaxio5__t23_ltlaxio52025-09-09 14:54 15K 
[ ]ltlaxio5__t23_ltlaxio5.depv12025-09-15 19:47 64  
[ ]ltlaxio5__t23_ltlaxio5.depvmin12025-09-15 19:51 54  
[ ]ltlaxio5__t23_ltlaxio5.vmin12025-09-15 19:47 1.3K 
[ ]ltlaxio5__t23_ltlaxio5.vmin1out2025-09-15 19:48 30K 
[ ]ltlaxio5__t23_ltlaxio5.vout2025-09-15 14:02 28K 
[ ]ltlaxio5__t24_ltlaxio52025-09-09 14:55 14K 
[ ]ltlaxio5__t24_ltlaxio5.depv12025-09-15 19:47 67  
[ ]ltlaxio5__t24_ltlaxio5.depvmin12025-09-15 19:51 67  
[ ]ltlaxio5__t24_ltlaxio5.vmin12025-09-15 19:47 1.0K 
[ ]ltlaxio5__t24_ltlaxio5.vmin1out2025-09-15 19:47 12K 
[ ]ltlaxio5__t24_ltlaxio5.vout2025-09-15 19:01 14K 
[ ]ltlaxio5__t25_ltlaxio52025-09-09 14:56 17K 
[ ]ltlaxio5__t25_ltlaxio5.vout2025-09-15 14:03 4.1K 
[ ]ltlaxio5__t26_ltlaxio52025-09-09 14:57 22K 
[ ]ltlaxio5__t26_ltlaxio5.vout2025-09-15 18:25 6.8K 
[ ]ltlaxio5__t27_ltlaxio52025-09-09 14:59 40K 
[ ]ltlaxio5__t27_ltlaxio5.vout2025-09-15 16:42 7.4K 
[ ]ltlaxio5__t28_ltlaxio52025-09-09 15:00 40K 
[ ]ltlaxio5__t28_ltlaxio5.vout2025-09-15 19:46 7.3K 
[ ]ltlaxio5__t29_ltlaxio52025-09-09 15:02 21K 
[ ]ltlaxio5__t29_ltlaxio5.vout2025-09-15 17:17 6.8K 
[ ]ltlaxio5__t30_ltlaxio52025-09-09 15:03 34K 
[ ]ltlaxio5__t30_ltlaxio5.vout2025-09-15 17:10 7.3K 
[ ]ltlaxio5__t31_ltlaxio52025-09-09 15:04 35K 
[ ]ltlaxio5__t31_ltlaxio5.vout2025-09-15 17:53 6.8K 
[ ]ltlaxio5__t32_ltlaxio52025-09-09 15:06 19K 
[ ]ltlaxio5__t32_ltlaxio5.vout2025-09-15 13:41 2.0K 
[ ]ltlaxio5__t33_ltlaxio52025-09-09 15:07 19K 
[ ]ltlaxio5__t33_ltlaxio5.vout2025-09-15 15:38 2.0K 
[ ]ltlaxio5__t34_ltlaxio52025-09-09 15:08 37K 
[ ]ltlaxio5__t34_ltlaxio5.vout2025-09-15 19:02 6.8K 
[ ]ltlaxio5__t35_ltlaxio52025-09-09 15:10 26K 
[ ]ltlaxio5__t35_ltlaxio5.vout2025-09-15 15:13 6.8K 
[ ]ltlaxio5__t36_ltlaxio52025-09-09 15:11 19K 
[ ]ltlaxio5__t36_ltlaxio5.vout2025-09-15 15:58 7.9K 
[ ]ltlaxio5__t37_ltlaxio52025-09-09 15:12 39K 
[ ]ltlaxio5__t37_ltlaxio5.vout2025-09-15 16:50 7.3K 
[ ]ltlaxio5__t38_ltlaxio52025-09-09 15:14 39K 
[ ]ltlaxio5__t38_ltlaxio5.vout2025-09-15 17:16 7.3K 
[ ]ltlaxio5__t39_ltlaxio52025-09-09 15:16 31K 
[ ]ltlaxio5__t39_ltlaxio5.vout2025-09-15 18:35 7.3K 
[ ]ltlaxio5__t40_ltlaxio52025-09-09 15:17 31K 
[ ]ltlaxio5__t40_ltlaxio5.vout2025-09-15 16:59 7.3K 
[ ]ltlaxio5__t41_ltlaxio52025-09-09 15:19 32K 
[ ]ltlaxio5__t41_ltlaxio5.vout2025-09-15 13:30 7.3K 
[ ]ltlaxio5__t42_ltlaxio52025-09-09 15:20 16K 
[ ]ltlaxio5__t42_ltlaxio5.depv12025-09-15 19:47 141  
[ ]ltlaxio5__t42_ltlaxio5.depvmin12025-09-15 19:51 141  
[ ]ltlaxio5__t42_ltlaxio5.vmin12025-09-15 19:47 1.3K 
[ ]ltlaxio5__t42_ltlaxio5.vmin1out2025-09-15 19:49 14K 
[ ]ltlaxio5__t42_ltlaxio5.vout2025-09-15 17:30 14K 
[ ]ltlaxio5__t43_ltlaxio52025-09-09 15:21 16K 
[ ]ltlaxio5__t43_ltlaxio5.depv12025-09-15 19:47 159  
[ ]ltlaxio5__t43_ltlaxio5.depvmin12025-09-15 19:51 126  
[ ]ltlaxio5__t43_ltlaxio5.vmin12025-09-15 19:47 1.4K 
[ ]ltlaxio5__t43_ltlaxio5.vmin1out2025-09-15 19:49 12K 
[ ]ltlaxio5__t43_ltlaxio5.vout2025-09-15 19:25 17K 
[ ]ltlaxio5__t44_ltlaxio52025-09-09 15:22 22K 
[ ]ltlaxio5__t44_ltlaxio5.vout2025-09-15 14:12 7.3K 
[ ]ltlaxio5__t45_ltlaxio52025-09-09 15:23 18K 
[ ]ltlaxio5__t45_ltlaxio5.depv12025-09-15 19:47 204  
[ ]ltlaxio5__t45_ltlaxio5.depvmin12025-09-15 19:51 204  
[ ]ltlaxio5__t45_ltlaxio5.vmin12025-09-15 19:47 2.1K 
[ ]ltlaxio5__t45_ltlaxio5.vmin1out2025-09-15 19:48 20K 
[ ]ltlaxio5__t45_ltlaxio5.vout2025-09-15 18:25 21K 
[ ]ltlaxio5__t46_ltlaxio52025-09-09 15:25 19K 
[ ]ltlaxio5__t46_ltlaxio5.depv12025-09-15 19:47 72  
[ ]ltlaxio5__t46_ltlaxio5.depvmin12025-09-15 19:51 72  
[ ]ltlaxio5__t46_ltlaxio5.vmin12025-09-15 19:47 1.9K 
[ ]ltlaxio5__t46_ltlaxio5.vmin1out2025-09-15 19:49 58K 
[ ]ltlaxio5__t46_ltlaxio5.vout2025-09-15 14:39 54K 
[ ]ltlaxio5__t47_ltlaxio52025-09-09 15:27 54K 
[ ]ltlaxio5__t47_ltlaxio5.vout2025-09-15 14:03 4.2K 
[ ]ltlaxio5__t48_ltlaxio52025-09-09 15:28 29K 
[ ]ltlaxio5__t48_ltlaxio5.vout2025-09-15 17:31 3.7K 
[ ]ltlaxio5__t49_ltlaxio52025-09-09 15:29 20K 
[ ]ltlaxio5__t49_ltlaxio5.vout2025-09-15 17:23 7.3K 
[ ]ltlaxio5__t50_ltlaxio52025-09-09 15:31 18K 
[ ]ltlaxio5__t50_ltlaxio5.depv12025-09-15 19:47 106  
[ ]ltlaxio5__t50_ltlaxio5.depvmin12025-09-15 19:51 106  
[ ]ltlaxio5__t50_ltlaxio5.vmin12025-09-15 19:47 1.4K 
[ ]ltlaxio5__t50_ltlaxio5.vmin1out2025-09-15 19:48 15K 
[ ]ltlaxio5__t50_ltlaxio5.vout2025-09-15 15:06 17K 
[ ]ltlaxio5__t51_ltlaxio52025-09-09 15:32 17K 
[ ]ltlaxio5__t51_ltlaxio5.depv12025-09-15 19:47 52  
[ ]ltlaxio5__t51_ltlaxio5.depvmin12025-09-15 19:51 52  
[ ]ltlaxio5__t51_ltlaxio5.vmin12025-09-15 19:47 755  
[ ]ltlaxio5__t51_ltlaxio5.vmin1out2025-09-15 19:49 6.9K 
[ ]ltlaxio5__t51_ltlaxio5.vout2025-09-15 14:43 9.5K 
[ ]ltlaxio5__t52_ltlaxio52025-09-09 15:33 26K 
[ ]ltlaxio5__t52_ltlaxio5.vout2025-09-15 15:11 4.7K 
[ ]ltlaxio5__t53_ltlaxio52025-09-09 15:35 17K 
[ ]ltlaxio5__t53_ltlaxio5.depv12025-09-15 19:47 67  
[ ]ltlaxio5__t53_ltlaxio5.depvmin12025-09-15 19:51 67  
[ ]ltlaxio5__t53_ltlaxio5.vmin12025-09-15 19:47 898  
[ ]ltlaxio5__t53_ltlaxio5.vmin1out2025-09-15 19:49 7.4K 
[ ]ltlaxio5__t53_ltlaxio5.vout2025-09-15 16:03 10K 
[ ]ltlaxio5__t54_ltlaxio52025-09-09 15:36 18K 
[ ]ltlaxio5__t54_ltlaxio5.depv12025-09-15 19:47 191  
[ ]ltlaxio5__t54_ltlaxio5.depvmin12025-09-15 19:51 191  
[ ]ltlaxio5__t54_ltlaxio5.vmin12025-09-15 19:47 1.9K 
[ ]ltlaxio5__t54_ltlaxio5.vmin1out2025-09-15 19:47 21K 
[ ]ltlaxio5__t54_ltlaxio5.vout2025-09-15 16:20 19K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80