popper ILP solved ARC 37d3e8b2 洞数改色任务

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

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

## version: bb72be29e56f6cc3a1221c79c91b8ea062dd0859

运行结果：

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

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

Processing 37d3e8b2 (1/1)

Determining background color with threshold: 40%

Color distribution across training data:

color 0: 62.63%

color 8: 37.37%

color 7: 16.77%

color 2: 14.61%

color 3: 11.74%

color 1: 7.07%

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

Train 37d3e8b2 input 0

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

⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛

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

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

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛

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

⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

Train 37d3e8b2 output 0

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

⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛

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

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

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛

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

⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

Train 37d3e8b2 input 1

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

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

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

⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛

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

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

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

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛

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

⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

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

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

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

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

Train 37d3e8b2 output 1

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

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

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

⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛

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

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

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

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛

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

⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

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

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

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

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

Train 37d3e8b2 input 2

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

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

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

⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛

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

⬛⬛⬛⬛⬛

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

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

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

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

Train 37d3e8b2 output 2

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

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

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

⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛

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

⬛⬛⬛⬛⬛

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

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

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

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

/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: 4

Max vars: 6

Max body: 4

Loading recalls

Loading bkcons

Load exact solver: rc2

Load anytime solver:None

Program 1:

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

Generating programs of size: 3

tp:0 fn:327 tn:857 fp:124 mdl:454

Program 2:

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

tp:0 fn:327 tn:981 fp:0 mdl:330

Program 3:

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

tp:0 fn:327 tn:857 fp:124 mdl:454

Program 4:

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

tp:44 fn:283 tn:863 fp:118 mdl:404

Program 5:

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

tp:93 fn:234 tn:901 fp:80 mdl:317

New best hypothesis:

tp:93 fn:234 tn:901 fp:80 size:3 mdl:317

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

Program 6:

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

tp:0 fn:327 tn:866 fp:115 mdl:445

Program 7:

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

tp:102 fn:225 tn:897 fp:84 mdl:312

New best hypothesis:

tp:102 fn:225 tn:897 fp:84 size:3 mdl:312

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

Program 8:

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

tp:88 fn:239 tn:896 fp:85 mdl:327

Program 9:

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

tp:0 fn:327 tn:854 fp:127 mdl:457

Program 10:

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

tp:0 fn:327 tn:857 fp:124 mdl:454

Program 11:

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

tp:19 fn:308 tn:915 fp:66 mdl:377

Program 12:

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

tp:41 fn:286 tn:940 fp:41 mdl:330

Program 13:

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

tp:59 fn:268 tn:945 fp:36 mdl:307

New best hypothesis:

tp:59 fn:268 tn:945 fp:36 size:3 mdl:307

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

Program 14:

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

tp:37 fn:290 tn:938 fp:43 mdl:336

New best hypothesis:

tp:152 fn:175 tn:865 fp:116 size:6 mdl:297

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

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

Program 15:

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

Generating programs of size: 4

tp:37 fn:290 tn:938 fp:43 mdl:337

Program 16:

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

tp:37 fn:290 tn:938 fp:43 mdl:337

Program 17:

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

tp:16 fn:311 tn:964 fp:17 mdl:332

Program 18:

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

tp:41 fn:286 tn:940 fp:41 mdl:331

Program 19:

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

tp:19 fn:308 tn:915 fp:66 mdl:378

Program 20:

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

tp:59 fn:268 tn:945 fp:36 mdl:308

Program 21:

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

tp:41 fn:286 tn:940 fp:41 mdl:331

Program 22:

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

tp:22 fn:305 tn:959 fp:22 mdl:331

Program 23:

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

tp:19 fn:308 tn:915 fp:66 mdl:378

Program 24:

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

tp:59 fn:268 tn:945 fp:36 mdl:308

Program 25:

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

tp:8 fn:319 tn:949 fp:32 mdl:355

Program 26:

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

tp:24 fn:303 tn:967 fp:14 mdl:321

Program 27:

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

tp:88 fn:239 tn:896 fp:85 mdl:328

Program 28:

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

tp:93 fn:234 tn:901 fp:80 mdl:318

Program 29:

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

