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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_9__t1_finseq_92024-07-26 17:11 82K 
[ ]finseq_9__t1_finseq_9.vout2024-08-03 10:07 7.3K 
[ ]finseq_9__t2_finseq_92024-07-26 17:13 84K 
[ ]finseq_9__t2_finseq_9.depv12024-08-03 10:19 90  
[ ]finseq_9__t2_finseq_9.depvmin12024-08-03 10:24 90  
[ ]finseq_9__t2_finseq_9.vmin12024-08-03 10:19 680  
[ ]finseq_9__t2_finseq_9.vmin1out2024-08-03 10:21 7.0K 
[ ]finseq_9__t2_finseq_9.vout2024-08-03 08:38 7.3K 
[ ]finseq_9__t3_finseq_92024-07-26 17:15 50K 
[ ]finseq_9__t3_finseq_9.depv12024-08-03 10:19 51  
[ ]finseq_9__t3_finseq_9.depvmin12024-08-03 10:24 51  
[ ]finseq_9__t3_finseq_9.vmin12024-08-03 10:19 496  
[ ]finseq_9__t3_finseq_9.vmin1out2024-08-03 10:21 6.8K 
[ ]finseq_9__t3_finseq_9.vout2024-08-03 05:39 7.9K 
[ ]finseq_9__t4_finseq_92024-07-26 17:17 84K 
[ ]finseq_9__t4_finseq_9.depv12024-08-03 10:19 104  
[ ]finseq_9__t4_finseq_9.depvmin12024-08-03 10:24 104  
[ ]finseq_9__t4_finseq_9.vmin12024-08-03 10:19 830  
[ ]finseq_9__t4_finseq_9.vmin1out2024-08-03 10:22 8.1K 
[ ]finseq_9__t4_finseq_9.vout2024-08-03 07:43 8.9K 
[ ]finseq_9__t5_finseq_92024-07-26 17:18 84K 
[ ]finseq_9__t5_finseq_9.depv12024-08-03 10:19 104  
[ ]finseq_9__t5_finseq_9.depvmin12024-08-03 10:24 104  
[ ]finseq_9__t5_finseq_9.vmin12024-08-03 10:19 830  
[ ]finseq_9__t5_finseq_9.vmin1out2024-08-03 10:22 8.1K 
[ ]finseq_9__t5_finseq_9.vout2024-08-03 07:03 8.9K 
[ ]finseq_9__t6_finseq_92024-07-26 17:20 84K 
[ ]finseq_9__t6_finseq_9.depv12024-08-03 10:19 90  
[ ]finseq_9__t6_finseq_9.depvmin12024-08-03 10:24 90  
[ ]finseq_9__t6_finseq_9.vmin12024-08-03 10:19 680  
[ ]finseq_9__t6_finseq_9.vmin1out2024-08-03 10:22 7.0K 
[ ]finseq_9__t6_finseq_9.vout2024-08-03 07:59 7.3K 
[ ]finseq_9__t7_finseq_92024-07-26 17:22 50K 
[ ]finseq_9__t7_finseq_9.depv12024-08-03 10:19 52  
[ ]finseq_9__t7_finseq_9.depvmin12024-08-03 10:24 52  
[ ]finseq_9__t7_finseq_9.vmin12024-08-03 10:19 494  
[ ]finseq_9__t7_finseq_9.vmin1out2024-08-03 10:21 9.7K 
[ ]finseq_9__t7_finseq_9.vout2024-08-03 10:06 7.8K 
[ ]finseq_9__t8_finseq_92024-07-26 17:24 84K 
[ ]finseq_9__t8_finseq_9.depv12024-08-03 10:19 90  
[ ]finseq_9__t8_finseq_9.depvmin12024-08-03 10:24 90  
[ ]finseq_9__t8_finseq_9.vmin12024-08-03 10:19 680  
[ ]finseq_9__t8_finseq_9.vmin1out2024-08-03 10:22 7.0K 
[ ]finseq_9__t8_finseq_9.vout2024-08-03 06:16 7.3K 
[ ]finseq_9__t9_finseq_92024-07-26 17:25 50K 
[ ]finseq_9__t9_finseq_9.depv12024-08-03 10:19 52  
[ ]finseq_9__t9_finseq_9.depvmin12024-08-03 10:24 52  
[ ]finseq_9__t9_finseq_9.vmin12024-08-03 10:19 494  
[ ]finseq_9__t9_finseq_9.vmin1out2024-08-03 10:23 6.8K 
[ ]finseq_9__t9_finseq_9.vout2024-08-03 07:49 7.8K 
[ ]finseq_9__t10_finseq_92024-07-26 17:27 84K 
[ ]finseq_9__t10_finseq_9.vout2024-08-03 04:31 7.4K 
[ ]finseq_9__t11_finseq_92024-07-26 17:29 84K 
[ ]finseq_9__t11_finseq_9.vout2024-08-03 10:11 7.4K 
[ ]finseq_9__t12_finseq_92024-07-26 17:30 85K 
[ ]finseq_9__t12_finseq_9.vout2024-08-03 05:29 7.4K 
[ ]finseq_9__t13_finseq_92024-07-26 17:32 85K 
[ ]finseq_9__t13_finseq_9.vout2024-08-03 10:13 7.4K 
[ ]finseq_9__t14_finseq_92024-07-26 17:34 85K 
[ ]finseq_9__t14_finseq_9.vout2024-08-03 09:54 7.4K 
[ ]finseq_9__t15_finseq_92024-07-26 17:35 2.3K 
[ ]finseq_9__t15_finseq_9.depv12024-08-03 10:19 75  
[ ]finseq_9__t15_finseq_9.depvmin12024-08-03 10:24 75  
[ ]finseq_9__t15_finseq_9.vmin12024-08-03 10:19 913  
[ ]finseq_9__t15_finseq_9.vmin1out2024-08-03 10:23 12K 
[ ]finseq_9__t15_finseq_9.vout2024-08-03 08:03 12K 
[ ]finseq_9__t16_finseq_92024-07-26 17:35 3.5K 
[ ]finseq_9__t16_finseq_9.depv12024-08-03 10:19 61  
[ ]finseq_9__t16_finseq_9.depvmin12024-08-03 10:24 61  
[ ]finseq_9__t16_finseq_9.vmin12024-08-03 10:19 761  
[ ]finseq_9__t16_finseq_9.vmin1out2024-08-03 10:22 8.9K 
[ ]finseq_9__t16_finseq_9.vout2024-08-03 06:42 8.9K 
[ ]finseq_9__t17_finseq_92024-07-26 17:35 3.8K 
[ ]finseq_9__t17_finseq_9.depv12024-08-03 10:19 102  
[ ]finseq_9__t17_finseq_9.depvmin12024-08-03 10:24 102  
[ ]finseq_9__t17_finseq_9.vmin12024-08-03 10:19 1.1K 
[ ]finseq_9__t17_finseq_9.vmin1out2024-08-03 10:21 14K 
[ ]finseq_9__t17_finseq_9.vout2024-08-03 05:03 14K 
[ ]finseq_9__t18_finseq_92024-07-26 17:37 61K 
[ ]finseq_9__t18_finseq_9.depv12024-08-03 10:19 88  
[ ]finseq_9__t18_finseq_9.depvmin12024-08-03 10:24 88  
[ ]finseq_9__t18_finseq_9.vmin12024-08-03 10:19 1.0K 
[ ]finseq_9__t18_finseq_9.vmin1out2024-08-03 10:23 11K 
[ ]finseq_9__t18_finseq_9.vout2024-08-03 07:37 12K 
[ ]finseq_9__t19_finseq_92024-07-26 17:39 107K 
[ ]finseq_9__t19_finseq_9.vout2024-08-03 05:29 7.3K 
[ ]finseq_9__t20_finseq_92024-07-26 17:40 68K 
[ ]finseq_9__t20_finseq_9.depv12024-08-03 10:19 126  
[ ]finseq_9__t20_finseq_9.depvmin12024-08-03 10:24 126  
[ ]finseq_9__t20_finseq_9.vmin12024-08-03 10:19 1.3K 
[ ]finseq_9__t20_finseq_9.vmin1out2024-08-03 10:22 12K 
[ ]finseq_9__t20_finseq_9.vout2024-08-03 05:08 19K 
[ ]finseq_9__t21_finseq_92024-07-26 17:43 133K 
[ ]finseq_9__t21_finseq_9.vout2024-08-03 07:36 7.3K 
[ ]finseq_9__t22_finseq_92024-07-26 17:45 179K 
[ ]finseq_9__t22_finseq_9.vout2024-08-03 05:02 7.3K 
[ ]finseq_9__t23_finseq_92024-07-26 17:46 99K 
[ ]finseq_9__t23_finseq_9.depv12024-08-03 10:19 160  
[ ]finseq_9__t23_finseq_9.depvmin12024-08-03 10:24 160  
[ ]finseq_9__t23_finseq_9.vmin12024-08-03 10:19 1.9K 
[ ]finseq_9__t23_finseq_9.vmin1out2024-08-03 10:23 41K 
[ ]finseq_9__t23_finseq_9.vout2024-08-03 07:06 28K 
[ ]finseq_9__t24_finseq_92024-07-26 17:49 179K 
[ ]finseq_9__t24_finseq_9.vout2024-08-03 08:18 7.3K 
[ ]finseq_9__t25_finseq_92024-07-26 17:50 132K 
[ ]finseq_9__t25_finseq_9.vout2024-08-03 07:52 7.3K 
[ ]finseq_9__t26_finseq_92024-07-26 17:52 97K 
[ ]finseq_9__t26_finseq_9.vout2024-08-03 07:43 7.3K 
[ ]finseq_9__t27_finseq_92024-07-26 17:54 88K 
[ ]finseq_9__t27_finseq_9.vout2024-08-03 04:32 7.3K 
[ ]finseq_9__t28_finseq_92024-07-26 17:56 90K 
[ ]finseq_9__t28_finseq_9.depv12024-08-03 10:19 154  
[ ]finseq_9__t28_finseq_9.depvmin12024-08-03 10:24 154  
[ ]finseq_9__t28_finseq_9.vmin12024-08-03 10:19 1.8K 
[ ]finseq_9__t28_finseq_9.vmin1out2024-08-03 10:20 22K 
[ ]finseq_9__t28_finseq_9.vout2024-08-03 04:42 23K 
[ ]finseq_9__t29_finseq_92024-07-26 17:58 103K 
[ ]finseq_9__t29_finseq_9.vout2024-08-03 07:07 7.9K 
[ ]finseq_9__t30_finseq_92024-07-26 18:00 64K 
[ ]finseq_9__t30_finseq_9.depv12024-08-03 10:19 164  
[ ]finseq_9__t30_finseq_9.depvmin12024-08-03 10:24 164  
[ ]finseq_9__t30_finseq_9.vmin12024-08-03 10:19 1.8K 
[ ]finseq_9__t30_finseq_9.vmin1out2024-08-03 10:22 25K 
[ ]finseq_9__t30_finseq_9.vout2024-08-03 05:02 29K 
[ ]finseq_9__t31_finseq_92024-07-26 18:01 76K 
[ ]finseq_9__t31_finseq_9.depv12024-08-03 10:19 336  
[ ]finseq_9__t31_finseq_9.depvmin12024-08-03 10:24 312  
[ ]finseq_9__t31_finseq_9.vmin12024-08-03 10:19 2.8K 
[ ]finseq_9__t31_finseq_9.vmin1out2024-08-03 10:23 35K 
[ ]finseq_9__t31_finseq_9.vout2024-08-03 05:03 37K 
[ ]finseq_9__t32_finseq_92024-07-26 18:03 80K 
[ ]finseq_9__t32_finseq_9.vout2024-08-03 04:07 5.9K 
[ ]finseq_9__t33_finseq_92024-07-26 18:05 64K 
[ ]finseq_9__t33_finseq_9.depv12024-08-03 10:19 440  
[ ]finseq_9__t33_finseq_9.depvmin12024-08-03 10:24 440  
[ ]finseq_9__t33_finseq_9.vmin12024-08-03 10:19 4.0K 
[ ]finseq_9__t33_finseq_9.vmin1out2024-08-03 10:23 50K 
[ ]finseq_9__t33_finseq_9.vout2024-08-03 05:06 51K 
[ ]finseq_9__t34_finseq_92024-07-26 18:07 66K 
[ ]finseq_9__t34_finseq_9.vout2024-08-03 09:53 7.4K 
[ ]finseq_9__t35_finseq_92024-07-26 18:09 76K 
[ ]finseq_9__t35_finseq_9.vout2024-08-03 07:02 7.3K 
[ ]finseq_9__t36_finseq_92024-07-26 18:11 102K 
[ ]finseq_9__t36_finseq_9.vout2024-08-03 05:27 7.3K 
[ ]finseq_9__t37_finseq_92024-07-26 18:13 89K 
[ ]finseq_9__t37_finseq_9.vout2024-08-03 06:46 7.3K 
[ ]finseq_9__t38_finseq_92024-07-26 18:15 104K 
[ ]finseq_9__t38_finseq_9.vout2024-08-03 09:54 7.3K 
[ ]finseq_9__t39_finseq_92024-07-26 18:16 77K 
[ ]finseq_9__t39_finseq_9.vout2024-08-03 09:21 7.3K 
[ ]finseq_9__t40_finseq_92024-07-26 18:19 131K 
[ ]finseq_9__t40_finseq_9.vout2024-08-03 05:49 7.3K 
[ ]finseq_9__t41_finseq_92024-07-26 18:21 98K 
[ ]finseq_9__t41_finseq_9.depv12024-08-03 10:19 159  
[ ]finseq_9__t41_finseq_9.depvmin12024-08-03 10:24 159  
[ ]finseq_9__t41_finseq_9.vmin12024-08-03 10:19 1.6K 
[ ]finseq_9__t41_finseq_9.vmin1out2024-08-03 10:21 18K 
[ ]finseq_9__t41_finseq_9.vout2024-08-03 06:59 20K 
[ ]finseq_9__t42_finseq_92024-07-26 18:23 100K 
[ ]finseq_9__t42_finseq_9.depv12024-08-03 10:19 182  
[ ]finseq_9__t42_finseq_9.depvmin12024-08-03 10:24 182  
[ ]finseq_9__t42_finseq_9.vmin12024-08-03 10:19 2.1K 
[ ]finseq_9__t42_finseq_9.vmin1out2024-08-03 10:20 31K 
[ ]finseq_9__t42_finseq_9.vout2024-08-03 07:30 36K 
[ ]finseq_9__t43_finseq_92024-07-26 18:25 101K 
[ ]finseq_9__t43_finseq_9.depv12024-08-03 10:19 182  
[ ]finseq_9__t43_finseq_9.vmin12024-08-03 10:19 2.3K 
[ ]finseq_9__t43_finseq_9.vmin1out2024-08-03 10:22 2.0K 
[ ]finseq_9__t43_finseq_9.vout2024-08-03 04:23 46K 
[ ]finseq_9__t44_finseq_92024-07-26 18:27 135K 
[ ]finseq_9__t44_finseq_9.vout2024-08-03 05:11 7.3K 
[ ]finseq_9__t45_finseq_92024-07-26 18:29 98K 
[ ]finseq_9__t45_finseq_9.depv12024-08-03 10:19 156  
[ ]finseq_9__t45_finseq_9.depvmin12024-08-03 10:24 156  
[ ]finseq_9__t45_finseq_9.vmin12024-08-03 10:19 1.6K 
[ ]finseq_9__t45_finseq_9.vmin1out2024-08-03 10:20 18K 
[ ]finseq_9__t45_finseq_9.vout2024-08-03 04:34 21K 
[ ]finseq_9__t46_finseq_92024-07-26 18:31 100K 
[ ]finseq_9__t46_finseq_9.depv12024-08-03 10:19 182  
[ ]finseq_9__t46_finseq_9.depvmin12024-08-03 10:24 182  
[ ]finseq_9__t46_finseq_9.vmin12024-08-03 10:19 2.1K 
[ ]finseq_9__t46_finseq_9.vmin1out2024-08-03 10:22 31K 
[ ]finseq_9__t46_finseq_9.vout2024-08-03 09:04 36K 
[ ]finseq_9__t47_finseq_92024-07-26 18:34 101K 
[ ]finseq_9__t47_finseq_9.depv12024-08-03 10:19 182  
[ ]finseq_9__t47_finseq_9.vmin12024-08-03 10:19 2.3K 
[ ]finseq_9__t47_finseq_9.vmin1out2024-08-03 10:23 2.0K 
[ ]finseq_9__t47_finseq_9.vout2024-08-03 06:51 46K 
[ ]finseq_9__t48_finseq_92024-07-26 18:35 75K 
[ ]finseq_9__t48_finseq_9.vout2024-08-03 09:03 7.3K 
[ ]finseq_9__t49_finseq_92024-07-26 18:37 110K 
[ ]finseq_9__t49_finseq_9.vout2024-08-03 07:54 7.3K 
[ ]finseq_9__t50_finseq_92024-07-26 18:39 74K 
[ ]finseq_9__t50_finseq_9.vout2024-08-03 06:30 7.3K 
[ ]finseq_9__t51_finseq_92024-07-26 18:41 110K 
[ ]finseq_9__t51_finseq_9.vout2024-08-03 04:27 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80