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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prvect_1__l3_prvect_12024-07-28 18:13 30K 
[ ]prvect_1__l3_prvect_1.vout2024-08-03 06:00 7.3K 
[ ]prvect_1__l5_prvect_12024-07-28 17:46 21K 
[ ]prvect_1__l5_prvect_1.vout2024-08-03 09:25 3.7K 
[ ]prvect_1__l6_prvect_12024-07-28 17:47 23K 
[ ]prvect_1__l6_prvect_1.vout2024-08-03 07:13 2.0K 
[ ]prvect_1__l7_prvect_12024-07-28 18:15 27K 
[ ]prvect_1__l7_prvect_1.vout2024-08-03 04:24 3.7K 
[ ]prvect_1__l10_prvect_12024-07-28 18:16 29K 
[ ]prvect_1__l10_prvect_1.vout2024-08-03 05:23 3.7K 
[ ]prvect_1__t1_prvect_12024-07-28 17:48 25K 
[ ]prvect_1__t1_prvect_1.vout2024-08-03 04:35 2.0K 
[ ]prvect_1__t2_prvect_12024-07-28 17:50 30K 
[ ]prvect_1__t2_prvect_1.vout2024-08-03 09:40 7.3K 
[ ]prvect_1__t3_prvect_12024-07-28 17:51 27K 
[ ]prvect_1__t3_prvect_1.vout2024-08-03 06:12 7.9K 
[ ]prvect_1__t4_prvect_12024-07-28 17:52 28K 
[ ]prvect_1__t4_prvect_1.vout2024-08-03 05:16 3.7K 
[ ]prvect_1__t5_prvect_12024-07-28 17:54 29K 
[ ]prvect_1__t5_prvect_1.vout2024-08-03 04:48 3.7K 
[ ]prvect_1__t6_prvect_12024-07-28 17:55 28K 
[ ]prvect_1__t6_prvect_1.vout2024-08-03 06:28 4.1K 
[ ]prvect_1__t7_prvect_12024-07-28 17:56 28K 
[ ]prvect_1__t7_prvect_1.vout2024-08-03 07:28 4.1K 
[ ]prvect_1__t8_prvect_12024-07-28 17:57 31K 
[ ]prvect_1__t8_prvect_1.vout2024-08-03 05:42 4.1K 
[ ]prvect_1__t9_prvect_12024-07-28 17:59 36K 
[ ]prvect_1__t9_prvect_1.vout2024-08-03 08:20 4.1K 
[ ]prvect_1__t10_prvect_12024-07-28 18:00 40K 
[ ]prvect_1__t10_prvect_1.vout2024-08-03 08:03 6.8K 
[ ]prvect_1__t11_prvect_12024-07-28 18:01 24K 
[ ]prvect_1__t11_prvect_1.vout2024-08-03 07:39 2.0K 
[ ]prvect_1__t12_prvect_12024-07-28 18:02 24K 
[ ]prvect_1__t12_prvect_1.vout2024-08-03 06:47 2.0K 
[ ]prvect_1__t13_prvect_12024-07-28 18:03 26K 
[ ]prvect_1__t13_prvect_1.vout2024-08-03 07:50 4.1K 
[ ]prvect_1__t14_prvect_12024-07-28 18:04 30K 
[ ]prvect_1__t14_prvect_1.vout2024-08-03 08:23 7.4K 
[ ]prvect_1__t15_prvect_12024-07-28 18:06 29K 
[ ]prvect_1__t15_prvect_1.vout2024-08-03 06:22 7.3K 
[ ]prvect_1__t16_prvect_12024-07-28 18:07 26K 
[ ]prvect_1__t16_prvect_1.vout2024-08-03 05:54 4.1K 
[ ]prvect_1__t17_prvect_12024-07-28 18:08 27K 
[ ]prvect_1__t17_prvect_1.vout2024-08-03 05:15 4.1K 
[ ]prvect_1__t18_prvect_12024-07-28 18:09 27K 
[ ]prvect_1__t18_prvect_1.vout2024-08-03 07:02 4.1K 
[ ]prvect_1__t19_prvect_12024-07-28 18:10 27K 
[ ]prvect_1__t19_prvect_1.vout2024-08-03 09:22 7.3K 
[ ]prvect_1__t20_prvect_12024-07-28 18:12 32K 
[ ]prvect_1__t20_prvect_1.vout2024-08-03 05:54 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80