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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]extens_1__l1_extens_12024-07-28 06:57 12K 
[ ]extens_1__l1_extens_1.depv12024-08-03 10:19 153  
[ ]extens_1__l1_extens_1.depvmin12024-08-03 10:24 131  
[ ]extens_1__l1_extens_1.vmin12024-08-03 10:19 2.3K 
[ ]extens_1__l1_extens_1.vmin1out2024-08-03 10:20 65K 
[ ]extens_1__l1_extens_1.vout2024-08-03 07:03 54K 
[ ]extens_1__t1_extens_12024-07-28 06:36 20K 
[ ]extens_1__t1_extens_1.vout2024-08-03 09:53 6.2K 
[ ]extens_1__t2_extens_12024-07-28 06:37 14K 
[ ]extens_1__t2_extens_1.vout2024-08-03 07:14 7.3K 
[ ]extens_1__t3_extens_12024-07-28 06:38 20K 
[ ]extens_1__t3_extens_1.vout2024-08-03 08:27 6.2K 
[ ]extens_1__t4_extens_12024-07-28 06:39 23K 
[ ]extens_1__t4_extens_1.vout2024-08-03 04:09 4.7K 
[ ]extens_1__t5_extens_12024-07-28 06:40 14K 
[ ]extens_1__t5_extens_1.vout2024-08-03 04:54 7.3K 
[ ]extens_1__t6_extens_12024-07-28 06:40 17K 
[ ]extens_1__t6_extens_1.vout2024-08-03 08:47 7.3K 
[ ]extens_1__t7_extens_12024-07-28 06:41 21K 
[ ]extens_1__t7_extens_1.vout2024-08-03 05:54 7.3K 
[ ]extens_1__t8_extens_12024-07-28 06:42 21K 
[ ]extens_1__t8_extens_1.vout2024-08-03 09:31 7.3K 
[ ]extens_1__t9_extens_12024-07-28 06:43 16K 
[ ]extens_1__t9_extens_1.vout2024-08-03 07:46 4.7K 
[ ]extens_1__t10_extens_12024-07-28 06:45 42K 
[ ]extens_1__t10_extens_1.vout2024-08-03 09:00 5.3K 
[ ]extens_1__t11_extens_12024-07-28 06:46 27K 
[ ]extens_1__t11_extens_1.vout2024-08-03 06:53 4.7K 
[ ]extens_1__t12_extens_12024-07-28 06:47 26K 
[ ]extens_1__t12_extens_1.vout2024-08-03 07:04 5.8K 
[ ]extens_1__t13_extens_12024-07-28 06:49 23K 
[ ]extens_1__t13_extens_1.vout2024-08-03 08:14 4.7K 
[ ]extens_1__t14_extens_12024-07-28 06:50 36K 
[ ]extens_1__t14_extens_1.vout2024-08-03 06:45 4.7K 
[ ]extens_1__t15_extens_12024-07-28 06:35 19K 
[ ]extens_1__t15_extens_1.vout2024-08-03 09:15 5.8K 
[ ]extens_1__t16_extens_12024-07-28 06:52 48K 
[ ]extens_1__t16_extens_1.vout2024-08-03 08:48 4.7K 
[ ]extens_1__t17_extens_12024-07-28 06:53 22K 
[ ]extens_1__t17_extens_1.depv12024-08-03 10:19 152  
[ ]extens_1__t17_extens_1.depvmin12024-08-03 10:24 152  
[ ]extens_1__t17_extens_1.vmin12024-08-03 10:19 2.8K 
[ ]extens_1__t17_extens_1.vmin1out2024-08-03 10:22 66K 
[ ]extens_1__t17_extens_1.vout2024-08-03 06:45 52K 
[ ]extens_1__t18_extens_12024-07-28 06:55 23K 
[ ]extens_1__t18_extens_1.depv12024-08-03 10:19 215  
[ ]extens_1__t18_extens_1.depvmin12024-08-03 10:24 178  
[ ]extens_1__t18_extens_1.vmin12024-08-03 10:19 3.4K 
[ ]extens_1__t18_extens_1.vmin1out2024-08-03 10:22 28K 
[ ]extens_1__t18_extens_1.vout2024-08-03 08:33 79K 
[ ]extens_1__t19_extens_12024-07-28 06:56 47K 
[ ]extens_1__t19_extens_1.vout2024-08-03 09:44 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80