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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]boolealg__l66_boolealg2025-09-13 04:06 18K 
[ ]boolealg__t1_boolealg2025-09-13 03:28 9.3K 
[ ]boolealg__t2_boolealg2025-09-13 03:29 8.8K 
[ ]boolealg__t3_boolealg2025-09-13 03:30 8.2K 
[ ]boolealg__t4_boolealg2025-09-13 03:20 10K 
[ ]boolealg__t5_boolealg2025-09-13 03:30 8.5K 
[ ]boolealg__t6_boolealg2025-09-13 03:31 8.4K 
[ ]boolealg__t7_boolealg2025-09-13 03:20 5.4K 
[ ]boolealg__t8_boolealg2025-09-13 03:31 10K 
[ ]boolealg__t9_boolealg2025-09-13 03:21 5.9K 
[ ]boolealg__t10_boolealg2025-09-13 03:21 8.9K 
[ ]boolealg__t11_boolealg2025-09-13 03:22 8.6K 
[ ]boolealg__t12_boolealg2025-09-13 03:23 8.9K 
[ ]boolealg__t13_boolealg2025-09-13 03:23 7.8K 
[ ]boolealg__t14_boolealg2025-09-13 03:32 6.9K 
[ ]boolealg__t15_boolealg2025-09-13 03:32 7.9K 
[ ]boolealg__t16_boolealg2025-09-13 03:24 4.0K 
[ ]boolealg__t17_boolealg2025-09-13 03:24 6.1K 
[ ]boolealg__t18_boolealg2025-09-13 03:25 7.1K 
[ ]boolealg__t19_boolealg2025-09-13 03:25 9.7K 
[ ]boolealg__t20_boolealg2025-09-13 03:33 6.9K 
[ ]boolealg__t21_boolealg2025-09-13 03:34 14K 
[ ]boolealg__t22_boolealg2025-09-13 03:34 9.8K 
[ ]boolealg__t23_boolealg2025-09-13 03:35 10K 
[ ]boolealg__t24_boolealg2025-09-13 03:36 14K 
[ ]boolealg__t25_boolealg2025-09-13 03:37 11K 
[ ]boolealg__t26_boolealg2025-09-13 03:37 12K 
[ ]boolealg__t27_boolealg2025-09-13 03:38 12K 
[ ]boolealg__t28_boolealg2025-09-13 03:39 14K 
[ ]boolealg__t29_boolealg2025-09-13 03:39 12K 
[ ]boolealg__t30_boolealg2025-09-13 03:40 13K 
[ ]boolealg__t31_boolealg2025-09-13 03:41 14K 
[ ]boolealg__t32_boolealg2025-09-13 03:26 14K 
[ ]boolealg__t33_boolealg2025-09-13 03:42 14K 
[ ]boolealg__t34_boolealg2025-09-13 03:42 12K 
[ ]boolealg__t35_boolealg2025-09-13 03:43 14K 
[ ]boolealg__t36_boolealg2025-09-13 03:44 15K 
[ ]boolealg__t37_boolealg2025-09-13 03:44 13K 
[ ]boolealg__t38_boolealg2025-09-13 03:45 14K 
[ ]boolealg__t39_boolealg2025-09-13 03:46 14K 
[ ]boolealg__t40_boolealg2025-09-13 03:47 16K 
[ ]boolealg__t41_boolealg2025-09-13 03:47 13K 
[ ]boolealg__t42_boolealg2025-09-13 03:48 13K 
[ ]boolealg__t43_boolealg2025-09-13 03:49 15K 
[ ]boolealg__t44_boolealg2025-09-13 03:49 14K 
[ ]boolealg__t45_boolealg2025-09-13 03:50 13K 
[ ]boolealg__t46_boolealg2025-09-13 03:51 18K 
[ ]boolealg__t47_boolealg2025-09-13 03:52 11K 
[ ]boolealg__t48_boolealg2025-09-13 03:52 13K 
[ ]boolealg__t49_boolealg2025-09-13 03:53 14K 
[ ]boolealg__t50_boolealg2025-09-13 03:54 10K 
[ ]boolealg__t51_boolealg2025-09-13 03:26 8.7K 
[ ]boolealg__t52_boolealg2025-09-13 03:55 10K 
[ ]boolealg__t53_boolealg2025-09-13 03:55 17K 
[ ]boolealg__t54_boolealg2025-09-13 03:56 14K 
[ ]boolealg__t55_boolealg2025-09-13 03:57 17K 
[ ]boolealg__t56_boolealg2025-09-13 03:27 15K 
[ ]boolealg__t57_boolealg2025-09-13 03:28 15K 
[ ]boolealg__t58_boolealg2025-09-13 03:58 14K 
[ ]boolealg__t59_boolealg2025-09-13 03:58 18K 
[ ]boolealg__t60_boolealg2025-09-13 03:59 17K 
[ ]boolealg__t61_boolealg2025-09-13 04:00 15K 
[ ]boolealg__t62_boolealg2025-09-13 04:01 20K 
[ ]boolealg__t63_boolealg2025-09-13 04:01 17K 
[ ]boolealg__t64_boolealg2025-09-13 04:02 15K 
[ ]boolealg__t65_boolealg2025-09-13 04:03 15K 
[ ]boolealg__t66_boolealg2025-09-13 04:04 16K 
[ ]boolealg__t67_boolealg2025-09-13 04:04 17K 
[ ]boolealg__t68_boolealg2025-09-13 04:05 17K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80