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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fcont_3__t1_fcont_32025-09-08 16:19 34K 
[ ]fcont_3__t1_fcont_3.vout2025-09-15 16:07 7.3K 
[ ]fcont_3__t2_fcont_32025-09-08 16:20 30K 
[ ]fcont_3__t2_fcont_3.vout2025-09-15 13:36 7.3K 
[ ]fcont_3__t3_fcont_32025-09-08 16:21 33K 
[ ]fcont_3__t3_fcont_3.vout2025-09-15 13:31 6.8K 
[ ]fcont_3__t4_fcont_32025-09-08 16:23 33K 
[ ]fcont_3__t4_fcont_3.vout2025-09-15 18:43 7.3K 
[ ]fcont_3__t5_fcont_32025-09-08 16:24 48K 
[ ]fcont_3__t5_fcont_3.vout2025-09-15 15:10 4.7K 
[ ]fcont_3__t6_fcont_32025-09-08 16:26 45K 
[ ]fcont_3__t6_fcont_3.vout2025-09-15 17:34 4.7K 
[ ]fcont_3__t7_fcont_32025-09-08 16:28 53K 
[ ]fcont_3__t7_fcont_3.vout2025-09-15 15:52 4.2K 
[ ]fcont_3__t8_fcont_32025-09-08 16:30 39K 
[ ]fcont_3__t8_fcont_3.vout2025-09-15 15:03 4.7K 
[ ]fcont_3__t9_fcont_32025-09-08 16:31 46K 
[ ]fcont_3__t9_fcont_3.vout2025-09-15 16:24 4.7K 
[ ]fcont_3__t10_fcont_32025-09-08 16:32 46K 
[ ]fcont_3__t10_fcont_3.vout2025-09-15 18:02 4.7K 
[ ]fcont_3__t11_fcont_32025-09-08 16:35 112K 
[ ]fcont_3__t11_fcont_3.vout2025-09-15 14:24 3.7K 
[ ]fcont_3__t12_fcont_32025-09-08 16:37 112K 
[ ]fcont_3__t12_fcont_3.vout2025-09-15 13:26 3.7K 
[ ]fcont_3__t13_fcont_32025-09-08 16:39 117K 
[ ]fcont_3__t13_fcont_3.vout2025-09-15 16:22 3.7K 
[ ]fcont_3__t14_fcont_32025-09-08 16:41 117K 
[ ]fcont_3__t14_fcont_3.vout2025-09-15 19:04 3.7K 
[ ]fcont_3__t15_fcont_32025-09-08 16:43 111K 
[ ]fcont_3__t15_fcont_3.vout2025-09-15 19:15 3.7K 
[ ]fcont_3__t16_fcont_32025-09-08 16:45 155K 
[ ]fcont_3__t16_fcont_3.vout2025-09-15 15:22 3.7K 
[ ]fcont_3__t17_fcont_32025-09-08 16:47 44K 
[ ]fcont_3__t17_fcont_3.vout2025-09-15 14:35 3.7K 
[ ]fcont_3__t18_fcont_32025-09-08 16:48 43K 
[ ]fcont_3__t18_fcont_3.vout2025-09-15 16:24 7.3K 
[ ]fcont_3__t19_fcont_32025-09-08 16:50 43K 
[ ]fcont_3__t19_fcont_3.vout2025-09-15 16:44 7.3K 
[ ]fcont_3__t20_fcont_32025-09-08 16:52 42K 
[ ]fcont_3__t20_fcont_3.vout2025-09-15 17:14 7.3K 
[ ]fcont_3__t21_fcont_32025-09-08 16:53 42K 
[ ]fcont_3__t21_fcont_3.vout2025-09-15 14:39 7.3K 
[ ]fcont_3__t22_fcont_32025-09-08 16:55 45K 
[ ]fcont_3__t22_fcont_3.depv12025-09-15 19:47 444  
[ ]fcont_3__t22_fcont_3.depvmin12025-09-15 19:52 444  
[ ]fcont_3__t22_fcont_3.vmin12025-09-15 19:47 5.2K 
[ ]fcont_3__t22_fcont_3.vmin1out2025-09-15 19:49 56K 
[ ]fcont_3__t22_fcont_3.vout2025-09-15 19:25 57K 
[ ]fcont_3__t23_fcont_32025-09-08 16:57 72K 
[ ]fcont_3__t23_fcont_3.vout2025-09-15 16:27 3.7K 
[ ]fcont_3__t24_fcont_32025-09-08 16:59 73K 
[ ]fcont_3__t24_fcont_3.vout2025-09-15 15:07 3.7K 
[ ]fcont_3__t25_fcont_32025-09-08 17:01 73K 
[ ]fcont_3__t25_fcont_3.vout2025-09-15 16:15 3.7K 
[ ]fcont_3__t26_fcont_32025-09-08 17:03 72K 
[ ]fcont_3__t26_fcont_3.vout2025-09-15 14:23 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80