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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fcont_3__t1_fcont_32024-07-28 06:20 34K 
[ ]fcont_3__t1_fcont_3.vout2024-08-03 05:41 7.3K 
[ ]fcont_3__t2_fcont_32024-07-28 06:22 30K 
[ ]fcont_3__t2_fcont_3.vout2024-08-03 05:37 7.3K 
[ ]fcont_3__t3_fcont_32024-07-28 06:23 33K 
[ ]fcont_3__t3_fcont_3.vout2024-08-03 07:54 6.8K 
[ ]fcont_3__t4_fcont_32024-07-28 06:24 33K 
[ ]fcont_3__t4_fcont_3.vout2024-08-03 04:25 7.3K 
[ ]fcont_3__t5_fcont_32024-07-28 06:26 48K 
[ ]fcont_3__t5_fcont_3.vout2024-08-03 06:02 4.7K 
[ ]fcont_3__t6_fcont_32024-07-28 06:27 45K 
[ ]fcont_3__t6_fcont_3.vout2024-08-03 06:06 4.7K 
[ ]fcont_3__t7_fcont_32024-07-28 06:29 53K 
[ ]fcont_3__t7_fcont_3.vout2024-08-03 06:13 3.7K 
[ ]fcont_3__t8_fcont_32024-07-28 06:30 39K 
[ ]fcont_3__t8_fcont_3.vout2024-08-03 08:53 4.7K 
[ ]fcont_3__t9_fcont_32024-07-28 06:32 46K 
[ ]fcont_3__t9_fcont_3.vout2024-08-03 06:58 4.7K 
[ ]fcont_3__t10_fcont_32024-07-28 06:33 46K 
[ ]fcont_3__t10_fcont_3.vout2024-08-03 05:01 4.7K 
[ ]fcont_3__t11_fcont_32024-07-28 06:35 111K 
[ ]fcont_3__t11_fcont_3.vout2024-08-03 07:46 3.7K 
[ ]fcont_3__t12_fcont_32024-07-28 06:37 111K 
[ ]fcont_3__t12_fcont_3.vout2024-08-03 09:26 3.7K 
[ ]fcont_3__t13_fcont_32024-07-28 06:40 117K 
[ ]fcont_3__t13_fcont_3.vout2024-08-03 08:03 3.7K 
[ ]fcont_3__t14_fcont_32024-07-28 06:42 117K 
[ ]fcont_3__t14_fcont_3.vout2024-08-03 08:51 3.7K 
[ ]fcont_3__t15_fcont_32024-07-28 06:44 111K 
[ ]fcont_3__t15_fcont_3.vout2024-08-03 08:08 3.7K 
[ ]fcont_3__t16_fcont_32024-07-28 06:46 150K 
[ ]fcont_3__t16_fcont_3.vout2024-08-03 08:41 3.7K 
[ ]fcont_3__t17_fcont_32024-07-28 06:47 44K 
[ ]fcont_3__t17_fcont_3.vout2024-08-03 08:02 3.7K 
[ ]fcont_3__t18_fcont_32024-07-28 06:49 42K 
[ ]fcont_3__t18_fcont_3.vout2024-08-03 04:35 7.3K 
[ ]fcont_3__t19_fcont_32024-07-28 06:50 42K 
[ ]fcont_3__t19_fcont_3.vout2024-08-03 08:58 7.3K 
[ ]fcont_3__t20_fcont_32024-07-28 06:52 42K 
[ ]fcont_3__t20_fcont_3.vout2024-08-03 07:55 7.3K 
[ ]fcont_3__t21_fcont_32024-07-28 06:53 42K 
[ ]fcont_3__t21_fcont_3.vout2024-08-03 08:15 7.3K 
[ ]fcont_3__t22_fcont_32024-07-28 06:55 45K 
[ ]fcont_3__t22_fcont_3.depv12024-08-03 10:19 444  
[ ]fcont_3__t22_fcont_3.depvmin12024-08-03 10:24 444  
[ ]fcont_3__t22_fcont_3.vmin12024-08-03 10:20 5.2K 
[ ]fcont_3__t22_fcont_3.vmin1out2024-08-03 10:21 56K 
[ ]fcont_3__t22_fcont_3.vout2024-08-03 05:31 57K 
[ ]fcont_3__t23_fcont_32024-07-28 06:57 72K 
[ ]fcont_3__t23_fcont_3.vout2024-08-03 08:15 3.7K 
[ ]fcont_3__t24_fcont_32024-07-28 06:59 73K 
[ ]fcont_3__t24_fcont_3.vout2024-08-03 04:30 3.7K 
[ ]fcont_3__t25_fcont_32024-07-28 07:01 73K 
[ ]fcont_3__t25_fcont_3.vout2024-08-03 07:52 3.7K 
[ ]fcont_3__t26_fcont_32024-07-28 07:02 72K 
[ ]fcont_3__t26_fcont_3.vout2024-08-03 08:51 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80