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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rsspace4__l1_rsspace42025-09-10 02:18 28K 
[   ]rsspace4__l1_rsspace4.vout2025-09-15 19:03 2.0K 
[   ]rsspace4__l2_rsspace42025-09-10 02:20 33K 
[   ]rsspace4__l2_rsspace4.vout2025-09-15 17:30 7.3K 
[   ]rsspace4__l4_rsspace42025-09-10 01:30 38K 
[   ]rsspace4__l4_rsspace4.depv12025-09-15 19:47 103  
[   ]rsspace4__l4_rsspace4.depvmin12025-09-15 19:51 103  
[   ]rsspace4__l4_rsspace4.vmin12025-09-15 19:47 1.3K 
[   ]rsspace4__l4_rsspace4.vmin1out2025-09-15 19:48 10K 
[   ]rsspace4__l4_rsspace4.vout2025-09-15 14:40 9.9K 
[   ]rsspace4__l5_rsspace42025-09-10 01:32 39K 
[   ]rsspace4__l5_rsspace4.depv12025-09-15 19:47 25  
[   ]rsspace4__l5_rsspace4.depvmin12025-09-15 19:51 25  
[   ]rsspace4__l5_rsspace4.vmin12025-09-15 19:47 2.6K 
[   ]rsspace4__l5_rsspace4.vmin1out2025-09-15 19:50 14K 
[   ]rsspace4__l5_rsspace4.vout2025-09-15 17:59 13K 
[   ]rsspace4__l7_rsspace42025-09-10 02:21 42K 
[   ]rsspace4__l7_rsspace4.vout2025-09-15 14:09 6.8K 
[   ]rsspace4__l8_rsspace42025-09-10 02:22 36K 
[   ]rsspace4__l8_rsspace4.vout2025-09-15 16:26 4.7K 
[   ]rsspace4__t1_rsspace42025-09-10 01:25 33K 
[   ]rsspace4__t1_rsspace4.depv12025-09-15 19:47 87  
[   ]rsspace4__t1_rsspace4.depvmin12025-09-15 19:51 87  
[   ]rsspace4__t1_rsspace4.vmin12025-09-15 19:47 1.4K 
[   ]rsspace4__t1_rsspace4.vmin1out2025-09-15 19:51 21K 
[   ]rsspace4__t1_rsspace4.vout2025-09-15 19:13 26K 
[   ]rsspace4__t2_rsspace42025-09-10 01:35 98K 
[   ]rsspace4__t2_rsspace4.vout2025-09-15 13:27 8.4K 
[   ]rsspace4__t3_rsspace42025-09-10 01:38 104K 
[   ]rsspace4__t3_rsspace4.vout2025-09-15 15:22 4.7K 
[   ]rsspace4__t4_rsspace42025-09-10 01:41 124K 
[   ]rsspace4__t4_rsspace4.vout2025-09-15 16:39 4.7K 
[   ]rsspace4__t5_rsspace42025-09-10 01:43 34K 
[   ]rsspace4__t5_rsspace4.depv12025-09-15 19:47 193  
[   ]rsspace4__t5_rsspace4.depvmin12025-09-15 19:51 193  
[   ]rsspace4__t5_rsspace4.vmin12025-09-15 19:47 2.5K 
[   ]rsspace4__t5_rsspace4.vmin1out2025-09-15 19:48 97K 
[   ]rsspace4__t5_rsspace4.vout2025-09-15 18:28 36K 
[   ]rsspace4__t6_rsspace42025-09-10 01:45 57K 
[   ]rsspace4__t6_rsspace4.vout2025-09-15 14:37 4.7K 
[   ]rsspace4__t7_rsspace42025-09-10 01:26 35K 
[   ]rsspace4__t7_rsspace4.depv12025-09-15 19:47 94  
[   ]rsspace4__t7_rsspace4.depvmin12025-09-15 19:51 94  
[   ]rsspace4__t7_rsspace4.vmin12025-09-15 19:47 2.9K 
[   ]rsspace4__t7_rsspace4.vmin1out2025-09-15 19:51 57K 
[   ]rsspace4__t7_rsspace4.vout2025-09-15 15:46 53K 
[   ]rsspace4__t8_rsspace42025-09-10 01:47 46K 
[   ]rsspace4__t8_rsspace4.vout2025-09-15 13:34 4.7K 
[   ]rsspace4__t9_rsspace42025-09-10 01:49 45K 
[   ]rsspace4__t9_rsspace4.vout2025-09-15 16:09 4.7K 
[   ]rsspace4__t10_rsspace42025-09-10 01:50 42K 
[   ]rsspace4__t10_rsspace4.depv12025-09-15 19:47 195  
[   ]rsspace4__t10_rsspace4.depvmin12025-09-15 19:51 132  
[   ]rsspace4__t10_rsspace4.vmin12025-09-15 19:47 6.2K 
[   ]rsspace4__t10_rsspace4.vmin1out2025-09-15 19:48 83K 
[   ]rsspace4__t10_rsspace4.vout2025-09-15 16:53 173K 
[   ]rsspace4__t11_rsspace42025-09-10 01:52 36K 
[   ]rsspace4__t11_rsspace4.depv12025-09-15 19:47 153  
[   ]rsspace4__t11_rsspace4.depvmin12025-09-15 19:51 153  
[   ]rsspace4__t11_rsspace4.vmin12025-09-15 19:47 3.6K 
[   ]rsspace4__t11_rsspace4.vmin1out2025-09-15 19:49 87K 
[   ]rsspace4__t11_rsspace4.vout2025-09-15 16:28 41K 
[   ]rsspace4__t12_rsspace42025-09-10 01:54 38K 
[   ]rsspace4__t12_rsspace4.vout2025-09-15 16:10 7.9K 
[   ]rsspace4__t13_rsspace42025-09-10 01:55 33K 
[   ]rsspace4__t13_rsspace4.depv12025-09-15 19:47 144  
[   ]rsspace4__t13_rsspace4.depvmin12025-09-15 19:51 99  
[   ]rsspace4__t13_rsspace4.vmin12025-09-15 19:47 2.7K 
[   ]rsspace4__t13_rsspace4.vmin1out2025-09-15 19:48 27K 
[   ]rsspace4__t13_rsspace4.vout2025-09-15 14:28 36K 
[   ]rsspace4__t14_rsspace42025-09-10 01:57 39K 
[   ]rsspace4__t14_rsspace4.depv12025-09-15 19:47 142  
[   ]rsspace4__t14_rsspace4.depvmin12025-09-15 19:51 142  
[   ]rsspace4__t14_rsspace4.vmin12025-09-15 19:47 4.3K 
[   ]rsspace4__t14_rsspace4.vmin1out2025-09-15 19:49 42K 
[   ]rsspace4__t14_rsspace4.vout2025-09-15 17:32 75K 
[   ]rsspace4__t15_rsspace42025-09-10 01:59 44K 
[   ]rsspace4__t15_rsspace4.vout2025-09-15 14:29 7.3K 
[   ]rsspace4__t16_rsspace42025-09-10 02:01 45K 
[   ]rsspace4__t16_rsspace4.vout2025-09-15 17:23 7.3K 
[   ]rsspace4__t17_rsspace42025-09-10 02:03 46K 
[   ]rsspace4__t17_rsspace4.vout2025-09-15 15:05 7.9K 
[   ]rsspace4__t18_rsspace42025-09-10 02:05 50K 
[   ]rsspace4__t18_rsspace4.vout2025-09-15 19:41 7.3K 
[   ]rsspace4__t19_rsspace42025-09-10 02:07 48K 
[   ]rsspace4__t19_rsspace4.vout2025-09-15 15:23 4.7K 
[   ]rsspace4__t20_rsspace42025-09-10 02:08 46K 
[   ]rsspace4__t20_rsspace4.vout2025-09-15 16:26 4.7K 
[   ]rsspace4__t22_rsspace42025-09-10 01:28 48K 
[   ]rsspace4__t22_rsspace4.vout2025-09-15 16:26 5.3K 
[   ]rsspace4__t23_rsspace42025-09-10 02:10 42K 
[   ]rsspace4__t23_rsspace4.vout2025-09-15 16:20 7.9K 
[   ]rsspace4__t24_rsspace42025-09-10 02:12 46K 
[   ]rsspace4__t24_rsspace4.vout2025-09-15 15:09 4.7K 
[   ]rsspace4__t25_rsspace42025-09-10 02:15 85K 
[   ]rsspace4__t25_rsspace4.vout2025-09-15 19:44 6.8K 
[   ]rsspace4__t26_rsspace42025-09-10 02:17 38K 
[   ]rsspace4__t26_rsspace4.depv12025-09-15 19:47 67  
[   ]rsspace4__t26_rsspace4.depvmin12025-09-15 19:51 67  
[   ]rsspace4__t26_rsspace4.vmin12025-09-15 19:47 3.2K 
[   ]rsspace4__t26_rsspace4.vmin1out2025-09-15 19:50 67K 
[   ]rsspace4__t26_rsspace4.vout2025-09-15 14:59 68K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80