Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/finset_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finset_1__l2_finset_12025-09-08 20:38 19K 
[ ]finset_1__l2_finset_1.vout2025-09-15 18:52 8.9K 
[ ]finset_1__l3_finset_12025-09-08 20:39 16K 
[ ]finset_1__l3_finset_1.vout2025-09-15 16:59 7.3K 
[ ]finset_1__l10_finset_12025-09-08 20:40 11K 
[ ]finset_1__l10_finset_1.vout2025-09-15 18:46 7.3K 
[ ]finset_1__t1_finset_12025-09-08 20:28 9.1K 
[ ]finset_1__t1_finset_1.depv12025-09-15 19:47 35  
[ ]finset_1__t1_finset_1.depvmin12025-09-15 19:52 35  
[ ]finset_1__t1_finset_1.vmin12025-09-15 19:47 343  
[ ]finset_1__t1_finset_1.vmin1out2025-09-15 19:50 3.4K 
[ ]finset_1__t1_finset_1.vout2025-09-15 19:32 4.9K 
[ ]finset_1__t2_finset_12025-09-08 20:28 490  
[ ]finset_1__t2_finset_1.depv12025-09-15 19:47 25  
[ ]finset_1__t2_finset_1.depvmin12025-09-15 19:52 25  
[ ]finset_1__t2_finset_1.vmin12025-09-15 19:47 245  
[ ]finset_1__t2_finset_1.vmin1out2025-09-15 19:48 2.8K 
[ ]finset_1__t2_finset_1.vout2025-09-15 18:16 2.9K 
[ ]finset_1__t3_finset_12025-09-08 20:28 545  
[ ]finset_1__t3_finset_1.depv12025-09-15 19:47 26  
[ ]finset_1__t3_finset_1.depvmin12025-09-15 19:52 26  
[ ]finset_1__t3_finset_1.vmin12025-09-15 19:47 204  
[ ]finset_1__t3_finset_1.vmin1out2025-09-15 19:49 2.2K 
[ ]finset_1__t3_finset_1.vout2025-09-15 16:58 2.2K 
[ ]finset_1__t4_finset_12025-09-08 20:29 9.5K 
[ ]finset_1__t4_finset_1.depv12025-09-15 19:47 51  
[ ]finset_1__t4_finset_1.depvmin12025-09-15 19:52 51  
[ ]finset_1__t4_finset_1.vmin12025-09-15 19:47 294  
[ ]finset_1__t4_finset_1.vmin1out2025-09-15 19:47 2.8K 
[ ]finset_1__t4_finset_1.vout2025-09-15 17:12 2.6K 
[ ]finset_1__t5_finset_12025-09-08 20:29 435  
[ ]finset_1__t5_finset_1.depv12025-09-15 19:47 26  
[ ]finset_1__t5_finset_1.depvmin12025-09-15 19:52 26  
[ ]finset_1__t5_finset_1.vmin12025-09-15 19:47 283  
[ ]finset_1__t5_finset_1.vmin1out2025-09-15 19:49 3.2K 
[ ]finset_1__t5_finset_1.vout2025-09-15 14:59 3.2K 
[ ]finset_1__t6_finset_12025-09-08 20:30 20K 
[ ]finset_1__t6_finset_1.vout2025-09-15 14:59 6.8K 
[ ]finset_1__t7_finset_12025-09-08 20:31 9.8K 
[ ]finset_1__t7_finset_1.depv12025-09-15 19:47 113  
[ ]finset_1__t7_finset_1.depvmin12025-09-15 19:52 88  
[ ]finset_1__t7_finset_1.vmin12025-09-15 19:47 871  
[ ]finset_1__t7_finset_1.vmin1out2025-09-15 19:48 9.8K 
[ ]finset_1__t7_finset_1.vout2025-09-15 13:37 13K 
[ ]finset_1__t8_finset_12025-09-08 20:31 611  
[ ]finset_1__t8_finset_1.depv12025-09-15 19:47 39  
[ ]finset_1__t8_finset_1.depvmin12025-09-15 19:52 39  
[ ]finset_1__t8_finset_1.vmin12025-09-15 19:47 389  
[ ]finset_1__t8_finset_1.vmin1out2025-09-15 19:49 3.9K 
[ ]finset_1__t8_finset_1.vout2025-09-15 17:24 3.8K 
[ ]finset_1__t9_finset_12025-09-08 20:32 11K 
[ ]finset_1__t9_finset_1.depv12025-09-15 19:47 38  
[ ]finset_1__t9_finset_1.depvmin12025-09-15 19:52 38  
[ ]finset_1__t9_finset_1.vmin12025-09-15 19:47 481  
[ ]finset_1__t9_finset_1.vmin1out2025-09-15 19:51 5.1K 
[ ]finset_1__t9_finset_1.vout2025-09-15 15:56 7.2K 
[ ]finset_1__t10_finset_12025-09-08 20:33 16K 
[ ]finset_1__t10_finset_1.depv12025-09-15 19:47 137  
[ ]finset_1__t10_finset_1.depvmin12025-09-15 19:52 137  
[ ]finset_1__t10_finset_1.vmin12025-09-15 19:47 1.2K 
[ ]finset_1__t10_finset_1.vmin1out2025-09-15 19:50 11K 
[ ]finset_1__t10_finset_1.vout2025-09-15 16:47 14K 
[ ]finset_1__t11_finset_12025-09-08 20:33 12K 
[ ]finset_1__t11_finset_1.vout2025-09-15 16:50 7.3K 
[ ]finset_1__t12_finset_12025-09-08 20:34 12K 
[ ]finset_1__t12_finset_1.vout2025-09-15 16:03 7.3K 
[ ]finset_1__t13_finset_12025-09-08 20:35 18K 
[ ]finset_1__t13_finset_1.vout2025-09-15 17:39 7.3K 
[ ]finset_1__t14_finset_12025-09-08 20:36 17K 
[ ]finset_1__t14_finset_1.vout2025-09-15 13:26 7.3K 
[ ]finset_1__t15_finset_12025-09-08 20:37 8.2K 
[ ]finset_1__t15_finset_1.depv12025-09-15 19:47 74  
[ ]finset_1__t15_finset_1.depvmin12025-09-15 19:52 50  
[ ]finset_1__t15_finset_1.vmin12025-09-15 19:47 547  
[ ]finset_1__t15_finset_1.vmin1out2025-09-15 19:49 4.0K 
[ ]finset_1__t15_finset_1.vout2025-09-15 19:07 4.9K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80