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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]xboolean__t1_xboolean2025-09-12 07:13 9.9K 
[ ]xboolean__t2_xboolean2025-09-12 07:20 14K 
[ ]xboolean__t3_xboolean2025-09-12 07:14 22K 
[ ]xboolean__t4_xboolean2025-09-12 07:21 35K 
[ ]xboolean__t5_xboolean2025-09-12 07:22 23K 
[ ]xboolean__t6_xboolean2025-09-12 07:23 23K 
[ ]xboolean__t7_xboolean2025-09-12 07:23 23K 
[ ]xboolean__t8_xboolean2025-09-12 07:24 35K 
[ ]xboolean__t9_xboolean2025-09-12 07:25 35K 
[ ]xboolean__t10_xboolean2025-09-12 07:26 35K 
[ ]xboolean__t11_xboolean2025-09-12 07:26 23K 
[ ]xboolean__t12_xboolean2025-09-12 07:27 35K 
[ ]xboolean__t13_xboolean2025-09-12 07:28 24K 
[ ]xboolean__t14_xboolean2025-09-12 07:29 24K 
[ ]xboolean__t15_xboolean2025-09-12 07:29 24K 
[ ]xboolean__t16_xboolean2025-09-12 07:30 24K 
[ ]xboolean__t17_xboolean2025-09-12 07:31 24K 
[ ]xboolean__t18_xboolean2025-09-12 07:32 24K 
[ ]xboolean__t19_xboolean2025-09-12 07:32 94K 
[ ]xboolean__t20_xboolean2025-09-12 07:33 25K 
[ ]xboolean__t21_xboolean2025-09-12 07:34 25K 
[ ]xboolean__t22_xboolean2025-09-12 07:15 92K 
[ ]xboolean__t23_xboolean2025-09-12 07:35 32K 
[ ]xboolean__t24_xboolean2025-09-12 07:36 25K 
[ ]xboolean__t25_xboolean2025-09-12 07:16 92K 
[ ]xboolean__t26_xboolean2025-09-12 07:37 36K 
[ ]xboolean__t27_xboolean2025-09-12 07:37 25K 
[ ]xboolean__t28_xboolean2025-09-12 07:38 36K 
[ ]xboolean__t29_xboolean2025-09-12 07:39 36K 
[ ]xboolean__t30_xboolean2025-09-12 07:40 94K 
[ ]xboolean__t31_xboolean2025-09-12 07:16 34K 
[ ]xboolean__t32_xboolean2025-09-12 07:41 24K 
[ ]xboolean__t33_xboolean2025-09-12 07:41 36K 
[ ]xboolean__t34_xboolean2025-09-12 07:42 36K 
[ ]xboolean__t35_xboolean2025-09-12 07:43 24K 
[ ]xboolean__t36_xboolean2025-09-12 07:44 36K 
[ ]xboolean__t37_xboolean2025-09-12 07:45 36K 
[ ]xboolean__t38_xboolean2025-09-12 07:46 36K 
[ ]xboolean__t39_xboolean2025-09-12 07:46 36K 
[ ]xboolean__t40_xboolean2025-09-12 07:47 36K 
[ ]xboolean__t41_xboolean2025-09-12 07:48 12K 
[ ]xboolean__t42_xboolean2025-09-12 07:49 36K 
[ ]xboolean__t43_xboolean2025-09-12 07:50 36K 
[ ]xboolean__t44_xboolean2025-09-12 07:50 36K 
[ ]xboolean__t45_xboolean2025-09-12 07:51 25K 
[ ]xboolean__t46_xboolean2025-09-12 07:52 36K 
[ ]xboolean__t47_xboolean2025-09-12 07:53 37K 
[ ]xboolean__t48_xboolean2025-09-12 07:54 25K 
[ ]xboolean__t49_xboolean2025-09-12 07:55 95K 
[ ]xboolean__t50_xboolean2025-09-12 07:56 37K 
[ ]xboolean__t51_xboolean2025-09-12 07:17 17K 
[ ]xboolean__t52_xboolean2025-09-12 07:57 23K 
[ ]xboolean__t53_xboolean2025-09-12 07:57 23K 
[ ]xboolean__t54_xboolean2025-09-12 07:59 24K 
[ ]xboolean__t55_xboolean2025-09-12 08:00 24K 
[ ]xboolean__t56_xboolean2025-09-12 08:00 25K 
[ ]xboolean__t57_xboolean2025-09-12 08:01 25K 
[ ]xboolean__t58_xboolean2025-09-12 08:02 25K 
[ ]xboolean__t59_xboolean2025-09-12 08:03 25K 
[ ]xboolean__t60_xboolean2025-09-12 08:04 25K 
[ ]xboolean__t61_xboolean2025-09-12 08:05 24K 
[ ]xboolean__t62_xboolean2025-09-12 08:05 25K 
[ ]xboolean__t63_xboolean2025-09-12 08:06 24K 
[ ]xboolean__t64_xboolean2025-09-12 08:07 36K 
[ ]xboolean__t65_xboolean2025-09-12 08:08 25K 
[ ]xboolean__t66_xboolean2025-09-12 07:18 93K 
[ ]xboolean__t67_xboolean2025-09-12 08:09 12K 
[ ]xboolean__t68_xboolean2025-09-12 08:10 18K 
[ ]xboolean__t69_xboolean2025-09-12 08:11 18K 
[ ]xboolean__t70_xboolean2025-09-12 08:12 38K 
[ ]xboolean__t71_xboolean2025-09-12 08:12 36K 
[ ]xboolean__t72_xboolean2025-09-12 08:13 37K 
[ ]xboolean__t73_xboolean2025-09-12 08:14 95K 
[ ]xboolean__t74_xboolean2025-09-12 08:15 25K 
[ ]xboolean__t75_xboolean2025-09-12 08:16 95K 
[ ]xboolean__t76_xboolean2025-09-12 08:17 37K 
[ ]xboolean__t77_xboolean2025-09-12 08:18 25K 
[ ]xboolean__t78_xboolean2025-09-12 08:19 26K 
[ ]xboolean__t79_xboolean2025-09-12 08:20 25K 
[ ]xboolean__t80_xboolean2025-09-12 08:21 26K 
[ ]xboolean__t81_xboolean2025-09-12 08:21 25K 
[ ]xboolean__t82_xboolean2025-09-12 08:22 25K 
[ ]xboolean__t83_xboolean2025-09-12 08:23 37K 
[ ]xboolean__t84_xboolean2025-09-12 08:24 25K 
[ ]xboolean__t85_xboolean2025-09-12 08:25 37K 
[ ]xboolean__t86_xboolean2025-09-12 08:26 37K 
[ ]xboolean__t87_xboolean2025-09-12 08:27 37K 
[ ]xboolean__t88_xboolean2025-09-12 08:27 37K 
[ ]xboolean__t89_xboolean2025-09-12 08:28 37K 
[ ]xboolean__t90_xboolean2025-09-12 08:29 38K 
[ ]xboolean__t91_xboolean2025-09-12 08:30 38K 
[ ]xboolean__t92_xboolean2025-09-12 08:31 38K 
[ ]xboolean__t93_xboolean2025-09-12 08:32 38K 
[ ]xboolean__t94_xboolean2025-09-12 08:33 26K 
[ ]xboolean__t95_xboolean2025-09-12 08:34 26K 
[ ]xboolean__t96_xboolean2025-09-12 08:35 96K 
[ ]xboolean__t97_xboolean2025-09-12 08:35 26K 
[ ]xboolean__t98_xboolean2025-09-12 08:37 38K 
[ ]xboolean__t99_xboolean2025-09-12 08:37 26K 
[ ]xboolean__t100_xboolean2025-09-12 08:38 26K 
[ ]xboolean__t101_xboolean2025-09-12 08:39 15K 
[ ]xboolean__t102_xboolean2025-09-12 08:40 17K 
[ ]xboolean__t103_xboolean2025-09-12 08:41 18K 
[ ]xboolean__t104_xboolean2025-09-12 08:42 24K 
[ ]xboolean__t105_xboolean2025-09-12 08:42 24K 
[ ]xboolean__t106_xboolean2025-09-12 08:43 36K 
[ ]xboolean__t107_xboolean2025-09-12 08:44 36K 
[ ]xboolean__t108_xboolean2025-09-12 08:45 24K 
[ ]xboolean__t109_xboolean2025-09-12 08:46 19K 
[ ]xboolean__t110_xboolean2025-09-12 08:47 36K 
[ ]xboolean__t111_xboolean2025-09-12 08:48 36K 
[ ]xboolean__t112_xboolean2025-09-12 08:49 24K 
[ ]xboolean__t113_xboolean2025-09-12 08:49 36K 
[ ]xboolean__t114_xboolean2025-09-12 08:50 36K 
[ ]xboolean__t115_xboolean2025-09-12 08:51 36K 
[ ]xboolean__t116_xboolean2025-09-12 08:52 36K 
[ ]xboolean__t117_xboolean2025-09-12 08:53 36K 
[ ]xboolean__t118_xboolean2025-09-12 08:54 35K 
[ ]xboolean__t119_xboolean2025-09-12 07:18 23K 
[ ]xboolean__t120_xboolean2025-09-12 08:55 36K 
[ ]xboolean__t121_xboolean2025-09-12 08:56 19K 
[ ]xboolean__t122_xboolean2025-09-12 08:57 24K 
[ ]xboolean__t123_xboolean2025-09-12 08:57 36K 
[ ]xboolean__t124_xboolean2025-09-12 08:58 24K 
[ ]xboolean__t125_xboolean2025-09-12 08:59 19K 
[ ]xboolean__t126_xboolean2025-09-12 09:00 36K 
[ ]xboolean__t127_xboolean2025-09-12 09:01 36K 
[ ]xboolean__t128_xboolean2025-09-12 09:02 283K 
[ ]xboolean__t129_xboolean2025-09-12 09:02 25K 
[ ]xboolean__t130_xboolean2025-09-12 09:03 94K 
[ ]xboolean__t131_xboolean2025-09-12 09:04 94K 
[ ]xboolean__t132_xboolean2025-09-12 09:05 36K 
[ ]xboolean__t133_xboolean2025-09-12 09:06 94K 
[ ]xboolean__t134_xboolean2025-09-12 09:07 24K 
[ ]xboolean__t135_xboolean2025-09-12 09:08 18K 
[ ]xboolean__t136_xboolean2025-09-12 09:09 24K 
[ ]xboolean__t137_xboolean2025-09-12 09:09 25K 
[ ]xboolean__t138_xboolean2025-09-12 09:10 17K 
[ ]xboolean__t139_xboolean2025-09-12 07:19 13K 
[ ]xboolean__t140_xboolean2025-09-12 07:20 13K 
[ ]xboolean__t141_xboolean2025-09-12 09:11 18K 
[ ]xboolean__t142_xboolean2025-09-12 09:12 19K 
[ ]xboolean__t143_xboolean2025-09-12 09:13 25K 
[ ]xboolean__t144_xboolean2025-09-12 09:14 36K 
[ ]xboolean__t145_xboolean2025-09-12 09:14 36K 
[ ]xboolean__t146_xboolean2025-09-12 09:15 25K 
[ ]xboolean__t147_xboolean2025-09-12 09:16 25K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80