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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ltlaxio1__t4_ltlaxio1.depv12021-07-25 20:57 87  
[ ]ltlaxio1__t4_ltlaxio1.depvmin12021-07-25 21:03 87  
[ ]ltlaxio1__t6_ltlaxio1.depv12021-07-25 20:57 104  
[ ]ltlaxio1__t6_ltlaxio1.depvmin12021-07-25 21:03 104  
[ ]ltlaxio1__t23_ltlaxio1.depvmin12021-07-25 21:03 125  
[ ]ltlaxio1__t23_ltlaxio1.depv12021-07-25 20:57 168  
[ ]ltlaxio1__l1_ltlaxio1.depv12021-07-25 20:57 169  
[ ]ltlaxio1__l1_ltlaxio1.depvmin12021-07-25 21:03 169  
[ ]ltlaxio1__t54_ltlaxio1.depv12021-07-25 20:57 194  
[ ]ltlaxio1__t54_ltlaxio1.depvmin12021-07-25 21:03 194  
[ ]ltlaxio1__t55_ltlaxio1.depvmin12021-07-25 21:03 213  
[ ]ltlaxio1__t59_ltlaxio1.depvmin12021-07-25 21:03 246  
[ ]ltlaxio1__t59_ltlaxio1.depv12021-07-25 20:57 256  
[ ]ltlaxio1__t55_ltlaxio1.depv12021-07-25 20:57 265  
[ ]ltlaxio1__t1_ltlaxio1.depvmin12021-07-25 21:03 440  
[ ]ltlaxio1__t2_ltlaxio1.depvmin12021-07-25 21:03 461  
[ ]ltlaxio1__t3_ltlaxio1.depvmin12021-07-25 21:03 474  
[ ]ltlaxio1__t3_ltlaxio1.depv12021-07-25 20:57 517  
[ ]ltlaxio1__t1_ltlaxio1.depv12021-07-25 20:57 528  
[ ]ltlaxio1__t2_ltlaxio1.depv12021-07-25 20:57 528  
[ ]ltlaxio1__t4_ltlaxio1.vmin12021-07-25 20:57 1.3K 
[ ]ltlaxio1__l1_ltlaxio1.vmin12021-07-25 20:57 1.6K 
[ ]ltlaxio1__t23_ltlaxio1.vmin12021-07-25 20:57 1.8K 
[ ]ltlaxio1__t29_ltlaxio1.vout2021-07-25 19:51 2.0K 
[ ]ltlaxio1__t37_ltlaxio1.vout2021-07-25 16:52 2.0K 
[ ]ltlaxio1__t25_ltlaxio1.vout2021-07-25 17:55 2.0K 
[ ]ltlaxio1__t26_ltlaxio1.vout2021-07-25 19:28 2.0K 
[ ]ltlaxio1__t54_ltlaxio1.vmin12021-07-25 20:57 2.2K 
[ ]ltlaxio1__t1_ltlaxio1.vmin12021-07-25 20:57 2.5K 
[ ]ltlaxio1__t2_ltlaxio1.vmin12021-07-25 20:57 2.5K 
[ ]ltlaxio1__t55_ltlaxio1.vmin12021-07-25 20:57 2.5K 
[ ]ltlaxio1__t59_ltlaxio1.vmin12021-07-25 20:57 2.8K 
[ ]ltlaxio1__t3_ltlaxio1.vmin12021-07-25 20:57 3.1K 
[ ]ltlaxio1__t6_ltlaxio1.vmin12021-07-25 20:57 4.0K 
[ ]ltlaxio1__t60_ltlaxio1.vout2021-07-25 19:59 4.1K 
[ ]ltlaxio1__t58_ltlaxio1.vout2021-07-25 17:23 4.1K 
[ ]ltlaxio1__t42_ltlaxio1.vout2021-07-25 19:22 4.1K 
[ ]ltlaxio1__t13_ltlaxio1.vout2021-07-25 17:12 4.7K 
[ ]ltlaxio1__t57_ltlaxio1.vout2021-07-25 14:26 4.7K 
[ ]ltlaxio1__t40_ltlaxio1.vout2021-07-25 15:00 4.7K 
[ ]ltlaxio1__t22_ltlaxio1.vout2021-07-25 19:08 6.8K 
[ ]ltlaxio1__t12_ltlaxio1.vout2021-07-25 18:52 6.8K 
[ ]ltlaxio1__t27_ltlaxio1.vout2021-07-25 14:42 6.8K 
[ ]ltlaxio1__t51_ltlaxio1.vout2021-07-25 17:03 6.8K 
[ ]ltlaxio1__t47_ltlaxio1.vout2021-07-25 14:37 6.8K 
[ ]ltlaxio1__t50_ltlaxio1.vout2021-07-25 15:28 6.8K 
[ ]ltlaxio1__t56_ltlaxio1.vout2021-07-25 20:47 6.8K 
[ ]ltlaxio1__t32_ltlaxio1.vout2021-07-25 20:37 6.8K 
[ ]ltlaxio1__t38_ltlaxio1.vout2021-07-25 15:31 6.8K 
[ ]ltlaxio1__t5_ltlaxio1.vout2021-07-25 19:33 7.3K 
[ ]ltlaxio1__t8_ltlaxio1.vout2021-07-25 17:38 7.3K 
[ ]ltlaxio1__t9_ltlaxio1.vout2021-07-25 15:11 7.3K 
[ ]ltlaxio1__t24_ltlaxio1.vout2021-07-25 20:02 7.3K 
[ ]ltlaxio1__t44_ltlaxio1.vout2021-07-25 18:49 7.3K 
[ ]ltlaxio1__t45_ltlaxio1.vout2021-07-25 18:31 7.3K 
[ ]ltlaxio1__t11_ltlaxio1.vout2021-07-25 15:21 7.3K 
[ ]ltlaxio1__t21_ltlaxio1.vout2021-07-25 15:42 7.3K 
[ ]ltlaxio1__t30_ltlaxio1.vout2021-07-25 19:44 7.3K 
[ ]ltlaxio1__t31_ltlaxio1.vout2021-07-25 15:01 7.3K 
[ ]ltlaxio1__t34_ltlaxio1.vout2021-07-25 15:04 7.3K 
[ ]ltlaxio1__t43_ltlaxio1.vout2021-07-25 20:12 7.3K 
[ ]ltlaxio1__t7_ltlaxio1.vout2021-07-25 20:05 7.3K 
[ ]ltlaxio1__t48_ltlaxio1.vout2021-07-25 15:50 7.3K 
[ ]ltlaxio1__t49_ltlaxio1.vout2021-07-25 14:31 7.3K 
[ ]ltlaxio1__t52_ltlaxio1.vout2021-07-25 20:45 7.3K 
[ ]ltlaxio1__t53_ltlaxio1.vout2021-07-25 16:42 7.3K 
[ ]ltlaxio1__t10_ltlaxio1.vout2021-07-25 20:37 7.3K 
[ ]ltlaxio1__t35_ltlaxio1.vout2021-07-25 15:31 7.3K 
[ ]ltlaxio1__t41_ltlaxio1.vout2021-07-25 17:54 7.3K 
[ ]ltlaxio1__t46_ltlaxio1.vout2021-07-25 16:46 7.3K 
[ ]ltlaxio1__t18_ltlaxio1.vout2021-07-25 15:26 7.3K 
[ ]ltlaxio1__t33_ltlaxio1.vout2021-07-25 17:17 7.3K 
[ ]ltlaxio1__t16_ltlaxio1.vout2021-07-25 18:38 7.3K 
[ ]ltlaxio1__t15_ltlaxio1.vout2021-07-25 17:43 7.4K 
[ ]ltlaxio1__t19_ltlaxio1.vout2021-07-25 17:47 7.4K 
[ ]ltlaxio1__t39_ltlaxio1.vout2021-07-25 16:10 7.4K 
[ ]ltlaxio1__t17_ltlaxio1.vout2021-07-25 19:29 7.4K 
[ ]ltlaxio1__t20_ltlaxio1.vout2021-07-25 18:11 7.4K 
[ ]ltlaxio1__t14_ltlaxio1.vout2021-07-25 19:07 7.4K 
[ ]ltlaxio1__t36_ltlaxio1.vout2021-07-25 16:18 8.4K 
[ ]ltlaxio1__t4_ltlaxio12021-07-18 07:49 9.9K 
[ ]ltlaxio1__l1_ltlaxio12021-07-18 08:10 16K 
[ ]ltlaxio1__t36_ltlaxio12021-07-18 08:00 17K 
[ ]ltlaxio1__t23_ltlaxio12021-07-18 07:56 18K 
[ ]ltlaxio1__t54_ltlaxio12021-07-18 08:08 19K 
[ ]ltlaxio1__t58_ltlaxio12021-07-18 08:09 19K 
[ ]ltlaxio1__t4_ltlaxio1.vmin1out2021-07-25 21:00 19K 
[ ]ltlaxio1__t22_ltlaxio12021-07-18 07:56 19K 
[ ]ltlaxio1__t23_ltlaxio1.vmin1out2021-07-25 21:02 19K 
[ ]ltlaxio1__t33_ltlaxio12021-07-18 07:59 20K 
[ ]ltlaxio1__t42_ltlaxio12021-07-18 08:03 20K 
[ ]ltlaxio1__t4_ltlaxio1.vout2021-07-25 15:58 20K 
[ ]ltlaxio1__l1_ltlaxio1.vmin1out2021-07-25 20:58 20K 
[ ]ltlaxio1__t8_ltlaxio12021-07-18 07:50 20K 
[ ]ltlaxio1__t53_ltlaxio12021-07-18 08:07 20K 
[ ]ltlaxio1__l1_ltlaxio1.vout2021-07-25 18:30 20K 
[ ]ltlaxio1__t60_ltlaxio12021-07-18 08:10 20K 
[ ]ltlaxio1__t54_ltlaxio1.vmin1out2021-07-25 20:59 20K 
[ ]ltlaxio1__t55_ltlaxio12021-07-18 08:08 20K 
[ ]ltlaxio1__t59_ltlaxio12021-07-18 08:09 21K 
[ ]ltlaxio1__t25_ltlaxio12021-07-18 07:57 21K 
[ ]ltlaxio1__t56_ltlaxio12021-07-18 08:08 22K 
[ ]ltlaxio1__t54_ltlaxio1.vout2021-07-25 18:27 22K 
[ ]ltlaxio1__t29_ltlaxio12021-07-18 07:58 22K 
[ ]ltlaxio1__t26_ltlaxio12021-07-18 07:57 22K 
[ ]ltlaxio1__t38_ltlaxio12021-07-18 08:01 23K 
[ ]ltlaxio1__t11_ltlaxio12021-07-18 07:51 23K 
[ ]ltlaxio1__t55_ltlaxio1.vmin1out2021-07-25 21:00 23K 
[ ]ltlaxio1__t37_ltlaxio12021-07-18 08:01 24K 
[ ]ltlaxio1__t23_ltlaxio1.vout2021-07-25 17:58 27K 
[ ]ltlaxio1__t1_ltlaxio12021-07-18 07:48 28K 
[ ]ltlaxio1__t2_ltlaxio12021-07-18 07:48 28K 
[ ]ltlaxio1__t3_ltlaxio12021-07-18 07:49 28K 
[ ]ltlaxio1__t57_ltlaxio12021-07-18 08:09 28K 
[ ]ltlaxio1__t55_ltlaxio1.vout2021-07-25 16:30 28K 
[ ]ltlaxio1__t41_ltlaxio12021-07-18 08:02 29K 
[ ]ltlaxio1__t6_ltlaxio12021-07-18 07:50 29K 
[ ]ltlaxio1__t43_ltlaxio12021-07-18 08:03 29K 
[ ]ltlaxio1__t9_ltlaxio12021-07-18 07:51 30K 
[ ]ltlaxio1__t59_ltlaxio1.vout2021-07-25 14:39 32K 
[ ]ltlaxio1__t12_ltlaxio12021-07-18 07:52 32K 
[ ]ltlaxio1__t45_ltlaxio12021-07-18 08:04 33K 
[ ]ltlaxio1__t10_ltlaxio12021-07-18 07:51 33K 
[ ]ltlaxio1__t2_ltlaxio1.vmin1out2021-07-25 21:02 33K 
[ ]ltlaxio1__t1_ltlaxio1.vout2021-07-25 15:16 34K 
[ ]ltlaxio1__t2_ltlaxio1.vout2021-07-25 18:06 35K 
[ ]ltlaxio1__t5_ltlaxio12021-07-18 07:49 36K 
[ ]ltlaxio1__t59_ltlaxio1.vmin1out2021-07-25 21:00 37K 
[ ]ltlaxio1__t24_ltlaxio12021-07-18 07:56 37K 
[ ]ltlaxio1__t17_ltlaxio12021-07-18 07:54 37K 
[ ]ltlaxio1__t14_ltlaxio12021-07-18 07:53 37K 
[ ]ltlaxio1__t15_ltlaxio12021-07-18 07:53 37K 
[ ]ltlaxio1__t16_ltlaxio12021-07-18 07:53 37K 
[ ]ltlaxio1__t44_ltlaxio12021-07-18 08:04 39K 
[ ]ltlaxio1__t40_ltlaxio12021-07-18 08:02 39K 
[ ]ltlaxio1__t31_ltlaxio12021-07-18 07:59 39K 
[ ]ltlaxio1__t18_ltlaxio12021-07-18 07:54 40K 
[ ]ltlaxio1__t34_ltlaxio12021-07-18 08:00 40K 
[ ]ltlaxio1__t39_ltlaxio12021-07-18 08:02 40K 
[ ]ltlaxio1__t13_ltlaxio12021-07-18 07:52 41K 
[ ]ltlaxio1__t6_ltlaxio1.vout2021-07-25 17:51 43K 
[ ]ltlaxio1__t30_ltlaxio12021-07-18 07:58 44K 
[ ]ltlaxio1__t6_ltlaxio1.vmin1out2021-07-25 21:01 45K 
[ ]ltlaxio1__t7_ltlaxio12021-07-18 07:50 46K 
[ ]ltlaxio1__t52_ltlaxio12021-07-18 08:07 47K 
[ ]ltlaxio1__t51_ltlaxio12021-07-18 08:07 47K 
[ ]ltlaxio1__t32_ltlaxio12021-07-18 07:59 48K 
[ ]ltlaxio1__t46_ltlaxio12021-07-18 08:04 48K 
[ ]ltlaxio1__t21_ltlaxio12021-07-18 07:55 49K 
[ ]ltlaxio1__t20_ltlaxio12021-07-18 07:55 49K 
[ ]ltlaxio1__t27_ltlaxio12021-07-18 07:57 49K 
[ ]ltlaxio1__t19_ltlaxio12021-07-18 07:55 50K 
[ ]ltlaxio1__t3_ltlaxio1.vmin1out2021-07-25 21:00 57K 
[ ]ltlaxio1__t35_ltlaxio12021-07-18 08:00 70K 
[ ]ltlaxio1__t50_ltlaxio12021-07-18 08:06 89K 
[ ]ltlaxio1__t1_ltlaxio1.vmin1out2021-07-25 21:02 106K 
[ ]ltlaxio1__t3_ltlaxio1.vout2021-07-25 18:14 106K 
[ ]ltlaxio1__t47_ltlaxio12021-07-18 08:05 172K 
[ ]ltlaxio1__t49_ltlaxio12021-07-18 08:06 206K 
[ ]ltlaxio1__t48_ltlaxio12021-07-18 08:05 210K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80