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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ckspace1__l18_ckspace12024-07-26 18:03 40K 
[ ]ckspace1__l18_ckspace1.vout2024-08-03 05:44 3.7K 
[ ]ckspace1__l19_ckspace12024-07-26 18:04 33K 
[ ]ckspace1__l19_ckspace1.depv12024-08-03 10:19 383  
[ ]ckspace1__l19_ckspace1.depvmin12024-08-03 10:24 269  
[ ]ckspace1__l19_ckspace1.vmin12024-08-03 10:20 3.7K 
[ ]ckspace1__l19_ckspace1.vmin1out2024-08-03 10:22 37K 
[ ]ckspace1__l19_ckspace1.vout2024-08-03 09:10 50K 
[ ]ckspace1__t1_ckspace12024-07-26 17:15 63K 
[ ]ckspace1__t1_ckspace1.vout2024-08-03 06:30 4.7K 
[ ]ckspace1__t2_ckspace12024-07-26 17:17 64K 
[ ]ckspace1__t2_ckspace1.vout2024-08-03 06:41 3.7K 
[ ]ckspace1__t3_ckspace12024-07-26 17:20 65K 
[ ]ckspace1__t3_ckspace1.vout2024-08-03 04:31 4.2K 
[ ]ckspace1__t4_ckspace12024-07-26 17:22 58K 
[ ]ckspace1__t4_ckspace1.vout2024-08-03 04:58 7.3K 
[ ]ckspace1__t5_ckspace12024-07-26 17:24 53K 
[ ]ckspace1__t5_ckspace1.vout2024-08-03 04:56 7.3K 
[ ]ckspace1__t6_ckspace12024-07-26 17:26 57K 
[ ]ckspace1__t6_ckspace1.vout2024-08-03 09:51 7.3K 
[ ]ckspace1__t7_ckspace12024-07-26 17:28 71K 
[ ]ckspace1__t7_ckspace1.vout2024-08-03 07:52 3.7K 
[ ]ckspace1__t8_ckspace12024-07-26 17:11 49K 
[ ]ckspace1__t8_ckspace1.depv12024-08-03 10:19 128  
[ ]ckspace1__t8_ckspace1.depvmin12024-08-03 10:24 128  
[ ]ckspace1__t8_ckspace1.vmin12024-08-03 10:20 2.1K 
[ ]ckspace1__t8_ckspace1.vmin1out2024-08-03 10:23 24K 
[ ]ckspace1__t8_ckspace1.vout2024-08-03 09:35 39K 
[ ]ckspace1__t9_ckspace12024-07-26 17:30 60K 
[ ]ckspace1__t9_ckspace1.vout2024-08-03 04:54 6.8K 
[ ]ckspace1__t10_ckspace12024-07-26 17:13 38K 
[ ]ckspace1__t10_ckspace1.depv12024-08-03 10:19 156  
[ ]ckspace1__t10_ckspace1.depvmin12024-08-03 10:24 156  
[ ]ckspace1__t10_ckspace1.vmin12024-08-03 10:20 2.3K 
[ ]ckspace1__t10_ckspace1.vmin1out2024-08-03 10:22 45K 
[ ]ckspace1__t10_ckspace1.vout2024-08-03 09:40 39K 
[ ]ckspace1__t11_ckspace12024-07-26 17:33 86K 
[ ]ckspace1__t11_ckspace1.vout2024-08-03 05:03 3.7K 
[ ]ckspace1__t12_ckspace12024-07-26 17:36 70K 
[ ]ckspace1__t12_ckspace1.vout2024-08-03 08:35 3.7K 
[ ]ckspace1__t13_ckspace12024-07-26 17:37 48K 
[ ]ckspace1__t13_ckspace1.vout2024-08-03 04:15 4.7K 
[ ]ckspace1__t14_ckspace12024-07-26 17:39 42K 
[ ]ckspace1__t14_ckspace1.vout2024-08-03 09:13 6.8K 
[ ]ckspace1__t15_ckspace12024-07-26 17:41 55K 
[ ]ckspace1__t15_ckspace1.vout2024-08-03 08:23 6.8K 
[ ]ckspace1__t16_ckspace12024-07-26 17:43 55K 
[ ]ckspace1__t16_ckspace1.vout2024-08-03 08:13 4.7K 
[ ]ckspace1__t17_ckspace12024-07-26 17:45 52K 
[ ]ckspace1__t17_ckspace1.vout2024-08-03 09:39 3.7K 
[ ]ckspace1__t18_ckspace12024-07-26 17:47 68K 
[ ]ckspace1__t18_ckspace1.vout2024-08-03 05:58 3.7K 
[ ]ckspace1__t19_ckspace12024-07-26 17:49 49K 
[ ]ckspace1__t19_ckspace1.vout2024-08-03 06:09 4.2K 
[ ]ckspace1__t20_ckspace12024-07-26 17:51 62K 
[ ]ckspace1__t20_ckspace1.vout2024-08-03 05:47 3.7K 
[ ]ckspace1__t21_ckspace12024-07-26 17:54 59K 
[ ]ckspace1__t21_ckspace1.vout2024-08-03 09:32 3.7K 
[ ]ckspace1__t22_ckspace12024-07-26 17:57 62K 
[ ]ckspace1__t22_ckspace1.vout2024-08-03 08:08 3.7K 
[ ]ckspace1__t23_ckspace12024-07-26 17:59 56K 
[ ]ckspace1__t23_ckspace1.vout2024-08-03 06:52 7.3K 
[ ]ckspace1__t24_ckspace12024-07-26 18:01 56K 
[ ]ckspace1__t24_ckspace1.vout2024-08-03 08:48 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80