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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]zf_refle__s1_zf_refle2025-09-12 21:23 28K 
[ ]zf_refle__s2_zf_refle2025-09-12 21:25 38K 
[ ]zf_refle__s3_zf_refle2025-09-12 21:26 49K 
[ ]zf_refle__s4_zf_refle2025-09-12 21:27 25K 
[ ]zf_refle__t1_zf_refle2025-09-12 21:28 31K 
[ ]zf_refle__t2_zf_refle2025-09-12 21:29 30K 
[ ]zf_refle__t3_zf_refle2025-09-12 21:31 34K 
[ ]zf_refle__t4_zf_refle2025-09-12 21:32 31K 
[ ]zf_refle__t5_zf_refle2025-09-12 21:33 51K 
[ ]zf_refle__t6_zf_refle2025-09-12 21:34 39K 
[ ]zf_refle__t7_zf_refle2025-09-12 21:21 19K 
[ ]zf_refle__t8_zf_refle2025-09-12 21:35 32K 
[ ]zf_refle__t9_zf_refle2025-09-12 21:36 29K 
[ ]zf_refle__t10_zf_refle2025-09-12 21:21 1.7K 
[ ]zf_refle__t11_zf_refle2025-09-12 21:37 26K 
[ ]zf_refle__t12_zf_refle2025-09-12 21:38 24K 
[ ]zf_refle__t13_zf_refle2025-09-12 21:39 32K 
[ ]zf_refle__t14_zf_refle2025-09-12 21:41 43K 
[ ]zf_refle__t15_zf_refle2025-09-12 21:42 23K 
[ ]zf_refle__t16_zf_refle2025-09-12 21:43 33K 
[ ]zf_refle__t17_zf_refle2025-09-12 21:44 40K 
[ ]zf_refle__t18_zf_refle2025-09-12 21:22 25K 
[ ]zf_refle__t19_zf_refle2025-09-12 21:45 30K 
[ ]zf_refle__t20_zf_refle2025-09-12 21:49 118K 
[ ]zf_refle__t21_zf_refle2025-09-12 21:50 26K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80