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

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.

相关推荐
热点推荐
59岁王祖贤在加拿大过年!豪宅首曝光厨房狭小,和朋友一起包饺子

59岁王祖贤在加拿大过年!豪宅首曝光厨房狭小,和朋友一起包饺子

娱乐圈圈圆
2026-02-16 18:08:54
81岁林豆豆现状:已退休23年,独居在北京老房子,用阅读打发时间

81岁林豆豆现状:已退休23年,独居在北京老房子,用阅读打发时间

揽星河的笔记
2025-11-12 12:36:17
小玥儿年初一太逗了!汪小菲带家人放烟花,小玥儿成功逗笑马筱梅

小玥儿年初一太逗了!汪小菲带家人放烟花,小玥儿成功逗笑马筱梅

观察鉴娱
2026-02-18 18:15:04
美国为何对中国保持克制?你绝对想不到的原因!

美国为何对中国保持克制?你绝对想不到的原因!

枫冷慕诗
2025-12-03 18:25:42
辽宁男子和女友20万彩礼后续,又因为初四几点到女方家谈崩了

辽宁男子和女友20万彩礼后续,又因为初四几点到女方家谈崩了

九方鱼论
2026-02-18 08:43:06
国足U17五连胜零封对手,日本媒体惊呼“史上最强小将”!

国足U17五连胜零封对手,日本媒体惊呼“史上最强小将”!

林子说事
2026-02-18 14:18:51
毛主席对尼泊尔首相说:你想把珠峰全部划归贵国?还有更好的办法

毛主席对尼泊尔首相说:你想把珠峰全部划归贵国?还有更好的办法

鹤羽说个事
2025-10-30 15:53:46
易烊千玺提醒:境外势力渗透手法极具欺骗性!画虎画皮难画骨,知人知面不知心

易烊千玺提醒:境外势力渗透手法极具欺骗性!画虎画皮难画骨,知人知面不知心

封面新闻
2026-02-17 05:17:05
86岁老人随口乱说代号,儿子上报后,国安领导:马上接通中央部委

86岁老人随口乱说代号,儿子上报后,国安领导:马上接通中央部委

知鉴明史
2025-10-23 14:01:49
今年春晚收视率,还是东三省遥遥领先

今年春晚收视率,还是东三省遥遥领先

微微热评
2026-02-17 21:13:54
滚出去!中国不是“捡破烂”的:日本混不下去,就想回中方捞金?

滚出去!中国不是“捡破烂”的:日本混不下去,就想回中方捞金?

来科点谱
2026-02-18 07:06:28
全红婵回湛江老家过年,母亲回应其退役计划:不干涉,都随她自己

全红婵回湛江老家过年,母亲回应其退役计划:不干涉,都随她自己

南国今报
2026-02-18 11:47:04
银河系被困住了:直径20亿光年KBC空洞,可能颠覆整个宇宙学

银河系被困住了:直径20亿光年KBC空洞,可能颠覆整个宇宙学

观察宇宙
2025-12-28 20:06:46
66年耻辱一夜重演!尤文2-5惨败,是因果报应来得如此快?

66年耻辱一夜重演!尤文2-5惨败,是因果报应来得如此快?

落夜足球
2026-02-18 18:47:51
不惜降至冰点!高市想和中国沟通,中方即刻反击:嘴里没一句实话

不惜降至冰点!高市想和中国沟通,中方即刻反击:嘴里没一句实话

现代小青青慕慕
2026-02-18 19:18:39
李思思给恩师拜年,开100万奔驰送茅台酒,彭老师已是艺术界泰斗

李思思给恩师拜年,开100万奔驰送茅台酒,彭老师已是艺术界泰斗

地理三体说
2026-02-14 23:43:11
刘德华、郭富城告诉你:西服不成套穿,裤子短一截,到老也不油腻

刘德华、郭富城告诉你:西服不成套穿,裤子短一截,到老也不油腻

飘逸语人
2025-12-25 22:16:54
权力的威风和丑陋!

权力的威风和丑陋!

深度报
2025-07-13 22:58:24
美国五大联盟薪资:大谷翔平7000万!梅西2040万、塔图姆6280万

美国五大联盟薪资:大谷翔平7000万!梅西2040万、塔图姆6280万

砚底沉香
2026-02-18 14:22:04
上海人潮汹涌!万人拥挤致走不动,关门延迟一小时引热议

上海人潮汹涌!万人拥挤致走不动,关门延迟一小时引热议

娱乐圈的笔娱君
2026-02-18 11:20:02
2026-02-18 19:48:49
CreateAMind incentive-icons
CreateAMind
CreateAMind.agi.top
1226文章数 18关注度
往期回顾 全部

科技要闻

怒烧45亿,腾讯字节阿里决战春节

头条要闻

专家:关键矿产"去中国化" 特朗普是看不到了

头条要闻

专家:关键矿产"去中国化" 特朗普是看不到了

体育要闻

夺银被问丢金,谷爱凌回击外媒:很荒谬

娱乐要闻

6大卫视春晚收视出炉 北京台稳居第一

财经要闻

面条火腿香菇酱!上市公司这些年请你吃

汽车要闻

量产甲醇插混 吉利银河星耀6甲醇插混版申报图

态度原创

旅游
本地
教育
健康
公开课

旅游要闻

大理人私藏:这4条苍山游玩精选路线

本地新闻

春花齐放2026:《骏马奔腾迎新岁》

教育要闻

“第一次见亲妈霸凌女儿的”,家长嫌12岁女儿太胖,对话令人窒息

转头就晕的耳石症,能开车上班吗?

公开课

李玫瑾:为什么性格比能力更重要?

无障碍浏览 进入关怀版