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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]seq_1__l47_seq_12024-07-27 00:31 10K 
[ ]seq_1__l47_seq_1.depv12024-08-03 10:19 120  
[ ]seq_1__l47_seq_1.depvmin12024-08-03 10:24 108  
[ ]seq_1__l47_seq_1.vmin12024-08-03 10:19 694  
[ ]seq_1__l47_seq_1.vmin1out2024-08-03 10:23 3.8K 
[ ]seq_1__l47_seq_1.vout2024-08-03 06:03 5.1K 
[ ]seq_1__t1_seq_12024-07-27 00:32 25K 
[ ]seq_1__t1_seq_1.depv12024-08-03 10:19 190  
[ ]seq_1__t1_seq_1.depvmin12024-08-03 10:24 190  
[ ]seq_1__t1_seq_1.vmin12024-08-03 10:19 2.0K 
[ ]seq_1__t1_seq_1.vmin1out2024-08-03 10:21 31K 
[ ]seq_1__t1_seq_1.vout2024-08-03 09:08 34K 
[ ]seq_1__t2_seq_12024-07-27 00:33 23K 
[ ]seq_1__t2_seq_1.depv12024-08-03 10:19 164  
[ ]seq_1__t2_seq_1.depvmin12024-08-03 10:24 164  
[ ]seq_1__t2_seq_1.vmin12024-08-03 10:19 1.7K 
[ ]seq_1__t2_seq_1.vmin1out2024-08-03 10:23 26K 
[ ]seq_1__t2_seq_1.vout2024-08-03 05:38 27K 
[ ]seq_1__t3_seq_12024-07-27 00:20 24K 
[ ]seq_1__t3_seq_1.depv12024-08-03 10:19 183  
[ ]seq_1__t3_seq_1.depvmin12024-08-03 10:24 183  
[ ]seq_1__t3_seq_1.vmin12024-08-03 10:19 1.4K 
[ ]seq_1__t3_seq_1.vmin1out2024-08-03 10:23 11K 
[ ]seq_1__t3_seq_1.vout2024-08-03 04:51 10K 
[ ]seq_1__t4_seq_12024-07-27 00:34 26K 
[ ]seq_1__t4_seq_1.depv12024-08-03 10:19 115  
[ ]seq_1__t4_seq_1.depvmin12024-08-03 10:24 115  
[ ]seq_1__t4_seq_1.vmin12024-08-03 10:19 1.2K 
[ ]seq_1__t4_seq_1.vmin1out2024-08-03 10:20 25K 
[ ]seq_1__t4_seq_1.vout2024-08-03 08:10 25K 
[ ]seq_1__t5_seq_12024-07-27 00:35 24K 
[ ]seq_1__t5_seq_1.depv12024-08-03 10:19 90  
[ ]seq_1__t5_seq_1.depvmin12024-08-03 10:24 77  
[ ]seq_1__t5_seq_1.vmin12024-08-03 10:19 1.0K 
[ ]seq_1__t5_seq_1.vmin1out2024-08-03 10:20 15K 
[ ]seq_1__t5_seq_1.vout2024-08-03 07:00 15K 
[ ]seq_1__t6_seq_12024-07-27 00:36 25K 
[ ]seq_1__t6_seq_1.vout2024-08-03 06:04 8.3K 
[ ]seq_1__t7_seq_12024-07-27 00:38 36K 
[ ]seq_1__t7_seq_1.vout2024-08-03 08:00 4.1K 
[ ]seq_1__t8_seq_12024-07-27 00:39 36K 
[ ]seq_1__t8_seq_1.vout2024-08-03 06:52 4.1K 
[ ]seq_1__t9_seq_12024-07-27 00:40 31K 
[ ]seq_1__t9_seq_1.vout2024-08-03 04:23 4.2K 
[ ]seq_1__t10_seq_12024-07-27 00:41 34K 
[ ]seq_1__t10_seq_1.vout2024-08-03 09:15 4.1K 
[ ]seq_1__t11_seq_12024-07-27 00:21 40K 
[ ]seq_1__t11_seq_1.vout2024-08-03 07:38 4.1K 
[ ]seq_1__t12_seq_12024-07-27 00:42 29K 
[ ]seq_1__t12_seq_1.depv12024-08-03 10:19 364  
[ ]seq_1__t12_seq_1.depvmin12024-08-03 10:24 350  
[ ]seq_1__t12_seq_1.vmin12024-08-03 10:19 4.0K 
[ ]seq_1__t12_seq_1.vmin1out2024-08-03 10:21 44K 
[ ]seq_1__t12_seq_1.vout2024-08-03 05:17 64K 
[ ]seq_1__t13_seq_12024-07-27 00:44 34K 
[ ]seq_1__t13_seq_1.vout2024-08-03 05:20 4.1K 
[ ]seq_1__t14_seq_12024-07-27 00:45 34K 
[ ]seq_1__t14_seq_1.vout2024-08-03 07:03 4.1K 
[ ]seq_1__t15_seq_12024-07-27 00:46 42K 
[ ]seq_1__t15_seq_1.vout2024-08-03 08:28 4.1K 
[ ]seq_1__t16_seq_12024-07-27 00:22 35K 
[ ]seq_1__t16_seq_1.vout2024-08-03 04:52 4.1K 
[ ]seq_1__t17_seq_12024-07-27 00:23 31K 
[ ]seq_1__t17_seq_1.depv12024-08-03 10:19 256  
[ ]seq_1__t17_seq_1.depvmin12024-08-03 10:24 256  
[ ]seq_1__t17_seq_1.vmin12024-08-03 10:19 2.6K 
[ ]seq_1__t17_seq_1.vmin1out2024-08-03 10:20 19K 
[ ]seq_1__t17_seq_1.vout2024-08-03 07:02 27K 
[ ]seq_1__t18_seq_12024-07-27 00:47 38K 
[ ]seq_1__t18_seq_1.vout2024-08-03 09:40 4.1K 
[ ]seq_1__t19_seq_12024-07-27 00:49 38K 
[ ]seq_1__t19_seq_1.vout2024-08-03 06:11 4.1K 
[ ]seq_1__t20_seq_12024-07-27 00:50 48K 
[ ]seq_1__t20_seq_1.vout2024-08-03 08:00 4.1K 
[ ]seq_1__t21_seq_12024-07-27 00:25 45K 
[ ]seq_1__t21_seq_1.vout2024-08-03 08:03 4.1K 
[ ]seq_1__t22_seq_12024-07-27 00:51 40K 
[ ]seq_1__t22_seq_1.vout2024-08-03 05:58 4.1K 
[ ]seq_1__t23_seq_12024-07-27 00:52 31K 
[ ]seq_1__t23_seq_1.vout2024-08-03 04:37 4.1K 
[ ]seq_1__t24_seq_12024-07-27 00:53 44K 
[ ]seq_1__t24_seq_1.vout2024-08-03 04:10 4.1K 
[ ]seq_1__t25_seq_12024-07-27 00:55 39K 
[ ]seq_1__t25_seq_1.vout2024-08-03 06:44 4.1K 
[ ]seq_1__t26_seq_12024-07-27 00:56 43K 
[ ]seq_1__t26_seq_1.vout2024-08-03 09:19 4.1K 
[ ]seq_1__t27_seq_12024-07-27 00:57 31K 
[ ]seq_1__t27_seq_1.vout2024-08-03 04:30 4.1K 
[ ]seq_1__t29_seq_12024-07-27 00:26 40K 
[ ]seq_1__t29_seq_1.vout2024-08-03 07:07 4.1K 
[ ]seq_1__t30_seq_12024-07-27 00:58 43K 
[ ]seq_1__t30_seq_1.vout2024-08-03 08:35 4.1K 
[ ]seq_1__t31_seq_12024-07-27 00:59 41K 
[ ]seq_1__t31_seq_1.vout2024-08-03 08:28 4.1K 
[ ]seq_1__t32_seq_12024-07-27 00:27 37K 
[ ]seq_1__t32_seq_1.vout2024-08-03 07:04 4.1K 
[ ]seq_1__t33_seq_12024-07-27 01:00 28K 
[ ]seq_1__t33_seq_1.vout2024-08-03 06:25 2.0K 
[ ]seq_1__t35_seq_12024-07-27 01:01 35K 
[ ]seq_1__t35_seq_1.vout2024-08-03 08:06 4.7K 
[ ]seq_1__t36_seq_12024-07-27 01:03 38K 
[ ]seq_1__t36_seq_1.vout2024-08-03 05:56 4.0K 
[ ]seq_1__t37_seq_12024-07-27 01:04 47K 
[ ]seq_1__t37_seq_1.vout2024-08-03 08:40 4.7K 
[ ]seq_1__t38_seq_12024-07-27 01:05 41K 
[ ]seq_1__t38_seq_1.vout2024-08-03 09:42 4.1K 
[ ]seq_1__t39_seq_12024-07-27 01:06 35K 
[ ]seq_1__t39_seq_1.vout2024-08-03 06:45 2.0K 
[ ]seq_1__t40_seq_12024-07-27 01:08 38K 
[ ]seq_1__t40_seq_1.vout2024-08-03 04:51 4.1K 
[ ]seq_1__t41_seq_12024-07-27 01:09 36K 
[ ]seq_1__t41_seq_1.vout2024-08-03 04:28 4.1K 
[ ]seq_1__t42_seq_12024-07-27 01:10 36K 
[ ]seq_1__t42_seq_1.vout2024-08-03 04:36 4.1K 
[ ]seq_1__t43_seq_12024-07-27 01:11 48K 
[ ]seq_1__t43_seq_1.vout2024-08-03 08:27 4.7K 
[ ]seq_1__t44_seq_12024-07-27 01:12 32K 
[ ]seq_1__t44_seq_1.vout2024-08-03 04:40 4.7K 
[ ]seq_1__t45_seq_12024-07-27 00:28 31K 
[ ]seq_1__t45_seq_1.depv12024-08-03 10:19 322  
[ ]seq_1__t45_seq_1.depvmin12024-08-03 10:24 322  
[ ]seq_1__t45_seq_1.vmin12024-08-03 10:19 2.6K 
[ ]seq_1__t45_seq_1.vmin1out2024-08-03 10:20 20K 
[ ]seq_1__t45_seq_1.vout2024-08-03 05:57 36K 
[ ]seq_1__t46_seq_12024-07-27 01:14 36K 
[ ]seq_1__t46_seq_1.vout2024-08-03 06:14 4.1K 
[ ]seq_1__t47_seq_12024-07-27 00:29 36K 
[ ]seq_1__t47_seq_1.depv12024-08-03 10:19 198  
[ ]seq_1__t47_seq_1.depvmin12024-08-03 10:24 198  
[ ]seq_1__t47_seq_1.vmin12024-08-03 10:19 2.2K 
[ ]seq_1__t47_seq_1.vmin1out2024-08-03 10:22 17K 
[ ]seq_1__t47_seq_1.vout2024-08-03 09:49 20K 
[ ]seq_1__t48_seq_12024-07-27 01:15 47K 
[ ]seq_1__t48_seq_1.vout2024-08-03 06:42 4.1K 
[ ]seq_1__t49_seq_12024-07-27 01:16 54K 
[ ]seq_1__t49_seq_1.vout2024-08-03 06:06 4.1K 
[ ]seq_1__t50_seq_12024-07-27 01:17 55K 
[ ]seq_1__t50_seq_1.vout2024-08-03 07:37 4.1K 
[ ]seq_1__t51_seq_12024-07-27 01:19 37K 
[ ]seq_1__t51_seq_1.vout2024-08-03 09:50 4.1K 
[ ]seq_1__t52_seq_12024-07-27 01:20 38K 
[ ]seq_1__t52_seq_1.vout2024-08-03 06:42 4.1K 
[ ]seq_1__t53_seq_12024-07-27 01:21 29K 
[ ]seq_1__t53_seq_1.vout2024-08-03 05:29 4.7K 
[ ]seq_1__t54_seq_12024-07-27 01:22 35K 
[ ]seq_1__t54_seq_1.vout2024-08-03 10:08 4.1K 
[ ]seq_1__t55_seq_12024-07-27 01:23 39K 
[ ]seq_1__t55_seq_1.vout2024-08-03 06:40 4.1K 
[ ]seq_1__t56_seq_12024-07-27 01:25 35K 
[ ]seq_1__t56_seq_1.vout2024-08-03 08:22 4.1K 
[ ]seq_1__t57_seq_12024-07-27 00:30 28K 
[ ]seq_1__t57_seq_1.depv12024-08-03 10:19 103  
[ ]seq_1__t57_seq_1.depvmin12024-08-03 10:24 103  
[ ]seq_1__t57_seq_1.vmin12024-08-03 10:19 1.0K 
[ ]seq_1__t57_seq_1.vmin1out2024-08-03 10:23 8.0K 
[ ]seq_1__t57_seq_1.vout2024-08-03 10:15 8.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80