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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finset_1__l2_finset_12024-07-27 07:57 19K 
[ ]finset_1__l2_finset_1.vout2024-08-03 04:22 8.9K 
[ ]finset_1__l3_finset_12024-07-27 07:58 16K 
[ ]finset_1__l3_finset_1.vout2024-08-03 06:29 7.3K 
[ ]finset_1__l10_finset_12024-07-27 07:59 11K 
[ ]finset_1__l10_finset_1.vout2024-08-03 05:10 7.4K 
[ ]finset_1__t1_finset_12024-07-27 07:47 9.1K 
[ ]finset_1__t1_finset_1.depv12024-08-03 10:19 35  
[ ]finset_1__t1_finset_1.depvmin12024-08-03 10:24 35  
[ ]finset_1__t1_finset_1.vmin12024-08-03 10:20 343  
[ ]finset_1__t1_finset_1.vmin1out2024-08-03 10:20 3.4K 
[ ]finset_1__t1_finset_1.vout2024-08-03 05:11 4.9K 
[ ]finset_1__t2_finset_12024-07-27 07:47 490  
[ ]finset_1__t2_finset_1.depv12024-08-03 10:19 25  
[ ]finset_1__t2_finset_1.depvmin12024-08-03 10:24 25  
[ ]finset_1__t2_finset_1.vmin12024-08-03 10:20 245  
[ ]finset_1__t2_finset_1.vmin1out2024-08-03 10:23 2.8K 
[ ]finset_1__t2_finset_1.vout2024-08-03 04:32 2.9K 
[ ]finset_1__t3_finset_12024-07-27 07:47 545  
[ ]finset_1__t3_finset_1.depv12024-08-03 10:19 26  
[ ]finset_1__t3_finset_1.depvmin12024-08-03 10:24 26  
[ ]finset_1__t3_finset_1.vmin12024-08-03 10:20 204  
[ ]finset_1__t3_finset_1.vmin1out2024-08-03 10:21 2.2K 
[ ]finset_1__t3_finset_1.vout2024-08-03 06:57 2.2K 
[ ]finset_1__t4_finset_12024-07-27 07:48 9.5K 
[ ]finset_1__t4_finset_1.depv12024-08-03 10:19 51  
[ ]finset_1__t4_finset_1.depvmin12024-08-03 10:24 51  
[ ]finset_1__t4_finset_1.vmin12024-08-03 10:20 294  
[ ]finset_1__t4_finset_1.vmin1out2024-08-03 10:22 2.8K 
[ ]finset_1__t4_finset_1.vout2024-08-03 05:26 2.6K 
[ ]finset_1__t5_finset_12024-07-27 07:48 435  
[ ]finset_1__t5_finset_1.depv12024-08-03 10:19 26  
[ ]finset_1__t5_finset_1.depvmin12024-08-03 10:24 26  
[ ]finset_1__t5_finset_1.vmin12024-08-03 10:20 283  
[ ]finset_1__t5_finset_1.vmin1out2024-08-03 10:20 3.2K 
[ ]finset_1__t5_finset_1.vout2024-08-03 09:05 3.2K 
[ ]finset_1__t6_finset_12024-07-27 07:49 20K 
[ ]finset_1__t6_finset_1.vout2024-08-03 08:10 6.8K 
[ ]finset_1__t7_finset_12024-07-27 07:50 9.8K 
[ ]finset_1__t7_finset_1.depv12024-08-03 10:19 113  
[ ]finset_1__t7_finset_1.depvmin12024-08-03 10:24 88  
[ ]finset_1__t7_finset_1.vmin12024-08-03 10:20 871  
[ ]finset_1__t7_finset_1.vmin1out2024-08-03 10:21 9.8K 
[ ]finset_1__t7_finset_1.vout2024-08-03 10:01 13K 
[ ]finset_1__t8_finset_12024-07-27 07:50 611  
[ ]finset_1__t8_finset_1.depv12024-08-03 10:19 39  
[ ]finset_1__t8_finset_1.depvmin12024-08-03 10:24 39  
[ ]finset_1__t8_finset_1.vmin12024-08-03 10:20 389  
[ ]finset_1__t8_finset_1.vmin1out2024-08-03 10:20 3.9K 
[ ]finset_1__t8_finset_1.vout2024-08-03 08:40 3.8K 
[ ]finset_1__t9_finset_12024-07-27 07:51 11K 
[ ]finset_1__t9_finset_1.depv12024-08-03 10:19 38  
[ ]finset_1__t9_finset_1.depvmin12024-08-03 10:24 38  
[ ]finset_1__t9_finset_1.vmin12024-08-03 10:20 481  
[ ]finset_1__t9_finset_1.vmin1out2024-08-03 10:23 5.1K 
[ ]finset_1__t9_finset_1.vout2024-08-03 08:27 7.2K 
[ ]finset_1__t10_finset_12024-07-27 07:52 16K 
[ ]finset_1__t10_finset_1.depv12024-08-03 10:19 137  
[ ]finset_1__t10_finset_1.depvmin12024-08-03 10:24 137  
[ ]finset_1__t10_finset_1.vmin12024-08-03 10:20 1.2K 
[ ]finset_1__t10_finset_1.vmin1out2024-08-03 10:21 11K 
[ ]finset_1__t10_finset_1.vout2024-08-03 06:16 14K 
[ ]finset_1__t11_finset_12024-07-27 07:53 12K 
[ ]finset_1__t11_finset_1.vout2024-08-03 07:19 7.3K 
[ ]finset_1__t12_finset_12024-07-27 07:54 12K 
[ ]finset_1__t12_finset_1.vout2024-08-03 10:16 7.3K 
[ ]finset_1__t13_finset_12024-07-27 07:55 18K 
[ ]finset_1__t13_finset_1.vout2024-08-03 08:48 7.3K 
[ ]finset_1__t14_finset_12024-07-27 07:56 17K 
[ ]finset_1__t14_finset_1.vout2024-08-03 07:03 7.4K 
[ ]finset_1__t15_finset_12024-07-27 07:56 8.2K 
[ ]finset_1__t15_finset_1.depv12024-08-03 10:19 74  
[ ]finset_1__t15_finset_1.depvmin12024-08-03 10:24 50  
[ ]finset_1__t15_finset_1.vmin12024-08-03 10:20 547  
[ ]finset_1__t15_finset_1.vmin1out2024-08-03 10:21 4.0K 
[ ]finset_1__t15_finset_1.vout2024-08-03 07:27 4.9K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80