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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mboolean__l2_mboolean2025-09-14 03:58 15K 
[ ]mboolean__l3_mboolean2025-09-14 03:59 11K 
[ ]mboolean__l4_mboolean2025-09-14 03:59 11K 
[ ]mboolean__l5_mboolean2025-09-14 04:00 10K 
[ ]mboolean__l6_mboolean2025-09-14 04:00 9.9K 
[ ]mboolean__l27_mboolean2025-09-14 04:01 7.7K 
[ ]mboolean__l28_mboolean2025-09-14 04:01 7.4K 
[ ]mboolean__t1_mboolean2025-09-14 03:35 21K 
[ ]mboolean__t2_mboolean2025-09-14 03:35 15K 
[ ]mboolean__t3_mboolean2025-09-14 03:36 14K 
[ ]mboolean__t4_mboolean2025-09-14 03:37 15K 
[ ]mboolean__t5_mboolean2025-09-14 03:37 7.4K 
[ ]mboolean__t6_mboolean2025-09-14 03:38 9.0K 
[ ]mboolean__t7_mboolean2025-09-14 03:38 12K 
[ ]mboolean__t8_mboolean2025-09-14 03:39 14K 
[ ]mboolean__t9_mboolean2025-09-14 03:39 13K 
[ ]mboolean__t10_mboolean2025-09-14 03:40 19K 
[ ]mboolean__t11_mboolean2025-09-14 03:41 15K 
[ ]mboolean__t12_mboolean2025-09-14 03:42 15K 
[ ]mboolean__t13_mboolean2025-09-14 03:42 21K 
[ ]mboolean__t14_mboolean2025-09-14 03:43 10K 
[ ]mboolean__t15_mboolean2025-09-14 03:43 9.4K 
[ ]mboolean__t16_mboolean2025-09-14 03:44 9.4K 
[ ]mboolean__t17_mboolean2025-09-14 03:45 13K 
[ ]mboolean__t18_mboolean2025-09-14 03:45 9.3K 
[ ]mboolean__t19_mboolean2025-09-14 03:46 12K 
[ ]mboolean__t20_mboolean2025-09-14 03:46 6.0K 
[ ]mboolean__t21_mboolean2025-09-14 03:47 7.1K 
[ ]mboolean__t22_mboolean2025-09-14 03:48 14K 
[ ]mboolean__t23_mboolean2025-09-14 03:48 14K 
[ ]mboolean__t24_mboolean2025-09-14 03:49 14K 
[ ]mboolean__t25_mboolean2025-09-14 03:49 8.8K 
[ ]mboolean__t26_mboolean2025-09-14 03:50 8.3K 
[ ]mboolean__t27_mboolean2025-09-14 03:50 10K 
[ ]mboolean__t28_mboolean2025-09-14 03:51 12K 
[ ]mboolean__t29_mboolean2025-09-14 03:52 11K 
[ ]mboolean__t30_mboolean2025-09-14 03:52 9.8K 
[ ]mboolean__t31_mboolean2025-09-14 03:53 9.1K 
[ ]mboolean__t32_mboolean2025-09-14 03:54 19K 
[ ]mboolean__t33_mboolean2025-09-14 03:54 23K 
[ ]mboolean__t34_mboolean2025-09-14 03:55 27K 
[ ]mboolean__t35_mboolean2025-09-14 03:56 27K 
[ ]mboolean__t36_mboolean2025-09-14 03:57 20K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80