网易首页 > 网易号 > 正文 申请入驻

ILP popper solved EVAL e3721c99 洞数改色高级任务

0
分享至

git clone https://github.com/zdx3578/popper-arc

git checkout backup/singlework-before-paral ##branch version

## version: 678e066861fc4ec613b4832a3127ccbcc5a4eef4

运行结果:

(py31022) ➜ popper-arcoldtest git:(backup/singlework-before-paral) ✗ python mainpopperarc.py --task-id e3721c99

当前目录: /home/zdx/github/VSAHDC/popper-arcoldtest

Processing e3721c99 (1/1)

Determining background color with threshold: 40%

Color distribution across training data:

color 0: 70.86%

color 5: 24.89%

color 2: 5.89%

color 1: 4.97%

color 3: 4.14%

color 4: 3.39%

确定全局背景色: 0 (占比: 70.86%)

Train e3721c99 input 0

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

Train e3721c99 output 0

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

Train e3721c99 input 1

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

Train e3721c99 output 1

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

/home/zdx/github/VSAHDC/popper-arc/popper/popper/tester.py:3: UserWarning: pkg_resources is deprecated as an API. See https://setuptools.pypa.io/en/latest/pkg_resources.html. The pkg_resources package is slated for removal as early as 2025-11-30. Refrain from using this package or pin to Setuptools<81.

import pkg_resources

Max rules: 2

Max vars: 8

Max body: 3

Loading recalls

Loading bkcons

Load exact solver: rc2

Load anytime solver:nuwls

Program 1:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),same_hole_but_diff_obj(V0,V4,V6,V5,V3).

Generating programs of size: 3

tp:19 fn:471 tn:1465 fp:5 mdl:479

New best hypothesis:

tp:19 fn:471 tn:1465 fp:5 size:3 mdl:479

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),same_hole_but_diff_obj(V0,V4,V6,V5,V3).

Program 2:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),is_gray_obj(V0,V5,V3).

tp:0 fn:490 tn:1389 fp:81 mdl:574

Program 3:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),is_color_obj(V0,V5,V3).

tp:221 fn:269 tn:1261 fp:209 mdl:481

Program 4:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),is_color_obj(V0,V4,V3).

tp:20 fn:470 tn:1462 fp:8 mdl:481

Program 5:

outpix(V0,V1,V2,V3):- inbelongs(V0,V5,V1,V2),is_color_obj(V0,V4,V3).

tp:490 fn:0 tn:1022 fp:448 mdl:451

New best hypothesis:

tp:490 fn:0 tn:1022 fp:448 size:3 mdl:451

outpix(V0,V1,V2,V3):- inbelongs(V0,V5,V1,V2),is_color_obj(V0,V4,V3).

Program 6:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V1,V2),is_color_obj(V0,V4,V3).

tp:111 fn:379 tn:1470 fp:0 mdl:382

New best hypothesis:

tp:111 fn:379 tn:1470 fp:0 size:3 mdl:382

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V1,V2),is_color_obj(V0,V4,V3).

Program 7:

outpix(V0,V1,V2,V3):- same_hole_but_diff_obj(V0,V5,V6,V4,V3),inbelongs(V0,V5,V1,V2).

tp:81 fn:409 tn:1470 fp:0 mdl:412

Program 8:

outpix(V0,V1,V2,V3):- is_color_obj(V0,V5,V3),objholes(V0,V5,V4),inbelongs(V0,V5,V2,V1).

Generating programs of size: 4

tp:19 fn:471 tn:1465 fp:5 mdl:480

Program 9:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),is_color_obj(V0,V5,V3),is_color_obj(V0,V4,V3).

tp:20 fn:470 tn:1462 fp:8 mdl:482

Program 10:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),inbelongs(V0,V5,V1,V2),is_color_obj(V0,V4,V3).

tp:20 fn:470 tn:1462 fp:8 mdl:482

Program 11:

outpix(V0,V1,V2,V3):- inbelongs(V0,V5,V2,V1),inbelongs(V0,V5,V1,V2),is_color_obj(V0,V4,V3).

tp:62 fn:428 tn:1416 fp:54 mdl:486

Program 12:

outpix(V0,V1,V2,V3):- inbelongs(V0,V5,V2,V1),is_color_obj(V0,V5,V6),is_color_obj(V0,V4,V3).

