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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ltlaxio3__t1_ltlaxio32025-09-09 20:24 46K 
[ ]ltlaxio3__t1_ltlaxio3.vout2025-09-15 16:42 7.3K 
[ ]ltlaxio3__t2_ltlaxio32025-09-09 20:25 26K 
[ ]ltlaxio3__t2_ltlaxio3.depv12025-09-15 19:47 206  
[ ]ltlaxio3__t2_ltlaxio3.depvmin12025-09-15 19:52 206  
[ ]ltlaxio3__t2_ltlaxio3.vmin12025-09-15 19:47 1.9K 
[ ]ltlaxio3__t2_ltlaxio3.vmin1out2025-09-15 19:50 25K 
[ ]ltlaxio3__t2_ltlaxio3.vout2025-09-15 16:19 22K 
[ ]ltlaxio3__t3_ltlaxio32025-09-09 20:26 24K 
[ ]ltlaxio3__t3_ltlaxio3.depv12025-09-15 19:47 124  
[ ]ltlaxio3__t3_ltlaxio3.depvmin12025-09-15 19:52 124  
[ ]ltlaxio3__t3_ltlaxio3.vmin12025-09-15 19:47 1.0K 
[ ]ltlaxio3__t3_ltlaxio3.vmin1out2025-09-15 19:51 21K 
[ ]ltlaxio3__t3_ltlaxio3.vout2025-09-15 16:28 17K 
[ ]ltlaxio3__t4_ltlaxio32025-09-09 20:27 36K 
[ ]ltlaxio3__t4_ltlaxio3.vout2025-09-15 16:54 7.3K 
[ ]ltlaxio3__t5_ltlaxio32025-09-09 20:28 27K 
[ ]ltlaxio3__t5_ltlaxio3.depv12025-09-15 19:47 129  
[ ]ltlaxio3__t5_ltlaxio3.depvmin12025-09-15 19:52 129  
[ ]ltlaxio3__t5_ltlaxio3.vmin12025-09-15 19:47 2.1K 
[ ]ltlaxio3__t5_ltlaxio3.vmin1out2025-09-15 19:48 38K 
[ ]ltlaxio3__t5_ltlaxio3.vout2025-09-15 17:24 39K 
[ ]ltlaxio3__t6_ltlaxio32025-09-09 20:30 27K 
[ ]ltlaxio3__t6_ltlaxio3.vout2025-09-15 16:25 7.3K 
[ ]ltlaxio3__t7_ltlaxio32025-09-09 20:31 30K 
[ ]ltlaxio3__t7_ltlaxio3.vout2025-09-15 18:32 7.3K 
[ ]ltlaxio3__t8_ltlaxio32025-09-09 20:33 29K 
[ ]ltlaxio3__t8_ltlaxio3.vout2025-09-15 19:01 7.3K 
[ ]ltlaxio3__t9_ltlaxio32025-09-09 20:34 27K 
[ ]ltlaxio3__t9_ltlaxio3.vout2025-09-15 17:53 4.7K 
[ ]ltlaxio3__t10_ltlaxio32025-09-09 20:35 28K 
[ ]ltlaxio3__t10_ltlaxio3.vout2025-09-15 18:28 4.7K 
[ ]ltlaxio3__t11_ltlaxio32025-09-09 20:36 32K 
[ ]ltlaxio3__t11_ltlaxio3.vout2025-09-15 17:14 4.7K 
[ ]ltlaxio3__t12_ltlaxio32025-09-09 20:38 27K 
[ ]ltlaxio3__t12_ltlaxio3.vout2025-09-15 19:15 7.3K 
[ ]ltlaxio3__t13_ltlaxio32025-09-09 20:39 27K 
[ ]ltlaxio3__t13_ltlaxio3.vout2025-09-15 19:09 7.3K 
[ ]ltlaxio3__t14_ltlaxio32025-09-09 20:40 24K 
[ ]ltlaxio3__t14_ltlaxio3.vout2025-09-15 13:53 7.4K 
[ ]ltlaxio3__t15_ltlaxio32025-09-09 21:11 24K 
[ ]ltlaxio3__t15_ltlaxio3.vout2025-09-15 19:08 3.7K 
[ ]ltlaxio3__t16_ltlaxio32025-09-09 20:42 28K 
[ ]ltlaxio3__t16_ltlaxio3.vout2025-09-15 13:57 6.8K 
[ ]ltlaxio3__t17_ltlaxio32025-09-09 20:43 24K 
[ ]ltlaxio3__t17_ltlaxio3.vout2025-09-15 15:33 7.9K 
[ ]ltlaxio3__t18_ltlaxio32025-09-09 20:44 25K 
[ ]ltlaxio3__t18_ltlaxio3.vout2025-09-15 14:22 7.3K 
[ ]ltlaxio3__t19_ltlaxio32025-09-09 20:45 25K 
[ ]ltlaxio3__t19_ltlaxio3.depv12025-09-15 19:47 87  
[ ]ltlaxio3__t19_ltlaxio3.depvmin12025-09-15 19:52 87  
[ ]ltlaxio3__t19_ltlaxio3.vmin12025-09-15 19:47 1.4K 
[ ]ltlaxio3__t19_ltlaxio3.vmin1out2025-09-15 19:50 27K 
[ ]ltlaxio3__t19_ltlaxio3.vout2025-09-15 18:41 28K 
[ ]ltlaxio3__t20_ltlaxio32025-09-09 20:46 20K 
[ ]ltlaxio3__t20_ltlaxio3.depv12025-09-15 19:47 95  
[ ]ltlaxio3__t20_ltlaxio3.depvmin12025-09-15 19:52 95  
[ ]ltlaxio3__t20_ltlaxio3.vmin12025-09-15 19:47 1.2K 
[ ]ltlaxio3__t20_ltlaxio3.vmin1out2025-09-15 19:50 15K 
[ ]ltlaxio3__t20_ltlaxio3.vout2025-09-15 14:01 16K 
[ ]ltlaxio3__t21_ltlaxio32025-09-09 20:47 20K 
[ ]ltlaxio3__t21_ltlaxio3.vout2025-09-15 16:00 2.0K 
[ ]ltlaxio3__t22_ltlaxio32025-09-09 20:48 21K 
[ ]ltlaxio3__t22_ltlaxio3.depv12025-09-15 19:47 81  
[ ]ltlaxio3__t22_ltlaxio3.depvmin12025-09-15 19:52 81  
[ ]ltlaxio3__t22_ltlaxio3.vmin12025-09-15 19:47 1.4K 
[ ]ltlaxio3__t22_ltlaxio3.vmin1out2025-09-15 19:50 17K 
[ ]ltlaxio3__t22_ltlaxio3.vout2025-09-15 17:06 19K 
[ ]ltlaxio3__t23_ltlaxio32025-09-09 20:50 24K 
[ ]ltlaxio3__t23_ltlaxio3.depv12025-09-15 19:47 85  
[ ]ltlaxio3__t23_ltlaxio3.depvmin12025-09-15 19:52 85  
[ ]ltlaxio3__t23_ltlaxio3.vmin12025-09-15 19:47 1.3K 
[ ]ltlaxio3__t23_ltlaxio3.vmin1out2025-09-15 19:49 26K 
[ ]ltlaxio3__t23_ltlaxio3.vout2025-09-15 16:31 22K 
[ ]ltlaxio3__t24_ltlaxio32025-09-09 20:51 30K 
[ ]ltlaxio3__t24_ltlaxio3.vout2025-09-15 15:14 7.3K 
[ ]ltlaxio3__t25_ltlaxio32025-09-09 20:52 31K 
[ ]ltlaxio3__t25_ltlaxio3.vout2025-09-15 18:29 7.3K 
[ ]ltlaxio3__t26_ltlaxio32025-09-09 20:54 33K 
[ ]ltlaxio3__t26_ltlaxio3.vout2025-09-15 14:43 7.3K 
[ ]ltlaxio3__t27_ltlaxio32025-09-09 20:55 31K 
[ ]ltlaxio3__t27_ltlaxio3.depv12025-09-15 19:47 421  
[ ]ltlaxio3__t27_ltlaxio3.depvmin12025-09-15 19:52 408  
[ ]ltlaxio3__t27_ltlaxio3.vmin12025-09-15 19:47 4.0K 
[ ]ltlaxio3__t27_ltlaxio3.vmin1out2025-09-15 19:49 36K 
[ ]ltlaxio3__t27_ltlaxio3.vout2025-09-15 15:51 40K 
[ ]ltlaxio3__t28_ltlaxio32025-09-09 20:57 69K 
[ ]ltlaxio3__t28_ltlaxio3.vout2025-09-15 14:53 7.3K 
[ ]ltlaxio3__t29_ltlaxio32025-09-09 20:59 70K 
[ ]ltlaxio3__t29_ltlaxio3.vout2025-09-15 14:52 7.4K 
[ ]ltlaxio3__t30_ltlaxio32025-09-09 21:01 64K 
[ ]ltlaxio3__t30_ltlaxio3.vout2025-09-15 19:39 7.4K 
[ ]ltlaxio3__t31_ltlaxio32025-09-09 21:04 304K 
[ ]ltlaxio3__t31_ltlaxio3.vout2025-09-15 18:56 6.8K 
[ ]ltlaxio3__t32_ltlaxio32025-09-09 21:05 31K 
[ ]ltlaxio3__t32_ltlaxio3.depv12025-09-15 19:47 82  
[ ]ltlaxio3__t32_ltlaxio3.depvmin12025-09-15 19:52 82  
[ ]ltlaxio3__t32_ltlaxio3.vmin12025-09-15 19:47 1.1K 
[ ]ltlaxio3__t32_ltlaxio3.vmin1out2025-09-15 19:50 7.7K 
[ ]ltlaxio3__t32_ltlaxio3.vout2025-09-15 17:31 10K 
[ ]ltlaxio3__t33_ltlaxio32025-09-09 21:07 63K 
[ ]ltlaxio3__t33_ltlaxio3.vout2025-09-15 18:14 6.8K 
[ ]ltlaxio3__t34_ltlaxio32025-09-09 21:10 90K 
[ ]ltlaxio3__t34_ltlaxio3.vout2025-09-15 17:49 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80