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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]number01__t1_number012025-09-12 21:07 100K 
[ ]number01__t2_number012025-09-12 21:09 70K 
[ ]number01__t3_number012025-09-12 21:11 380K 
[ ]number01__t4_number012025-09-12 21:12 55K 
[ ]number01__t5_number012025-09-12 21:14 3.8M 
[ ]number01__t6_number012025-09-12 21:17 1.2M 
[ ]number01__t7_number012025-09-12 21:19 3.4M 
[ ]number01__t8_number012025-09-12 21:21 1.8M 
[ ]number01__t9_number012025-09-12 21:23 814K 
[ ]number01__t10_number012025-09-12 21:26 2.7M 
[ ]number01__t11_number012025-09-12 21:28 76K 
[ ]number01__t12_number012025-09-12 21:30 241K 
[ ]number01__t13_number012025-09-12 21:32 113K 
[ ]number01__t14_number012025-09-12 21:34 1.0M 
[ ]number01__t15_number012025-09-12 21:36 143K 
[ ]number01__t16_number012025-09-12 21:39 181K 
[ ]number01__t17_number012025-09-12 21:41 564K 
[ ]number01__t18_number012025-09-12 21:44 518K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80