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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]csspace4__l1_csspace42024-07-27 08:04 30K 
[ ]csspace4__l1_csspace4.vout2024-08-03 04:52 2.0K 
[ ]csspace4__l2_csspace42024-07-27 08:06 35K 
[ ]csspace4__l2_csspace4.vout2024-08-03 05:09 7.3K 
[ ]csspace4__l4_csspace42024-07-27 08:07 41K 
[ ]csspace4__l4_csspace4.vout2024-08-03 09:43 2.0K 
[ ]csspace4__l5_csspace42024-07-27 07:10 15K 
[ ]csspace4__l5_csspace4.depv12024-08-03 10:19 51  
[ ]csspace4__l5_csspace4.depvmin12024-08-03 10:24 51  
[ ]csspace4__l5_csspace4.vmin12024-08-03 10:19 285  
[ ]csspace4__l5_csspace4.vmin1out2024-08-03 10:23 2.2K 
[ ]csspace4__l5_csspace4.vout2024-08-03 08:37 2.1K 
[ ]csspace4__l6_csspace42024-07-27 08:09 43K 
[ ]csspace4__l6_csspace4.vout2024-08-03 07:16 7.3K 
[ ]csspace4__l7_csspace42024-07-27 07:12 40K 
[ ]csspace4__l7_csspace4.depv12024-08-03 10:19 91  
[ ]csspace4__l7_csspace4.depvmin12024-08-03 10:24 91  
[ ]csspace4__l7_csspace4.vmin12024-08-03 10:19 1.3K 
[ ]csspace4__l7_csspace4.vmin1out2024-08-03 10:22 10K 
[ ]csspace4__l7_csspace4.vout2024-08-03 04:46 9.8K 
[ ]csspace4__l8_csspace42024-07-27 07:14 40K 
[ ]csspace4__l8_csspace4.depv12024-08-03 10:19 25  
[ ]csspace4__l8_csspace4.depvmin12024-08-03 10:24 25  
[ ]csspace4__l8_csspace4.vmin12024-08-03 10:19 2.6K 
[ ]csspace4__l8_csspace4.vmin1out2024-08-03 10:22 14K 
[ ]csspace4__l8_csspace4.vout2024-08-03 05:03 13K 
[ ]csspace4__l10_csspace42024-07-27 08:10 44K 
[ ]csspace4__l10_csspace4.vout2024-08-03 04:56 7.3K 
[ ]csspace4__l11_csspace42024-07-27 08:12 35K 
[ ]csspace4__l11_csspace4.vout2024-08-03 05:09 2.0K 
[ ]csspace4__l12_csspace42024-07-27 08:13 35K 
[ ]csspace4__l12_csspace4.vout2024-08-03 09:48 2.0K 
[ ]csspace4__l13_csspace42024-07-27 08:15 36K 
[ ]csspace4__l13_csspace4.vout2024-08-03 08:17 2.0K 
[ ]csspace4__l18_csspace42024-07-27 08:16 56K 
[ ]csspace4__l18_csspace4.vout2024-08-03 08:24 4.7K 
[ ]csspace4__t1_csspace42024-07-27 07:01 34K 
[ ]csspace4__t1_csspace4.depv12024-08-03 10:19 87  
[ ]csspace4__t1_csspace4.depvmin12024-08-03 10:24 38  
[ ]csspace4__t1_csspace4.vmin12024-08-03 10:19 1.2K 
[ ]csspace4__t1_csspace4.vmin1out2024-08-03 10:23 22K 
[ ]csspace4__t1_csspace4.vout2024-08-03 08:52 26K 
[ ]csspace4__t2_csspace42024-07-27 07:17 96K 
[ ]csspace4__t2_csspace4.vout2024-08-03 07:11 8.4K 
[ ]csspace4__t3_csspace42024-07-27 07:20 102K 
[ ]csspace4__t3_csspace4.vout2024-08-03 06:38 4.7K 
[ ]csspace4__t4_csspace42024-07-27 07:23 162K 
[ ]csspace4__t4_csspace4.vout2024-08-03 08:38 4.7K 
[ ]csspace4__t5_csspace42024-07-27 07:03 46K 
[ ]csspace4__t5_csspace4.depv12024-08-03 10:19 65  
[ ]csspace4__t5_csspace4.depvmin12024-08-03 10:24 65  
[ ]csspace4__t5_csspace4.vmin12024-08-03 10:19 1.7K 
[ ]csspace4__t5_csspace4.vmin1out2024-08-03 10:20 49K 
[ ]csspace4__t5_csspace4.vout2024-08-03 05:10 39K 
[ ]csspace4__t6_csspace42024-07-27 07:25 35K 
[ ]csspace4__t6_csspace4.depv12024-08-03 10:19 195  
[ ]csspace4__t6_csspace4.depvmin12024-08-03 10:24 195  
[ ]csspace4__t6_csspace4.vmin12024-08-03 10:19 2.2K 
[ ]csspace4__t6_csspace4.vmin1out2024-08-03 10:23 87K 
[ ]csspace4__t6_csspace4.vout2024-08-03 08:56 36K 
[ ]csspace4__t7_csspace42024-07-27 07:27 59K 
[ ]csspace4__t7_csspace4.vout2024-08-03 09:34 4.7K 
[ ]csspace4__t8_csspace42024-07-27 07:05 40K 
[ ]csspace4__t8_csspace4.depv12024-08-03 10:19 94  
[ ]csspace4__t8_csspace4.depvmin12024-08-03 10:24 94  
[ ]csspace4__t8_csspace4.vmin12024-08-03 10:19 2.9K 
[ ]csspace4__t8_csspace4.vmin1out2024-08-03 10:23 58K 
[ ]csspace4__t8_csspace4.vout2024-08-03 07:31 53K 
[ ]csspace4__t9_csspace42024-07-27 07:29 51K 
[ ]csspace4__t9_csspace4.vout2024-08-03 08:53 4.7K 
[ ]csspace4__t10_csspace42024-07-27 07:31 49K 
[ ]csspace4__t10_csspace4.vout2024-08-03 09:23 4.7K 
[ ]csspace4__t11_csspace42024-07-27 07:33 46K 
[ ]csspace4__t11_csspace4.vout2024-08-03 07:16 6.8K 
[ ]csspace4__t12_csspace42024-07-27 07:34 38K 
[ ]csspace4__t12_csspace4.depv12024-08-03 10:19 153  
[ ]csspace4__t12_csspace4.depvmin12024-08-03 10:24 153  
[ ]csspace4__t12_csspace4.vmin12024-08-03 10:19 3.6K 
[ ]csspace4__t12_csspace4.vmin1out2024-08-03 10:21 87K 
[ ]csspace4__t12_csspace4.vout2024-08-03 06:06 41K 
[ ]csspace4__t13_csspace42024-07-27 07:36 40K 
[ ]csspace4__t13_csspace4.vout2024-08-03 05:24 7.9K 
[ ]csspace4__t14_csspace42024-07-27 07:38 40K 
[ ]csspace4__t14_csspace4.depv12024-08-03 10:19 144  
[ ]csspace4__t14_csspace4.depvmin12024-08-03 10:24 99  
[ ]csspace4__t14_csspace4.vmin12024-08-03 10:19 2.7K 
[ ]csspace4__t14_csspace4.vmin1out2024-08-03 10:21 27K 
[ ]csspace4__t14_csspace4.vout2024-08-03 07:37 36K 
[ ]csspace4__t15_csspace42024-07-27 07:40 45K 
[ ]csspace4__t15_csspace4.vout2024-08-03 06:02 7.3K 
[ ]csspace4__t16_csspace42024-07-27 07:42 48K 
[ ]csspace4__t16_csspace4.vout2024-08-03 05:00 7.3K 
[ ]csspace4__t17_csspace42024-07-27 07:44 54K 
[ ]csspace4__t17_csspace4.vout2024-08-03 05:16 7.4K 
[ ]csspace4__t18_csspace42024-07-27 07:46 54K 
[ ]csspace4__t18_csspace4.vout2024-08-03 09:55 7.3K 
[ ]csspace4__t19_csspace42024-07-27 07:48 58K 
[ ]csspace4__t19_csspace4.vout2024-08-03 05:53 7.3K 
[ ]csspace4__t20_csspace42024-07-27 07:50 52K 
[ ]csspace4__t20_csspace4.vout2024-08-03 05:29 4.7K 
[ ]csspace4__t21_csspace42024-07-27 07:52 50K 
[ ]csspace4__t21_csspace4.vout2024-08-03 05:59 4.7K 
[ ]csspace4__t23_csspace42024-07-27 07:54 56K 
[ ]csspace4__t23_csspace4.vout2024-08-03 05:24 4.7K 
[ ]csspace4__t24_csspace42024-07-27 07:56 46K 
[ ]csspace4__t24_csspace4.vout2024-08-03 07:26 7.4K 
[ ]csspace4__t25_csspace42024-07-27 07:58 53K 
[ ]csspace4__t25_csspace4.vout2024-08-03 07:02 4.7K 
[ ]csspace4__t26_csspace42024-07-27 08:01 94K 
[ ]csspace4__t26_csspace4.vout2024-08-03 09:59 6.8K 
[ ]csspace4__t27_csspace42024-07-27 08:03 47K 
[ ]csspace4__t27_csspace4.depv12024-08-03 10:19 67  
[ ]csspace4__t27_csspace4.depvmin12024-08-03 10:24 67  
[ ]csspace4__t27_csspace4.vmin12024-08-03 10:19 3.2K 
[ ]csspace4__t27_csspace4.vmin1out2024-08-03 10:23 67K 
[ ]csspace4__t27_csspace4.vout2024-08-03 05:06 68K 
[ ]csspace4__t28_csspace42024-07-27 07:06 34K 
[ ]csspace4__t28_csspace4.depv12024-08-03 10:19 25  
[ ]csspace4__t28_csspace4.depvmin12024-08-03 10:24 25  
[ ]csspace4__t28_csspace4.vmin12024-08-03 10:19 880  
[ ]csspace4__t28_csspace4.vmin1out2024-08-03 10:22 8.7K 
[ ]csspace4__t28_csspace4.vout2024-08-03 09:14 8.4K 
[ ]csspace4__t29_csspace42024-07-27 07:07 32K 
[ ]csspace4__t29_csspace4.depv12024-08-03 10:19 25  
[ ]csspace4__t29_csspace4.depvmin12024-08-03 10:24 25  
[ ]csspace4__t29_csspace4.vmin12024-08-03 10:19 584  
[ ]csspace4__t29_csspace4.vmin1out2024-08-03 10:22 5.9K 
[ ]csspace4__t29_csspace4.vout2024-08-03 10:02 5.8K 
[ ]csspace4__t30_csspace42024-07-27 07:08 31K 
[ ]csspace4__t30_csspace4.depv12024-08-03 10:19 39  
[ ]csspace4__t30_csspace4.depvmin12024-08-03 10:24 39  
[ ]csspace4__t30_csspace4.vmin12024-08-03 10:19 765  
[ ]csspace4__t30_csspace4.vmin1out2024-08-03 10:21 8.9K 
[ ]csspace4__t30_csspace4.vout2024-08-03 10:18 7.6K 
[ ]csspace4__t31_csspace42024-07-27 07:10 46K 
[ ]csspace4__t31_csspace4.depv12024-08-03 10:19 26  
[ ]csspace4__t31_csspace4.depvmin12024-08-03 10:24 26  
[ ]csspace4__t31_csspace4.vmin12024-08-03 10:19 1.3K 
[ ]csspace4__t31_csspace4.vmin1out2024-08-03 10:20 32K 
[ ]csspace4__t31_csspace4.vout2024-08-03 04:53 31K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80