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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rfinseq__t33_rfinseq.vout2021-07-25 17:35 17K 
[ ]rfinseq__t33_rfinseq.vmin1out2021-07-25 21:01 12K 
[ ]rfinseq__t33_rfinseq.vmin12021-07-25 20:57 1.2K 
[ ]rfinseq__t33_rfinseq.depvmin12021-07-25 21:03 118  
[ ]rfinseq__t33_rfinseq.depv12021-07-25 20:57 118  
[ ]rfinseq__t33_rfinseq2021-07-18 02:24 33K 
[ ]rfinseq__t32_rfinseq.vout2021-07-25 18:39 6.8K 
[ ]rfinseq__t32_rfinseq2021-07-18 02:24 61K 
[ ]rfinseq__t31_rfinseq.vout2021-07-25 17:00 2.0K 
[ ]rfinseq__t31_rfinseq2021-07-18 02:23 32K 
[ ]rfinseq__t30_rfinseq.vout2021-07-25 14:41 7.3K 
[ ]rfinseq__t30_rfinseq2021-07-18 02:23 38K 
[ ]rfinseq__t29_rfinseq.vout2021-07-25 20:49 39K 
[ ]rfinseq__t29_rfinseq.vmin1out2021-07-25 21:01 32K 
[ ]rfinseq__t29_rfinseq.vmin12021-07-25 20:57 3.0K 
[ ]rfinseq__t29_rfinseq.depvmin12021-07-25 21:03 298  
[ ]rfinseq__t29_rfinseq.depv12021-07-25 20:57 298  
[ ]rfinseq__t29_rfinseq2021-07-18 02:22 40K 
[ ]rfinseq__t28_rfinseq.vout2021-07-25 19:13 6.8K 
[ ]rfinseq__t28_rfinseq2021-07-18 02:22 55K 
[ ]rfinseq__t27_rfinseq.vout2021-07-25 20:08 7.3K 
[ ]rfinseq__t27_rfinseq2021-07-18 02:21 36K 
[ ]rfinseq__t26_rfinseq.vout2021-07-25 18:52 2.0K 
[ ]rfinseq__t26_rfinseq2021-07-18 02:21 24K 
[ ]rfinseq__t25_rfinseq.vout2021-07-25 18:50 3.7K 
[ ]rfinseq__t25_rfinseq2021-07-18 02:21 51K 
[ ]rfinseq__t24_rfinseq.vout2021-07-25 18:50 3.7K 
[ ]rfinseq__t24_rfinseq2021-07-18 02:20 57K 
[ ]rfinseq__t23_rfinseq.vout2021-07-25 18:31 8.0K 
[ ]rfinseq__t23_rfinseq.vmin1out2021-07-25 21:00 8.5K 
[ ]rfinseq__t23_rfinseq.vmin12021-07-25 20:57 1.1K 
[ ]rfinseq__t23_rfinseq.depvmin12021-07-25 21:03 107  
[ ]rfinseq__t23_rfinseq.depv12021-07-25 20:57 107  
[ ]rfinseq__t23_rfinseq2021-07-18 02:19 29K 
[ ]rfinseq__t22_rfinseq.vout2021-07-25 16:33 37K 
[ ]rfinseq__t22_rfinseq.vmin1out2021-07-25 20:59 39K 
[ ]rfinseq__t22_rfinseq.vmin12021-07-25 20:57 2.2K 
[ ]rfinseq__t22_rfinseq.depvmin12021-07-25 21:03 144  
[ ]rfinseq__t22_rfinseq.depv12021-07-25 20:57 144  
[ ]rfinseq__t22_rfinseq2021-07-18 02:19 33K 
[ ]rfinseq__t21_rfinseq.vout2021-07-25 16:15 7.3K 
[ ]rfinseq__t21_rfinseq2021-07-18 02:19 45K 
[ ]rfinseq__t20_rfinseq.vout2021-07-25 19:36 7.3K 
[ ]rfinseq__t20_rfinseq2021-07-18 02:18 47K 
[ ]rfinseq__t19_rfinseq.vout2021-07-25 17:15 2.0K 
[ ]rfinseq__t19_rfinseq2021-07-18 02:18 34K 
[ ]rfinseq__t18_rfinseq.vout2021-07-25 19:01 27K 
[ ]rfinseq__t18_rfinseq.vmin1out2021-07-25 21:00 20K 
[ ]rfinseq__t18_rfinseq.vmin12021-07-25 20:57 2.7K 
[ ]rfinseq__t18_rfinseq.depvmin12021-07-25 21:03 307  
[ ]rfinseq__t18_rfinseq.depv12021-07-25 20:57 334  
[ ]rfinseq__t18_rfinseq2021-07-18 02:17 38K 
[ ]rfinseq__t17_rfinseq.vout2021-07-25 14:50 7.3K 
[ ]rfinseq__t17_rfinseq2021-07-18 02:17 54K 
[ ]rfinseq__t16_rfinseq.vout2021-07-25 15:01 7.8K 
[ ]rfinseq__t16_rfinseq2021-07-18 02:16 116K 
[ ]rfinseq__t15_rfinseq.vout2021-07-25 15:30 7.3K 
[ ]rfinseq__t15_rfinseq2021-07-18 02:16 59K 
[ ]rfinseq__t14_rfinseq.vout2021-07-25 17:47 7.9K 
[ ]rfinseq__t14_rfinseq2021-07-18 02:15 60K 
[ ]rfinseq__t13_rfinseq.vout2021-07-25 15:30 28K 
[ ]rfinseq__t13_rfinseq.vmin1out2021-07-25 21:00 28K 
[ ]rfinseq__t13_rfinseq.vmin12021-07-25 20:57 1.6K 
[ ]rfinseq__t13_rfinseq.depvmin12021-07-25 21:03 168  
[ ]rfinseq__t13_rfinseq.depv12021-07-25 20:57 168  
[ ]rfinseq__t13_rfinseq2021-07-18 02:15 41K 
[ ]rfinseq__t12_rfinseq.vout2021-07-25 19:12 31K 
[ ]rfinseq__t12_rfinseq.vmin1out2021-07-25 20:59 25K 
[ ]rfinseq__t12_rfinseq.vmin12021-07-25 20:57 3.4K 
[ ]rfinseq__t12_rfinseq.depvmin12021-07-25 21:03 228  
[ ]rfinseq__t12_rfinseq.depv12021-07-25 20:57 371  
[ ]rfinseq__t12_rfinseq2021-07-18 02:14 35K 
[ ]rfinseq__t11_rfinseq.vout2021-07-25 17:07 6.8K 
[ ]rfinseq__t11_rfinseq2021-07-18 02:14 165K 
[ ]rfinseq__t10_rfinseq.vout2021-07-25 15:25 7.3K 
[ ]rfinseq__t10_rfinseq2021-07-18 02:13 165K 
[ ]rfinseq__t9_rfinseq.vout2021-07-25 20:14 4.7K 
[ ]rfinseq__t9_rfinseq2021-07-18 02:13 76K 
[ ]rfinseq__t8_rfinseq.vout2021-07-25 19:10 7.3K 
[ ]rfinseq__t8_rfinseq2021-07-18 02:12 44K 
[ ]rfinseq__t7_rfinseq.vout2021-07-25 17:55 6.8K 
[ ]rfinseq__t7_rfinseq2021-07-18 02:12 61K 
[ ]rfinseq__t6_rfinseq.vout2021-07-25 15:10 7.3K 
[ ]rfinseq__t6_rfinseq2021-07-18 02:11 40K 
[ ]rfinseq__t5_rfinseq.vout2021-07-25 16:31 7.3K 
[ ]rfinseq__t5_rfinseq2021-07-18 02:11 33K 
[ ]rfinseq__t4_rfinseq.vout2021-07-25 16:29 6.8K 
[ ]rfinseq__t4_rfinseq2021-07-18 02:10 41K 
[ ]rfinseq__t3_rfinseq.vout2021-07-25 17:07 32K 
[ ]rfinseq__t3_rfinseq.vmin1out2021-07-25 20:58 31K 
[ ]rfinseq__t3_rfinseq.vmin12021-07-25 20:57 1.8K 
[ ]rfinseq__t3_rfinseq.depvmin12021-07-25 21:03 178  
[ ]rfinseq__t3_rfinseq.depv12021-07-25 20:57 178  
[ ]rfinseq__t3_rfinseq2021-07-18 02:10 32K 
[ ]rfinseq__t2_rfinseq.vout2021-07-25 20:03 2.0K 
[ ]rfinseq__t2_rfinseq2021-07-18 02:09 27K 
[ ]rfinseq__t1_rfinseq.vout2021-07-25 17:23 2.0K 
[ ]rfinseq__t1_rfinseq2021-07-18 02:09 32K 
[ ]rfinseq__l33_rfinseq.vout2021-07-25 17:02 7.3K 
[ ]rfinseq__l33_rfinseq2021-07-18 02:28 67K 
[ ]rfinseq__l31_rfinseq.vout2021-07-25 20:19 3.7K 
[ ]rfinseq__l31_rfinseq2021-07-18 02:28 125K 
[ ]rfinseq__l30_rfinseq.vout2021-07-25 17:55 6.3K 
[ ]rfinseq__l30_rfinseq.vmin1out2021-07-25 20:58 6.8K 
[ ]rfinseq__l30_rfinseq.vmin12021-07-25 20:57 762  
[ ]rfinseq__l30_rfinseq.depvmin12021-07-25 21:03 112  
[ ]rfinseq__l30_rfinseq.depv12021-07-25 20:57 112  
[ ]rfinseq__l30_rfinseq2021-07-18 02:27 29K 
[ ]rfinseq__l29_rfinseq.vout2021-07-25 15:32 7.3K 
[ ]rfinseq__l29_rfinseq2021-07-18 02:27 58K 
[ ]rfinseq__l12_rfinseq.vout2021-07-25 19:49 7.3K 
[ ]rfinseq__l12_rfinseq2021-07-18 02:26 72K 
[ ]rfinseq__l9_rfinseq.vout2021-07-25 16:50 14K 
[ ]rfinseq__l9_rfinseq.vmin1out2021-07-25 21:02 16K 
[ ]rfinseq__l9_rfinseq.vmin12021-07-25 20:57 1.2K 
[ ]rfinseq__l9_rfinseq.depvmin12021-07-25 21:03 113  
[ ]rfinseq__l9_rfinseq.depv12021-07-25 20:57 113  
[ ]rfinseq__l9_rfinseq2021-07-18 02:26 35K 
[ ]rfinseq__l6_rfinseq.vout2021-07-25 20:13 3.7K 
[ ]rfinseq__l6_rfinseq2021-07-18 02:25 62K 
[ ]rfinseq__l5_rfinseq.vout2021-07-25 18:51 14K 
[ ]rfinseq__l5_rfinseq.vmin1out2021-07-25 21:02 13K 
[ ]rfinseq__l5_rfinseq.vmin12021-07-25 20:57 1.5K 
[ ]rfinseq__l5_rfinseq.depvmin12021-07-25 21:03 185  
[ ]rfinseq__l5_rfinseq.depv12021-07-25 20:57 185  
[ ]rfinseq__l5_rfinseq2021-07-18 02:25 32K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80