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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]seq_2__t1_seq_22024-07-28 09:58 25K 
[ ]seq_2__t1_seq_2.depv12024-08-03 10:19 334  
[ ]seq_2__t1_seq_2.depvmin12024-08-03 10:24 186  
[ ]seq_2__t1_seq_2.vmin12024-08-03 10:19 3.4K 
[ ]seq_2__t1_seq_2.vmin1out2024-08-03 10:23 36K 
[ ]seq_2__t1_seq_2.vout2024-08-03 04:35 60K 
[ ]seq_2__t2_seq_22024-07-28 09:59 31K 
[ ]seq_2__t2_seq_2.vout2024-08-03 06:19 7.8K 
[ ]seq_2__t3_seq_22024-07-28 10:01 44K 
[ ]seq_2__t3_seq_2.vout2024-08-03 07:20 7.2K 
[ ]seq_2__t4_seq_22024-07-28 10:02 41K 
[ ]seq_2__t4_seq_2.vout2024-08-03 07:35 2.0K 
[ ]seq_2__t5_seq_22024-07-28 10:03 60K 
[ ]seq_2__t5_seq_2.vout2024-08-03 06:57 4.6K 
[ ]seq_2__t6_seq_22024-07-28 10:05 61K 
[ ]seq_2__t6_seq_2.vout2024-08-03 07:38 4.6K 
[ ]seq_2__t9_seq_22024-07-28 09:57 33K 
[ ]seq_2__t9_seq_2.depv12024-08-03 10:19 207  
[ ]seq_2__t9_seq_2.depvmin12024-08-03 10:24 207  
[ ]seq_2__t9_seq_2.vmin12024-08-03 10:19 1.9K 
[ ]seq_2__t9_seq_2.vmin1out2024-08-03 10:23 15K 
[ ]seq_2__t9_seq_2.vout2024-08-03 07:57 15K 
[ ]seq_2__t10_seq_22024-07-28 10:06 43K 
[ ]seq_2__t10_seq_2.vout2024-08-03 07:37 1.1K 
[ ]seq_2__t11_seq_22024-07-28 10:08 44K 
[ ]seq_2__t11_seq_2.depv12024-08-03 10:19 190  
[ ]seq_2__t11_seq_2.depvmin12024-08-03 10:24 176  
[ ]seq_2__t11_seq_2.vmin12024-08-03 10:19 2.9K 
[ ]seq_2__t11_seq_2.vmin1out2024-08-03 10:23 26K 
[ ]seq_2__t11_seq_2.vout2024-08-03 09:48 26K 
[ ]seq_2__t12_seq_22024-07-28 10:09 53K 
[ ]seq_2__t12_seq_2.vout2024-08-03 05:54 1.0K 
[ ]seq_2__t13_seq_22024-07-28 10:10 43K 
[ ]seq_2__t13_seq_2.vout2024-08-03 04:14 2.0K 
[ ]seq_2__t14_seq_22024-07-28 10:12 62K 
[ ]seq_2__t14_seq_2.vout2024-08-03 05:19 4.7K 
[ ]seq_2__t15_seq_22024-07-28 10:13 63K 
[ ]seq_2__t15_seq_2.vout2024-08-03 06:50 4.7K 
[ ]seq_2__t16_seq_22024-07-28 10:15 94K 
[ ]seq_2__t16_seq_2.vout2024-08-03 05:16 7.3K 
[ ]seq_2__t17_seq_22024-07-28 10:16 42K 
[ ]seq_2__t17_seq_2.vout2024-08-03 08:08 7.3K 
[ ]seq_2__t18_seq_22024-07-28 10:18 62K 
[ ]seq_2__t18_seq_2.vout2024-08-03 05:34 4.7K 
[ ]seq_2__t19_seq_22024-07-28 10:19 53K 
[ ]seq_2__t19_seq_2.vout2024-08-03 04:07 6.8K 
[ ]seq_2__t20_seq_22024-07-28 10:21 53K 
[ ]seq_2__t20_seq_2.vout2024-08-03 06:44 6.7K 
[ ]seq_2__t23_seq_22024-07-28 10:22 37K 
[ ]seq_2__t23_seq_2.depv12024-08-03 10:19 307  
[ ]seq_2__t23_seq_2.depvmin12024-08-03 10:24 279  
[ ]seq_2__t23_seq_2.vmin12024-08-03 10:19 4.0K 
[ ]seq_2__t23_seq_2.vmin1out2024-08-03 10:23 37K 
[ ]seq_2__t23_seq_2.vout2024-08-03 08:05 66K 
[ ]seq_2__t27_seq_22024-07-28 10:23 47K 
[ ]seq_2__t27_seq_2.vout2024-08-03 09:10 7.3K 
[ ]seq_2__t28_seq_22024-07-28 10:25 44K 
[ ]seq_2__t28_seq_2.vout2024-08-03 04:14 1.0K 
[ ]seq_2__t29_seq_22024-07-28 10:26 42K 
[ ]seq_2__t29_seq_2.vout2024-08-03 04:34 1.1K 
[ ]seq_2__t30_seq_22024-07-28 10:27 49K 
[ ]seq_2__t30_seq_2.vout2024-08-03 04:16 1.0K 
[ ]seq_2__t31_seq_22024-07-28 10:29 59K 
[ ]seq_2__t31_seq_2.vout2024-08-03 05:12 1.0K 
[ ]seq_2__t32_seq_22024-07-28 10:30 44K 
[ ]seq_2__t32_seq_2.vout2024-08-03 05:40 1.0K 
[ ]seq_2__t33_seq_22024-07-28 10:32 42K 
[ ]seq_2__t33_seq_2.vout2024-08-03 07:59 2.0K 
[ ]seq_2__t34_seq_22024-07-28 10:33 52K 
[ ]seq_2__t34_seq_2.vout2024-08-03 08:49 2.0K 
[ ]seq_2__t35_seq_22024-07-28 10:34 46K 
[ ]seq_2__t35_seq_2.vout2024-08-03 07:49 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80