Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_from1/osafree

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]osafree__e1_5_1_12017-01-13 18:42 55K 
[ ]osafree__e1_15_1_12017-01-13 18:42 46K 
[ ]osafree__e1_44_1_12017-01-13 18:42 64K 
[ ]osafree__e1_48_1_12017-01-13 18:42 63K 
[ ]osafree__e1_53_1_12017-01-13 18:42 48K 
[ ]osafree__e1_60_1_12017-01-13 18:42 51K 
[ ]osafree__e1_63_1_12017-01-13 18:42 53K 
[ ]osafree__e1_65_1_12017-01-13 18:42 64K 
[ ]osafree__e1_84_1_12017-01-13 18:42 68K 
[ ]osafree__e2_21_1_12017-01-13 18:42 63K 
[ ]osafree__e2_22_1_12017-01-13 18:42 50K 
[ ]osafree__e2_782017-01-13 18:42 75K 
[ ]osafree__e2_80_1_12017-01-13 18:42 57K 
[ ]osafree__e2_85_1_52017-01-13 18:42 63K 
[ ]osafree__e3_31_1_12017-01-13 18:42 72K 
[ ]osafree__e3_38_1_12017-01-13 18:42 46K 
[ ]osafree__e3_48_1_22017-01-13 18:42 69K 
[ ]osafree__e3_492017-01-13 18:42 78K 
[ ]osafree__e3_502017-01-13 18:42 58K 
[ ]osafree__e3_512017-01-13 18:42 77K 
[ ]osafree__e3_522017-01-13 18:42 62K 
[ ]osafree__e3_79_1_12017-01-13 18:42 78K 
[ ]osafree__e3_84_1_22017-01-13 18:42 73K 
[ ]osafree__e3_852017-01-13 18:42 115K 
[ ]osafree__e3_862017-01-13 18:42 94K 
[ ]osafree__e4_68_1_12017-01-13 18:42 53K 
[ ]osafree__e4_892017-01-13 18:42 87K 
[ ]osafree__e5_9_22017-01-13 18:42 49K 
[ ]osafree__e5_782017-01-13 18:42 66K 
[ ]osafree__e6_10_1_1_12017-01-13 18:42 49K 
[ ]osafree__e6_68_1_1_22017-01-13 18:42 80K 
[ ]osafree__e7_57_12017-01-13 18:42 76K 
[ ]osafree__e12_10_1_1_12017-01-13 18:42 48K 
[ ]osafree__e12_782017-01-13 18:42 73K 
[ ]osafree__e69_52_1_22017-01-13 18:42 67K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80