Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/fcont_2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fcont_2__t1_fcont_22025-09-13 23:17 58K 
[ ]fcont_2__t2_fcont_22025-09-13 23:18 58K 
[ ]fcont_2__t3_fcont_22025-09-13 23:20 107K 
[ ]fcont_2__t4_fcont_22025-09-13 23:22 115K 
[ ]fcont_2__t5_fcont_22025-09-13 23:23 97K 
[ ]fcont_2__t6_fcont_22025-09-13 23:11 61K 
[ ]fcont_2__t7_fcont_22025-09-13 23:25 62K 
[ ]fcont_2__t8_fcont_22025-09-13 23:27 111K 
[ ]fcont_2__t9_fcont_22025-09-13 23:28 58K 
[ ]fcont_2__t10_fcont_22025-09-13 23:30 64K 
[ ]fcont_2__t11_fcont_22025-09-13 23:32 135K 
[ ]fcont_2__t12_fcont_22025-09-13 23:13 51K 
[ ]fcont_2__t13_fcont_22025-09-13 23:14 53K 
[ ]fcont_2__t14_fcont_22025-09-13 23:15 48K 
[ ]fcont_2__t16_fcont_22025-09-13 23:33 65K 
[ ]fcont_2__t17_fcont_22025-09-13 23:35 69K 
[ ]fcont_2__t18_fcont_22025-09-13 23:36 73K 
[ ]fcont_2__t19_fcont_22025-09-13 23:38 64K 
[ ]fcont_2__t20_fcont_22025-09-13 23:39 64K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80