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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]latquasi__l5_latquasi2025-09-08 06:37 9.3K 
[ ]latquasi__l5_latquasi.depv12025-09-15 19:47 255  
[ ]latquasi__l5_latquasi.depvmin12025-09-15 19:52 96  
[ ]latquasi__l5_latquasi.vmin12025-09-15 19:47 1.8K 
[ ]latquasi__l5_latquasi.vmin1out2025-09-15 19:48 8.0K 
[ ]latquasi__l5_latquasi.vout2025-09-15 13:36 15K 
[ ]latquasi__l20_latquasi2025-09-08 06:38 28K 
[ ]latquasi__l20_latquasi.vout2025-09-15 17:27 3.1K 
[ ]latquasi__l24_latquasi2025-09-08 06:40 28K 
[ ]latquasi__l24_latquasi.vout2025-09-15 18:31 2.0K 
[ ]latquasi__l27_latquasi2025-09-08 06:41 28K 
[ ]latquasi__l27_latquasi.vout2025-09-15 16:53 2.0K 
[ ]latquasi__l29_latquasi2025-09-08 06:43 27K 
[ ]latquasi__l29_latquasi.vout2025-09-15 14:34 2.0K 
[ ]latquasi__l32_latquasi2025-09-08 06:44 29K 
[ ]latquasi__l32_latquasi.vout2025-09-15 14:50 2.0K 
[ ]latquasi__l35_latquasi2025-09-08 06:46 29K 
[ ]latquasi__l35_latquasi.vout2025-09-15 18:19 2.0K 
[ ]latquasi__t1_latquasi2025-09-08 05:49 16K 
[ ]latquasi__t1_latquasi.depv12025-09-15 19:47 162  
[ ]latquasi__t1_latquasi.depvmin12025-09-15 19:52 170  
[ ]latquasi__t1_latquasi.vmin12025-09-15 19:47 2.5K 
[ ]latquasi__t1_latquasi.vmin1out2025-09-15 19:49 33K 
[ ]latquasi__t1_latquasi.vout2025-09-15 18:03 30K 
[ ]latquasi__t2_latquasi2025-09-08 05:50 28K 
[ ]latquasi__t2_latquasi.vout2025-09-15 13:59 4.1K 
[ ]latquasi__t3_latquasi2025-09-08 05:52 28K 
[ ]latquasi__t3_latquasi.vout2025-09-15 16:30 4.1K 
[ ]latquasi__t4_latquasi2025-09-08 05:54 25K 
[ ]latquasi__t4_latquasi.vout2025-09-15 18:51 2.0K 
[ ]latquasi__t5_latquasi2025-09-08 05:56 26K 
[ ]latquasi__t5_latquasi.vout2025-09-15 13:27 3.7K 
[ ]latquasi__t6_latquasi2025-09-08 05:58 25K 
[ ]latquasi__t6_latquasi.vout2025-09-15 15:14 2.0K 
[ ]latquasi__t7_latquasi2025-09-08 05:59 27K 
[ ]latquasi__t7_latquasi.vout2025-09-15 14:29 3.1K 
[ ]latquasi__t8_latquasi2025-09-08 06:19 25K 
[ ]latquasi__t8_latquasi.vout2025-09-15 18:35 3.7K 
[ ]latquasi__t9_latquasi2025-09-08 06:21 25K 
[ ]latquasi__t9_latquasi.vout2025-09-15 16:00 3.7K 
[ ]latquasi__t10_latquasi2025-09-08 06:24 25K 
[ ]latquasi__t10_latquasi.vout2025-09-15 18:49 3.7K 
[ ]latquasi__t11_latquasi2025-09-08 06:26 25K 
[ ]latquasi__t11_latquasi.vout2025-09-15 13:38 3.7K 
[ ]latquasi__t12_latquasi2025-09-08 06:31 25K 
[ ]latquasi__t12_latquasi.vout2025-09-15 16:48 3.7K 
[ ]latquasi__t13_latquasi2025-09-08 06:35 25K 
[ ]latquasi__t13_latquasi.vout2025-09-15 13:35 3.7K 
[ ]latquasi__t14_latquasi2025-09-08 06:36 30K 
[ ]latquasi__t14_latquasi.vout2025-09-15 17:10 4.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80