Index of /~mptp/mml5.63.1382/MPTP2/problems_small/rfinseq2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rfinseq2__l18_rfinseq22021-07-18 10:24 49K 
[ ]rfinseq2__l18_rfinseq2.vout2021-07-25 19:59 7.9K 
[ ]rfinseq2__l20_rfinseq22021-07-18 10:24 49K 
[ ]rfinseq2__l20_rfinseq2.vout2021-07-25 19:06 7.9K 
[ ]rfinseq2__l25_rfinseq22021-07-18 10:25 50K 
[ ]rfinseq2__l25_rfinseq2.vout2021-07-25 17:11 4.7K 
[ ]rfinseq2__l27_rfinseq22021-07-18 10:25 56K 
[ ]rfinseq2__l27_rfinseq2.vout2021-07-25 16:27 4.7K 
[ ]rfinseq2__t1_rfinseq22021-07-18 10:13 35K 
[ ]rfinseq2__t1_rfinseq2.depv12021-07-25 20:57 426  
[ ]rfinseq2__t1_rfinseq2.depvmin12021-07-25 21:03 426  
[ ]rfinseq2__t1_rfinseq2.vmin12021-07-25 20:57 3.9K 
[ ]rfinseq2__t1_rfinseq2.vmin1out2021-07-25 20:59 51K 
[ ]rfinseq2__t1_rfinseq2.vout2021-07-25 18:21 52K 
[ ]rfinseq2__t2_rfinseq22021-07-18 10:13 35K 
[ ]rfinseq2__t2_rfinseq2.depv12021-07-25 20:57 426  
[ ]rfinseq2__t2_rfinseq2.depvmin12021-07-25 21:03 426  
[ ]rfinseq2__t2_rfinseq2.vmin12021-07-25 20:57 3.9K 
[ ]rfinseq2__t2_rfinseq2.vmin1out2021-07-25 21:00 51K 
[ ]rfinseq2__t2_rfinseq2.vout2021-07-25 17:17 52K 
[ ]rfinseq2__t3_rfinseq22021-07-18 10:14 35K 
[ ]rfinseq2__t3_rfinseq2.depv12021-07-25 20:57 441  
[ ]rfinseq2__t3_rfinseq2.depvmin12021-07-25 21:03 379  
[ ]rfinseq2__t3_rfinseq2.vmin12021-07-25 20:57 3.6K 
[ ]rfinseq2__t3_rfinseq2.vmin1out2021-07-25 20:59 44K 
[ ]rfinseq2__t3_rfinseq2.vout2021-07-25 19:29 38K 
[ ]rfinseq2__t4_rfinseq22021-07-18 10:14 35K 
[ ]rfinseq2__t4_rfinseq2.depv12021-07-25 20:57 441  
[ ]rfinseq2__t4_rfinseq2.depvmin12021-07-25 21:03 379  
[ ]rfinseq2__t4_rfinseq2.vmin12021-07-25 20:57 3.6K 
[ ]rfinseq2__t4_rfinseq2.vmin1out2021-07-25 20:59 44K 
[ ]rfinseq2__t4_rfinseq2.vout2021-07-25 17:45 38K 
[ ]rfinseq2__t5_rfinseq22021-07-18 10:15 43K 
[ ]rfinseq2__t5_rfinseq2.vout2021-07-25 18:14 4.7K 
[ ]rfinseq2__t6_rfinseq22021-07-18 10:15 43K 
[ ]rfinseq2__t6_rfinseq2.vout2021-07-25 18:28 4.7K 
[ ]rfinseq2__t7_rfinseq22021-07-18 10:15 46K 
[ ]rfinseq2__t7_rfinseq2.vout2021-07-25 18:37 7.9K 
[ ]rfinseq2__t8_rfinseq22021-07-18 10:16 46K 
[ ]rfinseq2__t8_rfinseq2.vout2021-07-25 20:54 7.8K 
[ ]rfinseq2__t9_rfinseq22021-07-18 10:16 43K 
[ ]rfinseq2__t9_rfinseq2.vout2021-07-25 17:04 4.7K 
[ ]rfinseq2__t10_rfinseq22021-07-18 10:17 42K 
[ ]rfinseq2__t10_rfinseq2.vout2021-07-25 18:08 4.7K 
[ ]rfinseq2__t11_rfinseq22021-07-18 10:17 44K 
[ ]rfinseq2__t11_rfinseq2.vout2021-07-25 17:36 4.7K 
[ ]rfinseq2__t12_rfinseq22021-07-18 10:17 44K 
[ ]rfinseq2__t12_rfinseq2.vout2021-07-25 18:45 4.7K 
[ ]rfinseq2__t13_rfinseq22021-07-18 10:18 47K 
[ ]rfinseq2__t13_rfinseq2.vout2021-07-25 18:44 7.4K 
[ ]rfinseq2__t14_rfinseq22021-07-18 10:18 31K 
[ ]rfinseq2__t14_rfinseq2.depv12021-07-25 20:57 126  
[ ]rfinseq2__t14_rfinseq2.depvmin12021-07-25 21:03 126  
[ ]rfinseq2__t14_rfinseq2.vmin12021-07-25 20:57 1.0K 
[ ]rfinseq2__t14_rfinseq2.vmin1out2021-07-25 20:58 11K 
[ ]rfinseq2__t14_rfinseq2.vout2021-07-25 19:30 13K 
[ ]rfinseq2__t15_rfinseq22021-07-18 10:19 31K 
[ ]rfinseq2__t15_rfinseq2.depv12021-07-25 20:57 126  
[ ]rfinseq2__t15_rfinseq2.depvmin12021-07-25 21:03 126  
[ ]rfinseq2__t15_rfinseq2.vmin12021-07-25 20:57 1.0K 
[ ]rfinseq2__t15_rfinseq2.vmin1out2021-07-25 20:58 11K 
[ ]rfinseq2__t15_rfinseq2.vout2021-07-25 17:14 13K 
[ ]rfinseq2__t16_rfinseq22021-07-18 10:19 39K 
[ ]rfinseq2__t16_rfinseq2.depv12021-07-25 20:57 415  
[ ]rfinseq2__t16_rfinseq2.depvmin12021-07-25 21:03 371  
[ ]rfinseq2__t16_rfinseq2.vmin12021-07-25 20:57 3.1K 
[ ]rfinseq2__t16_rfinseq2.vmin1out2021-07-25 20:58 25K 
[ ]rfinseq2__t16_rfinseq2.vout2021-07-25 14:31 28K 
[ ]rfinseq2__t17_rfinseq22021-07-18 10:19 37K 
[ ]rfinseq2__t17_rfinseq2.vout2021-07-25 16:13 7.3K 
[ ]rfinseq2__t18_rfinseq22021-07-18 10:20 40K 
[ ]rfinseq2__t18_rfinseq2.vout2021-07-25 15:55 7.3K 
[ ]rfinseq2__t19_rfinseq22021-07-18 10:20 29K 
[ ]rfinseq2__t19_rfinseq2.depv12021-07-25 20:57 123  
[ ]rfinseq2__t19_rfinseq2.depvmin12021-07-25 21:03 123  
[ ]rfinseq2__t19_rfinseq2.vmin12021-07-25 20:57 1.1K 
[ ]rfinseq2__t19_rfinseq2.vmin1out2021-07-25 21:02 8.8K 
[ ]rfinseq2__t19_rfinseq2.vout2021-07-25 16:38 8.3K 
[ ]rfinseq2__t20_rfinseq22021-07-18 10:12 28K 
[ ]rfinseq2__t20_rfinseq2.depv12021-07-25 20:57 89  
[ ]rfinseq2__t20_rfinseq2.depvmin12021-07-25 21:03 89  
[ ]rfinseq2__t20_rfinseq2.vmin12021-07-25 20:57 650  
[ ]rfinseq2__t20_rfinseq2.vmin1out2021-07-25 20:58 7.9K 
[ ]rfinseq2__t20_rfinseq2.vout2021-07-25 17:17 7.8K 
[ ]rfinseq2__t21_rfinseq22021-07-18 10:13 28K 
[ ]rfinseq2__t21_rfinseq2.depv12021-07-25 20:57 89  
[ ]rfinseq2__t21_rfinseq2.depvmin12021-07-25 21:03 89  
[ ]rfinseq2__t21_rfinseq2.vmin12021-07-25 20:57 650  
[ ]rfinseq2__t21_rfinseq2.vmin1out2021-07-25 21:01 7.9K 
[ ]rfinseq2__t21_rfinseq2.vout2021-07-25 18:05 7.8K 
[ ]rfinseq2__t24_rfinseq22021-07-18 10:20 45K 
[ ]rfinseq2__t24_rfinseq2.vout2021-07-25 17:35 1.1K 
[ ]rfinseq2__t25_rfinseq22021-07-18 10:21 45K 
[ ]rfinseq2__t25_rfinseq2.vout2021-07-25 19:40 1.1K 
[ ]rfinseq2__t26_rfinseq22021-07-18 10:21 50K 
[ ]rfinseq2__t26_rfinseq2.vout2021-07-25 14:37 4.1K 
[ ]rfinseq2__t27_rfinseq22021-07-18 10:22 50K 
[ ]rfinseq2__t27_rfinseq2.vout2021-07-25 16:24 7.9K 
[ ]rfinseq2__t28_rfinseq22021-07-18 10:22 30K 
[ ]rfinseq2__t28_rfinseq2.depv12021-07-25 20:57 200  
[ ]rfinseq2__t28_rfinseq2.depvmin12021-07-25 21:03 200  
[ ]rfinseq2__t28_rfinseq2.vmin12021-07-25 20:57 1.9K 
[ ]rfinseq2__t28_rfinseq2.vmin1out2021-07-25 21:02 25K 
[ ]rfinseq2__t28_rfinseq2.vout2021-07-25 15:59 22K 
[ ]rfinseq2__t29_rfinseq22021-07-18 10:22 30K 
[ ]rfinseq2__t29_rfinseq2.depv12021-07-25 20:57 200  
[ ]rfinseq2__t29_rfinseq2.depvmin12021-07-25 21:03 200  
[ ]rfinseq2__t29_rfinseq2.vmin12021-07-25 20:57 1.9K 
[ ]rfinseq2__t29_rfinseq2.vmin1out2021-07-25 21:01 25K 
[ ]rfinseq2__t29_rfinseq2.vout2021-07-25 20:28 22K 
[ ]rfinseq2__t30_rfinseq22021-07-18 10:23 31K 
[ ]rfinseq2__t30_rfinseq2.depv12021-07-25 20:57 119  
[ ]rfinseq2__t30_rfinseq2.depvmin12021-07-25 21:03 119  
[ ]rfinseq2__t30_rfinseq2.vmin12021-07-25 20:57 1.3K 
[ ]rfinseq2__t30_rfinseq2.vmin1out2021-07-25 20:59 18K 
[ ]rfinseq2__t30_rfinseq2.vout2021-07-25 14:48 20K 
[ ]rfinseq2__t31_rfinseq22021-07-18 10:23 31K 
[ ]rfinseq2__t31_rfinseq2.depv12021-07-25 20:57 119  
[ ]rfinseq2__t31_rfinseq2.depvmin12021-07-25 21:03 119  
[ ]rfinseq2__t31_rfinseq2.vmin12021-07-25 20:57 1.3K 
[ ]rfinseq2__t31_rfinseq2.vmin1out2021-07-25 20:58 18K 
[ ]rfinseq2__t31_rfinseq2.vout2021-07-25 20:00 20K 
[ ]rfinseq2__t32_rfinseq22021-07-18 10:23 39K 
[ ]rfinseq2__t32_rfinseq2.vout2021-07-25 14:49 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80