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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finance2__l13_finance22024-07-27 16:02 33K 
[ ]finance2__l13_finance2.depv12024-08-03 10:19 266  
[ ]finance2__l13_finance2.depvmin12024-08-03 10:24 266  
[ ]finance2__l13_finance2.vmin12024-08-03 10:19 2.2K 
[ ]finance2__l13_finance2.vmin1out2024-08-03 10:23 25K 
[ ]finance2__l13_finance2.vout2024-08-03 07:23 24K 
[ ]finance2__l14_finance22024-07-27 16:04 33K 
[ ]finance2__l14_finance2.depv12024-08-03 10:19 133  
[ ]finance2__l14_finance2.depvmin12024-08-03 10:24 133  
[ ]finance2__l14_finance2.vmin12024-08-03 10:19 1.9K 
[ ]finance2__l14_finance2.vmin1out2024-08-03 10:20 24K 
[ ]finance2__l14_finance2.vout2024-08-03 06:23 29K 
[ ]finance2__l15_finance22024-07-27 16:05 34K 
[ ]finance2__l15_finance2.depv12024-08-03 10:19 355  
[ ]finance2__l15_finance2.depvmin12024-08-03 10:24 330  
[ ]finance2__l15_finance2.vmin12024-08-03 10:19 2.7K 
[ ]finance2__l15_finance2.vmin1out2024-08-03 10:20 27K 
[ ]finance2__l15_finance2.vout2024-08-03 08:15 28K 
[ ]finance2__t1_finance22024-07-27 15:23 16K 
[ ]finance2__t1_finance2.depv12024-08-03 10:19 162  
[ ]finance2__t1_finance2.depvmin12024-08-03 10:24 162  
[ ]finance2__t1_finance2.vmin12024-08-03 10:19 1.1K 
[ ]finance2__t1_finance2.vmin1out2024-08-03 10:23 8.6K 
[ ]finance2__t1_finance2.vout2024-08-03 09:40 10K 
[ ]finance2__t2_finance22024-07-27 15:24 10K 
[ ]finance2__t2_finance2.depv12024-08-03 10:19 107  
[ ]finance2__t2_finance2.depvmin12024-08-03 10:24 107  
[ ]finance2__t2_finance2.vmin12024-08-03 10:19 763  
[ ]finance2__t2_finance2.vmin1out2024-08-03 10:22 8.9K 
[ ]finance2__t2_finance2.vout2024-08-03 04:57 8.8K 
[ ]finance2__t3_finance22024-07-27 15:25 16K 
[ ]finance2__t3_finance2.depv12024-08-03 10:19 101  
[ ]finance2__t3_finance2.depvmin12024-08-03 10:24 101  
[ ]finance2__t3_finance2.vmin12024-08-03 10:19 751  
[ ]finance2__t3_finance2.vmin1out2024-08-03 10:21 9.3K 
[ ]finance2__t3_finance2.vout2024-08-03 07:16 9.2K 
[ ]finance2__t4_finance22024-07-27 15:26 16K 
[ ]finance2__t4_finance2.depv12024-08-03 10:19 133  
[ ]finance2__t4_finance2.depvmin12024-08-03 10:24 133  
[ ]finance2__t4_finance2.vmin12024-08-03 10:19 917  
[ ]finance2__t4_finance2.vmin1out2024-08-03 10:23 10K 
[ ]finance2__t4_finance2.vout2024-08-03 04:46 10K 
[ ]finance2__t5_finance22024-07-27 15:27 17K 
[ ]finance2__t5_finance2.depv12024-08-03 10:19 157  
[ ]finance2__t5_finance2.depvmin12024-08-03 10:24 157  
[ ]finance2__t5_finance2.vmin12024-08-03 10:19 1.2K 
[ ]finance2__t5_finance2.vmin1out2024-08-03 10:20 8.7K 
[ ]finance2__t5_finance2.vout2024-08-03 09:15 11K 
[ ]finance2__t6_finance22024-07-27 15:28 21K 
[ ]finance2__t6_finance2.vout2024-08-03 07:09 7.3K 
[ ]finance2__t7_finance22024-07-27 15:22 15K 
[ ]finance2__t7_finance2.depv12024-08-03 10:19 47  
[ ]finance2__t7_finance2.depvmin12024-08-03 10:24 47  
[ ]finance2__t7_finance2.vmin12024-08-03 10:19 407  
[ ]finance2__t7_finance2.vmin1out2024-08-03 10:23 3.8K 
[ ]finance2__t7_finance2.vout2024-08-03 08:57 4.9K 
[ ]finance2__t8_finance22024-07-27 15:29 37K 
[ ]finance2__t8_finance2.vout2024-08-03 06:36 5.3K 
[ ]finance2__t9_finance22024-07-27 15:31 31K 
[ ]finance2__t9_finance2.vout2024-08-03 08:06 7.9K 
[ ]finance2__t10_finance22024-07-27 15:32 41K 
[ ]finance2__t10_finance2.vout2024-08-03 09:24 7.3K 
[ ]finance2__t11_finance22024-07-27 15:34 40K 
[ ]finance2__t11_finance2.vout2024-08-03 09:32 9.5K 
[ ]finance2__t12_finance22024-07-27 15:35 36K 
[ ]finance2__t12_finance2.vout2024-08-03 06:39 8.4K 
[ ]finance2__t13_finance22024-07-27 15:36 18K 
[ ]finance2__t13_finance2.depv12024-08-03 10:19 85  
[ ]finance2__t13_finance2.depvmin12024-08-03 10:24 85  
[ ]finance2__t13_finance2.vmin12024-08-03 10:19 916  
[ ]finance2__t13_finance2.vmin1out2024-08-03 10:21 6.4K 
[ ]finance2__t13_finance2.vout2024-08-03 10:10 8.0K 
[ ]finance2__t14_finance22024-07-27 15:37 29K 
[ ]finance2__t14_finance2.depv12024-08-03 10:19 51  
[ ]finance2__t14_finance2.depvmin12024-08-03 10:24 51  
[ ]finance2__t14_finance2.vmin12024-08-03 10:19 970  
[ ]finance2__t14_finance2.vmin1out2024-08-03 10:22 12K 
[ ]finance2__t14_finance2.vout2024-08-03 09:20 11K 
[ ]finance2__t15_finance22024-07-27 15:39 72K 
[ ]finance2__t15_finance2.vout2024-08-03 09:41 5.9K 
[ ]finance2__t16_finance22024-07-27 15:41 47K 
[ ]finance2__t16_finance2.vout2024-08-03 09:55 7.3K 
[ ]finance2__t17_finance22024-07-27 15:43 77K 
[ ]finance2__t17_finance2.vout2024-08-03 08:30 3.7K 
[ ]finance2__t18_finance22024-07-27 15:45 36K 
[ ]finance2__t18_finance2.vout2024-08-03 09:54 8.4K 
[ ]finance2__t19_finance22024-07-27 15:46 18K 
[ ]finance2__t19_finance2.depv12024-08-03 10:19 85  
[ ]finance2__t19_finance2.depvmin12024-08-03 10:24 85  
[ ]finance2__t19_finance2.vmin12024-08-03 10:19 913  
[ ]finance2__t19_finance2.vmin1out2024-08-03 10:23 6.3K 
[ ]finance2__t19_finance2.vout2024-08-03 06:12 8.0K 
[ ]finance2__t20_finance22024-07-27 15:47 18K 
[ ]finance2__t20_finance2.depv12024-08-03 10:19 85  
[ ]finance2__t20_finance2.depvmin12024-08-03 10:24 85  
[ ]finance2__t20_finance2.vmin12024-08-03 10:19 913  
[ ]finance2__t20_finance2.vmin1out2024-08-03 10:20 6.3K 
[ ]finance2__t20_finance2.vout2024-08-03 10:05 8.0K 
[ ]finance2__t21_finance22024-07-27 15:48 19K 
[ ]finance2__t21_finance2.depv12024-08-03 10:19 155  
[ ]finance2__t21_finance2.depvmin12024-08-03 10:24 113  
[ ]finance2__t21_finance2.vmin12024-08-03 10:19 1.3K 
[ ]finance2__t21_finance2.vmin1out2024-08-03 10:23 7.7K 
[ ]finance2__t21_finance2.vout2024-08-03 10:13 11K 
[ ]finance2__t22_finance22024-07-27 15:49 38K 
[ ]finance2__t22_finance2.vout2024-08-03 05:00 7.3K 
[ ]finance2__t23_finance22024-07-27 15:51 38K 
[ ]finance2__t23_finance2.depv12024-08-03 10:19 217  
[ ]finance2__t23_finance2.depvmin12024-08-03 10:24 165  
[ ]finance2__t23_finance2.vmin12024-08-03 10:19 5.2K 
[ ]finance2__t23_finance2.vmin1out2024-08-03 10:20 58K 
[ ]finance2__t23_finance2.vout2024-08-03 09:26 57K 
[ ]finance2__t24_finance22024-07-27 15:52 36K 
[ ]finance2__t24_finance2.depv12024-08-03 10:19 224  
[ ]finance2__t24_finance2.depvmin12024-08-03 10:24 224  
[ ]finance2__t24_finance2.vmin12024-08-03 10:19 4.8K 
[ ]finance2__t24_finance2.vmin1out2024-08-03 10:21 81K 
[ ]finance2__t24_finance2.vout2024-08-03 04:07 76K 
[ ]finance2__t25_finance22024-07-27 15:54 38K 
[ ]finance2__t25_finance2.vout2024-08-03 04:09 7.3K 
[ ]finance2__t26_finance22024-07-27 15:55 35K 
[ ]finance2__t26_finance2.depv12024-08-03 10:19 130  
[ ]finance2__t26_finance2.depvmin12024-08-03 10:24 130  
[ ]finance2__t26_finance2.vmin12024-08-03 10:19 3.1K 
[ ]finance2__t26_finance2.vmin1out2024-08-03 10:20 44K 
[ ]finance2__t26_finance2.vout2024-08-03 05:26 36K 
[ ]finance2__t27_finance22024-07-27 15:57 32K 
[ ]finance2__t27_finance2.depv12024-08-03 10:19 122  
[ ]finance2__t27_finance2.depvmin12024-08-03 10:24 122  
[ ]finance2__t27_finance2.vmin12024-08-03 10:19 3.2K 
[ ]finance2__t27_finance2.vmin1out2024-08-03 10:21 34K 
[ ]finance2__t27_finance2.vout2024-08-03 07:13 35K 
[ ]finance2__t28_finance22024-07-27 15:58 35K 
[ ]finance2__t28_finance2.depv12024-08-03 10:19 92  
[ ]finance2__t28_finance2.depvmin12024-08-03 10:24 77  
[ ]finance2__t28_finance2.vmin12024-08-03 10:19 3.2K 
[ ]finance2__t28_finance2.vmin1out2024-08-03 10:22 75K 
[ ]finance2__t28_finance2.vout2024-08-03 06:22 57K 
[ ]finance2__t29_finance22024-07-27 15:59 33K 
[ ]finance2__t29_finance2.vout2024-08-03 04:23 7.3K 
[ ]finance2__t30_finance22024-07-27 16:01 48K 
[ ]finance2__t30_finance2.vout2024-08-03 04:58 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80