Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_from/stacks_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]stacks_1__e1_6_12017-01-13 00:16 53K 
[ ]stacks_1__e1_29_12017-01-13 00:16 67K 
[ ]stacks_1__e1_49_1_12017-01-13 00:16 63K 
[ ]stacks_1__e1_52_1_12017-01-13 00:16 55K 
[ ]stacks_1__e1_57_1_12017-01-13 00:16 66K 
[ ]stacks_1__e1_922017-01-13 00:16 72K 
[ ]stacks_1__e2_17_1_12017-01-13 00:16 70K 
[ ]stacks_1__e2_28_12017-01-13 00:16 71K 
[ ]stacks_1__e2_31_1_12017-01-13 00:16 85K 
[ ]stacks_1__e2_31_1_22017-01-13 00:16 88K 
[ ]stacks_1__e2_552017-01-13 00:16 73K 
[ ]stacks_1__e2_62_1_12017-01-13 00:16 73K 
[ ]stacks_1__e2_80_1_12017-01-13 00:16 80K 
[ ]stacks_1__e3_242017-01-13 00:16 70K 
[ ]stacks_1__e3_29_1_52017-01-13 00:16 66K 
[ ]stacks_1__e3_29_1_62017-01-13 00:16 67K 
[ ]stacks_1__e3_29_1_7_1_1_12017-01-13 00:16 66K 
[ ]stacks_1__e3_382017-01-13 00:16 83K 
[ ]stacks_1__e3_392017-01-13 00:16 81K 
[ ]stacks_1__e3_49_1_22017-01-13 00:16 66K 
[ ]stacks_1__e3_57_1_22017-01-13 00:16 69K 
[ ]stacks_1__e3_692017-01-13 00:16 73K 
[ ]stacks_1__e3_812017-01-13 00:16 92K 
[ ]stacks_1__e4_4_12017-01-13 00:16 63K 
[ ]stacks_1__e4_17_1_12017-01-13 00:16 61K 
[ ]stacks_1__e4_58_12017-01-13 00:16 65K 
[ ]stacks_1__e5_21_1_12017-01-13 00:16 84K 
[ ]stacks_1__e5_602017-01-13 00:16 74K 
[ ]stacks_1__e5_62_1_12017-01-13 00:16 70K 
[ ]stacks_1__e5_672017-01-13 00:16 82K 
[ ]stacks_1__e6_7_1_12017-01-13 00:16 64K 
[ ]stacks_1__e6_17_1_12017-01-13 00:16 62K 
[ ]stacks_1__e6_552017-01-13 00:16 70K 
[ ]stacks_1__e6_59_12017-01-13 00:16 65K 
[ ]stacks_1__e7_30_12017-01-13 00:16 70K 
[ ]stacks_1__e7_62_1_12017-01-13 00:16 76K 
[ ]stacks_1__e7_682017-01-13 00:16 65K 
[ ]stacks_1__e8_882017-01-13 00:16 82K 
[ ]stacks_1__e9_7_1_12017-01-13 00:16 67K 
[ ]stacks_1__e9_28_12017-01-13 00:16 70K 
[ ]stacks_1__e12_62_1_22017-01-13 00:16 75K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80