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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ltlaxio1__l1_ltlaxio12024-07-27 00:34 16K 
[ ]ltlaxio1__l1_ltlaxio1.depv12024-08-03 10:19 169  
[ ]ltlaxio1__l1_ltlaxio1.depvmin12024-08-03 10:24 169  
[ ]ltlaxio1__l1_ltlaxio1.vmin12024-08-03 10:19 1.6K 
[ ]ltlaxio1__l1_ltlaxio1.vmin1out2024-08-03 10:22 20K 
[ ]ltlaxio1__l1_ltlaxio1.vout2024-08-03 10:17 20K 
[ ]ltlaxio1__t1_ltlaxio12024-07-26 23:16 28K 
[ ]ltlaxio1__t1_ltlaxio1.depv12024-08-03 10:19 431  
[ ]ltlaxio1__t1_ltlaxio1.depvmin12024-08-03 10:24 330  
[ ]ltlaxio1__t1_ltlaxio1.vmin12024-08-03 10:19 1.9K 
[ ]ltlaxio1__t1_ltlaxio1.vmin1out2024-08-03 10:22 70K 
[ ]ltlaxio1__t1_ltlaxio1.vout2024-08-03 08:04 29K 
[ ]ltlaxio1__t2_ltlaxio12024-07-26 23:17 28K 
[ ]ltlaxio1__t2_ltlaxio1.depv12024-08-03 10:19 457  
[ ]ltlaxio1__t2_ltlaxio1.depvmin12024-08-03 10:24 444  
[ ]ltlaxio1__t2_ltlaxio1.vmin12024-08-03 10:19 2.6K 
[ ]ltlaxio1__t2_ltlaxio1.vmin1out2024-08-03 10:21 55K 
[ ]ltlaxio1__t2_ltlaxio1.vout2024-08-03 05:00 71K 
[ ]ltlaxio1__t3_ltlaxio12024-07-26 23:18 28K 
[ ]ltlaxio1__t3_ltlaxio1.depv12024-08-03 10:19 434  
[ ]ltlaxio1__t3_ltlaxio1.depvmin12024-08-03 10:24 397  
[ ]ltlaxio1__t3_ltlaxio1.vmin12024-08-03 10:19 2.5K 
[ ]ltlaxio1__t3_ltlaxio1.vmin1out2024-08-03 10:20 52K 
[ ]ltlaxio1__t3_ltlaxio1.vout2024-08-03 05:24 69K 
[ ]ltlaxio1__t4_ltlaxio12024-07-26 23:19 9.9K 
[ ]ltlaxio1__t4_ltlaxio1.depv12024-08-03 10:19 87  
[ ]ltlaxio1__t4_ltlaxio1.depvmin12024-08-03 10:24 87  
[ ]ltlaxio1__t4_ltlaxio1.vmin12024-08-03 10:19 1.3K 
[ ]ltlaxio1__t4_ltlaxio1.vmin1out2024-08-03 10:22 19K 
[ ]ltlaxio1__t4_ltlaxio1.vout2024-08-03 07:24 20K 
[ ]ltlaxio1__t5_ltlaxio12024-07-26 23:20 36K 
[ ]ltlaxio1__t5_ltlaxio1.vout2024-08-03 07:52 7.3K 
[ ]ltlaxio1__t6_ltlaxio12024-07-26 23:22 29K 
[ ]ltlaxio1__t6_ltlaxio1.depv12024-08-03 10:19 104  
[ ]ltlaxio1__t6_ltlaxio1.depvmin12024-08-03 10:24 104  
[ ]ltlaxio1__t6_ltlaxio1.vmin12024-08-03 10:19 4.0K 
[ ]ltlaxio1__t6_ltlaxio1.vmin1out2024-08-03 10:22 45K 
[ ]ltlaxio1__t6_ltlaxio1.vout2024-08-03 06:06 43K 
[ ]ltlaxio1__t7_ltlaxio12024-07-26 23:23 46K 
[ ]ltlaxio1__t7_ltlaxio1.vout2024-08-03 05:51 7.3K 
[ ]ltlaxio1__t8_ltlaxio12024-07-26 23:24 20K 
[ ]ltlaxio1__t8_ltlaxio1.vout2024-08-03 08:46 7.3K 
[ ]ltlaxio1__t9_ltlaxio12024-07-26 23:25 30K 
[ ]ltlaxio1__t9_ltlaxio1.vout2024-08-03 06:34 7.3K 
[ ]ltlaxio1__t10_ltlaxio12024-07-26 23:27 33K 
[ ]ltlaxio1__t10_ltlaxio1.vout2024-08-03 06:53 7.3K 
[ ]ltlaxio1__t11_ltlaxio12024-07-26 23:28 23K 
[ ]ltlaxio1__t11_ltlaxio1.vout2024-08-03 07:13 6.8K 
[ ]ltlaxio1__t12_ltlaxio12024-07-26 23:29 32K 
[ ]ltlaxio1__t12_ltlaxio1.vout2024-08-03 08:29 7.3K 
[ ]ltlaxio1__t13_ltlaxio12024-07-26 23:31 41K 
[ ]ltlaxio1__t13_ltlaxio1.vout2024-08-03 06:50 4.7K 
[ ]ltlaxio1__t14_ltlaxio12024-07-26 23:32 37K 
[ ]ltlaxio1__t14_ltlaxio1.vout2024-08-03 05:04 7.4K 
[ ]ltlaxio1__t15_ltlaxio12024-07-26 23:34 37K 
[ ]ltlaxio1__t15_ltlaxio1.vout2024-08-03 08:47 7.3K 
[ ]ltlaxio1__t16_ltlaxio12024-07-26 23:35 37K 
[ ]ltlaxio1__t16_ltlaxio1.vout2024-08-03 06:00 7.4K 
[ ]ltlaxio1__t17_ltlaxio12024-07-26 23:36 37K 
[ ]ltlaxio1__t17_ltlaxio1.vout2024-08-03 09:10 7.4K 
[ ]ltlaxio1__t18_ltlaxio12024-07-26 23:38 40K 
[ ]ltlaxio1__t18_ltlaxio1.vout2024-08-03 05:27 7.3K 
[ ]ltlaxio1__t19_ltlaxio12024-07-26 23:39 50K 
[ ]ltlaxio1__t19_ltlaxio1.vout2024-08-03 08:44 7.4K 
[ ]ltlaxio1__t20_ltlaxio12024-07-26 23:41 49K 
[ ]ltlaxio1__t20_ltlaxio1.vout2024-08-03 09:52 7.4K 
[ ]ltlaxio1__t21_ltlaxio12024-07-26 23:42 49K 
[ ]ltlaxio1__t21_ltlaxio1.vout2024-08-03 04:19 7.3K 
[ ]ltlaxio1__t22_ltlaxio12024-07-26 23:43 19K 
[ ]ltlaxio1__t22_ltlaxio1.vout2024-08-03 08:34 7.3K 
[ ]ltlaxio1__t23_ltlaxio12024-07-26 23:44 18K 
[ ]ltlaxio1__t23_ltlaxio1.depv12024-08-03 10:19 168  
[ ]ltlaxio1__t23_ltlaxio1.depvmin12024-08-03 10:24 125  
[ ]ltlaxio1__t23_ltlaxio1.vmin12024-08-03 10:19 1.8K 
[ ]ltlaxio1__t23_ltlaxio1.vmin1out2024-08-03 10:21 19K 
[ ]ltlaxio1__t23_ltlaxio1.vout2024-08-03 09:15 27K 
[ ]ltlaxio1__t24_ltlaxio12024-07-26 23:46 37K 
[ ]ltlaxio1__t24_ltlaxio1.vout2024-08-03 08:59 7.3K 
[ ]ltlaxio1__t25_ltlaxio12024-07-26 23:47 21K 
[ ]ltlaxio1__t25_ltlaxio1.vout2024-08-03 09:51 2.0K 
[ ]ltlaxio1__t26_ltlaxio12024-07-26 23:48 22K 
[ ]ltlaxio1__t26_ltlaxio1.vout2024-08-03 07:10 2.0K 
[ ]ltlaxio1__t27_ltlaxio12024-07-26 23:50 49K 
[ ]ltlaxio1__t27_ltlaxio1.vout2024-08-03 06:40 6.8K 
[ ]ltlaxio1__t29_ltlaxio12024-07-26 23:51 22K 
[ ]ltlaxio1__t29_ltlaxio1.vout2024-08-03 05:45 2.0K 
[ ]ltlaxio1__t30_ltlaxio12024-07-26 23:53 44K 
[ ]ltlaxio1__t30_ltlaxio1.vout2024-08-03 07:08 7.3K 
[ ]ltlaxio1__t31_ltlaxio12024-07-26 23:54 39K 
[ ]ltlaxio1__t31_ltlaxio1.vout2024-08-03 07:21 7.3K 
[ ]ltlaxio1__t32_ltlaxio12024-07-26 23:55 48K 
[ ]ltlaxio1__t32_ltlaxio1.vout2024-08-03 04:43 6.8K 
[ ]ltlaxio1__t33_ltlaxio12024-07-26 23:56 19K 
[ ]ltlaxio1__t33_ltlaxio1.vout2024-08-03 07:44 7.3K 
[ ]ltlaxio1__t34_ltlaxio12024-07-26 23:58 40K 
[ ]ltlaxio1__t34_ltlaxio1.vout2024-08-03 05:32 7.3K 
[ ]ltlaxio1__t35_ltlaxio12024-07-26 23:59 70K 
[ ]ltlaxio1__t35_ltlaxio1.vout2024-08-03 07:09 7.3K 
[ ]ltlaxio1__t36_ltlaxio12024-07-27 00:00 17K 
[ ]ltlaxio1__t36_ltlaxio1.vout2024-08-03 10:16 8.4K 
[ ]ltlaxio1__t37_ltlaxio12024-07-27 00:02 24K 
[ ]ltlaxio1__t37_ltlaxio1.vout2024-08-03 06:49 2.0K 
[ ]ltlaxio1__t38_ltlaxio12024-07-27 00:03 23K 
[ ]ltlaxio1__t38_ltlaxio1.vout2024-08-03 05:20 6.8K 
[ ]ltlaxio1__t39_ltlaxio12024-07-27 00:05 40K 
[ ]ltlaxio1__t39_ltlaxio1.vout2024-08-03 07:42 7.4K 
[ ]ltlaxio1__t40_ltlaxio12024-07-27 00:06 39K 
[ ]ltlaxio1__t40_ltlaxio1.vout2024-08-03 06:00 4.7K 
[ ]ltlaxio1__t41_ltlaxio12024-07-27 00:08 28K 
[ ]ltlaxio1__t41_ltlaxio1.vout2024-08-03 09:36 7.3K 
[ ]ltlaxio1__t42_ltlaxio12024-07-27 00:09 20K 
[ ]ltlaxio1__t42_ltlaxio1.vout2024-08-03 07:34 4.1K 
[ ]ltlaxio1__t43_ltlaxio12024-07-27 00:10 29K 
[ ]ltlaxio1__t43_ltlaxio1.vout2024-08-03 09:02 7.3K 
[ ]ltlaxio1__t44_ltlaxio12024-07-27 00:11 39K 
[ ]ltlaxio1__t44_ltlaxio1.vout2024-08-03 07:42 7.3K 
[ ]ltlaxio1__t45_ltlaxio12024-07-27 00:13 32K 
[ ]ltlaxio1__t45_ltlaxio1.vout2024-08-03 05:21 7.3K 
[ ]ltlaxio1__t46_ltlaxio12024-07-27 00:14 48K 
[ ]ltlaxio1__t46_ltlaxio1.vout2024-08-03 10:11 7.3K 
[ ]ltlaxio1__t47_ltlaxio12024-07-27 00:16 177K 
[ ]ltlaxio1__t47_ltlaxio1.vout2024-08-03 06:08 6.8K 
[ ]ltlaxio1__t48_ltlaxio12024-07-27 00:17 237K 
[ ]ltlaxio1__t48_ltlaxio1.vout2024-08-03 06:42 7.3K 
[ ]ltlaxio1__t49_ltlaxio12024-07-27 00:19 229K 
[ ]ltlaxio1__t49_ltlaxio1.vout2024-08-03 07:10 7.4K 
[ ]ltlaxio1__t50_ltlaxio12024-07-27 00:20 90K 
[ ]ltlaxio1__t50_ltlaxio1.vout2024-08-03 07:21 6.8K 
[ ]ltlaxio1__t51_ltlaxio12024-07-27 00:22 47K 
[ ]ltlaxio1__t51_ltlaxio1.vout2024-08-03 05:52 6.8K 
[ ]ltlaxio1__t52_ltlaxio12024-07-27 00:24 47K 
[ ]ltlaxio1__t52_ltlaxio1.vout2024-08-03 09:08 7.3K 
[ ]ltlaxio1__t53_ltlaxio12024-07-27 00:25 20K 
[ ]ltlaxio1__t53_ltlaxio1.vout2024-08-03 07:41 7.3K 
[ ]ltlaxio1__t54_ltlaxio12024-07-27 00:26 19K 
[ ]ltlaxio1__t54_ltlaxio1.depv12024-08-03 10:19 194  
[ ]ltlaxio1__t54_ltlaxio1.depvmin12024-08-03 10:24 194  
[ ]ltlaxio1__t54_ltlaxio1.vmin12024-08-03 10:19 2.2K 
[ ]ltlaxio1__t54_ltlaxio1.vmin1out2024-08-03 10:23 20K 
[ ]ltlaxio1__t54_ltlaxio1.vout2024-08-03 06:29 22K 
[ ]ltlaxio1__t55_ltlaxio12024-07-27 00:27 20K 
[ ]ltlaxio1__t55_ltlaxio1.depv12024-08-03 10:19 265  
[ ]ltlaxio1__t55_ltlaxio1.depvmin12024-08-03 10:24 213  
[ ]ltlaxio1__t55_ltlaxio1.vmin12024-08-03 10:19 2.5K 
[ ]ltlaxio1__t55_ltlaxio1.vmin1out2024-08-03 10:22 23K 
[ ]ltlaxio1__t55_ltlaxio1.vout2024-08-03 08:26 28K 
[ ]ltlaxio1__t56_ltlaxio12024-07-27 00:28 22K 
[ ]ltlaxio1__t56_ltlaxio1.vout2024-08-03 04:20 6.8K 
[ ]ltlaxio1__t57_ltlaxio12024-07-27 00:30 28K 
[ ]ltlaxio1__t57_ltlaxio1.vout2024-08-03 09:41 4.7K 
[ ]ltlaxio1__t58_ltlaxio12024-07-27 00:31 19K 
[ ]ltlaxio1__t58_ltlaxio1.depv12024-08-03 10:19 280  
[ ]ltlaxio1__t58_ltlaxio1.depvmin12024-08-03 10:24 218  
[ ]ltlaxio1__t58_ltlaxio1.vmin12024-08-03 10:19 2.8K 
[ ]ltlaxio1__t58_ltlaxio1.vmin1out2024-08-03 10:21 23K 
[ ]ltlaxio1__t58_ltlaxio1.vout2024-08-03 05:41 31K 
[ ]ltlaxio1__t59_ltlaxio12024-07-27 00:32 21K 
[ ]ltlaxio1__t59_ltlaxio1.depv12024-08-03 10:19 256  
[ ]ltlaxio1__t59_ltlaxio1.depvmin12024-08-03 10:24 246  
[ ]ltlaxio1__t59_ltlaxio1.vmin12024-08-03 10:19 2.8K 
[ ]ltlaxio1__t59_ltlaxio1.vmin1out2024-08-03 10:23 37K 
[ ]ltlaxio1__t59_ltlaxio1.vout2024-08-03 05:41 32K 
[ ]ltlaxio1__t60_ltlaxio12024-07-27 00:33 20K 
[ ]ltlaxio1__t60_ltlaxio1.vout2024-08-03 05:49 4.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80