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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]binarith__t1_binarith2025-09-13 09:15 30K 
[   ]binarith__t2_binarith2025-09-13 09:16 37K 
[   ]binarith__t3_binarith2025-09-13 09:05 38K 
[   ]binarith__t4_binarith2025-09-13 09:06 36K 
[   ]binarith__t5_binarith2025-09-13 09:07 36K 
[   ]binarith__t6_binarith2025-09-13 09:08 36K 
[   ]binarith__t7_binarith2025-09-13 09:09 51K 
[   ]binarith__t8_binarith2025-09-13 09:09 40K 
[   ]binarith__t9_binarith2025-09-13 09:10 20K 
[   ]binarith__t10_binarith2025-09-13 09:11 37K 
[   ]binarith__t11_binarith2025-09-13 09:12 36K 
[   ]binarith__t12_binarith2025-09-13 09:13 36K 
[   ]binarith__t13_binarith2025-09-13 09:13 35K 
[   ]binarith__t14_binarith2025-09-13 09:17 25K 
[   ]binarith__t15_binarith2025-09-13 09:18 35K 
[   ]binarith__t16_binarith2025-09-13 09:20 53K 
[   ]binarith__t17_binarith2025-09-13 09:21 76K 
[   ]binarith__t18_binarith2025-09-13 09:22 78K 
[   ]binarith__t19_binarith2025-09-13 09:24 3.1M 
[   ]binarith__t20_binarith2025-09-13 09:26 62K 
[   ]binarith__t21_binarith2025-09-13 09:29 3.2M 
[   ]binarith__t22_binarith2025-09-13 09:30 67K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80