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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_8__t1_finseq_82024-07-27 11:34 41K 
[ ]finseq_8__t1_finseq_8.vout2024-08-03 04:45 7.4K 
[ ]finseq_8__t2_finseq_82024-07-27 11:35 23K 
[ ]finseq_8__t2_finseq_8.vout2024-08-03 06:22 5.3K 
[ ]finseq_8__t3_finseq_82024-07-27 11:36 27K 
[ ]finseq_8__t3_finseq_8.vout2024-08-03 07:15 7.3K 
[ ]finseq_8__t4_finseq_82024-07-27 11:37 28K 
[ ]finseq_8__t4_finseq_8.vout2024-08-03 07:58 7.3K 
[ ]finseq_8__t5_finseq_82024-07-27 11:38 22K 
[ ]finseq_8__t5_finseq_8.depv12024-08-03 10:19 171  
[ ]finseq_8__t5_finseq_8.depvmin12024-08-03 10:24 171  
[ ]finseq_8__t5_finseq_8.vmin12024-08-03 10:19 1.4K 
[ ]finseq_8__t5_finseq_8.vmin1out2024-08-03 10:20 12K 
[ ]finseq_8__t5_finseq_8.vout2024-08-03 05:00 19K 
[ ]finseq_8__t6_finseq_82024-07-27 11:39 23K 
[ ]finseq_8__t6_finseq_8.depv12024-08-03 10:19 37  
[ ]finseq_8__t6_finseq_8.depvmin12024-08-03 10:24 37  
[ ]finseq_8__t6_finseq_8.vmin12024-08-03 10:19 568  
[ ]finseq_8__t6_finseq_8.vmin1out2024-08-03 10:22 5.9K 
[ ]finseq_8__t6_finseq_8.vout2024-08-03 04:18 8.6K 
[ ]finseq_8__t7_finseq_82024-07-27 11:40 22K 
[ ]finseq_8__t7_finseq_8.vout2024-08-03 09:13 7.3K 
[ ]finseq_8__t8_finseq_82024-07-27 11:41 25K 
[ ]finseq_8__t8_finseq_8.vout2024-08-03 07:08 7.3K 
[ ]finseq_8__t9_finseq_82024-07-27 11:42 25K 
[ ]finseq_8__t9_finseq_8.vout2024-08-03 07:06 7.3K 
[ ]finseq_8__t10_finseq_82024-07-27 11:44 32K 
[ ]finseq_8__t10_finseq_8.vout2024-08-03 06:23 7.9K 
[ ]finseq_8__t11_finseq_82024-07-27 11:45 45K 
[ ]finseq_8__t11_finseq_8.vout2024-08-03 06:04 7.3K 
[ ]finseq_8__t12_finseq_82024-07-27 11:46 32K 
[ ]finseq_8__t12_finseq_8.vout2024-08-03 08:52 7.3K 
[ ]finseq_8__t13_finseq_82024-07-27 11:47 36K 
[ ]finseq_8__t13_finseq_8.vout2024-08-03 06:50 7.3K 
[ ]finseq_8__t14_finseq_82024-07-27 11:49 37K 
[ ]finseq_8__t14_finseq_8.vout2024-08-03 05:59 7.9K 
[ ]finseq_8__t15_finseq_82024-07-27 11:50 41K 
[ ]finseq_8__t15_finseq_8.vout2024-08-03 09:01 7.3K 
[ ]finseq_8__t16_finseq_82024-07-27 11:51 28K 
[ ]finseq_8__t16_finseq_8.vout2024-08-03 07:49 7.9K 
[ ]finseq_8__t17_finseq_82024-07-27 11:52 102K 
[ ]finseq_8__t17_finseq_8.vout2024-08-03 07:31 7.3K 
[ ]finseq_8__t18_finseq_82024-07-27 11:53 18K 
[ ]finseq_8__t18_finseq_8.depv12024-08-03 10:19 50  
[ ]finseq_8__t18_finseq_8.depvmin12024-08-03 10:24 50  
[ ]finseq_8__t18_finseq_8.vmin12024-08-03 10:19 1.0K 
[ ]finseq_8__t18_finseq_8.vmin1out2024-08-03 10:22 28K 
[ ]finseq_8__t18_finseq_8.vout2024-08-03 04:18 28K 
[ ]finseq_8__t19_finseq_82024-07-27 11:54 22K 
[ ]finseq_8__t19_finseq_8.vout2024-08-03 09:33 2.0K 
[ ]finseq_8__t20_finseq_82024-07-27 11:55 31K 
[ ]finseq_8__t20_finseq_8.vout2024-08-03 07:08 7.4K 
[ ]finseq_8__t21_finseq_82024-07-27 11:56 19K 
[ ]finseq_8__t21_finseq_8.depv12024-08-03 10:19 174  
[ ]finseq_8__t21_finseq_8.depvmin12024-08-03 10:24 174  
[ ]finseq_8__t21_finseq_8.vmin12024-08-03 10:19 1.6K 
[ ]finseq_8__t21_finseq_8.vmin1out2024-08-03 10:21 23K 
[ ]finseq_8__t21_finseq_8.vout2024-08-03 07:22 19K 
[ ]finseq_8__t22_finseq_82024-07-27 11:57 21K 
[ ]finseq_8__t22_finseq_8.depv12024-08-03 10:19 140  
[ ]finseq_8__t22_finseq_8.depvmin12024-08-03 10:24 140  
[ ]finseq_8__t22_finseq_8.vmin12024-08-03 10:19 1.7K 
[ ]finseq_8__t22_finseq_8.vmin1out2024-08-03 10:23 28K 
[ ]finseq_8__t22_finseq_8.vout2024-08-03 06:49 29K 
[ ]finseq_8__t23_finseq_82024-07-27 11:58 25K 
[ ]finseq_8__t23_finseq_8.depv12024-08-03 10:19 120  
[ ]finseq_8__t23_finseq_8.depvmin12024-08-03 10:24 120  
[ ]finseq_8__t23_finseq_8.vmin12024-08-03 10:19 1.7K 
[ ]finseq_8__t23_finseq_8.vmin1out2024-08-03 10:21 29K 
[ ]finseq_8__t23_finseq_8.vout2024-08-03 10:18 28K 
[ ]finseq_8__t24_finseq_82024-07-27 11:59 42K 
[ ]finseq_8__t24_finseq_8.vout2024-08-03 05:40 7.9K 
[ ]finseq_8__t25_finseq_82024-07-27 12:01 46K 
[ ]finseq_8__t25_finseq_8.vout2024-08-03 09:16 7.9K 
[ ]finseq_8__t26_finseq_82024-07-27 12:01 20K 
[ ]finseq_8__t26_finseq_8.depv12024-08-03 10:19 265  
[ ]finseq_8__t26_finseq_8.depvmin12024-08-03 10:24 215  
[ ]finseq_8__t26_finseq_8.vmin12024-08-03 10:19 2.3K 
[ ]finseq_8__t26_finseq_8.vmin1out2024-08-03 10:23 26K 
[ ]finseq_8__t26_finseq_8.vout2024-08-03 08:44 28K 
[ ]finseq_8__t27_finseq_82024-07-27 12:03 40K 
[ ]finseq_8__t27_finseq_8.vout2024-08-03 04:41 7.3K 
[ ]finseq_8__t28_finseq_82024-07-27 12:04 29K 
[ ]finseq_8__t28_finseq_8.vout2024-08-03 09:14 7.9K 
[ ]finseq_8__t29_finseq_82024-07-27 12:05 49K 
[ ]finseq_8__t29_finseq_8.vout2024-08-03 09:15 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80