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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ltlaxio4__t1_ltlaxio42024-07-27 19:45 34K 
[ ]ltlaxio4__t1_ltlaxio4.vout2024-08-03 04:34 7.3K 
[ ]ltlaxio4__t2_ltlaxio42024-07-27 19:46 25K 
[ ]ltlaxio4__t2_ltlaxio4.depv12024-08-03 10:19 131  
[ ]ltlaxio4__t2_ltlaxio4.depvmin12024-08-03 10:24 131  
[ ]ltlaxio4__t2_ltlaxio4.vmin12024-08-03 10:19 1.0K 
[ ]ltlaxio4__t2_ltlaxio4.vmin1out2024-08-03 10:22 12K 
[ ]ltlaxio4__t2_ltlaxio4.vout2024-08-03 09:44 12K 
[ ]ltlaxio4__t3_ltlaxio42024-07-27 19:47 28K 
[ ]ltlaxio4__t3_ltlaxio4.vout2024-08-03 07:30 7.3K 
[ ]ltlaxio4__t4_ltlaxio42024-07-27 19:48 27K 
[ ]ltlaxio4__t4_ltlaxio4.vout2024-08-03 07:45 2.0K 
[ ]ltlaxio4__t5_ltlaxio42024-07-27 19:50 54K 
[ ]ltlaxio4__t5_ltlaxio4.vout2024-08-03 09:02 7.3K 
[ ]ltlaxio4__t6_ltlaxio42024-07-27 19:52 66K 
[ ]ltlaxio4__t6_ltlaxio4.vout2024-08-03 08:48 3.6K 
[ ]ltlaxio4__t7_ltlaxio42024-07-27 19:53 32K 
[ ]ltlaxio4__t7_ltlaxio4.vout2024-08-03 08:58 2.0K 
[ ]ltlaxio4__t8_ltlaxio42024-07-27 19:55 31K 
[ ]ltlaxio4__t8_ltlaxio4.depv12024-08-03 10:19 54  
[ ]ltlaxio4__t8_ltlaxio4.depvmin12024-08-03 10:24 54  
[ ]ltlaxio4__t8_ltlaxio4.vmin12024-08-03 10:19 1.1K 
[ ]ltlaxio4__t8_ltlaxio4.vmin1out2024-08-03 10:20 14K 
[ ]ltlaxio4__t8_ltlaxio4.vout2024-08-03 08:57 16K 
[ ]ltlaxio4__t9_ltlaxio42024-07-27 19:56 32K 
[ ]ltlaxio4__t9_ltlaxio4.vout2024-08-03 09:45 3.7K 
[ ]ltlaxio4__t10_ltlaxio42024-07-27 19:57 31K 
[ ]ltlaxio4__t10_ltlaxio4.vout2024-08-03 07:23 6.8K 
[ ]ltlaxio4__t11_ltlaxio42024-07-27 19:59 32K 
[ ]ltlaxio4__t11_ltlaxio4.vout2024-08-03 07:38 5.3K 
[ ]ltlaxio4__t12_ltlaxio42024-07-27 20:00 40K 
[ ]ltlaxio4__t12_ltlaxio4.vout2024-08-03 07:03 4.8K 
[ ]ltlaxio4__t13_ltlaxio42024-07-27 19:43 30K 
[ ]ltlaxio4__t13_ltlaxio4.vout2024-08-03 04:15 2.0K 
[ ]ltlaxio4__t14_ltlaxio42024-07-27 20:01 26K 
[ ]ltlaxio4__t14_ltlaxio4.depv12024-08-03 10:19 109  
[ ]ltlaxio4__t14_ltlaxio4.depvmin12024-08-03 10:24 109  
[ ]ltlaxio4__t14_ltlaxio4.vmin12024-08-03 10:19 1.6K 
[ ]ltlaxio4__t14_ltlaxio4.vmin1out2024-08-03 10:22 20K 
[ ]ltlaxio4__t14_ltlaxio4.vout2024-08-03 07:24 20K 
[ ]ltlaxio4__t15_ltlaxio42024-07-27 20:03 35K 
[ ]ltlaxio4__t15_ltlaxio4.vout2024-08-03 04:43 3.7K 
[ ]ltlaxio4__t16_ltlaxio42024-07-27 20:06 95K 
[ ]ltlaxio4__t16_ltlaxio4.vout2024-08-03 07:13 3.7K 
[ ]ltlaxio4__t17_ltlaxio42024-07-27 20:09 93K 
[ ]ltlaxio4__t17_ltlaxio4.vout2024-08-03 05:27 3.7K 
[ ]ltlaxio4__t18_ltlaxio42024-07-27 20:11 44K 
[ ]ltlaxio4__t18_ltlaxio4.vout2024-08-03 08:27 6.8K 
[ ]ltlaxio4__t19_ltlaxio42024-07-27 20:12 37K 
[ ]ltlaxio4__t19_ltlaxio4.vout2024-08-03 09:38 7.3K 
[ ]ltlaxio4__t20_ltlaxio42024-07-27 20:14 38K 
[ ]ltlaxio4__t20_ltlaxio4.depv12024-08-03 10:19 160  
[ ]ltlaxio4__t20_ltlaxio4.depvmin12024-08-03 10:24 160  
[ ]ltlaxio4__t20_ltlaxio4.vmin12024-08-03 10:19 2.5K 
[ ]ltlaxio4__t20_ltlaxio4.vmin1out2024-08-03 10:20 22K 
[ ]ltlaxio4__t20_ltlaxio4.vout2024-08-03 05:34 25K 
[ ]ltlaxio4__t21_ltlaxio42024-07-27 20:16 38K 
[ ]ltlaxio4__t21_ltlaxio4.vout2024-08-03 09:30 7.3K 
[ ]ltlaxio4__t22_ltlaxio42024-07-27 20:17 38K 
[ ]ltlaxio4__t22_ltlaxio4.vout2024-08-03 07:06 7.3K 
[ ]ltlaxio4__t23_ltlaxio42024-07-27 20:19 44K 
[ ]ltlaxio4__t23_ltlaxio4.vout2024-08-03 06:56 4.2K 
[ ]ltlaxio4__t24_ltlaxio42024-07-27 20:21 47K 
[ ]ltlaxio4__t24_ltlaxio4.vout2024-08-03 06:02 6.8K 
[ ]ltlaxio4__t25_ltlaxio42024-07-27 20:23 47K 
[ ]ltlaxio4__t25_ltlaxio4.vout2024-08-03 06:24 6.8K 
[ ]ltlaxio4__t26_ltlaxio42024-07-27 20:25 51K 
[ ]ltlaxio4__t26_ltlaxio4.vout2024-08-03 06:44 6.8K 
[ ]ltlaxio4__t27_ltlaxio42024-07-27 20:27 56K 
[ ]ltlaxio4__t27_ltlaxio4.vout2024-08-03 06:10 3.7K 
[ ]ltlaxio4__t28_ltlaxio42024-07-27 20:29 53K 
[ ]ltlaxio4__t28_ltlaxio4.vout2024-08-03 07:50 4.2K 
[ ]ltlaxio4__t29_ltlaxio42024-07-27 20:31 52K 
[ ]ltlaxio4__t29_ltlaxio4.vout2024-08-03 06:46 7.3K 
[ ]ltlaxio4__t30_ltlaxio42024-07-27 20:33 74K 
[ ]ltlaxio4__t30_ltlaxio4.vout2024-08-03 08:15 6.8K 
[ ]ltlaxio4__t31_ltlaxio42024-07-27 20:35 58K 
[ ]ltlaxio4__t31_ltlaxio4.vout2024-08-03 08:53 3.7K 
[ ]ltlaxio4__t32_ltlaxio42024-07-27 20:37 63K 
[ ]ltlaxio4__t32_ltlaxio4.vout2024-08-03 06:58 3.7K 
[ ]ltlaxio4__t33_ltlaxio42024-07-27 20:40 80K 
[ ]ltlaxio4__t33_ltlaxio4.vout2024-08-03 09:28 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80