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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]latquasi__l5_latquasi2024-07-28 18:56 9.3K 
[ ]latquasi__l5_latquasi.depv12024-08-03 10:19 255  
[ ]latquasi__l5_latquasi.depvmin12024-08-03 10:24 96  
[ ]latquasi__l5_latquasi.vmin12024-08-03 10:19 1.8K 
[ ]latquasi__l5_latquasi.vmin1out2024-08-03 10:23 8.0K 
[ ]latquasi__l5_latquasi.vout2024-08-03 09:13 15K 
[ ]latquasi__l20_latquasi2024-07-28 18:57 28K 
[ ]latquasi__l20_latquasi.vout2024-08-03 05:25 3.1K 
[ ]latquasi__l24_latquasi2024-07-28 18:58 28K 
[ ]latquasi__l24_latquasi.vout2024-08-03 07:34 2.0K 
[ ]latquasi__l27_latquasi2024-07-28 19:00 28K 
[ ]latquasi__l27_latquasi.vout2024-08-03 09:03 2.0K 
[ ]latquasi__l29_latquasi2024-07-28 19:01 27K 
[ ]latquasi__l29_latquasi.vout2024-08-03 08:32 2.0K 
[ ]latquasi__l32_latquasi2024-07-28 19:03 29K 
[ ]latquasi__l32_latquasi.vout2024-08-03 04:17 2.0K 
[ ]latquasi__l35_latquasi2024-07-28 19:04 29K 
[ ]latquasi__l35_latquasi.vout2024-08-03 04:47 2.0K 
[ ]latquasi__t1_latquasi2024-07-28 18:09 16K 
[ ]latquasi__t1_latquasi.depv12024-08-03 10:19 162  
[ ]latquasi__t1_latquasi.depvmin12024-08-03 10:24 170  
[ ]latquasi__t1_latquasi.vmin12024-08-03 10:19 2.5K 
[ ]latquasi__t1_latquasi.vmin1out2024-08-03 10:20 33K 
[ ]latquasi__t1_latquasi.vout2024-08-03 05:23 30K 
[ ]latquasi__t2_latquasi2024-07-28 18:11 28K 
[ ]latquasi__t2_latquasi.vout2024-08-03 07:16 4.1K 
[ ]latquasi__t3_latquasi2024-07-28 18:12 28K 
[ ]latquasi__t3_latquasi.vout2024-08-03 07:36 4.1K 
[ ]latquasi__t4_latquasi2024-07-28 18:15 25K 
[ ]latquasi__t4_latquasi.vout2024-08-03 05:04 2.0K 
[ ]latquasi__t5_latquasi2024-07-28 18:16 26K 
[ ]latquasi__t5_latquasi.vout2024-08-03 04:21 3.7K 
[ ]latquasi__t6_latquasi2024-07-28 18:18 25K 
[ ]latquasi__t6_latquasi.vout2024-08-03 06:18 2.0K 
[ ]latquasi__t7_latquasi2024-07-28 18:19 27K 
[ ]latquasi__t7_latquasi.vout2024-08-03 04:37 3.1K 
[ ]latquasi__t8_latquasi2024-07-28 18:38 25K 
[ ]latquasi__t8_latquasi.vout2024-08-03 04:25 3.7K 
[ ]latquasi__t9_latquasi2024-07-28 18:40 25K 
[ ]latquasi__t9_latquasi.vout2024-08-03 07:07 3.7K 
[ ]latquasi__t10_latquasi2024-07-28 18:43 25K 
[ ]latquasi__t10_latquasi.vout2024-08-03 07:55 3.7K 
[ ]latquasi__t11_latquasi2024-07-28 18:45 25K 
[ ]latquasi__t11_latquasi.vout2024-08-03 04:49 3.7K 
[ ]latquasi__t12_latquasi2024-07-28 18:50 25K 
[ ]latquasi__t12_latquasi.vout2024-08-03 07:13 3.7K 
[ ]latquasi__t13_latquasi2024-07-28 18:53 25K 
[ ]latquasi__t13_latquasi.vout2024-08-03 04:15 3.7K 
[ ]latquasi__t14_latquasi2024-07-28 18:55 30K 
[ ]latquasi__t14_latquasi.vout2024-08-03 06:06 4.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80