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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ltlaxio4__t1_ltlaxio42025-09-09 09:26 34K 
[ ]ltlaxio4__t1_ltlaxio4.vout2025-09-15 17:28 7.3K 
[ ]ltlaxio4__t2_ltlaxio42025-09-09 09:27 25K 
[ ]ltlaxio4__t2_ltlaxio4.depv12025-09-15 19:47 131  
[ ]ltlaxio4__t2_ltlaxio4.depvmin12025-09-15 19:51 131  
[ ]ltlaxio4__t2_ltlaxio4.vmin12025-09-15 19:47 1.0K 
[ ]ltlaxio4__t2_ltlaxio4.vmin1out2025-09-15 19:51 12K 
[ ]ltlaxio4__t2_ltlaxio4.vout2025-09-15 16:18 12K 
[ ]ltlaxio4__t3_ltlaxio42025-09-09 09:28 28K 
[ ]ltlaxio4__t3_ltlaxio4.vout2025-09-15 14:41 7.3K 
[ ]ltlaxio4__t4_ltlaxio42025-09-09 09:30 27K 
[ ]ltlaxio4__t4_ltlaxio4.vout2025-09-15 15:29 2.0K 
[ ]ltlaxio4__t5_ltlaxio42025-09-09 09:31 54K 
[ ]ltlaxio4__t5_ltlaxio4.vout2025-09-15 15:09 7.3K 
[ ]ltlaxio4__t6_ltlaxio42025-09-09 09:33 66K 
[ ]ltlaxio4__t6_ltlaxio4.vout2025-09-15 17:21 3.7K 
[ ]ltlaxio4__t7_ltlaxio42025-09-09 09:35 32K 
[ ]ltlaxio4__t7_ltlaxio4.vout2025-09-15 13:38 2.0K 
[ ]ltlaxio4__t8_ltlaxio42025-09-09 09:36 31K 
[ ]ltlaxio4__t8_ltlaxio4.depv12025-09-15 19:47 54  
[ ]ltlaxio4__t8_ltlaxio4.depvmin12025-09-15 19:51 54  
[ ]ltlaxio4__t8_ltlaxio4.vmin12025-09-15 19:47 1.1K 
[ ]ltlaxio4__t8_ltlaxio4.vmin1out2025-09-15 19:50 14K 
[ ]ltlaxio4__t8_ltlaxio4.vout2025-09-15 14:09 16K 
[ ]ltlaxio4__t9_ltlaxio42025-09-09 09:38 32K 
[ ]ltlaxio4__t9_ltlaxio4.vout2025-09-15 18:55 3.7K 
[ ]ltlaxio4__t10_ltlaxio42025-09-09 09:39 31K 
[ ]ltlaxio4__t10_ltlaxio4.vout2025-09-15 14:18 6.8K 
[ ]ltlaxio4__t11_ltlaxio42025-09-09 09:41 32K 
[ ]ltlaxio4__t11_ltlaxio4.vout2025-09-15 14:49 5.3K 
[ ]ltlaxio4__t12_ltlaxio42025-09-09 09:42 40K 
[ ]ltlaxio4__t12_ltlaxio4.vout2025-09-15 16:24 4.8K 
[ ]ltlaxio4__t13_ltlaxio42025-09-09 09:24 30K 
[ ]ltlaxio4__t13_ltlaxio4.vout2025-09-15 17:47 2.0K 
[ ]ltlaxio4__t14_ltlaxio42025-09-09 09:44 26K 
[ ]ltlaxio4__t14_ltlaxio4.depv12025-09-15 19:47 109  
[ ]ltlaxio4__t14_ltlaxio4.depvmin12025-09-15 19:51 109  
[ ]ltlaxio4__t14_ltlaxio4.vmin12025-09-15 19:47 1.6K 
[ ]ltlaxio4__t14_ltlaxio4.vmin1out2025-09-15 19:49 20K 
[ ]ltlaxio4__t14_ltlaxio4.vout2025-09-15 17:48 20K 
[ ]ltlaxio4__t15_ltlaxio42025-09-09 09:45 35K 
[ ]ltlaxio4__t15_ltlaxio4.vout2025-09-15 19:24 3.7K 
[ ]ltlaxio4__t16_ltlaxio42025-09-09 09:49 95K 
[ ]ltlaxio4__t16_ltlaxio4.vout2025-09-15 17:39 3.7K 
[ ]ltlaxio4__t17_ltlaxio42025-09-09 09:51 93K 
[ ]ltlaxio4__t17_ltlaxio4.vout2025-09-15 13:44 3.7K 
[ ]ltlaxio4__t18_ltlaxio42025-09-09 09:53 44K 
[ ]ltlaxio4__t18_ltlaxio4.vout2025-09-15 16:07 7.3K 
[ ]ltlaxio4__t19_ltlaxio42025-09-09 09:55 37K 
[ ]ltlaxio4__t19_ltlaxio4.vout2025-09-15 18:26 6.8K 
[ ]ltlaxio4__t20_ltlaxio42025-09-09 09:57 38K 
[ ]ltlaxio4__t20_ltlaxio4.depv12025-09-15 19:47 160  
[ ]ltlaxio4__t20_ltlaxio4.depvmin12025-09-15 19:51 160  
[ ]ltlaxio4__t20_ltlaxio4.vmin12025-09-15 19:47 2.5K 
[ ]ltlaxio4__t20_ltlaxio4.vmin1out2025-09-15 19:48 22K 
[ ]ltlaxio4__t20_ltlaxio4.vout2025-09-15 16:54 25K 
[ ]ltlaxio4__t21_ltlaxio42025-09-09 09:58 38K 
[ ]ltlaxio4__t21_ltlaxio4.vout2025-09-15 17:54 7.3K 
[ ]ltlaxio4__t22_ltlaxio42025-09-09 10:00 38K 
[ ]ltlaxio4__t22_ltlaxio4.vout2025-09-15 14:58 7.3K 
[ ]ltlaxio4__t23_ltlaxio42025-09-09 10:02 44K 
[ ]ltlaxio4__t23_ltlaxio4.vout2025-09-15 16:00 3.7K 
[ ]ltlaxio4__t24_ltlaxio42025-09-09 10:04 47K 
[ ]ltlaxio4__t24_ltlaxio4.vout2025-09-15 18:59 6.8K 
[ ]ltlaxio4__t25_ltlaxio42025-09-09 10:06 47K 
[ ]ltlaxio4__t25_ltlaxio4.vout2025-09-15 15:21 7.3K 
[ ]ltlaxio4__t26_ltlaxio42025-09-09 10:08 51K 
[ ]ltlaxio4__t26_ltlaxio4.vout2025-09-15 18:38 6.8K 
[ ]ltlaxio4__t27_ltlaxio42025-09-09 10:10 56K 
[ ]ltlaxio4__t27_ltlaxio4.vout2025-09-15 14:37 3.7K 
[ ]ltlaxio4__t28_ltlaxio42025-09-09 10:12 53K 
[ ]ltlaxio4__t28_ltlaxio4.vout2025-09-15 14:50 4.2K 
[ ]ltlaxio4__t29_ltlaxio42025-09-09 10:14 52K 
[ ]ltlaxio4__t29_ltlaxio4.vout2025-09-15 19:42 7.3K 
[ ]ltlaxio4__t30_ltlaxio42025-09-09 10:16 74K 
[ ]ltlaxio4__t30_ltlaxio4.vout2025-09-15 16:06 6.8K 
[ ]ltlaxio4__t31_ltlaxio42025-09-09 10:18 58K 
[ ]ltlaxio4__t31_ltlaxio4.vout2025-09-15 16:07 4.2K 
[ ]ltlaxio4__t32_ltlaxio42025-09-09 10:21 63K 
[ ]ltlaxio4__t32_ltlaxio4.vout2025-09-15 13:41 3.7K 
[ ]ltlaxio4__t33_ltlaxio42025-09-09 10:23 80K 
[ ]ltlaxio4__t33_ltlaxio4.vout2025-09-15 15:05 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80