tp:47 fn:443 tn:1419 fp:51 mdl:498

Program 13:

outpix(V0,V1,V2,V3):- inbelongs(V0,V5,V2,V1),is_color_obj(V0,V4,V3),is_gray_obj(V0,V5,V6).

tp:174 fn:316 tn:1312 fp:158 mdl:478

Program 14:

outpix(V0,V1,V2,V3):- inbelongs(V0,V5,V2,V1),is_color_obj(V0,V6,V3),is_color_obj(V0,V4,V3).

tp:221 fn:269 tn:1261 fp:209 mdl:482

Program 15:

outpix(V0,V1,V2,V3):- inbelongs(V0,V5,V2,V1),is_color_obj(V0,V4,V3),is_gray_obj(V0,V6,V7).

tp:221 fn:269 tn:1261 fp:209 mdl:482

Program 16:

outpix(V0,V1,V2,V3):- is_color_obj(V0,V6,V7),is_color_obj(V0,V4,V3),inbelongs(V0,V5,V2,V1).

tp:221 fn:269 tn:1261 fp:209 mdl:482

Program 17:

outpix(V0,V1,V2,V3):- inbelongs(V0,V5,V2,V1),is_color_obj(V0,V4,V3),inbelongs(V0,V6,V1,V2).

tp:221 fn:269 tn:1261 fp:209 mdl:482

Program 18:

outpix(V0,V1,V2,V3):- inbelongs(V0,V5,V2,V1),same_hole_but_diff_obj(V0,V4,V5,V6,V7),is_color_obj(V0,V4,V3).

tp:82 fn:408 tn:1420 fp:50 mdl:462

Program 19:

outpix(V0,V1,V2,V3):- inbelongs(V0,V5,V2,V1),same_hole_but_diff_obj(V0,V5,V7,V6,V3),is_color_obj(V0,V4,V3).

tp:19 fn:471 tn:1465 fp:5 mdl:480

Program 20:

outpix(V0,V1,V2,V3):- inbelongs(V0,V5,V2,V1),objholes(V0,V4,V6),is_color_obj(V0,V4,V3).

tp:221 fn:269 tn:1261 fp:209 mdl:482

Program 21:

outpix(V0,V1,V2,V3):- inbelongs(V0,V5,V2,V1),objholes(V0,V5,V6),is_color_obj(V0,V4,V3).

tp:209 fn:281 tn:1276 fp:194 mdl:479

Program 22:

outpix(V0,V1,V2,V3):- inbelongs(V0,V5,V1,V2),is_color_obj(V0,V6,V3),is_color_obj(V0,V4,V3).

tp:490 fn:0 tn:1022 fp:448 mdl:452

Program 23:

outpix(V0,V1,V2,V3):- is_gray_obj(V0,V5,V7),is_color_obj(V0,V4,V3),inbelongs(V0,V6,V1,V2).

tp:490 fn:0 tn:1022 fp:448 mdl:452

Program 24:

outpix(V0,V1,V2,V3):- inbelongs(V0,V5,V1,V2),is_color_obj(V0,V4,V3),is_gray_obj(V0,V5,V6).

tp:379 fn:111 tn:1135 fp:335 mdl:450

Program 25:

outpix(V0,V1,V2,V3):- same_hole_but_diff_obj(V0,V4,V5,V6,V7),inbelongs(V0,V5,V1,V2),is_color_obj(V0,V4,V3).

tp:374 fn:116 tn:1423 fp:47 mdl:167

New best hypothesis:

tp:374 fn:116 tn:1423 fp:47 size:4 mdl:167

outpix(V0,V1,V2,V3):- same_hole_but_diff_obj(V0,V4,V5,V6,V7),inbelongs(V0,V5,V1,V2),is_color_obj(V0,V4,V3).

Program 26:

outpix(V0,V1,V2,V3):- is_color_obj(V0,V5,V6),inbelongs(V0,V5,V1,V2),is_color_obj(V0,V4,V3).

tp:111 fn:379 tn:1357 fp:113 mdl:496

Program 27:

outpix(V0,V1,V2,V3):- is_color_obj(V0,V7,V6),inbelongs(V0,V5,V1,V2),is_color_obj(V0,V4,V3).

