Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/mboolean

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mboolean__l2_mboolean2021-07-18 15:28 15K 
[ ]mboolean__l3_mboolean2021-07-18 15:28 11K 
[ ]mboolean__l4_mboolean2021-07-18 15:28 11K 
[ ]mboolean__l5_mboolean2021-07-18 15:28 10K 
[ ]mboolean__l6_mboolean2021-07-18 15:28 9.9K 
[ ]mboolean__l27_mboolean2021-07-18 15:29 7.7K 
[ ]mboolean__l28_mboolean2021-07-18 15:29 7.4K 
[ ]mboolean__t1_mboolean2021-07-18 15:21 21K 
[ ]mboolean__t2_mboolean2021-07-18 15:22 15K 
[ ]mboolean__t3_mboolean2021-07-18 15:22 14K 
[ ]mboolean__t4_mboolean2021-07-18 15:22 15K 
[ ]mboolean__t5_mboolean2021-07-18 15:22 7.4K 
[ ]mboolean__t6_mboolean2021-07-18 15:22 9.0K 
[ ]mboolean__t7_mboolean2021-07-18 15:22 12K 
[ ]mboolean__t8_mboolean2021-07-18 15:23 14K 
[ ]mboolean__t9_mboolean2021-07-18 15:23 13K 
[ ]mboolean__t10_mboolean2021-07-18 15:23 19K 
[ ]mboolean__t11_mboolean2021-07-18 15:23 15K 
[ ]mboolean__t12_mboolean2021-07-18 15:23 15K 
[ ]mboolean__t13_mboolean2021-07-18 15:23 21K 
[ ]mboolean__t14_mboolean2021-07-18 15:24 10K 
[ ]mboolean__t15_mboolean2021-07-18 15:24 9.4K 
[ ]mboolean__t16_mboolean2021-07-18 15:24 9.4K 
[ ]mboolean__t17_mboolean2021-07-18 15:24 13K 
[ ]mboolean__t18_mboolean2021-07-18 15:24 9.3K 
[ ]mboolean__t19_mboolean2021-07-18 15:24 12K 
[ ]mboolean__t20_mboolean2021-07-18 15:25 6.0K 
[ ]mboolean__t21_mboolean2021-07-18 15:25 7.1K 
[ ]mboolean__t22_mboolean2021-07-18 15:25 14K 
[ ]mboolean__t23_mboolean2021-07-18 15:25 14K 
[ ]mboolean__t24_mboolean2021-07-18 15:25 14K 
[ ]mboolean__t25_mboolean2021-07-18 15:25 8.8K 
[ ]mboolean__t26_mboolean2021-07-18 15:26 8.3K 
[ ]mboolean__t27_mboolean2021-07-18 15:26 10K 
[ ]mboolean__t28_mboolean2021-07-18 15:26 12K 
[ ]mboolean__t29_mboolean2021-07-18 15:26 11K 
[ ]mboolean__t30_mboolean2021-07-18 15:26 9.8K 
[ ]mboolean__t31_mboolean2021-07-18 15:26 9.1K 
[ ]mboolean__t32_mboolean2021-07-18 15:27 19K 
[ ]mboolean__t33_mboolean2021-07-18 15:27 23K 
[ ]mboolean__t34_mboolean2021-07-18 15:27 27K 
[ ]mboolean__t35_mboolean2021-07-18 15:27 27K 
[ ]mboolean__t36_mboolean2021-07-18 15:28 20K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80