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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rfinseq__l5_rfinseq2024-07-27 12:40 38K 
[ ]rfinseq__l5_rfinseq.depv12024-08-03 10:19 243  
[ ]rfinseq__l5_rfinseq.depvmin12024-08-03 10:24 185  
[ ]rfinseq__l5_rfinseq.vmin12024-08-03 10:20 1.9K 
[ ]rfinseq__l5_rfinseq.vmin1out2024-08-03 10:22 12K 
[ ]rfinseq__l5_rfinseq.vout2024-08-03 07:31 18K 
[ ]rfinseq__l6_rfinseq2024-07-27 12:42 71K 
[ ]rfinseq__l6_rfinseq.vout2024-08-03 07:31 3.7K 
[ ]rfinseq__l9_rfinseq2024-07-27 12:44 44K 
[ ]rfinseq__l9_rfinseq.depv12024-08-03 10:19 113  
[ ]rfinseq__l9_rfinseq.depvmin12024-08-03 10:24 113  
[ ]rfinseq__l9_rfinseq.vmin12024-08-03 10:20 1.2K 
[ ]rfinseq__l9_rfinseq.vmin1out2024-08-03 10:21 16K 
[ ]rfinseq__l9_rfinseq.vout2024-08-03 08:37 14K 
[ ]rfinseq__l12_rfinseq2024-07-27 12:45 84K 
[ ]rfinseq__l12_rfinseq.vout2024-08-03 04:12 7.3K 
[ ]rfinseq__l29_rfinseq2024-07-27 12:47 65K 
[ ]rfinseq__l29_rfinseq.vout2024-08-03 06:40 6.8K 
[ ]rfinseq__l30_rfinseq2024-07-27 12:49 33K 
[ ]rfinseq__l30_rfinseq.depv12024-08-03 10:19 85  
[ ]rfinseq__l30_rfinseq.depvmin12024-08-03 10:24 85  
[ ]rfinseq__l30_rfinseq.vmin12024-08-03 10:20 771  
[ ]rfinseq__l30_rfinseq.vmin1out2024-08-03 10:20 7.5K 
[ ]rfinseq__l30_rfinseq.vout2024-08-03 05:44 7.2K 
[ ]rfinseq__l31_rfinseq2024-07-27 12:51 138K 
[ ]rfinseq__l31_rfinseq.vout2024-08-03 09:15 3.7K 
[ ]rfinseq__l33_rfinseq2024-07-27 12:52 80K 
[ ]rfinseq__l33_rfinseq.vout2024-08-03 09:06 6.8K 
[ ]rfinseq__t1_rfinseq2024-07-27 11:52 37K 
[ ]rfinseq__t1_rfinseq.vout2024-08-03 09:44 1.1K 
[ ]rfinseq__t2_rfinseq2024-07-27 11:53 32K 
[ ]rfinseq__t2_rfinseq.vout2024-08-03 05:23 2.0K 
[ ]rfinseq__t3_rfinseq2024-07-27 11:55 37K 
[ ]rfinseq__t3_rfinseq.depv12024-08-03 10:19 178  
[ ]rfinseq__t3_rfinseq.depvmin12024-08-03 10:24 178  
[ ]rfinseq__t3_rfinseq.vmin12024-08-03 10:20 1.8K 
[ ]rfinseq__t3_rfinseq.vmin1out2024-08-03 10:22 31K 
[ ]rfinseq__t3_rfinseq.vout2024-08-03 08:14 32K 
[ ]rfinseq__t4_rfinseq2024-07-27 11:56 46K 
[ ]rfinseq__t4_rfinseq.depv12024-08-03 10:19 233  
[ ]rfinseq__t4_rfinseq.depvmin12024-08-03 10:24 220  
[ ]rfinseq__t4_rfinseq.vmin12024-08-03 10:20 2.9K 
[ ]rfinseq__t4_rfinseq.vmin1out2024-08-03 10:21 63K 
[ ]rfinseq__t4_rfinseq.vout2024-08-03 05:00 70K 
[ ]rfinseq__t5_rfinseq2024-07-27 11:58 38K 
[ ]rfinseq__t5_rfinseq.vout2024-08-03 04:16 7.3K 
[ ]rfinseq__t6_rfinseq2024-07-27 11:59 49K 
[ ]rfinseq__t6_rfinseq.vout2024-08-03 07:45 7.3K 
[ ]rfinseq__t7_rfinseq2024-07-27 12:01 73K 
[ ]rfinseq__t7_rfinseq.vout2024-08-03 06:57 6.8K 
[ ]rfinseq__t8_rfinseq2024-07-27 12:02 57K 
[ ]rfinseq__t8_rfinseq.vout2024-08-03 08:27 7.3K 
[ ]rfinseq__t9_rfinseq2024-07-27 12:04 88K 
[ ]rfinseq__t9_rfinseq.vout2024-08-03 08:29 3.7K 
[ ]rfinseq__t10_rfinseq2024-07-27 12:06 180K 
[ ]rfinseq__t10_rfinseq.vout2024-08-03 10:13 7.3K 
[ ]rfinseq__t11_rfinseq2024-07-27 12:08 181K 
[ ]rfinseq__t11_rfinseq.vout2024-08-03 05:21 6.8K 
[ ]rfinseq__t12_rfinseq2024-07-27 12:09 38K 
[ ]rfinseq__t12_rfinseq.depv12024-08-03 10:19 349  
[ ]rfinseq__t12_rfinseq.depvmin12024-08-03 10:24 228  
[ ]rfinseq__t12_rfinseq.vmin12024-08-03 10:20 3.2K 
[ ]rfinseq__t12_rfinseq.vmin1out2024-08-03 10:22 26K 
[ ]rfinseq__t12_rfinseq.vout2024-08-03 06:07 30K 
[ ]rfinseq__t13_rfinseq2024-07-27 12:11 45K 
[ ]rfinseq__t13_rfinseq.vout2024-08-03 09:45 7.8K 
[ ]rfinseq__t14_rfinseq2024-07-27 12:13 72K 
[ ]rfinseq__t14_rfinseq.vout2024-08-03 09:13 7.8K 
[ ]rfinseq__t15_rfinseq2024-07-27 12:14 63K 
[ ]rfinseq__t15_rfinseq.vout2024-08-03 10:11 7.3K 
[ ]rfinseq__t16_rfinseq2024-07-27 12:16 130K 
[ ]rfinseq__t16_rfinseq.vout2024-08-03 07:00 7.4K 
[ ]rfinseq__t17_rfinseq2024-07-27 12:18 58K 
[ ]rfinseq__t17_rfinseq.vout2024-08-03 05:51 7.3K 
[ ]rfinseq__t18_rfinseq2024-07-27 12:19 42K 
[ ]rfinseq__t18_rfinseq.depv12024-08-03 10:19 225  
[ ]rfinseq__t18_rfinseq.depvmin12024-08-03 10:24 225  
[ ]rfinseq__t18_rfinseq.vmin12024-08-03 10:20 2.0K 
[ ]rfinseq__t18_rfinseq.vmin1out2024-08-03 10:21 15K 
[ ]rfinseq__t18_rfinseq.vout2024-08-03 05:13 21K 
[ ]rfinseq__t19_rfinseq2024-07-27 12:20 34K 
[ ]rfinseq__t19_rfinseq.vout2024-08-03 06:48 1.1K 
[ ]rfinseq__t20_rfinseq2024-07-27 11:51 46K 
[ ]rfinseq__t20_rfinseq.depv12024-08-03 10:19 108  
[ ]rfinseq__t20_rfinseq.depvmin12024-08-03 10:24 81  
[ ]rfinseq__t20_rfinseq.vmin12024-08-03 10:20 1.6K 
[ ]rfinseq__t20_rfinseq.vmin1out2024-08-03 10:23 15K 
[ ]rfinseq__t20_rfinseq.vout2024-08-03 08:07 21K 
[ ]rfinseq__t21_rfinseq2024-07-27 12:22 49K 
[ ]rfinseq__t21_rfinseq.vout2024-08-03 06:25 7.3K 
[ ]rfinseq__t22_rfinseq2024-07-27 12:23 37K 
[ ]rfinseq__t22_rfinseq.vout2024-08-03 05:14 7.3K 
[ ]rfinseq__t23_rfinseq2024-07-27 12:24 26K 
[ ]rfinseq__t23_rfinseq.depv12024-08-03 10:19 52  
[ ]rfinseq__t23_rfinseq.depvmin12024-08-03 10:24 52  
[ ]rfinseq__t23_rfinseq.vmin12024-08-03 10:20 873  
[ ]rfinseq__t23_rfinseq.vmin1out2024-08-03 10:21 7.8K 
[ ]rfinseq__t23_rfinseq.vout2024-08-03 04:16 7.3K 
[ ]rfinseq__t24_rfinseq2024-07-27 12:26 61K 
[ ]rfinseq__t24_rfinseq.vout2024-08-03 09:16 3.7K 
[ ]rfinseq__t25_rfinseq2024-07-27 12:28 55K 
[ ]rfinseq__t25_rfinseq.vout2024-08-03 10:12 4.2K 
[ ]rfinseq__t26_rfinseq2024-07-27 12:29 29K 
[ ]rfinseq__t26_rfinseq.vout2024-08-03 08:40 2.0K 
[ ]rfinseq__t27_rfinseq2024-07-27 12:30 40K 
[ ]rfinseq__t27_rfinseq.vout2024-08-03 10:04 7.3K 
[ ]rfinseq__t28_rfinseq2024-07-27 12:32 61K 
[ ]rfinseq__t28_rfinseq.vout2024-08-03 05:13 6.8K 
[ ]rfinseq__t29_rfinseq2024-07-27 12:33 44K 
[ ]rfinseq__t29_rfinseq.depv12024-08-03 10:19 310  
[ ]rfinseq__t29_rfinseq.depvmin12024-08-03 10:24 298  
[ ]rfinseq__t29_rfinseq.vmin12024-08-03 10:20 3.1K 
[ ]rfinseq__t29_rfinseq.vmin1out2024-08-03 10:23 32K 
[ ]rfinseq__t29_rfinseq.vout2024-08-03 05:37 40K 
[ ]rfinseq__t30_rfinseq2024-07-27 12:35 42K 
[ ]rfinseq__t30_rfinseq.vout2024-08-03 10:16 7.3K 
[ ]rfinseq__t31_rfinseq2024-07-27 12:36 38K 
[ ]rfinseq__t31_rfinseq.vout2024-08-03 07:16 1.1K 
[ ]rfinseq__t32_rfinseq2024-07-27 12:38 67K 
[ ]rfinseq__t32_rfinseq.vout2024-08-03 07:46 6.8K 
[ ]rfinseq__t33_rfinseq2024-07-27 12:39 38K 
[ ]rfinseq__t33_rfinseq.depv12024-08-03 10:19 131  
[ ]rfinseq__t33_rfinseq.depvmin12024-08-03 10:24 131  
[ ]rfinseq__t33_rfinseq.vmin12024-08-03 10:20 1.3K 
[ ]rfinseq__t33_rfinseq.vmin1out2024-08-03 10:21 18K 
[ ]rfinseq__t33_rfinseq.vout2024-08-03 10:00 21K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80