tp:490 fn:0 tn:1022 fp:448 mdl:452

Program 28:

outpix(V0,V1,V2,V3):- inbelongs(V0,V5,V1,V2),objholes(V0,V4,V6),is_color_obj(V0,V4,V3).

tp:490 fn:0 tn:1022 fp:448 mdl:452

Program 29:

outpix(V0,V1,V2,V3):- objholes(V0,V5,V6),inbelongs(V0,V5,V1,V2),is_color_obj(V0,V4,V3).

tp:455 fn:35 tn:1057 fp:413 mdl:452

Program 30:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),same_hole_but_diff_obj(V0,V4,V5,V6,V7),is_color_obj(V0,V4,V3).

tp:19 fn:471 tn:1465 fp:5 mdl:480

Program 31:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),is_gray_obj(V0,V6,V5),is_color_obj(V0,V4,V3).

tp:20 fn:470 tn:1462 fp:8 mdl:482

Program 32:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),is_color_obj(V0,V4,V3),is_color_obj(V0,V6,V5).

tp:20 fn:470 tn:1462 fp:8 mdl:482

Program 33:

outpix(V0,V1,V2,V3):- inbelongs(V0,V5,V2,V1),same_hole_but_diff_obj(V0,V5,V6,V4,V3),is_color_obj(V0,V5,V7).

tp:19 fn:471 tn:1465 fp:5 mdl:480

Program 34:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),same_hole_but_diff_obj(V0,V5,V4,V6,V3),is_color_obj(V0,V5,V7).

tp:82 fn:408 tn:1420 fp:50 mdl:462

Program 35:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V1,V2),same_hole_but_diff_obj(V0,V5,V4,V6,V3),is_color_obj(V0,V5,V7).

tp:374 fn:116 tn:1423 fp:47 mdl:167

Program 36:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),same_hole_but_diff_obj(V0,V4,V6,V5,V3),inbelongs(V0,V6,V1,V2).

tp:0 fn:490 tn:1470 fp:0 mdl:494

Program 37:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),is_gray_obj(V0,V6,V7),same_hole_but_diff_obj(V0,V4,V6,V5,V3).

tp:19 fn:471 tn:1465 fp:5 mdl:480

Program 38:

outpix(V0,V1,V2,V3):- same_hole_but_diff_obj(V0,V4,V7,V5,V3),inbelongs(V0,V4,V2,V1),same_hole_but_diff_obj(V0,V4,V6,V5,V3).

tp:19 fn:471 tn:1465 fp:5 mdl:480

Program 39:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),inbelongs(V0,V7,V1,V2),same_hole_but_diff_obj(V0,V4,V6,V5,V3).

tp:19 fn:471 tn:1465 fp:5 mdl:480

Program 40:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),int_0(V5),same_hole_but_diff_obj(V0,V4,V6,V5,V3).

tp:19 fn:471 tn:1470 fp:0 mdl:475

Program 41:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),same_hole_but_diff_obj(V0,V4,V6,V5,V3),int_3(V5).

tp:0 fn:490 tn:1469 fp:1 mdl:495

Program 42:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),int_2(V5),same_hole_but_diff_obj(V0,V4,V6,V5,V3).

tp:0 fn:490 tn:1468 fp:2 mdl:496

Program 43:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),int_1(V5),same_hole_but_diff_obj(V0,V4,V6,V5,V3).

tp:0 fn:490 tn:1468 fp:2 mdl:496

Program 44:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),same_hole_but_diff_obj(V0,V4,V6,V5,V3),objholes(V0,V6,V7).

tp:19 fn:471 tn:1465 fp:5 mdl:480

Program 45:

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V2,V1),objholes(V0,V4,V7),same_hole_but_diff_obj(V0,V4,V6,V5,V3).

tp:19 fn:471 tn:1465 fp:5 mdl:480

New best hypothesis:

tp:485 fn:5 tn:1423 fp:47 size:7 mdl:59

outpix(V0,V1,V2,V3):- inbelongs(V0,V4,V1,V2),is_color_obj(V0,V4,V3).

outpix(V0,V1,V2,V3):- same_hole_but_diff_obj(V0,V4,V5,V6,V7),inbelongs(V0,V5,V1,V2),is_color_obj(V0,V4,V3).

