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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ltlaxio2__t54_ltlaxio2.depv12021-07-25 20:57 93  
[ ]ltlaxio2__t54_ltlaxio2.depvmin12021-07-25 21:03 93  
[ ]ltlaxio2__t52_ltlaxio2.depv12021-07-25 20:57 108  
[ ]ltlaxio2__t52_ltlaxio2.depvmin12021-07-25 21:03 108  
[ ]ltlaxio2__t53_ltlaxio2.depv12021-07-25 20:57 108  
[ ]ltlaxio2__t53_ltlaxio2.depvmin12021-07-25 21:03 108  
[ ]ltlaxio2__l1_ltlaxio2.depv12021-07-25 20:57 111  
[ ]ltlaxio2__l1_ltlaxio2.depvmin12021-07-25 21:03 111  
[ ]ltlaxio2__t55_ltlaxio2.depv12021-07-25 20:57 123  
[ ]ltlaxio2__t55_ltlaxio2.depvmin12021-07-25 21:03 123  
[ ]ltlaxio2__t3_ltlaxio2.depv12021-07-25 20:57 178  
[ ]ltlaxio2__t3_ltlaxio2.depvmin12021-07-25 21:03 178  
[ ]ltlaxio2__t8_ltlaxio2.depv12021-07-25 20:57 208  
[ ]ltlaxio2__t8_ltlaxio2.depvmin12021-07-25 21:03 208  
[ ]ltlaxio2__t9_ltlaxio2.depv12021-07-25 20:57 208  
[ ]ltlaxio2__t9_ltlaxio2.depvmin12021-07-25 21:03 208  
[ ]ltlaxio2__t1_ltlaxio2.depv12021-07-25 20:57 237  
[ ]ltlaxio2__t1_ltlaxio2.depvmin12021-07-25 21:03 237  
[ ]ltlaxio2__t6_ltlaxio2.depv12021-07-25 20:57 282  
[ ]ltlaxio2__t6_ltlaxio2.depvmin12021-07-25 21:03 282  
[ ]ltlaxio2__t7_ltlaxio2.depvmin12021-07-25 21:03 331  
[ ]ltlaxio2__t2_ltlaxio2.depvmin12021-07-25 21:03 334  
[ ]ltlaxio2__t2_ltlaxio2.depv12021-07-25 20:57 358  
[ ]ltlaxio2__t11_ltlaxio2.depv12021-07-25 20:57 361  
[ ]ltlaxio2__t11_ltlaxio2.depvmin12021-07-25 21:03 361  
[ ]ltlaxio2__t7_ltlaxio2.depv12021-07-25 20:57 366  
[ ]ltlaxio2__t13_ltlaxio2.depvmin12021-07-25 21:03 419  
[ ]ltlaxio2__t10_ltlaxio2.depvmin12021-07-25 21:03 482  
[ ]ltlaxio2__t10_ltlaxio2.depv12021-07-25 20:57 534  
[ ]ltlaxio2__t13_ltlaxio2.depv12021-07-25 20:57 576  
[ ]ltlaxio2__l1_ltlaxio2.vmin12021-07-25 20:57 1.0K 
[ ]ltlaxio2__t3_ltlaxio2.vmin12021-07-25 20:57 1.3K 
[ ]ltlaxio2__t54_ltlaxio2.vmin12021-07-25 20:57 2.2K 
[ ]ltlaxio2__t8_ltlaxio2.vmin12021-07-25 20:57 2.2K 
[ ]ltlaxio2__t9_ltlaxio2.vmin12021-07-25 20:57 2.2K 
[ ]ltlaxio2__t55_ltlaxio2.vmin12021-07-25 20:57 2.3K 
[ ]ltlaxio2__t52_ltlaxio2.vmin12021-07-25 20:57 2.3K 
[ ]ltlaxio2__t6_ltlaxio2.vmin12021-07-25 20:57 2.4K 
[ ]ltlaxio2__t53_ltlaxio2.vmin12021-07-25 20:57 2.5K 
[ ]ltlaxio2__t1_ltlaxio2.vmin12021-07-25 20:57 2.5K 
[ ]ltlaxio2__t2_ltlaxio2.vmin12021-07-25 20:57 3.0K 
[ ]ltlaxio2__t11_ltlaxio2.vmin12021-07-25 20:57 3.2K 
[ ]ltlaxio2__t7_ltlaxio2.vmin12021-07-25 20:57 3.5K 
[ ]ltlaxio2__t10_ltlaxio2.vmin12021-07-25 20:57 4.0K 
[ ]ltlaxio2__t15_ltlaxio2.vout2021-07-25 17:17 4.7K 
[ ]ltlaxio2__t13_ltlaxio2.vmin12021-07-25 20:57 5.4K 
[ ]ltlaxio2__t16_ltlaxio2.vout2021-07-25 17:37 6.2K 
[ ]ltlaxio2__t5_ltlaxio2.vout2021-07-25 16:20 6.8K 
[ ]ltlaxio2__t4_ltlaxio2.vout2021-07-25 14:43 6.8K 
[ ]ltlaxio2__t62_ltlaxio2.vout2021-07-25 16:55 6.8K 
[ ]ltlaxio2__t20_ltlaxio2.vout2021-07-25 20:17 6.8K 
[ ]ltlaxio2__t59_ltlaxio2.vout2021-07-25 18:54 6.8K 
[ ]ltlaxio2__t63_ltlaxio2.vout2021-07-25 19:10 6.8K 
[ ]ltlaxio2__t61_ltlaxio2.vout2021-07-25 17:47 7.3K 
[ ]ltlaxio2__t18_ltlaxio2.vout2021-07-25 14:23 7.3K 
[ ]ltlaxio2__t21_ltlaxio2.vout2021-07-25 20:19 7.3K 
[ ]ltlaxio2__t35_ltlaxio2.vout2021-07-25 20:55 7.3K 
[ ]ltlaxio2__t36_ltlaxio2.vout2021-07-25 18:51 7.3K 
[ ]ltlaxio2__t57_ltlaxio2.vout2021-07-25 16:12 7.3K 
[ ]ltlaxio2__t48_ltlaxio2.vout2021-07-25 19:34 7.3K 
[ ]ltlaxio2__t51_ltlaxio2.vout2021-07-25 15:38 7.3K 
[ ]ltlaxio2__t56_ltlaxio2.vout2021-07-25 15:37 7.3K 
[ ]ltlaxio2__t58_ltlaxio2.vout2021-07-25 20:38 7.3K 
[ ]ltlaxio2__t17_ltlaxio2.vout2021-07-25 15:22 7.3K 
[ ]ltlaxio2__t19_ltlaxio2.vout2021-07-25 20:28 7.3K 
[ ]ltlaxio2__t12_ltlaxio2.vout2021-07-25 16:38 7.3K 
[ ]ltlaxio2__t28_ltlaxio2.vout2021-07-25 19:05 7.4K 
[ ]ltlaxio2__t41_ltlaxio2.vout2021-07-25 17:11 7.4K 
[ ]ltlaxio2__t44_ltlaxio2.vout2021-07-25 14:54 7.4K 
[ ]ltlaxio2__t45_ltlaxio2.vout2021-07-25 19:45 7.4K 
[ ]ltlaxio2__t49_ltlaxio2.vout2021-07-25 18:50 7.4K 
[ ]ltlaxio2__t43_ltlaxio2.vout2021-07-25 15:54 7.4K 
[ ]ltlaxio2__t39_ltlaxio2.vout2021-07-25 15:20 7.4K 
[ ]ltlaxio2__t50_ltlaxio2.vout2021-07-25 19:28 7.4K 
[ ]ltlaxio2__t27_ltlaxio2.vout2021-07-25 20:48 7.4K 
[ ]ltlaxio2__t37_ltlaxio2.vout2021-07-25 19:13 7.4K 
[ ]ltlaxio2__t40_ltlaxio2.vout2021-07-25 19:27 7.4K 
[ ]ltlaxio2__t38_ltlaxio2.vout2021-07-25 17:35 7.4K 
[ ]ltlaxio2__t42_ltlaxio2.vout2021-07-25 17:03 7.4K 
[ ]ltlaxio2__t22_ltlaxio2.vout2021-07-25 16:56 7.9K 
[ ]ltlaxio2__t32_ltlaxio2.vout2021-07-25 17:12 7.9K 
[ ]ltlaxio2__t29_ltlaxio2.vout2021-07-25 19:55 7.9K 
[ ]ltlaxio2__t31_ltlaxio2.vout2021-07-25 19:03 7.9K 
[ ]ltlaxio2__t60_ltlaxio2.vout2021-07-25 19:56 7.9K 
[ ]ltlaxio2__t30_ltlaxio2.vout2021-07-25 20:22 7.9K 
[ ]ltlaxio2__t23_ltlaxio2.vout2021-07-25 14:49 7.9K 
[ ]ltlaxio2__t24_ltlaxio2.vout2021-07-25 20:08 7.9K 
[ ]ltlaxio2__t33_ltlaxio2.vout2021-07-25 17:38 7.9K 
[ ]ltlaxio2__t47_ltlaxio2.vout2021-07-25 16:36 7.9K 
[ ]ltlaxio2__t25_ltlaxio2.vout2021-07-25 20:09 7.9K 
[ ]ltlaxio2__t26_ltlaxio2.vout2021-07-25 17:31 7.9K 
[ ]ltlaxio2__t46_ltlaxio2.vout2021-07-25 16:04 7.9K 
[ ]ltlaxio2__t34_ltlaxio2.vout2021-07-25 16:41 7.9K 
[ ]ltlaxio2__t14_ltlaxio2.vout2021-07-25 15:14 7.9K 
[ ]ltlaxio2__l1_ltlaxio2.vmin1out2021-07-25 21:00 12K 
[ ]ltlaxio2__l1_ltlaxio2.vout2021-07-25 16:31 12K 
[ ]ltlaxio2__t3_ltlaxio22021-07-17 21:22 14K 
[ ]ltlaxio2__l1_ltlaxio22021-07-17 21:52 14K 
[ ]ltlaxio2__t1_ltlaxio22021-07-17 21:21 20K 
[ ]ltlaxio2__t55_ltlaxio2.vmin1out2021-07-25 21:02 21K 
[ ]ltlaxio2__t8_ltlaxio22021-07-17 21:24 21K 
[ ]ltlaxio2__t9_ltlaxio22021-07-17 21:24 21K 
[ ]ltlaxio2__t14_ltlaxio22021-07-17 21:27 22K 
[ ]ltlaxio2__t1_ltlaxio2.vmin1out2021-07-25 20:59 23K 
[ ]ltlaxio2__t2_ltlaxio22021-07-17 21:21 23K 
[ ]ltlaxio2__t55_ltlaxio22021-07-17 21:48 23K 
[ ]ltlaxio2__t52_ltlaxio22021-07-17 21:46 23K 
[ ]ltlaxio2__t54_ltlaxio22021-07-17 21:47 23K 
[ ]ltlaxio2__t53_ltlaxio22021-07-17 21:47 23K 
[ ]ltlaxio2__t3_ltlaxio2.vmin1out2021-07-25 20:59 23K 
[ ]ltlaxio2__t63_ltlaxio22021-07-17 21:52 24K 
[ ]ltlaxio2__t62_ltlaxio22021-07-17 21:51 24K 
[ ]ltlaxio2__t59_ltlaxio22021-07-17 21:50 24K 
[ ]ltlaxio2__t61_ltlaxio22021-07-17 21:51 24K 
[ ]ltlaxio2__t7_ltlaxio22021-07-17 21:23 24K 
[ ]ltlaxio2__t6_ltlaxio22021-07-17 21:23 25K 
[ ]ltlaxio2__t21_ltlaxio22021-07-17 21:31 25K 
[ ]ltlaxio2__t58_ltlaxio22021-07-17 21:49 25K 
[ ]ltlaxio2__t11_ltlaxio22021-07-17 21:25 25K 
[ ]ltlaxio2__t10_ltlaxio22021-07-17 21:25 26K 
[ ]ltlaxio2__t52_ltlaxio2.vmin1out2021-07-25 21:00 28K 
[ ]ltlaxio2__t3_ltlaxio2.vout2021-07-25 19:16 29K 
[ ]ltlaxio2__t13_ltlaxio22021-07-17 21:26 29K 
[ ]ltlaxio2__t54_ltlaxio2.vmin1out2021-07-25 21:00 30K 
[ ]ltlaxio2__t1_ltlaxio2.vout2021-07-25 15:15 30K 
[ ]ltlaxio2__t24_ltlaxio22021-07-17 21:32 30K 
[ ]ltlaxio2__t33_ltlaxio22021-07-17 21:37 30K 
[ ]ltlaxio2__t34_ltlaxio22021-07-17 21:37 30K 
[ ]ltlaxio2__t4_ltlaxio22021-07-17 21:22 30K 
[ ]ltlaxio2__t55_ltlaxio2.vout2021-07-25 18:07 31K 
[ ]ltlaxio2__t23_ltlaxio22021-07-17 21:32 31K 
[ ]ltlaxio2__t22_ltlaxio22021-07-17 21:31 31K 
[ ]ltlaxio2__t8_ltlaxio2.vmin1out2021-07-25 20:59 31K 
[ ]ltlaxio2__t9_ltlaxio2.vmin1out2021-07-25 20:59 31K 
[ ]ltlaxio2__t56_ltlaxio22021-07-17 21:48 31K 
[ ]ltlaxio2__t8_ltlaxio2.vout2021-07-25 20:31 32K 
[ ]ltlaxio2__t9_ltlaxio2.vout2021-07-25 20:23 32K 
[ ]ltlaxio2__t53_ltlaxio2.vmin1out2021-07-25 21:01 32K 
[ ]ltlaxio2__t12_ltlaxio22021-07-17 21:26 32K 
[ ]ltlaxio2__t6_ltlaxio2.vout2021-07-25 18:24 32K 
[ ]ltlaxio2__t15_ltlaxio22021-07-17 21:27 33K 
[ ]ltlaxio2__t35_ltlaxio22021-07-17 21:38 33K 
[ ]ltlaxio2__t36_ltlaxio22021-07-17 21:38 33K 
[ ]ltlaxio2__t57_ltlaxio22021-07-17 21:49 33K 
[ ]ltlaxio2__t60_ltlaxio22021-07-17 21:50 34K 
[ ]ltlaxio2__t10_ltlaxio2.vmin1out2021-07-25 20:59 34K 
[ ]ltlaxio2__t54_ltlaxio2.vout2021-07-25 19:58 35K 
[ ]ltlaxio2__t52_ltlaxio2.vout2021-07-25 14:28 36K 
[ ]ltlaxio2__t30_ltlaxio22021-07-17 21:35 36K 
[ ]ltlaxio2__t6_ltlaxio2.vmin1out2021-07-25 20:58 37K 
[ ]ltlaxio2__t11_ltlaxio2.vmin1out2021-07-25 21:01 37K 
[ ]ltlaxio2__t11_ltlaxio2.vout2021-07-25 16:06 37K 
[ ]ltlaxio2__t10_ltlaxio2.vout2021-07-25 17:55 37K 
[ ]ltlaxio2__t25_ltlaxio22021-07-17 21:32 37K 
[ ]ltlaxio2__t31_ltlaxio22021-07-17 21:36 37K 
[ ]ltlaxio2__t27_ltlaxio22021-07-17 21:33 39K 
[ ]ltlaxio2__t28_ltlaxio22021-07-17 21:34 39K 
[ ]ltlaxio2__t43_ltlaxio22021-07-17 21:42 39K 
[ ]ltlaxio2__t41_ltlaxio22021-07-17 21:41 39K 
[ ]ltlaxio2__t42_ltlaxio22021-07-17 21:41 39K 
[ ]ltlaxio2__t2_ltlaxio2.vout2021-07-25 18:25 39K 
[ ]ltlaxio2__t38_ltlaxio22021-07-17 21:39 39K 
[ ]ltlaxio2__t53_ltlaxio2.vout2021-07-25 19:08 39K 
[ ]ltlaxio2__t7_ltlaxio2.vmin1out2021-07-25 21:01 39K 
[ ]ltlaxio2__t20_ltlaxio22021-07-17 21:30 40K 
[ ]ltlaxio2__t18_ltlaxio22021-07-17 21:29 41K 
[ ]ltlaxio2__t29_ltlaxio22021-07-17 21:35 42K 
[ ]ltlaxio2__t16_ltlaxio22021-07-17 21:27 42K 
[ ]ltlaxio2__t19_ltlaxio22021-07-17 21:29 45K 
[ ]ltlaxio2__t7_ltlaxio2.vout2021-07-25 16:13 46K 
[ ]ltlaxio2__t2_ltlaxio2.vmin1out2021-07-25 21:00 47K 
[ ]ltlaxio2__t13_ltlaxio2.vmin1out2021-07-25 21:01 63K 
[ ]ltlaxio2__t40_ltlaxio22021-07-17 21:40 69K 
[ ]ltlaxio2__t5_ltlaxio22021-07-17 21:22 69K 
[ ]ltlaxio2__t17_ltlaxio22021-07-17 21:28 70K 
[ ]ltlaxio2__t13_ltlaxio2.vout2021-07-25 18:24 85K 
[ ]ltlaxio2__t26_ltlaxio22021-07-17 21:33 108K 
[ ]ltlaxio2__t32_ltlaxio22021-07-17 21:36 108K 
[ ]ltlaxio2__t49_ltlaxio22021-07-17 21:45 109K 
[ ]ltlaxio2__t44_ltlaxio22021-07-17 21:42 110K 
[ ]ltlaxio2__t45_ltlaxio22021-07-17 21:43 110K 
[ ]ltlaxio2__t37_ltlaxio22021-07-17 21:39 165K 
[ ]ltlaxio2__t47_ltlaxio22021-07-17 21:44 170K 
[ ]ltlaxio2__t39_ltlaxio22021-07-17 21:40 246K 
[ ]ltlaxio2__t48_ltlaxio22021-07-17 21:44 269K 
[ ]ltlaxio2__t46_ltlaxio22021-07-17 21:43 401K 
[ ]ltlaxio2__t51_ltlaxio22021-07-17 21:46 428K 
[ ]ltlaxio2__t50_ltlaxio22021-07-17 21:45 511K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80