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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ltlaxio2__l1_ltlaxio22024-07-28 05:44 14K 
[ ]ltlaxio2__l1_ltlaxio2.depv12024-08-03 10:19 111  
[ ]ltlaxio2__l1_ltlaxio2.depvmin12024-08-03 10:24 111  
[ ]ltlaxio2__l1_ltlaxio2.vmin12024-08-03 10:19 1.0K 
[ ]ltlaxio2__l1_ltlaxio2.vmin1out2024-08-03 10:22 12K 
[ ]ltlaxio2__l1_ltlaxio2.vout2024-08-03 10:13 12K 
[ ]ltlaxio2__t1_ltlaxio22024-07-28 04:16 21K 
[ ]ltlaxio2__t1_ltlaxio2.depv12024-08-03 10:19 249  
[ ]ltlaxio2__t1_ltlaxio2.depvmin12024-08-03 10:24 223  
[ ]ltlaxio2__t1_ltlaxio2.vmin12024-08-03 10:19 2.6K 
[ ]ltlaxio2__t1_ltlaxio2.vmin1out2024-08-03 10:20 23K 
[ ]ltlaxio2__t1_ltlaxio2.vout2024-08-03 10:17 31K 
[ ]ltlaxio2__t2_ltlaxio22024-07-28 04:17 23K 
[ ]ltlaxio2__t2_ltlaxio2.vout2024-08-03 08:56 7.9K 
[ ]ltlaxio2__t3_ltlaxio22024-07-28 04:18 14K 
[ ]ltlaxio2__t3_ltlaxio2.depv12024-08-03 10:19 192  
[ ]ltlaxio2__t3_ltlaxio2.depvmin12024-08-03 10:24 144  
[ ]ltlaxio2__t3_ltlaxio2.vmin12024-08-03 10:19 1.4K 
[ ]ltlaxio2__t3_ltlaxio2.vmin1out2024-08-03 10:20 25K 
[ ]ltlaxio2__t3_ltlaxio2.vout2024-08-03 04:57 27K 
[ ]ltlaxio2__t4_ltlaxio22024-07-28 04:20 31K 
[ ]ltlaxio2__t4_ltlaxio2.vout2024-08-03 06:29 7.3K 
[ ]ltlaxio2__t5_ltlaxio22024-07-28 04:21 70K 
[ ]ltlaxio2__t5_ltlaxio2.vout2024-08-03 05:14 6.8K 
[ ]ltlaxio2__t6_ltlaxio22024-07-28 04:22 26K 
[ ]ltlaxio2__t6_ltlaxio2.depv12024-08-03 10:19 282  
[ ]ltlaxio2__t6_ltlaxio2.depvmin12024-08-03 10:24 282  
[ ]ltlaxio2__t6_ltlaxio2.vmin12024-08-03 10:19 2.4K 
[ ]ltlaxio2__t6_ltlaxio2.vmin1out2024-08-03 10:23 37K 
[ ]ltlaxio2__t6_ltlaxio2.vout2024-08-03 06:28 35K 
[ ]ltlaxio2__t7_ltlaxio22024-07-28 04:24 26K 
[ ]ltlaxio2__t7_ltlaxio2.depv12024-08-03 10:19 368  
[ ]ltlaxio2__t7_ltlaxio2.depvmin12024-08-03 10:24 368  
[ ]ltlaxio2__t7_ltlaxio2.vmin12024-08-03 10:19 3.6K 
[ ]ltlaxio2__t7_ltlaxio2.vmin1out2024-08-03 10:20 46K 
[ ]ltlaxio2__t7_ltlaxio2.vout2024-08-03 09:28 47K 
[ ]ltlaxio2__t8_ltlaxio22024-07-28 04:25 22K 
[ ]ltlaxio2__t8_ltlaxio2.depv12024-08-03 10:19 270  
[ ]ltlaxio2__t8_ltlaxio2.depvmin12024-08-03 10:24 208  
[ ]ltlaxio2__t8_ltlaxio2.vmin12024-08-03 10:19 2.7K 
[ ]ltlaxio2__t8_ltlaxio2.vmin1out2024-08-03 10:22 31K 
[ ]ltlaxio2__t8_ltlaxio2.vout2024-08-03 07:46 36K 
[ ]ltlaxio2__t9_ltlaxio22024-07-28 04:26 22K 
[ ]ltlaxio2__t9_ltlaxio2.depv12024-08-03 10:19 270  
[ ]ltlaxio2__t9_ltlaxio2.depvmin12024-08-03 10:24 208  
[ ]ltlaxio2__t9_ltlaxio2.vmin12024-08-03 10:19 2.7K 
[ ]ltlaxio2__t9_ltlaxio2.vmin1out2024-08-03 10:20 37K 
[ ]ltlaxio2__t9_ltlaxio2.vout2024-08-03 07:48 36K 
[ ]ltlaxio2__t10_ltlaxio22024-07-28 04:27 27K 
[ ]ltlaxio2__t10_ltlaxio2.vout2024-08-03 07:11 8.4K 
[ ]ltlaxio2__t11_ltlaxio22024-07-28 04:29 27K 
[ ]ltlaxio2__t11_ltlaxio2.depv12024-08-03 10:19 366  
[ ]ltlaxio2__t11_ltlaxio2.depvmin12024-08-03 10:24 366  
[ ]ltlaxio2__t11_ltlaxio2.vmin12024-08-03 10:19 3.1K 
[ ]ltlaxio2__t11_ltlaxio2.vmin1out2024-08-03 10:22 36K 
[ ]ltlaxio2__t11_ltlaxio2.vout2024-08-03 09:44 37K 
[ ]ltlaxio2__t12_ltlaxio22024-07-28 04:30 35K 
[ ]ltlaxio2__t12_ltlaxio2.vout2024-08-03 07:54 7.3K 
[ ]ltlaxio2__t13_ltlaxio22024-07-28 04:32 31K 
[ ]ltlaxio2__t13_ltlaxio2.depv12024-08-03 10:19 413  
[ ]ltlaxio2__t13_ltlaxio2.depvmin12024-08-03 10:24 377  
[ ]ltlaxio2__t13_ltlaxio2.vmin12024-08-03 10:19 4.2K 
[ ]ltlaxio2__t13_ltlaxio2.vmin1out2024-08-03 10:22 55K 
[ ]ltlaxio2__t13_ltlaxio2.vout2024-08-03 07:14 69K 
[ ]ltlaxio2__t14_ltlaxio22024-07-28 04:33 24K 
[ ]ltlaxio2__t14_ltlaxio2.vout2024-08-03 08:53 7.9K 
[ ]ltlaxio2__t15_ltlaxio22024-07-28 04:34 36K 
[ ]ltlaxio2__t15_ltlaxio2.vout2024-08-03 09:32 4.7K 
[ ]ltlaxio2__t16_ltlaxio22024-07-28 04:36 44K 
[ ]ltlaxio2__t16_ltlaxio2.vout2024-08-03 09:07 6.3K 
[ ]ltlaxio2__t17_ltlaxio22024-07-28 04:38 75K 
[ ]ltlaxio2__t17_ltlaxio2.vout2024-08-03 06:27 7.3K 
[ ]ltlaxio2__t18_ltlaxio22024-07-28 04:39 45K 
[ ]ltlaxio2__t18_ltlaxio2.vout2024-08-03 10:18 7.3K 
[ ]ltlaxio2__t19_ltlaxio22024-07-28 04:41 50K 
[ ]ltlaxio2__t19_ltlaxio2.vout2024-08-03 09:42 7.3K 
[ ]ltlaxio2__t20_ltlaxio22024-07-28 04:43 41K 
[ ]ltlaxio2__t20_ltlaxio2.vout2024-08-03 06:36 6.8K 
[ ]ltlaxio2__t21_ltlaxio22024-07-28 04:44 26K 
[ ]ltlaxio2__t21_ltlaxio2.vout2024-08-03 06:08 7.4K 
[ ]ltlaxio2__t22_ltlaxio22024-07-28 04:45 31K 
[ ]ltlaxio2__t22_ltlaxio2.vout2024-08-03 07:19 7.9K 
[ ]ltlaxio2__t23_ltlaxio22024-07-28 04:47 31K 
[ ]ltlaxio2__t23_ltlaxio2.vout2024-08-03 09:26 7.9K 
[ ]ltlaxio2__t24_ltlaxio22024-07-28 04:48 31K 
[ ]ltlaxio2__t24_ltlaxio2.vout2024-08-03 08:55 7.9K 
[ ]ltlaxio2__t25_ltlaxio22024-07-28 04:49 38K 
[ ]ltlaxio2__t25_ltlaxio2.vout2024-08-03 09:52 7.9K 
[ ]ltlaxio2__t26_ltlaxio22024-07-28 04:51 110K 
[ ]ltlaxio2__t26_ltlaxio2.vout2024-08-03 07:23 7.9K 
[ ]ltlaxio2__t27_ltlaxio22024-07-28 04:52 39K 
[ ]ltlaxio2__t27_ltlaxio2.vout2024-08-03 09:35 7.4K 
[ ]ltlaxio2__t28_ltlaxio22024-07-28 04:53 39K 
[ ]ltlaxio2__t28_ltlaxio2.vout2024-08-03 07:36 7.4K 
[ ]ltlaxio2__t29_ltlaxio22024-07-28 04:55 42K 
[ ]ltlaxio2__t29_ltlaxio2.vout2024-08-03 06:14 7.9K 
[ ]ltlaxio2__t30_ltlaxio22024-07-28 04:56 37K 
[ ]ltlaxio2__t30_ltlaxio2.vout2024-08-03 09:44 7.9K 
[ ]ltlaxio2__t31_ltlaxio22024-07-28 04:58 38K 
[ ]ltlaxio2__t31_ltlaxio2.vout2024-08-03 10:01 7.9K 
[ ]ltlaxio2__t32_ltlaxio22024-07-28 04:59 110K 
[ ]ltlaxio2__t32_ltlaxio2.vout2024-08-03 04:45 7.9K 
[ ]ltlaxio2__t33_ltlaxio22024-07-28 05:01 31K 
[ ]ltlaxio2__t33_ltlaxio2.vout2024-08-03 09:35 7.9K 
[ ]ltlaxio2__t34_ltlaxio22024-07-28 05:02 31K 
[ ]ltlaxio2__t34_ltlaxio2.vout2024-08-03 08:37 7.9K 
[ ]ltlaxio2__t35_ltlaxio22024-07-28 05:03 33K 
[ ]ltlaxio2__t35_ltlaxio2.vout2024-08-03 07:17 7.3K 
[ ]ltlaxio2__t36_ltlaxio22024-07-28 05:05 33K 
[ ]ltlaxio2__t36_ltlaxio2.vout2024-08-03 06:38 7.3K 
[ ]ltlaxio2__t37_ltlaxio22024-07-28 05:06 182K 
[ ]ltlaxio2__t37_ltlaxio2.vout2024-08-03 05:17 7.4K 
[ ]ltlaxio2__t38_ltlaxio22024-07-28 05:08 39K 
[ ]ltlaxio2__t38_ltlaxio2.vout2024-08-03 08:39 7.4K 
[ ]ltlaxio2__t39_ltlaxio22024-07-28 05:09 269K 
[ ]ltlaxio2__t39_ltlaxio2.vout2024-08-03 06:15 7.4K 
[ ]ltlaxio2__t40_ltlaxio22024-07-28 05:10 70K 
[ ]ltlaxio2__t40_ltlaxio2.vout2024-08-03 07:19 7.4K 
[ ]ltlaxio2__t41_ltlaxio22024-07-28 05:12 39K 
[ ]ltlaxio2__t41_ltlaxio2.vout2024-08-03 07:42 7.4K 
[ ]ltlaxio2__t42_ltlaxio22024-07-28 05:13 39K 
[ ]ltlaxio2__t42_ltlaxio2.vout2024-08-03 05:38 7.4K 
[ ]ltlaxio2__t43_ltlaxio22024-07-28 05:15 39K 
[ ]ltlaxio2__t43_ltlaxio2.vout2024-08-03 06:12 7.4K 
[ ]ltlaxio2__t44_ltlaxio22024-07-28 05:16 112K 
[ ]ltlaxio2__t44_ltlaxio2.vout2024-08-03 08:12 7.4K 
[ ]ltlaxio2__t45_ltlaxio22024-07-28 05:17 112K 
[ ]ltlaxio2__t45_ltlaxio2.vout2024-08-03 05:34 7.4K 
[ ]ltlaxio2__t46_ltlaxio22024-07-28 05:19 476K 
[ ]ltlaxio2__t46_ltlaxio2.vout2024-08-03 09:45 7.9K 
[ ]ltlaxio2__t47_ltlaxio22024-07-28 05:20 191K 
[ ]ltlaxio2__t47_ltlaxio2.vout2024-08-03 09:43 7.9K 
[ ]ltlaxio2__t48_ltlaxio22024-07-28 05:22 299K 
[ ]ltlaxio2__t48_ltlaxio2.vout2024-08-03 08:36 7.4K 
[ ]ltlaxio2__t49_ltlaxio22024-07-28 05:23 111K 
[ ]ltlaxio2__t49_ltlaxio2.vout2024-08-03 08:09 7.4K 
[ ]ltlaxio2__t50_ltlaxio22024-07-28 05:25 620K 
[ ]ltlaxio2__t50_ltlaxio2.vout2024-08-03 06:33 7.4K 
[ ]ltlaxio2__t51_ltlaxio22024-07-28 05:27 512K 
[ ]ltlaxio2__t51_ltlaxio2.vout2024-08-03 05:26 7.3K 
[ ]ltlaxio2__t52_ltlaxio22024-07-28 05:28 24K 
[ ]ltlaxio2__t52_ltlaxio2.depv12024-08-03 10:19 108  
[ ]ltlaxio2__t52_ltlaxio2.depvmin12024-08-03 10:24 108  
[ ]ltlaxio2__t52_ltlaxio2.vmin12024-08-03 10:19 2.3K 
[ ]ltlaxio2__t52_ltlaxio2.vmin1out2024-08-03 10:20 28K 
[ ]ltlaxio2__t52_ltlaxio2.vout2024-08-03 06:27 36K 
[ ]ltlaxio2__t53_ltlaxio22024-07-28 05:29 24K 
[ ]ltlaxio2__t53_ltlaxio2.depv12024-08-03 10:19 108  
[ ]ltlaxio2__t53_ltlaxio2.depvmin12024-08-03 10:24 108  
[ ]ltlaxio2__t53_ltlaxio2.vmin12024-08-03 10:19 2.5K 
[ ]ltlaxio2__t53_ltlaxio2.vmin1out2024-08-03 10:20 32K 
[ ]ltlaxio2__t53_ltlaxio2.vout2024-08-03 06:44 39K 
[ ]ltlaxio2__t54_ltlaxio22024-07-28 05:30 24K 
[ ]ltlaxio2__t54_ltlaxio2.depv12024-08-03 10:19 93  
[ ]ltlaxio2__t54_ltlaxio2.depvmin12024-08-03 10:24 93  
[ ]ltlaxio2__t54_ltlaxio2.vmin12024-08-03 10:19 2.2K 
[ ]ltlaxio2__t54_ltlaxio2.vmin1out2024-08-03 10:23 30K 
[ ]ltlaxio2__t54_ltlaxio2.vout2024-08-03 10:04 35K 
[ ]ltlaxio2__t55_ltlaxio22024-07-28 05:32 24K 
[ ]ltlaxio2__t55_ltlaxio2.depv12024-08-03 10:19 123  
[ ]ltlaxio2__t55_ltlaxio2.depvmin12024-08-03 10:24 123  
[ ]ltlaxio2__t55_ltlaxio2.vmin12024-08-03 10:19 2.3K 
[ ]ltlaxio2__t55_ltlaxio2.vmin1out2024-08-03 10:20 21K 
[ ]ltlaxio2__t55_ltlaxio2.vout2024-08-03 09:03 31K 
[ ]ltlaxio2__t56_ltlaxio22024-07-28 05:33 33K 
[ ]ltlaxio2__t56_ltlaxio2.vout2024-08-03 06:55 7.4K 
[ ]ltlaxio2__t57_ltlaxio22024-07-28 05:35 35K 
[ ]ltlaxio2__t57_ltlaxio2.vout2024-08-03 06:05 7.3K 
[ ]ltlaxio2__t58_ltlaxio22024-07-28 05:36 26K 
[ ]ltlaxio2__t58_ltlaxio2.vout2024-08-03 09:11 7.3K 
[ ]ltlaxio2__t59_ltlaxio22024-07-28 05:38 25K 
[ ]ltlaxio2__t59_ltlaxio2.vout2024-08-03 04:35 7.3K 
[ ]ltlaxio2__t60_ltlaxio22024-07-28 05:39 35K 
[ ]ltlaxio2__t60_ltlaxio2.vout2024-08-03 08:23 7.9K 
[ ]ltlaxio2__t61_ltlaxio22024-07-28 05:41 25K 
[ ]ltlaxio2__t61_ltlaxio2.vout2024-08-03 06:27 6.8K 
[ ]ltlaxio2__t62_ltlaxio22024-07-28 05:42 25K 
[ ]ltlaxio2__t62_ltlaxio2.vout2024-08-03 06:03 6.8K 
[ ]ltlaxio2__t63_ltlaxio22024-07-28 05:43 24K 
[ ]ltlaxio2__t63_ltlaxio2.vout2024-08-03 09:26 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80