!!!!!!!!!!!!!!!!!!!!!!Solved e3721c99 with score (485, 5, 1423, 47, 7)

当前成功记录数: 1

Test 0 input

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

Test 0 expected

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

Warning: /home/zdx/github/VSAHDC/popper-arcoldtest/popper_kb/e3721c99/hyp.pl:2:

Warning: Singleton variables: [V6,V7]

Warning: /home/zdx/github/VSAHDC/popper-arcoldtest/popper_kb/e3721c99/test0/testbk.pl:3:

Warning: Redefined static procedure col_0/1

Warning: Previously defined at /home/zdx/github/VSAHDC/popper-arcoldtest/popper_kb/e3721c99/bk.pl:3

Warning: /home/zdx/github/VSAHDC/popper-arcoldtest/popper_kb/e3721c99/test0/testbk.pl:5:

Warning: Redefined static procedure col_1/1

Warning: Previously defined at /home/zdx/github/VSAHDC/popper-arcoldtest/popper_kb/e3721c99/bk.pl:5

Warning: Previously defined at /home/zdx/github/VSAHDC/popper-arcoldtest/popper_kb/e3721c99/bk.pl:690

Warning: /home/zdx/github/VSAHDC/popper-arcoldtest/popper_kb/e3721c99/test0/testbk.pl:506:

Warning: Redefined static procedure objholes/3

Warning: Previously defined at /home/zdx/github/VSAHDC/popper-arcoldtest/popper_kb/e3721c99/bk.pl:708

Warning: /home/zdx/github/VSAHDC/popper-arcoldtest/popper_kb/e3721c99/test0/testbk.pl:521:

Warning: Redefined static procedure same_hole_but_diff_obj/5

Warning: Previously defined at /home/zdx/github/VSAHDC/popper-arcoldtest/popper_kb/e3721c99/bk.pl:732

Test 0 predicted

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

Test 0 - Exact match? True

Test 0 - Pixel accuracy: 1.0

Test 1 input

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

Test 1 expected

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

Warning: /home/zdx/github/VSAHDC/popper-arcoldtest/popper_kb/e3721c99/hyp.pl:2:

Warning: Singleton variables: [V6,V7]

Warning: /home/zdx/github/VSAHDC/popper-arcoldtest/popper_kb/e3721c99/test1/testbk.pl:3:

Warning: Redefined static procedure col_0/1

Warning: Previously defined at /home/zdx/github/VSAHDC/popper-arcoldtest/popper_kb/e3721c99/test0/testbk.pl:3

Warning: Redefined static procedure same_hole_but_diff_obj/5

Warning: Previously defined at /home/zdx/github/VSAHDC/popper-arcoldtest/popper_kb/e3721c99/test0/testbk.pl:521

Test 1 predicted

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

Test 1 - Exact match? True

Test 1 - Pixel accuracy: 1.0

Finished e3721c99

特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相关推荐
热点推荐
张雪峰,死得其所!

张雪峰,死得其所!

周一叨
2026-03-26 10:20:52
老板娘说她屁股太大了,我该怎么回答?

老板娘说她屁股太大了,我该怎么回答?

太急张三疯
2026-03-19 09:16:16
赢球不到24小时,萨巴伦卡锐评郑钦文,只字不提球技,却字字珠玑

赢球不到24小时,萨巴伦卡锐评郑钦文,只字不提球技,却字字珠玑

林子说事
2026-03-26 14:10:10
我56岁绝经了,做住家保姆,那晚雇主让我陪酒,我第一次喝到断片

我56岁绝经了,做住家保姆,那晚雇主让我陪酒,我第一次喝到断片

匹夫来搞笑
2026-03-27 06:59:18
一种玄学提醒:经常睡觉的房间,尽量别放这三样东西,并非迷信

一种玄学提醒:经常睡觉的房间,尽量别放这三样东西,并非迷信

洞读君
2026-03-16 10:36:55
法国回应撤回南非G7峰会邀请:未向任何压力屈服

法国回应撤回南非G7峰会邀请:未向任何压力屈服

界面新闻
2026-03-27 14:20:07
江苏一老板用0.75元,救活了自己濒临倒闭的小店,销量从20万暴冲到500万!还劝大家“理性消费”

