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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rsspace4__l1_rsspace42024-07-28 01:03 28K 
[ ]rsspace4__l1_rsspace4.vout2024-08-03 08:16 2.0K 
[ ]rsspace4__l2_rsspace42024-07-28 01:04 33K 
[ ]rsspace4__l2_rsspace4.vout2024-08-03 06:30 7.3K 
[ ]rsspace4__l4_rsspace42024-07-28 00:15 38K 
[ ]rsspace4__l4_rsspace4.depv12024-08-03 10:19 103  
[ ]rsspace4__l4_rsspace4.depvmin12024-08-03 10:24 103  
[ ]rsspace4__l4_rsspace4.vmin12024-08-03 10:19 1.3K 
[ ]rsspace4__l4_rsspace4.vmin1out2024-08-03 10:23 10K 
[ ]rsspace4__l4_rsspace4.vout2024-08-03 10:18 9.9K 
[ ]rsspace4__l5_rsspace42024-07-28 00:17 39K 
[ ]rsspace4__l5_rsspace4.depv12024-08-03 10:19 25  
[ ]rsspace4__l5_rsspace4.depvmin12024-08-03 10:24 25  
[ ]rsspace4__l5_rsspace4.vmin12024-08-03 10:19 2.6K 
[ ]rsspace4__l5_rsspace4.vmin1out2024-08-03 10:20 14K 
[ ]rsspace4__l5_rsspace4.vout2024-08-03 07:14 13K 
[ ]rsspace4__l7_rsspace42024-07-28 01:06 42K 
[ ]rsspace4__l7_rsspace4.vout2024-08-03 08:01 6.8K 
[ ]rsspace4__l8_rsspace42024-07-28 01:07 36K 
[ ]rsspace4__l8_rsspace4.vout2024-08-03 05:29 4.7K 
[ ]rsspace4__t1_rsspace42024-07-28 00:10 33K 
[ ]rsspace4__t1_rsspace4.depv12024-08-03 10:19 87  
[ ]rsspace4__t1_rsspace4.depvmin12024-08-03 10:24 87  
[ ]rsspace4__t1_rsspace4.vmin12024-08-03 10:19 1.4K 
[ ]rsspace4__t1_rsspace4.vmin1out2024-08-03 10:23 21K 
[ ]rsspace4__t1_rsspace4.vout2024-08-03 05:49 26K 
[ ]rsspace4__t2_rsspace42024-07-28 00:20 98K 
[ ]rsspace4__t2_rsspace4.vout2024-08-03 08:03 8.4K 
[ ]rsspace4__t3_rsspace42024-07-28 00:22 104K 
[ ]rsspace4__t3_rsspace4.vout2024-08-03 07:01 4.7K 
[ ]rsspace4__t4_rsspace42024-07-28 00:26 124K 
[ ]rsspace4__t4_rsspace4.vout2024-08-03 07:38 4.7K 
[ ]rsspace4__t5_rsspace42024-07-28 00:27 34K 
[ ]rsspace4__t5_rsspace4.depv12024-08-03 10:19 193  
[ ]rsspace4__t5_rsspace4.depvmin12024-08-03 10:24 193  
[ ]rsspace4__t5_rsspace4.vmin12024-08-03 10:19 2.5K 
[ ]rsspace4__t5_rsspace4.vmin1out2024-08-03 10:20 97K 
[ ]rsspace4__t5_rsspace4.vout2024-08-03 04:30 36K 
[ ]rsspace4__t6_rsspace42024-07-28 00:30 57K 
[ ]rsspace4__t6_rsspace4.vout2024-08-03 07:37 4.7K 
[ ]rsspace4__t7_rsspace42024-07-28 00:11 35K 
[ ]rsspace4__t7_rsspace4.depv12024-08-03 10:19 94  
[ ]rsspace4__t7_rsspace4.depvmin12024-08-03 10:24 94  
[ ]rsspace4__t7_rsspace4.vmin12024-08-03 10:19 2.9K 
[ ]rsspace4__t7_rsspace4.vmin1out2024-08-03 10:22 57K 
[ ]rsspace4__t7_rsspace4.vout2024-08-03 05:13 53K 
[ ]rsspace4__t8_rsspace42024-07-28 00:32 46K 
[ ]rsspace4__t8_rsspace4.vout2024-08-03 09:13 4.7K 
[ ]rsspace4__t9_rsspace42024-07-28 00:33 45K 
[ ]rsspace4__t9_rsspace4.vout2024-08-03 07:58 4.7K 
[ ]rsspace4__t10_rsspace42024-07-28 00:35 42K 
[ ]rsspace4__t10_rsspace4.depv12024-08-03 10:19 195  
[ ]rsspace4__t10_rsspace4.depvmin12024-08-03 10:24 132  
[ ]rsspace4__t10_rsspace4.vmin12024-08-03 10:19 6.2K 
[ ]rsspace4__t10_rsspace4.vmin1out2024-08-03 10:20 83K 
[ ]rsspace4__t10_rsspace4.vout2024-08-03 07:31 173K 
[ ]rsspace4__t11_rsspace42024-07-28 00:37 36K 
[ ]rsspace4__t11_rsspace4.depv12024-08-03 10:19 153  
[ ]rsspace4__t11_rsspace4.depvmin12024-08-03 10:24 153  
[ ]rsspace4__t11_rsspace4.vmin12024-08-03 10:19 3.6K 
[ ]rsspace4__t11_rsspace4.vmin1out2024-08-03 10:22 87K 
[ ]rsspace4__t11_rsspace4.vout2024-08-03 08:37 41K 
[ ]rsspace4__t12_rsspace42024-07-28 00:39 38K 
[ ]rsspace4__t12_rsspace4.vout2024-08-03 08:50 7.9K 
[ ]rsspace4__t13_rsspace42024-07-28 00:40 33K 
[ ]rsspace4__t13_rsspace4.depv12024-08-03 10:19 144  
[ ]rsspace4__t13_rsspace4.depvmin12024-08-03 10:24 99  
[ ]rsspace4__t13_rsspace4.vmin12024-08-03 10:19 2.7K 
[ ]rsspace4__t13_rsspace4.vmin1out2024-08-03 10:23 27K 
[ ]rsspace4__t13_rsspace4.vout2024-08-03 10:11 36K 
[ ]rsspace4__t14_rsspace42024-07-28 00:42 39K 
[ ]rsspace4__t14_rsspace4.depv12024-08-03 10:19 142  
[ ]rsspace4__t14_rsspace4.depvmin12024-08-03 10:24 142  
[ ]rsspace4__t14_rsspace4.vmin12024-08-03 10:19 4.3K 
[ ]rsspace4__t14_rsspace4.vmin1out2024-08-03 10:21 42K 
[ ]rsspace4__t14_rsspace4.vout2024-08-03 04:41 75K 
[ ]rsspace4__t15_rsspace42024-07-28 00:44 44K 
[ ]rsspace4__t15_rsspace4.vout2024-08-03 08:34 7.3K 
[ ]rsspace4__t16_rsspace42024-07-28 00:46 45K 
[ ]rsspace4__t16_rsspace4.vout2024-08-03 08:17 7.3K 
[ ]rsspace4__t17_rsspace42024-07-28 00:47 46K 
[ ]rsspace4__t17_rsspace4.vout2024-08-03 04:54 7.9K 
[ ]rsspace4__t18_rsspace42024-07-28 00:49 50K 
[ ]rsspace4__t18_rsspace4.vout2024-08-03 09:51 7.3K 
[ ]rsspace4__t19_rsspace42024-07-28 00:51 48K 
[ ]rsspace4__t19_rsspace4.vout2024-08-03 09:54 4.7K 
[ ]rsspace4__t20_rsspace42024-07-28 00:53 46K 
[ ]rsspace4__t20_rsspace4.vout2024-08-03 09:21 4.7K 
[ ]rsspace4__t22_rsspace42024-07-28 00:13 48K 
[ ]rsspace4__t22_rsspace4.vout2024-08-03 05:09 4.7K 
[ ]rsspace4__t23_rsspace42024-07-28 00:55 42K 
[ ]rsspace4__t23_rsspace4.vout2024-08-03 08:23 7.4K 
[ ]rsspace4__t24_rsspace42024-07-28 00:57 46K 
[ ]rsspace4__t24_rsspace4.vout2024-08-03 04:57 4.7K 
[ ]rsspace4__t25_rsspace42024-07-28 01:00 85K 
[ ]rsspace4__t25_rsspace4.vout2024-08-03 09:37 6.8K 
[ ]rsspace4__t26_rsspace42024-07-28 01:02 38K 
[ ]rsspace4__t26_rsspace4.depv12024-08-03 10:19 67  
[ ]rsspace4__t26_rsspace4.depvmin12024-08-03 10:24 67  
[ ]rsspace4__t26_rsspace4.vmin12024-08-03 10:19 3.2K 
[ ]rsspace4__t26_rsspace4.vmin1out2024-08-03 10:23 67K 
[ ]rsspace4__t26_rsspace4.vout2024-08-03 04:55 68K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80