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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rfinseq2__l18_rfinseq22024-07-28 14:05 51K 
[ ]rfinseq2__l18_rfinseq2.vout2024-08-03 06:21 7.3K 
[ ]rfinseq2__l20_rfinseq22024-07-28 14:06 51K 
[ ]rfinseq2__l20_rfinseq2.vout2024-08-03 05:30 7.3K 
[ ]rfinseq2__l25_rfinseq22024-07-28 14:08 56K 
[ ]rfinseq2__l25_rfinseq2.vout2024-08-03 08:09 4.7K 
[ ]rfinseq2__l27_rfinseq22024-07-28 14:10 67K 
[ ]rfinseq2__l27_rfinseq2.vout2024-08-03 04:47 4.7K 
[ ]rfinseq2__t1_rfinseq22024-07-28 13:22 34K 
[ ]rfinseq2__t1_rfinseq2.depv12024-08-03 10:19 332  
[ ]rfinseq2__t1_rfinseq2.depvmin12024-08-03 10:24 249  
[ ]rfinseq2__t1_rfinseq2.vmin12024-08-03 10:19 3.3K 
[ ]rfinseq2__t1_rfinseq2.vmin1out2024-08-03 10:20 39K 
[ ]rfinseq2__t1_rfinseq2.vout2024-08-03 05:01 44K 
[ ]rfinseq2__t2_rfinseq22024-07-28 13:23 34K 
[ ]rfinseq2__t2_rfinseq2.depv12024-08-03 10:19 332  
[ ]rfinseq2__t2_rfinseq2.depvmin12024-08-03 10:24 249  
[ ]rfinseq2__t2_rfinseq2.vmin12024-08-03 10:19 3.3K 
[ ]rfinseq2__t2_rfinseq2.vmin1out2024-08-03 10:20 39K 
[ ]rfinseq2__t2_rfinseq2.vout2024-08-03 05:54 44K 
[ ]rfinseq2__t3_rfinseq22024-07-28 13:25 36K 
[ ]rfinseq2__t3_rfinseq2.depv12024-08-03 10:19 456  
[ ]rfinseq2__t3_rfinseq2.depvmin12024-08-03 10:24 267  
[ ]rfinseq2__t3_rfinseq2.vmin12024-08-03 10:19 3.8K 
[ ]rfinseq2__t3_rfinseq2.vmin1out2024-08-03 10:20 44K 
[ ]rfinseq2__t3_rfinseq2.vout2024-08-03 08:48 39K 
[ ]rfinseq2__t4_rfinseq22024-07-28 13:26 36K 
[ ]rfinseq2__t4_rfinseq2.depv12024-08-03 10:19 456  
[ ]rfinseq2__t4_rfinseq2.depvmin12024-08-03 10:24 267  
[ ]rfinseq2__t4_rfinseq2.vmin12024-08-03 10:19 3.8K 
[ ]rfinseq2__t4_rfinseq2.vmin1out2024-08-03 10:20 44K 
[ ]rfinseq2__t4_rfinseq2.vout2024-08-03 08:30 39K 
[ ]rfinseq2__t5_rfinseq22024-07-28 13:28 42K 
[ ]rfinseq2__t5_rfinseq2.vout2024-08-03 05:35 4.7K 
[ ]rfinseq2__t6_rfinseq22024-07-28 13:29 42K 
[ ]rfinseq2__t6_rfinseq2.vout2024-08-03 05:30 4.7K 
[ ]rfinseq2__t7_rfinseq22024-07-28 13:31 51K 
[ ]rfinseq2__t7_rfinseq2.vout2024-08-03 04:56 6.8K 
[ ]rfinseq2__t8_rfinseq22024-07-28 13:32 51K 
[ ]rfinseq2__t8_rfinseq2.vout2024-08-03 05:21 6.8K 
[ ]rfinseq2__t9_rfinseq22024-07-28 13:34 47K 
[ ]rfinseq2__t9_rfinseq2.vout2024-08-03 04:39 4.7K 
[ ]rfinseq2__t10_rfinseq22024-07-28 13:35 46K 
[ ]rfinseq2__t10_rfinseq2.vout2024-08-03 04:22 4.7K 
[ ]rfinseq2__t11_rfinseq22024-07-28 13:37 48K 
[ ]rfinseq2__t11_rfinseq2.vout2024-08-03 05:42 6.3K 
[ ]rfinseq2__t12_rfinseq22024-07-28 13:38 48K 
[ ]rfinseq2__t12_rfinseq2.vout2024-08-03 10:13 6.3K 
[ ]rfinseq2__t13_rfinseq22024-07-28 13:40 51K 
[ ]rfinseq2__t13_rfinseq2.vout2024-08-03 04:07 5.9K 
[ ]rfinseq2__t14_rfinseq22024-07-28 13:41 27K 
[ ]rfinseq2__t14_rfinseq2.depv12024-08-03 10:19 98  
[ ]rfinseq2__t14_rfinseq2.depvmin12024-08-03 10:24 98  
[ ]rfinseq2__t14_rfinseq2.vmin12024-08-03 10:19 1.2K 
[ ]rfinseq2__t14_rfinseq2.vmin1out2024-08-03 10:23 11K 
[ ]rfinseq2__t14_rfinseq2.vout2024-08-03 09:36 17K 
[ ]rfinseq2__t15_rfinseq22024-07-28 13:42 27K 
[ ]rfinseq2__t15_rfinseq2.depv12024-08-03 10:19 98  
[ ]rfinseq2__t15_rfinseq2.depvmin12024-08-03 10:24 98  
[ ]rfinseq2__t15_rfinseq2.vmin12024-08-03 10:19 1.2K 
[ ]rfinseq2__t15_rfinseq2.vmin1out2024-08-03 10:20 11K 
[ ]rfinseq2__t15_rfinseq2.vout2024-08-03 04:58 17K 
[ ]rfinseq2__t16_rfinseq22024-07-28 13:44 44K 
[ ]rfinseq2__t16_rfinseq2.depv12024-08-03 10:19 238  
[ ]rfinseq2__t16_rfinseq2.depvmin12024-08-03 10:24 238  
[ ]rfinseq2__t16_rfinseq2.vmin12024-08-03 10:19 2.1K 
[ ]rfinseq2__t16_rfinseq2.vmin1out2024-08-03 10:20 17K 
[ ]rfinseq2__t16_rfinseq2.vout2024-08-03 04:33 21K 
[ ]rfinseq2__t17_rfinseq22024-07-28 13:45 37K 
[ ]rfinseq2__t17_rfinseq2.vout2024-08-03 08:34 6.8K 
[ ]rfinseq2__t18_rfinseq22024-07-28 13:47 48K 
[ ]rfinseq2__t18_rfinseq2.vout2024-08-03 06:44 7.4K 
[ ]rfinseq2__t19_rfinseq22024-07-28 13:48 25K 
[ ]rfinseq2__t19_rfinseq2.depv12024-08-03 10:19 68  
[ ]rfinseq2__t19_rfinseq2.depvmin12024-08-03 10:24 68  
[ ]rfinseq2__t19_rfinseq2.vmin12024-08-03 10:19 948  
[ ]rfinseq2__t19_rfinseq2.vmin1out2024-08-03 10:23 8.0K 
[ ]rfinseq2__t19_rfinseq2.vout2024-08-03 05:25 7.5K 
[ ]rfinseq2__t20_rfinseq22024-07-28 13:49 32K 
[ ]rfinseq2__t20_rfinseq2.depv12024-08-03 10:19 76  
[ ]rfinseq2__t20_rfinseq2.depvmin12024-08-03 10:24 76  
[ ]rfinseq2__t20_rfinseq2.vmin12024-08-03 10:19 864  
[ ]rfinseq2__t20_rfinseq2.vmin1out2024-08-03 10:20 12K 
[ ]rfinseq2__t20_rfinseq2.vout2024-08-03 08:19 12K 
[ ]rfinseq2__t21_rfinseq22024-07-28 13:50 32K 
[ ]rfinseq2__t21_rfinseq2.depv12024-08-03 10:19 76  
[ ]rfinseq2__t21_rfinseq2.depvmin12024-08-03 10:24 76  
[ ]rfinseq2__t21_rfinseq2.vmin12024-08-03 10:19 862  
[ ]rfinseq2__t21_rfinseq2.vmin1out2024-08-03 10:22 12K 
[ ]rfinseq2__t21_rfinseq2.vout2024-08-03 07:29 12K 
[ ]rfinseq2__t24_rfinseq22024-07-28 13:52 50K 
[ ]rfinseq2__t24_rfinseq2.vout2024-08-03 08:52 1.1K 
[ ]rfinseq2__t25_rfinseq22024-07-28 13:53 50K 
[ ]rfinseq2__t25_rfinseq2.vout2024-08-03 09:43 1.1K 
[ ]rfinseq2__t26_rfinseq22024-07-28 13:55 54K 
[ ]rfinseq2__t26_rfinseq2.vout2024-08-03 04:45 4.1K 
[ ]rfinseq2__t27_rfinseq22024-07-28 13:56 54K 
[ ]rfinseq2__t27_rfinseq2.vout2024-08-03 10:17 7.3K 
[ ]rfinseq2__t28_rfinseq22024-07-28 13:58 34K 
[ ]rfinseq2__t28_rfinseq2.depv12024-08-03 10:19 172  
[ ]rfinseq2__t28_rfinseq2.depvmin12024-08-03 10:24 172  
[ ]rfinseq2__t28_rfinseq2.vmin12024-08-03 10:19 1.9K 
[ ]rfinseq2__t28_rfinseq2.vmin1out2024-08-03 10:21 34K 
[ ]rfinseq2__t28_rfinseq2.vout2024-08-03 09:01 35K 
[ ]rfinseq2__t29_rfinseq22024-07-28 13:59 34K 
[ ]rfinseq2__t29_rfinseq2.depv12024-08-03 10:19 172  
[ ]rfinseq2__t29_rfinseq2.depvmin12024-08-03 10:24 172  
[ ]rfinseq2__t29_rfinseq2.vmin12024-08-03 10:19 1.9K 
[ ]rfinseq2__t29_rfinseq2.vmin1out2024-08-03 10:21 34K 
[ ]rfinseq2__t29_rfinseq2.vout2024-08-03 06:00 34K 
[ ]rfinseq2__t30_rfinseq22024-07-28 14:00 35K 
[ ]rfinseq2__t30_rfinseq2.depv12024-08-03 10:19 106  
[ ]rfinseq2__t30_rfinseq2.depvmin12024-08-03 10:24 106  
[ ]rfinseq2__t30_rfinseq2.vmin12024-08-03 10:19 1.3K 
[ ]rfinseq2__t30_rfinseq2.vmin1out2024-08-03 10:22 20K 
[ ]rfinseq2__t30_rfinseq2.vout2024-08-03 05:21 20K 
[ ]rfinseq2__t31_rfinseq22024-07-28 14:02 35K 
[ ]rfinseq2__t31_rfinseq2.depv12024-08-03 10:19 106  
[ ]rfinseq2__t31_rfinseq2.depvmin12024-08-03 10:24 106  
[ ]rfinseq2__t31_rfinseq2.vmin12024-08-03 10:19 1.3K 
[ ]rfinseq2__t31_rfinseq2.vmin1out2024-08-03 10:20 20K 
[ ]rfinseq2__t31_rfinseq2.vout2024-08-03 10:02 20K 
[ ]rfinseq2__t32_rfinseq22024-07-28 14:03 44K 
[ ]rfinseq2__t32_rfinseq2.vout2024-08-03 09:18 6.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80