江苏一老板用0.75元,救活了自己濒临倒闭的小店,销量从20万暴冲到500万!还劝大家“理性消费”

大象新闻
2026-03-26 21:45:10
政治正确大作Steam特别好评!简中好评率100%

政治正确大作Steam特别好评!简中好评率100%

游民星空
2026-03-27 11:20:29
浅析:DS-39机枪为何没有成为苏联的MG34?捷格加廖夫承认不足

浅析:DS-39机枪为何没有成为苏联的MG34?捷格加廖夫承认不足

hawk26讲武堂
2026-03-26 13:40:18
寿命与大便次数有关?研究发现:寿命长的人,每天排便在这个次数

寿命与大便次数有关?研究发现:寿命长的人,每天排便在这个次数

DrX说
2025-10-24 14:15:19
深夜把女领导误当老婆,发了句想你了,她秒回:来我办公室

深夜把女领导误当老婆,发了句想你了,她秒回:来我办公室

温情故事匣
2026-03-20 17:02:38
中伊外长刚挂电话不到24小时,中方宣布通航,美媒:美国彻底输了

中伊外长刚挂电话不到24小时,中方宣布通航,美媒:美国彻底输了

青烟小先生
2026-03-27 10:15:06
何润东15年前谈项羽的采访火了,他的侃侃而谈,够小鲜肉学一辈子

何润东15年前谈项羽的采访火了,他的侃侃而谈,够小鲜肉学一辈子

大铁猫娱乐
2026-03-27 14:20:03
一季就封神的6部神级美剧,哪部让你意犹未尽?

一季就封神的6部神级美剧,哪部让你意犹未尽?

小Q侃电影
2026-03-27 14:23:09
空军飞行员驾机叛逃台湾,晚年回国投案自首,被安排工作和住房

空军飞行员驾机叛逃台湾,晚年回国投案自首,被安排工作和住房

舆图看世界
2026-02-07 11:15:03
医生发现:经常走路的糖尿病患者,用不了多久,身体会有7大改善

医生发现:经常走路的糖尿病患者,用不了多久,身体会有7大改善

医学科普汇
2026-03-25 19:15:06
“高铁小少爷”事件曝光后,我才懂:道明寺妈为啥看不上杉菜

“高铁小少爷”事件曝光后,我才懂:道明寺妈为啥看不上杉菜

小羽叨叨叨
2026-03-27 12:12:16
高市没料到,俄给日本下最后通牒,不到24小时,国内又传来坏消息

高市没料到,俄给日本下最后通牒,不到24小时,国内又传来坏消息

小小科普员
2026-03-27 13:53:15
女子赴发小婚礼穿瑜伽裤,打扮过于火辣,网友直呼跟没穿似的

女子赴发小婚礼穿瑜伽裤,打扮过于火辣,网友直呼跟没穿似的

一盅情怀
2026-03-16 17:28:45
反超美国,改变战争模式,中国机器狼群为何让人感到惊艳?

反超美国,改变战争模式,中国机器狼群为何让人感到惊艳?

体育小柚
2026-03-27 12:30:35
2026-03-27 15:04:49
CreateAMind incentive-icons
CreateAMind
CreateAMind.agi.top
1307文章数 18关注度
往期回顾 全部

科技要闻

OpenAI果断砍掉"成人模式",死磕生产力

头条要闻

媒体:和张雪峰一样 还有多位名人也因猝死骤然离世

头条要闻

媒体:和张雪峰一样 还有多位名人也因猝死骤然离世

体育要闻

邵佳一:足球就像一场马拉松

娱乐要闻

张雪峰灵堂内景曝光,四周摆满了鲜花

财经要闻

很反常!油价向上,黄金向下

汽车要闻

与众08,金标大众不能输的一战

态度原创

亲子
本地
游戏
家居
旅游

亲子要闻

我柜子动了!这儿童乐园里有脏东西

本地新闻

救命,这只酱板鸭已经在我手机复仇了一万遍

《极限竞速6》公布系统新情报 汽车文化及活动事件

家居要闻

傍海而居 静观蝴蝶海

旅游要闻

船在花中行,人在画中游!北小河游船4月3日首航

无障碍浏览 进入关怀版