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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rfinseq2__l18_rfinseq22025-09-09 03:40 51K 
[ ]rfinseq2__l18_rfinseq2.vout2025-09-15 17:21 7.3K 
[ ]rfinseq2__l20_rfinseq22025-09-09 03:42 51K 
[ ]rfinseq2__l20_rfinseq2.vout2025-09-15 13:59 7.3K 
[ ]rfinseq2__l25_rfinseq22025-09-09 03:43 56K 
[ ]rfinseq2__l25_rfinseq2.vout2025-09-15 19:31 4.7K 
[ ]rfinseq2__l27_rfinseq22025-09-09 03:45 67K 
[ ]rfinseq2__l27_rfinseq2.vout2025-09-15 17:23 4.7K 
[ ]rfinseq2__t1_rfinseq22025-09-09 02:57 34K 
[ ]rfinseq2__t1_rfinseq2.depv12025-09-15 19:46 332  
[ ]rfinseq2__t1_rfinseq2.depvmin12025-09-15 19:51 249  
[ ]rfinseq2__t1_rfinseq2.vmin12025-09-15 19:47 3.3K 
[ ]rfinseq2__t1_rfinseq2.vmin1out2025-09-15 19:48 39K 
[ ]rfinseq2__t1_rfinseq2.vout2025-09-15 19:20 44K 
[ ]rfinseq2__t2_rfinseq22025-09-09 02:58 34K 
[ ]rfinseq2__t2_rfinseq2.depv12025-09-15 19:46 332  
[ ]rfinseq2__t2_rfinseq2.depvmin12025-09-15 19:51 249  
[ ]rfinseq2__t2_rfinseq2.vmin12025-09-15 19:47 3.3K 
[ ]rfinseq2__t2_rfinseq2.vmin1out2025-09-15 19:48 39K 
[ ]rfinseq2__t2_rfinseq2.vout2025-09-15 14:50 44K 
[ ]rfinseq2__t3_rfinseq22025-09-09 03:00 36K 
[ ]rfinseq2__t3_rfinseq2.depv12025-09-15 19:46 456  
[ ]rfinseq2__t3_rfinseq2.depvmin12025-09-15 19:51 267  
[ ]rfinseq2__t3_rfinseq2.vmin12025-09-15 19:47 3.8K 
[ ]rfinseq2__t3_rfinseq2.vmin1out2025-09-15 19:49 44K 
[ ]rfinseq2__t3_rfinseq2.vout2025-09-15 19:16 39K 
[ ]rfinseq2__t4_rfinseq22025-09-09 03:01 36K 
[ ]rfinseq2__t4_rfinseq2.depv12025-09-15 19:46 456  
[ ]rfinseq2__t4_rfinseq2.depvmin12025-09-15 19:51 267  
[ ]rfinseq2__t4_rfinseq2.vmin12025-09-15 19:47 3.8K 
[ ]rfinseq2__t4_rfinseq2.vmin1out2025-09-15 19:48 44K 
[ ]rfinseq2__t4_rfinseq2.vout2025-09-15 15:59 39K 
[ ]rfinseq2__t5_rfinseq22025-09-09 03:02 42K 
[ ]rfinseq2__t5_rfinseq2.vout2025-09-15 16:34 4.7K 
[ ]rfinseq2__t6_rfinseq22025-09-09 03:04 42K 
[ ]rfinseq2__t6_rfinseq2.vout2025-09-15 14:56 4.7K 
[ ]rfinseq2__t7_rfinseq22025-09-09 03:06 51K 
[ ]rfinseq2__t7_rfinseq2.vout2025-09-15 16:56 6.8K 
[ ]rfinseq2__t8_rfinseq22025-09-09 03:07 51K 
[ ]rfinseq2__t8_rfinseq2.vout2025-09-15 14:10 6.8K 
[ ]rfinseq2__t9_rfinseq22025-09-09 03:09 47K 
[ ]rfinseq2__t9_rfinseq2.vout2025-09-15 16:28 4.7K 
[ ]rfinseq2__t10_rfinseq22025-09-09 03:10 46K 
[ ]rfinseq2__t10_rfinseq2.vout2025-09-15 14:23 4.7K 
[ ]rfinseq2__t11_rfinseq22025-09-09 03:12 48K 
[ ]rfinseq2__t11_rfinseq2.vout2025-09-15 16:21 6.3K 
[ ]rfinseq2__t12_rfinseq22025-09-09 03:13 48K 
[ ]rfinseq2__t12_rfinseq2.vout2025-09-15 19:12 6.3K 
[ ]rfinseq2__t13_rfinseq22025-09-09 03:15 51K 
[ ]rfinseq2__t13_rfinseq2.vout2025-09-15 19:41 7.4K 
[ ]rfinseq2__t14_rfinseq22025-09-09 03:16 27K 
[ ]rfinseq2__t14_rfinseq2.depv12025-09-15 19:46 98  
[ ]rfinseq2__t14_rfinseq2.depvmin12025-09-15 19:51 98  
[ ]rfinseq2__t14_rfinseq2.vmin12025-09-15 19:47 1.2K 
[ ]rfinseq2__t14_rfinseq2.vmin1out2025-09-15 19:47 11K 
[ ]rfinseq2__t14_rfinseq2.vout2025-09-15 16:54 17K 
[ ]rfinseq2__t15_rfinseq22025-09-09 03:17 27K 
[ ]rfinseq2__t15_rfinseq2.depv12025-09-15 19:46 98  
[ ]rfinseq2__t15_rfinseq2.depvmin12025-09-15 19:51 98  
[ ]rfinseq2__t15_rfinseq2.vmin12025-09-15 19:47 1.2K 
[ ]rfinseq2__t15_rfinseq2.vmin1out2025-09-15 19:49 11K 
[ ]rfinseq2__t15_rfinseq2.vout2025-09-15 19:45 17K 
[ ]rfinseq2__t16_rfinseq22025-09-09 03:19 44K 
[ ]rfinseq2__t16_rfinseq2.depv12025-09-15 19:46 238  
[ ]rfinseq2__t16_rfinseq2.depvmin12025-09-15 19:51 238  
[ ]rfinseq2__t16_rfinseq2.vmin12025-09-15 19:47 2.1K 
[ ]rfinseq2__t16_rfinseq2.vmin1out2025-09-15 19:50 17K 
[ ]rfinseq2__t16_rfinseq2.vout2025-09-15 14:05 21K 
[ ]rfinseq2__t17_rfinseq22025-09-09 03:20 37K 
[ ]rfinseq2__t17_rfinseq2.vout2025-09-15 14:45 6.8K 
[ ]rfinseq2__t18_rfinseq22025-09-09 03:22 48K 
[ ]rfinseq2__t18_rfinseq2.vout2025-09-15 18:47 7.4K 
[ ]rfinseq2__t19_rfinseq22025-09-09 03:23 25K 
[ ]rfinseq2__t19_rfinseq2.depv12025-09-15 19:46 68  
[ ]rfinseq2__t19_rfinseq2.depvmin12025-09-15 19:51 68  
[ ]rfinseq2__t19_rfinseq2.vmin12025-09-15 19:47 948  
[ ]rfinseq2__t19_rfinseq2.vmin1out2025-09-15 19:48 8.0K 
[ ]rfinseq2__t19_rfinseq2.vout2025-09-15 18:50 7.5K 
[ ]rfinseq2__t20_rfinseq22025-09-09 03:24 32K 
[ ]rfinseq2__t20_rfinseq2.depv12025-09-15 19:46 76  
[ ]rfinseq2__t20_rfinseq2.depvmin12025-09-15 19:51 76  
[ ]rfinseq2__t20_rfinseq2.vmin12025-09-15 19:47 864  
[ ]rfinseq2__t20_rfinseq2.vmin1out2025-09-15 19:47 12K 
[ ]rfinseq2__t20_rfinseq2.vout2025-09-15 17:43 12K 
[ ]rfinseq2__t21_rfinseq22025-09-09 03:25 32K 
[ ]rfinseq2__t21_rfinseq2.depv12025-09-15 19:46 76  
[ ]rfinseq2__t21_rfinseq2.depvmin12025-09-15 19:51 76  
[ ]rfinseq2__t21_rfinseq2.vmin12025-09-15 19:47 862  
[ ]rfinseq2__t21_rfinseq2.vmin1out2025-09-15 19:51 12K 
[ ]rfinseq2__t21_rfinseq2.vout2025-09-15 18:42 12K 
[ ]rfinseq2__t24_rfinseq22025-09-09 03:27 50K 
[ ]rfinseq2__t24_rfinseq2.vout2025-09-15 19:42 1.1K 
[ ]rfinseq2__t25_rfinseq22025-09-09 03:28 50K 
[ ]rfinseq2__t25_rfinseq2.vout2025-09-15 14:26 1.2K 
[ ]rfinseq2__t26_rfinseq22025-09-09 03:30 54K 
[ ]rfinseq2__t26_rfinseq2.vout2025-09-15 19:10 4.1K 
[ ]rfinseq2__t27_rfinseq22025-09-09 03:32 54K 
[ ]rfinseq2__t27_rfinseq2.vout2025-09-15 13:29 7.3K 
[ ]rfinseq2__t28_rfinseq22025-09-09 03:33 34K 
[ ]rfinseq2__t28_rfinseq2.depv12025-09-15 19:46 172  
[ ]rfinseq2__t28_rfinseq2.depvmin12025-09-15 19:51 172  
[ ]rfinseq2__t28_rfinseq2.vmin12025-09-15 19:47 1.9K 
[ ]rfinseq2__t28_rfinseq2.vmin1out2025-09-15 19:51 34K 
[ ]rfinseq2__t28_rfinseq2.vout2025-09-15 17:22 35K 
[ ]rfinseq2__t29_rfinseq22025-09-09 03:34 34K 
[ ]rfinseq2__t29_rfinseq2.depv12025-09-15 19:46 172  
[ ]rfinseq2__t29_rfinseq2.depvmin12025-09-15 19:51 172  
[ ]rfinseq2__t29_rfinseq2.vmin12025-09-15 19:47 1.9K 
[ ]rfinseq2__t29_rfinseq2.vmin1out2025-09-15 19:48 34K 
[ ]rfinseq2__t29_rfinseq2.vout2025-09-15 18:11 34K 
[ ]rfinseq2__t30_rfinseq22025-09-09 03:36 35K 
[ ]rfinseq2__t30_rfinseq2.depv12025-09-15 19:46 106  
[ ]rfinseq2__t30_rfinseq2.depvmin12025-09-15 19:51 106  
[ ]rfinseq2__t30_rfinseq2.vmin12025-09-15 19:47 1.3K 
[ ]rfinseq2__t30_rfinseq2.vmin1out2025-09-15 19:48 20K 
[ ]rfinseq2__t30_rfinseq2.vout2025-09-15 14:53 20K 
[ ]rfinseq2__t31_rfinseq22025-09-09 03:37 35K 
[ ]rfinseq2__t31_rfinseq2.depv12025-09-15 19:46 106  
[ ]rfinseq2__t31_rfinseq2.depvmin12025-09-15 19:51 106  
[ ]rfinseq2__t31_rfinseq2.vmin12025-09-15 19:47 1.3K 
[ ]rfinseq2__t31_rfinseq2.vmin1out2025-09-15 19:50 20K 
[ ]rfinseq2__t31_rfinseq2.vout2025-09-15 18:05 20K 
[ ]rfinseq2__t32_rfinseq22025-09-09 03:38 44K 
[ ]rfinseq2__t32_rfinseq2.vout2025-09-15 17:52 6.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80