tp:44 fn:283 tn:863 fp:118 mdl:405

Program 30:

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

tp:102 fn:225 tn:897 fp:84 mdl:313

Program 31:

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

Generating programs of size: 5

tp:24 fn:303 tn:967 fp:14 mdl:322

Program 32:

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

tp:24 fn:303 tn:968 fp:13 mdl:321

Program 33:

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

tp:14 fn:313 tn:972 fp:9 mdl:327

Program 34:

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

tp:15 fn:312 tn:973 fp:8 mdl:325

Program 35:

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

tp:6 fn:321 tn:975 fp:6 mdl:332

Program 36:

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

tp:22 fn:305 tn:959 fp:22 mdl:332

Program 37:

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

tp:8 fn:319 tn:949 fp:32 mdl:356

Program 38:

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

tp:16 fn:311 tn:964 fp:17 mdl:333

Program 39:

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

tp:14 fn:313 tn:964 fp:17 mdl:335

Program 40:

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

tp:22 fn:305 tn:975 fp:6 mdl:316

Program 41:

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

tp:0 fn:327 tn:969 fp:12 mdl:344

Program 42:

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

tp:5 fn:322 tn:975 fp:6 mdl:333

Program 43:

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

tp:6 fn:321 tn:954 fp:27 mdl:353

Program 44:

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

tp:5 fn:322 tn:968 fp:13 mdl:340

Program 45:

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

tp:0 fn:327 tn:962 fp:19 mdl:351

Program 46:

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

tp:8 fn:319 tn:974 fp:7 mdl:331

Program 47:

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

tp:15 fn:312 tn:965 fp:16 mdl:333

Program 48:

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

tp:0 fn:327 tn:965 fp:16 mdl:348

Program 49:

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

tp:22 fn:305 tn:972 fp:9 mdl:319

Program 50:

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

tp:0 fn:327 tn:979 fp:2 mdl:334

Program 51:

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

tp:0 fn:327 tn:945 fp:36 mdl:368

Program 52:

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

tp:93 fn:234 tn:981 fp:0 mdl:239

New best hypothesis:

tp:93 fn:234 tn:981 fp:0 size:5 mdl:239

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

Program 53:

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

tp:0 fn:327 tn:952 fp:29 mdl:361

Program 54:

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

tp:0 fn:327 tn:966 fp:15 mdl:347

Program 55:

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

tp:0 fn:327 tn:933 fp:48 mdl:380

Program 56:

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

tp:0 fn:327 tn:947 fp:34 mdl:366

Program 57:

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

tp:0 fn:327 tn:945 fp:36 mdl:368

Program 58:

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

tp:44 fn:283 tn:981 fp:0 mdl:288

Program 59:

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

tp:0 fn:327 tn:942 fp:39 mdl:371

Program 60:

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

tp:0 fn:327 tn:949 fp:32 mdl:364

Program 61:

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

tp:88 fn:239 tn:981 fp:0 mdl:244

Program 62:

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

tp:0 fn:327 tn:967 fp:14 mdl:346

Program 63:

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

tp:102 fn:225 tn:981 fp:0 mdl:230

New best hypothesis:

tp:102 fn:225 tn:981 fp:0 size:5 mdl:230

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

Program 64:

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

tp:0 fn:327 tn:952 fp:29 mdl:361

Program 65:

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

tp:0 fn:327 tn:949 fp:32 mdl:364

Program 66:

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

tp:0 fn:327 tn:958 fp:23 mdl:355

New best hypothesis:

tp:327 fn:0 tn:981 fp:0 size:20 mdl:20

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

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

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

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

！！！！！！！！！！！！！！！！！！！！！！Solved 37d3e8b2 with score (327, 0, 981, 0, 20)

当前成功记录数: 1

Test 0 input

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

⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛

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

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

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

⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛

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

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

⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛

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

Test 0 expected

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

⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛

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

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

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

⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛

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

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

⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛

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

Test 0 predicted

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

⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛

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

⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛

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

⬛⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛⬛

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

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

⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛⬛⬛⬛

⬛⬛⬛⬛

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

Test 0 - Exact match? True

Test 0 - Pixel accuracy: 1.0

Finished 37d3e8b2