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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bvfunc_4__t1_bvfunc_42024-07-27 02:32 20K 
[ ]bvfunc_4__t1_bvfunc_4.vout2024-08-03 06:59 4.7K 
[ ]bvfunc_4__t2_bvfunc_42024-07-27 02:33 20K 
[ ]bvfunc_4__t2_bvfunc_4.vout2024-08-03 08:45 4.7K 
[ ]bvfunc_4__t3_bvfunc_42024-07-27 02:34 25K 
[ ]bvfunc_4__t3_bvfunc_4.vout2024-08-03 07:44 4.1K 
[ ]bvfunc_4__t4_bvfunc_42024-07-27 02:35 19K 
[ ]bvfunc_4__t4_bvfunc_4.vout2024-08-03 07:47 4.1K 
[ ]bvfunc_4__t5_bvfunc_42024-07-27 02:35 17K 
[ ]bvfunc_4__t5_bvfunc_4.vout2024-08-03 08:28 4.7K 
[ ]bvfunc_4__t6_bvfunc_42024-07-27 02:36 23K 
[ ]bvfunc_4__t6_bvfunc_4.vout2024-08-03 04:53 4.7K 
[ ]bvfunc_4__t7_bvfunc_42024-07-27 02:37 58K 
[ ]bvfunc_4__t7_bvfunc_4.vout2024-08-03 04:18 4.1K 
[ ]bvfunc_4__t8_bvfunc_42024-07-27 02:38 18K 
[ ]bvfunc_4__t8_bvfunc_4.vout2024-08-03 05:01 4.1K 
[ ]bvfunc_4__t9_bvfunc_42024-07-27 02:39 61K 
[ ]bvfunc_4__t9_bvfunc_4.vout2024-08-03 09:08 4.1K 
[ ]bvfunc_4__t10_bvfunc_42024-07-27 02:39 11K 
[ ]bvfunc_4__t10_bvfunc_4.depv12024-08-03 10:19 154  
[ ]bvfunc_4__t10_bvfunc_4.depvmin12024-08-03 10:24 154  
[ ]bvfunc_4__t10_bvfunc_4.vmin12024-08-03 10:19 3.5K 
[ ]bvfunc_4__t10_bvfunc_4.vmin1out2024-08-03 10:23 31K 
[ ]bvfunc_4__t10_bvfunc_4.vout2024-08-03 07:42 58K 
[ ]bvfunc_4__t11_bvfunc_42024-07-27 02:40 5.7K 
[ ]bvfunc_4__t11_bvfunc_4.depv12024-08-03 10:19 90  
[ ]bvfunc_4__t11_bvfunc_4.depvmin12024-08-03 10:24 90  
[ ]bvfunc_4__t11_bvfunc_4.vmin12024-08-03 10:19 1.8K 
[ ]bvfunc_4__t11_bvfunc_4.vmin1out2024-08-03 10:23 39K 
[ ]bvfunc_4__t11_bvfunc_4.vout2024-08-03 04:53 37K 
[ ]bvfunc_4__t12_bvfunc_42024-07-27 02:40 7.1K 
[ ]bvfunc_4__t12_bvfunc_4.depv12024-08-03 10:19 65  
[ ]bvfunc_4__t12_bvfunc_4.depvmin12024-08-03 10:24 65  
[ ]bvfunc_4__t12_bvfunc_4.vmin12024-08-03 10:19 2.0K 
[ ]bvfunc_4__t12_bvfunc_4.vmin1out2024-08-03 10:23 51K 
[ ]bvfunc_4__t12_bvfunc_4.vout2024-08-03 05:38 52K 
[ ]bvfunc_4__t13_bvfunc_42024-07-27 02:41 6.0K 
[ ]bvfunc_4__t13_bvfunc_4.depv12024-08-03 10:19 65  
[ ]bvfunc_4__t13_bvfunc_4.depvmin12024-08-03 10:24 65  
[ ]bvfunc_4__t13_bvfunc_4.vmin12024-08-03 10:19 2.0K 
[ ]bvfunc_4__t13_bvfunc_4.vmin1out2024-08-03 10:20 51K 
[ ]bvfunc_4__t13_bvfunc_4.vout2024-08-03 06:40 51K 
[ ]bvfunc_4__t14_bvfunc_42024-07-27 02:41 7.1K 
[ ]bvfunc_4__t14_bvfunc_4.depv12024-08-03 10:19 65  
[ ]bvfunc_4__t14_bvfunc_4.depvmin12024-08-03 10:24 65  
[ ]bvfunc_4__t14_bvfunc_4.vmin12024-08-03 10:19 2.0K 
[ ]bvfunc_4__t14_bvfunc_4.vmin1out2024-08-03 10:21 51K 
[ ]bvfunc_4__t14_bvfunc_4.vout2024-08-03 10:00 52K 
[ ]bvfunc_4__t15_bvfunc_42024-07-27 02:42 4.9K 
[ ]bvfunc_4__t15_bvfunc_4.depv12024-08-03 10:19 66  
[ ]bvfunc_4__t15_bvfunc_4.depvmin12024-08-03 10:24 66  
[ ]bvfunc_4__t15_bvfunc_4.vmin12024-08-03 10:19 2.0K 
[ ]bvfunc_4__t15_bvfunc_4.vmin1out2024-08-03 10:22 51K 
[ ]bvfunc_4__t15_bvfunc_4.vout2024-08-03 04:48 51K 
[ ]bvfunc_4__t16_bvfunc_42024-07-27 02:43 12K 
[ ]bvfunc_4__t16_bvfunc_4.vout2024-08-03 05:43 4.7K 
[ ]bvfunc_4__t17_bvfunc_42024-07-27 02:43 9.4K 
[ ]bvfunc_4__t17_bvfunc_4.depv12024-08-03 10:19 132  
[ ]bvfunc_4__t17_bvfunc_4.depvmin12024-08-03 10:24 132  
[ ]bvfunc_4__t17_bvfunc_4.vmin12024-08-03 10:19 2.7K 
[ ]bvfunc_4__t17_bvfunc_4.vmin1out2024-08-03 10:21 39K 
[ ]bvfunc_4__t17_bvfunc_4.vout2024-08-03 04:26 31K 
[ ]bvfunc_4__t18_bvfunc_42024-07-27 02:44 25K 
[ ]bvfunc_4__t18_bvfunc_4.vout2024-08-03 06:49 4.7K 
[ ]bvfunc_4__t19_bvfunc_42024-07-27 02:46 21K 
[ ]bvfunc_4__t19_bvfunc_4.vout2024-08-03 04:10 4.7K 
[ ]bvfunc_4__t20_bvfunc_42024-07-27 02:47 21K 
[ ]bvfunc_4__t20_bvfunc_4.vout2024-08-03 05:48 4.7K 
[ ]bvfunc_4__t21_bvfunc_42024-07-27 02:48 21K 
[ ]bvfunc_4__t21_bvfunc_4.vout2024-08-03 07:47 4.7K 
[ ]bvfunc_4__t22_bvfunc_42024-07-27 02:49 21K 
[ ]bvfunc_4__t22_bvfunc_4.vout2024-08-03 05:24 4.7K 
[ ]bvfunc_4__t23_bvfunc_42024-07-27 02:50 422K 
[ ]bvfunc_4__t23_bvfunc_4.vout2024-08-03 07:12 6.8K 
[ ]bvfunc_4__t24_bvfunc_42024-07-27 02:51 17K 
[ ]bvfunc_4__t24_bvfunc_4.vout2024-08-03 09:52 6.8K 
[ ]bvfunc_4__t25_bvfunc_42024-07-27 02:52 27K 
[ ]bvfunc_4__t25_bvfunc_4.vout2024-08-03 09:18 6.8K 
[ ]bvfunc_4__t26_bvfunc_42024-07-27 02:54 39K 
[ ]bvfunc_4__t26_bvfunc_4.vout2024-08-03 06:17 4.7K 
[ ]bvfunc_4__t27_bvfunc_42024-07-27 02:55 39K 
[ ]bvfunc_4__t27_bvfunc_4.vout2024-08-03 05:06 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80