tilingPuzzles 0.2.0__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- tilingpuzzles/__init__.py +6 -0
- tilingpuzzles/benchmark/README.md +10 -0
- tilingpuzzles/benchmark/__init__.py +0 -0
- tilingpuzzles/benchmark/data/timingResulsts.csv +193 -0
- tilingpuzzles/benchmark/git_state.py +22 -0
- tilingpuzzles/benchmark/run_benchmark.py +105 -0
- tilingpuzzles/examples/README.md +3 -0
- tilingpuzzles/examples/__init__.py +0 -0
- tilingpuzzles/examples/rectangularPentomino.py +40 -0
- tilingpuzzles/examples/scaledStones.py +163 -0
- tilingpuzzles/examples/tests/__init__.py +0 -0
- tilingpuzzles/examples/tests/test_rectangularPentomino.py +24 -0
- tilingpuzzles/examples/tests/test_scaledStones.py +8 -0
- tilingpuzzles/games/__init__.py +2 -0
- tilingpuzzles/games/game.py +20 -0
- tilingpuzzles/games/generic.py +7 -0
- tilingpuzzles/games/komino.py +147 -0
- tilingpuzzles/games/realisations.py +78 -0
- tilingpuzzles/games/stone.py +536 -0
- tilingpuzzles/games/stone_core.py +48 -0
- tilingpuzzles/games/tests/__init__.py +0 -0
- tilingpuzzles/games/tests/test_game.py +7 -0
- tilingpuzzles/games/tests/test_komino.py +30 -0
- tilingpuzzles/games/tests/test_realisations.py +28 -0
- tilingpuzzles/games/tests/test_stone.py +172 -0
- tilingpuzzles/games/tests/test_tile.py +19 -0
- tilingpuzzles/games/tile.py +39 -0
- tilingpuzzles/logUtils/__init__.py +0 -0
- tilingpuzzles/logUtils/callGraph.py +47 -0
- tilingpuzzles/logger.py +39 -0
- tilingpuzzles/solvers/__init__.py +0 -0
- tilingpuzzles/solvers/hights.py +3 -0
- tilingpuzzles/solvers/kominoSolver.py +191 -0
- tilingpuzzles/solvers/tests/test_komino_solver.py +30 -0
- tilingpuzzles/visualize/__init__.py +0 -0
- tilingpuzzles/visualize/visualize.py +61 -0
- tilingpuzzles-0.2.0.dist-info/METADATA +44 -0
- tilingpuzzles-0.2.0.dist-info/RECORD +40 -0
- tilingpuzzles-0.2.0.dist-info/WHEEL +4 -0
- tilingpuzzles-0.2.0.dist-info/entry_points.txt +2 -0
File without changes
|
@@ -0,0 +1,193 @@
|
|
1
|
+
Unnamed: 0.5,Unnamed: 0.4,Unnamed: 0.3,Unnamed: 0.2,Unnamed: 0.1,Unnamed: 0,problem name,solver,time,date,cpu,platform,git state,type,available stones
|
2
|
+
0.0,0.0,0.0,0.0,0.0,0.0,P6x10,KominoSolverLimited,2.083070993423462,Wed Jun 4 11:55:59 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,13ed54d40f5ad7d2ab9a75606d8469af608071bf,,
|
3
|
+
1.0,1.0,1.0,1.0,1.0,1.0,P5x12,KominoSolverLimited,39.80429172515869,Wed Jun 4 11:56:40 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,13ed54d40f5ad7d2ab9a75606d8469af608071bf,,
|
4
|
+
2.0,2.0,2.0,2.0,2.0,2.0,P4x15,KominoSolverLimited,614.3594434261322,Wed Jun 4 12:06:56 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,13ed54d40f5ad7d2ab9a75606d8469af608071bf,,
|
5
|
+
3.0,3.0,3.0,3.0,3.0,3.0,P3x20,KominoSolverLimited,699.3753678798676,Wed Jun 4 12:18:36 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,13ed54d40f5ad7d2ab9a75606d8469af608071bf,,
|
6
|
+
4.0,4.0,4.0,4.0,4.0,,P6x10,KominoSolverUnlimted,timed out after 3s,Wed Jun 4 15:03:58 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,98a039949cc6454758db5b545399bdd26b597d7d,,
|
7
|
+
5.0,5.0,5.0,5.0,5.0,,P6x10,KominoSolverLimited,1.9693853855133057,Wed Jun 4 15:04:01 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,98a039949cc6454758db5b545399bdd26b597d7d,,
|
8
|
+
6.0,6.0,6.0,6.0,6.0,,P5x12,KominoSolverUnlimted,timed out after 3s,Wed Jun 4 15:04:05 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,98a039949cc6454758db5b545399bdd26b597d7d,,
|
9
|
+
7.0,7.0,7.0,7.0,7.0,,P5x12,KominoSolverLimited,timed out after 3s,Wed Jun 4 15:04:09 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,98a039949cc6454758db5b545399bdd26b597d7d,,
|
10
|
+
8.0,8.0,8.0,8.0,8.0,,P4x15,KominoSolverUnlimted,timed out after 3s,Wed Jun 4 15:04:14 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,98a039949cc6454758db5b545399bdd26b597d7d,,
|
11
|
+
9.0,9.0,9.0,9.0,9.0,,P4x15,KominoSolverLimited,timed out after 3s,Wed Jun 4 15:04:18 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,98a039949cc6454758db5b545399bdd26b597d7d,,
|
12
|
+
10.0,10.0,10.0,10.0,10.0,,P3x20,KominoSolverUnlimted,timed out after 3s,Wed Jun 4 15:04:22 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,98a039949cc6454758db5b545399bdd26b597d7d,,
|
13
|
+
11.0,11.0,11.0,11.0,11.0,,P3x20,KominoSolverLimited,timed out after 3s,Wed Jun 4 15:04:26 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,98a039949cc6454758db5b545399bdd26b597d7d,,
|
14
|
+
12.0,12.0,12.0,12.0,,,P6x10,KominoSolverUnlimted,timed out after 100s,Wed Jun 4 15:08:20 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,98a039949cc6454758db5b545399bdd26b597d7d,,
|
15
|
+
13.0,13.0,13.0,13.0,,,P6x10,KominoSolverLimited,2.174936532974243,Wed Jun 4 15:08:24 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,98a039949cc6454758db5b545399bdd26b597d7d,,
|
16
|
+
14.0,14.0,14.0,14.0,,,P5x12,KominoSolverUnlimted,timed out after 100s,Wed Jun 4 15:10:05 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,98a039949cc6454758db5b545399bdd26b597d7d,,
|
17
|
+
15.0,15.0,15.0,15.0,,,P5x12,KominoSolverLimited,39.12367367744446,Wed Jun 4 15:10:45 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,98a039949cc6454758db5b545399bdd26b597d7d,,
|
18
|
+
16.0,16.0,16.0,16.0,,,P4x15,KominoSolverUnlimted,timed out after 100s,Wed Jun 4 15:12:26 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,98a039949cc6454758db5b545399bdd26b597d7d,,
|
19
|
+
17.0,17.0,17.0,17.0,,,P4x15,KominoSolverLimited,timed out after 100s,Wed Jun 4 15:14:07 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,98a039949cc6454758db5b545399bdd26b597d7d,,
|
20
|
+
18.0,18.0,18.0,18.0,,,P3x20,KominoSolverUnlimted,16.575822830200195,Wed Jun 4 15:14:25 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,98a039949cc6454758db5b545399bdd26b597d7d,,
|
21
|
+
19.0,19.0,19.0,19.0,,,P3x20,KominoSolverLimited,timed out after 100s,Wed Jun 4 15:16:06 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,98a039949cc6454758db5b545399bdd26b597d7d,,
|
22
|
+
20.0,20.0,20.0,,,,P6x10,KominoSolverUnlimted,timed out after 100s,Wed Jun 4 15:25:21 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,15d31e755bd3ba96083f78d044aff64d2db20dd3,,
|
23
|
+
21.0,21.0,21.0,,,,P6x10,KominoSolverLimited,44.46530079841614,Wed Jun 4 15:26:07 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,15d31e755bd3ba96083f78d044aff64d2db20dd3,,
|
24
|
+
22.0,22.0,22.0,,,,P5x12,KominoSolverUnlimted,timed out after 100s,Wed Jun 4 15:27:48 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,15d31e755bd3ba96083f78d044aff64d2db20dd3,,
|
25
|
+
23.0,23.0,23.0,,,,P5x12,KominoSolverLimited,22.36333656311035,Wed Jun 4 15:28:11 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,15d31e755bd3ba96083f78d044aff64d2db20dd3,,
|
26
|
+
24.0,24.0,24.0,,,,P4x15,KominoSolverUnlimted,timed out after 100s,Wed Jun 4 15:29:53 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,15d31e755bd3ba96083f78d044aff64d2db20dd3,,
|
27
|
+
25.0,25.0,25.0,,,,P4x15,KominoSolverLimited,17.52647304534912,Wed Jun 4 15:30:11 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,15d31e755bd3ba96083f78d044aff64d2db20dd3,,
|
28
|
+
26.0,26.0,26.0,,,,P3x20,KominoSolverUnlimted,16.361259937286377,Wed Jun 4 15:30:29 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,15d31e755bd3ba96083f78d044aff64d2db20dd3,,
|
29
|
+
27.0,27.0,27.0,,,,P3x20,KominoSolverLimited,timed out after 100s,Wed Jun 4 15:32:10 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,15d31e755bd3ba96083f78d044aff64d2db20dd3,,
|
30
|
+
28.0,28.0,,,,,P6x10,KominoSolverUnlimted,timed out after 300s,Thu Jun 5 16:01:20 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,c797c5b57639c5b316480a97dc2ef0640b41eef7,,
|
31
|
+
29.0,29.0,,,,,P6x10,KominoSolverLimited,45.554877519607544,Thu Jun 5 16:02:07 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,c797c5b57639c5b316480a97dc2ef0640b41eef7,,
|
32
|
+
30.0,30.0,,,,,P5x12,KominoSolverUnlimted,timed out after 300s,Thu Jun 5 16:07:08 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,c797c5b57639c5b316480a97dc2ef0640b41eef7,,
|
33
|
+
31.0,31.0,,,,,P5x12,KominoSolverLimited,22.97022247314453,Thu Jun 5 16:07:32 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,c797c5b57639c5b316480a97dc2ef0640b41eef7,,
|
34
|
+
32.0,32.0,,,,,P4x15,KominoSolverUnlimted,170.98352146148682,Thu Jun 5 16:10:24 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,c797c5b57639c5b316480a97dc2ef0640b41eef7,,
|
35
|
+
33.0,33.0,,,,,P4x15,KominoSolverLimited,17.762096643447876,Thu Jun 5 16:10:43 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,c797c5b57639c5b316480a97dc2ef0640b41eef7,,
|
36
|
+
34.0,34.0,,,,,P3x20,KominoSolverUnlimted,16.759017944335938,Thu Jun 5 16:11:01 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,c797c5b57639c5b316480a97dc2ef0640b41eef7,,
|
37
|
+
35.0,35.0,,,,,P3x20,KominoSolverLimited,timed out after 300s,Thu Jun 5 16:16:02 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,c797c5b57639c5b316480a97dc2ef0640b41eef7,,
|
38
|
+
36.0,,,,,,P6x10,KominoSolverUnlimted,timed out after 300s,Fri Jun 6 19:19:37 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,ba4be30af6cbb104c8c68fd7027c6150c4a00531,,
|
39
|
+
37.0,,,,,,P6x10,KominoSolverLimited,30.96054768562317,Fri Jun 6 19:20:09 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,ba4be30af6cbb104c8c68fd7027c6150c4a00531,,
|
40
|
+
38.0,,,,,,P5x12,KominoSolverUnlimted,timed out after 300s,Fri Jun 6 19:25:11 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,ba4be30af6cbb104c8c68fd7027c6150c4a00531,,
|
41
|
+
39.0,,,,,,P5x12,KominoSolverLimited,19.4254207611084,Fri Jun 6 19:25:31 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,ba4be30af6cbb104c8c68fd7027c6150c4a00531,,
|
42
|
+
40.0,,,,,,P4x15,KominoSolverUnlimted,178.05137705802917,Fri Jun 6 19:28:30 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,ba4be30af6cbb104c8c68fd7027c6150c4a00531,,
|
43
|
+
41.0,,,,,,P4x15,KominoSolverLimited,5.10634708404541,Fri Jun 6 19:28:37 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,ba4be30af6cbb104c8c68fd7027c6150c4a00531,,
|
44
|
+
42.0,,,,,,P3x20,KominoSolverUnlimted,17.28937792778015,Fri Jun 6 19:28:55 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,ba4be30af6cbb104c8c68fd7027c6150c4a00531,,
|
45
|
+
43.0,,,,,,P3x20,KominoSolverLimited,28.82027840614319,Fri Jun 6 19:29:25 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.9-arch1-1-x86_64-with-glibc2.41,ba4be30af6cbb104c8c68fd7027c6150c4a00531,,
|
46
|
+
,,,,,,P6x10,KominoSolverUnlimted,timed out after 300s,Tue Jun 10 12:18:18 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,b329ac0912cb6b1851f1c5ea0640ee928ac15ea6,count solutions,unlimited
|
47
|
+
,,,,,,P6x10,KominoSolverLimited,32.20648431777954,Tue Jun 10 12:18:52 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,b329ac0912cb6b1851f1c5ea0640ee928ac15ea6,find solution,limited
|
48
|
+
,,,,,,P5x12,KominoSolverUnlimted,timed out after 300s,Tue Jun 10 12:23:53 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,b329ac0912cb6b1851f1c5ea0640ee928ac15ea6,count solutions,unlimited
|
49
|
+
,,,,,,P5x12,KominoSolverLimited,19.8282368183136,Tue Jun 10 12:24:14 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,b329ac0912cb6b1851f1c5ea0640ee928ac15ea6,find solution,limited
|
50
|
+
,,,,,,P4x15,KominoSolverUnlimted,172.97730350494385,Tue Jun 10 12:27:08 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,b329ac0912cb6b1851f1c5ea0640ee928ac15ea6,count solutions,unlimited
|
51
|
+
,,,,,,P4x15,KominoSolverLimited,5.3143885135650635,Tue Jun 10 12:27:14 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,b329ac0912cb6b1851f1c5ea0640ee928ac15ea6,find solution,limited
|
52
|
+
,,,,,,P3x20,KominoSolverUnlimted,16.801628589630127,Tue Jun 10 12:27:32 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,b329ac0912cb6b1851f1c5ea0640ee928ac15ea6,count solutions,unlimited
|
53
|
+
,,,,,,P3x20,KominoSolverLimited,29.43840980529785,Tue Jun 10 12:28:03 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,b329ac0912cb6b1851f1c5ea0640ee928ac15ea6,find solution,limited
|
54
|
+
,,,,,,P6x10,KominoSolverUnlimted,timed out after 300s,Tue Jun 10 12:46:54 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,count solutions,unlimited
|
55
|
+
,,,,,,P6x10,KominoSolverLimited,33.42210674285889,Tue Jun 10 12:47:29 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,find solution,limited
|
56
|
+
,,,,,,P5x12,KominoSolverUnlimted,timed out after 300s,Tue Jun 10 12:52:30 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,count solutions,unlimited
|
57
|
+
,,,,,,P5x12,KominoSolverLimited,20.1221981048584,Tue Jun 10 12:52:51 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,find solution,limited
|
58
|
+
,,,,,,P4x15,KominoSolverUnlimted,175.83350110054016,Tue Jun 10 12:55:48 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,count solutions,unlimited
|
59
|
+
,,,,,,P4x15,KominoSolverLimited,5.104387044906616,Tue Jun 10 12:55:55 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,find solution,limited
|
60
|
+
,,,,,,P3x20,KominoSolverUnlimted,17.306834936141968,Tue Jun 10 12:56:13 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,count solutions,unlimited
|
61
|
+
,,,,,,P3x20,KominoSolverLimited,30.253787517547607,Tue Jun 10 12:56:45 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,find solution,limited
|
62
|
+
,,,,,,F_shape,KominoSolverUnlimted,9.724525213241577,Tue Jun 10 12:56:56 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,count solutions,unlimited
|
63
|
+
,,,,,,F_shape,KominoSolverLimited,0.3086085319519043,Tue Jun 10 12:56:57 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,find solution,limited
|
64
|
+
,,,,,,L_shape,KominoSolverUnlimted,2.1132819652557373,Tue Jun 10 12:57:00 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,count solutions,unlimited
|
65
|
+
,,,,,,L_shape,KominoSolverLimited,0.21564316749572754,Tue Jun 10 12:57:02 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,find solution,limited
|
66
|
+
,,,,,,N_shape,KominoSolverUnlimted,3.676234006881714,Tue Jun 10 12:57:07 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,count solutions,unlimited
|
67
|
+
,,,,,,N_shape,KominoSolverLimited,0.2144944667816162,Tue Jun 10 12:57:08 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,find solution,limited
|
68
|
+
,,,,,,P_shape,KominoSolverUnlimted,77.01451206207275,Tue Jun 10 12:58:26 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,count solutions,unlimited
|
69
|
+
,,,,,,P_shape,KominoSolverLimited,0.45906615257263184,Tue Jun 10 12:58:28 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,find solution,limited
|
70
|
+
,,,,,,Y_shape,KominoSolverUnlimted,2.8960580825805664,Tue Jun 10 12:58:32 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,count solutions,unlimited
|
71
|
+
,,,,,,Y_shape,KominoSolverLimited,0.6570034027099609,Tue Jun 10 12:58:34 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,find solution,limited
|
72
|
+
,,,,,,T_shape,KominoSolverUnlimted,7.9781999588012695,Tue Jun 10 12:58:43 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,count solutions,unlimited
|
73
|
+
,,,,,,T_shape,KominoSolverLimited,0.1435997486114502,Tue Jun 10 12:58:44 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,find solution,limited
|
74
|
+
,,,,,,U_shape,KominoSolverUnlimted,2.045391082763672,Tue Jun 10 12:58:47 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,count solutions,unlimited
|
75
|
+
,,,,,,U_shape,KominoSolverLimited,0.08982467651367188,Tue Jun 10 12:58:49 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,find solution,limited
|
76
|
+
,,,,,,V_shape,KominoSolverUnlimted,2.0382728576660156,Tue Jun 10 12:58:52 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,count solutions,unlimited
|
77
|
+
,,,,,,V_shape,KominoSolverLimited,0.049552202224731445,Tue Jun 10 12:58:53 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,find solution,limited
|
78
|
+
,,,,,,W_shape,KominoSolverUnlimted,8.038784265518188,Tue Jun 10 12:59:02 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,count solutions,unlimited
|
79
|
+
,,,,,,W_shape,KominoSolverLimited,0.1425914764404297,Tue Jun 10 12:59:04 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,find solution,limited
|
80
|
+
,,,,,,Z_shape,KominoSolverUnlimted,5.749444007873535,Tue Jun 10 12:59:10 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,count solutions,unlimited
|
81
|
+
,,,,,,Z_shape,KominoSolverLimited,0.07311582565307617,Tue Jun 10 12:59:12 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.14.10-arch1-1-x86_64-with-glibc2.41,815516d121e9088a67e3442c392f86520d3baa5d,find solution,limited
|
82
|
+
,,,,,,P6x10,KominoSolverUnlimted,timed out after 300s,Tue Jun 10 15:24:27 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,count solutions,unlimited
|
83
|
+
,,,,,,P6x10,KominoSolverLimited,32.592907667160034,Tue Jun 10 15:25:01 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,find solution,limited
|
84
|
+
,,,,,,P5x12,KominoSolverUnlimted,timed out after 300s,Tue Jun 10 15:30:02 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,count solutions,unlimited
|
85
|
+
,,,,,,P5x12,KominoSolverLimited,20.38284659385681,Tue Jun 10 15:30:23 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,find solution,limited
|
86
|
+
,,,,,,P4x15,KominoSolverUnlimted,178.32052874565125,Tue Jun 10 15:33:23 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,count solutions,unlimited
|
87
|
+
,,,,,,P4x15,KominoSolverLimited,5.469615697860718,Tue Jun 10 15:33:29 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,find solution,limited
|
88
|
+
,,,,,,P3x20,KominoSolverUnlimted,17.395508527755737,Tue Jun 10 15:33:48 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,count solutions,unlimited
|
89
|
+
,,,,,,P3x20,KominoSolverLimited,30.30874514579773,Tue Jun 10 15:34:19 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,find solution,limited
|
90
|
+
,,,,,,F_shape,KominoSolverUnlimted,9.651574611663818,Tue Jun 10 15:34:30 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,count solutions,unlimited
|
91
|
+
,,,,,,F_shape,KominoSolverLimited,0.3143422603607178,Tue Jun 10 15:34:32 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,find solution,limited
|
92
|
+
,,,,,,L_shape,KominoSolverUnlimted,2.1102991104125977,Tue Jun 10 15:34:35 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,count solutions,unlimited
|
93
|
+
,,,,,,L_shape,KominoSolverLimited,0.2189018726348877,Tue Jun 10 15:34:36 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,find solution,limited
|
94
|
+
,,,,,,N_shape,KominoSolverUnlimted,3.660051107406616,Tue Jun 10 15:34:41 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,count solutions,unlimited
|
95
|
+
,,,,,,N_shape,KominoSolverLimited,0.1484534740447998,Tue Jun 10 15:34:42 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,find solution,limited
|
96
|
+
,,,,,,P_shape,KominoSolverUnlimted,76.72698616981506,Tue Jun 10 15:36:00 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,count solutions,unlimited
|
97
|
+
,,,,,,P_shape,KominoSolverLimited,0.44036102294921875,Tue Jun 10 15:36:02 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,find solution,limited
|
98
|
+
,,,,,,Y_shape,KominoSolverUnlimted,3.0015501976013184,Tue Jun 10 15:36:06 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,count solutions,unlimited
|
99
|
+
,,,,,,Y_shape,KominoSolverLimited,0.6654717922210693,Tue Jun 10 15:36:08 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,find solution,limited
|
100
|
+
,,,,,,T_shape,KominoSolverUnlimted,8.061808347702026,Tue Jun 10 15:36:17 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,count solutions,unlimited
|
101
|
+
,,,,,,T_shape,KominoSolverLimited,0.14913630485534668,Tue Jun 10 15:36:19 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,find solution,limited
|
102
|
+
,,,,,,U_shape,KominoSolverUnlimted,2.012972116470337,Tue Jun 10 15:36:22 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,count solutions,unlimited
|
103
|
+
,,,,,,U_shape,KominoSolverLimited,0.09255576133728027,Tue Jun 10 15:36:23 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,find solution,limited
|
104
|
+
,,,,,,V_shape,KominoSolverUnlimted,2.048006296157837,Tue Jun 10 15:36:26 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,count solutions,unlimited
|
105
|
+
,,,,,,V_shape,KominoSolverLimited,0.1101217269897461,Tue Jun 10 15:36:27 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,find solution,limited
|
106
|
+
,,,,,,W_shape,KominoSolverUnlimted,8.115804672241211,Tue Jun 10 15:36:37 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,count solutions,unlimited
|
107
|
+
,,,,,,W_shape,KominoSolverLimited,0.14658546447753906,Tue Jun 10 15:36:38 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,find solution,limited
|
108
|
+
,,,,,,Z_shape,KominoSolverUnlimted,5.883942604064941,Tue Jun 10 15:36:45 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,count solutions,unlimited
|
109
|
+
,,,,,,Z_shape,KominoSolverLimited,0.07552194595336914,Tue Jun 10 15:36:46 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,2f030ef3bcd8a866405c645c63af20eb8d95194f,find solution,limited
|
110
|
+
,,,,,,P6x10,KominoSolverUnlimted,timed out after 300s,Tue Jun 10 16:20:15 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,count solutions,unlimited
|
111
|
+
,,,,,,P6x10,KominoSolverLimited,5.6594860553741455,Tue Jun 10 16:20:21 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,find solution,limited
|
112
|
+
,,,,,,P5x12,KominoSolverUnlimted,timed out after 300s,Tue Jun 10 16:25:23 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,count solutions,unlimited
|
113
|
+
,,,,,,P5x12,KominoSolverLimited,4.62881064414978,Tue Jun 10 16:25:29 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,find solution,limited
|
114
|
+
,,,,,,P4x15,KominoSolverUnlimted,26.685264825820923,Tue Jun 10 16:25:57 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,count solutions,unlimited
|
115
|
+
,,,,,,P4x15,KominoSolverLimited,6.741763591766357,Tue Jun 10 16:26:04 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,find solution,limited
|
116
|
+
,,,,,,P3x20,KominoSolverUnlimted,2.832944631576538,Tue Jun 10 16:26:08 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,count solutions,unlimited
|
117
|
+
,,,,,,P3x20,KominoSolverLimited,30.76773452758789,Tue Jun 10 16:26:40 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,find solution,limited
|
118
|
+
,,,,,,F_shape,KominoSolverUnlimted,5.332456111907959,Tue Jun 10 16:26:47 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,count solutions,unlimited
|
119
|
+
,,,,,,F_shape,KominoSolverLimited,2.416633367538452,Tue Jun 10 16:26:50 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,find solution,limited
|
120
|
+
,,,,,,L_shape,KominoSolverUnlimted,2.4294650554656982,Tue Jun 10 16:26:54 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,count solutions,unlimited
|
121
|
+
,,,,,,L_shape,KominoSolverLimited,0.17650938034057617,Tue Jun 10 16:26:55 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,find solution,limited
|
122
|
+
,,,,,,N_shape,KominoSolverUnlimted,3.6368610858917236,Tue Jun 10 16:27:00 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,count solutions,unlimited
|
123
|
+
,,,,,,N_shape,KominoSolverLimited,1.9590740203857422,Tue Jun 10 16:27:03 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,find solution,limited
|
124
|
+
,,,,,,P_shape,KominoSolverUnlimted,187.64624619483948,Tue Jun 10 16:30:12 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,count solutions,unlimited
|
125
|
+
,,,,,,P_shape,KominoSolverLimited,0.8486487865447998,Tue Jun 10 16:30:14 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,find solution,limited
|
126
|
+
,,,,,,Y_shape,KominoSolverUnlimted,3.0325863361358643,Tue Jun 10 16:30:18 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,count solutions,unlimited
|
127
|
+
,,,,,,Y_shape,KominoSolverLimited,0.389676570892334,Tue Jun 10 16:30:20 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,find solution,limited
|
128
|
+
,,,,,,T_shape,KominoSolverUnlimted,3.2200582027435303,Tue Jun 10 16:30:24 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,count solutions,unlimited
|
129
|
+
,,,,,,T_shape,KominoSolverLimited,0.0270230770111084,Tue Jun 10 16:30:25 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,find solution,limited
|
130
|
+
,,,,,,U_shape,KominoSolverUnlimted,1.1711556911468506,Tue Jun 10 16:30:28 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,count solutions,unlimited
|
131
|
+
,,,,,,U_shape,KominoSolverLimited,0.27814388275146484,Tue Jun 10 16:30:29 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,find solution,limited
|
132
|
+
,,,,,,V_shape,KominoSolverUnlimted,2.756660223007202,Tue Jun 10 16:30:33 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,count solutions,unlimited
|
133
|
+
,,,,,,V_shape,KominoSolverLimited,0.9035325050354004,Tue Jun 10 16:30:35 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,find solution,limited
|
134
|
+
,,,,,,W_shape,KominoSolverUnlimted,3.1979849338531494,Tue Jun 10 16:30:39 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,count solutions,unlimited
|
135
|
+
,,,,,,W_shape,KominoSolverLimited,0.022876501083374023,Tue Jun 10 16:30:41 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,find solution,limited
|
136
|
+
,,,,,,Z_shape,KominoSolverUnlimted,1.8489999771118164,Tue Jun 10 16:30:44 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,count solutions,unlimited
|
137
|
+
,,,,,,Z_shape,KominoSolverLimited,0.4096646308898926,Tue Jun 10 16:30:45 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,f720a45cb09521270c642b5290e426927e6b77e2,find solution,limited
|
138
|
+
,,,,,,P6x10,KominoSolverUnlimted,timed out after 300s,Tue Jun 10 16:49:38 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,count solutions,unlimited
|
139
|
+
,,,,,,P6x10,KominoSolverLimited,28.1930410861969,Tue Jun 10 16:50:07 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,find solution,limited
|
140
|
+
,,,,,,P5x12,KominoSolverUnlimted,244.32054495811462,Tue Jun 10 16:54:13 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,count solutions,unlimited
|
141
|
+
,,,,,,P5x12,KominoSolverLimited,2.3644723892211914,Tue Jun 10 16:54:17 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,find solution,limited
|
142
|
+
,,,,,,P4x15,KominoSolverUnlimted,12.3099684715271,Tue Jun 10 16:54:30 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,count solutions,unlimited
|
143
|
+
,,,,,,P4x15,KominoSolverLimited,1.2032780647277832,Tue Jun 10 16:54:32 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,find solution,limited
|
144
|
+
,,,,,,P3x20,KominoSolverUnlimted,1.6900765895843506,Tue Jun 10 16:54:35 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,count solutions,unlimited
|
145
|
+
,,,,,,P3x20,KominoSolverLimited,22.80890965461731,Tue Jun 10 16:54:59 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,find solution,limited
|
146
|
+
,,,,,,F_shape,KominoSolverUnlimted,4.269379138946533,Tue Jun 10 16:55:05 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,count solutions,unlimited
|
147
|
+
,,,,,,F_shape,KominoSolverLimited,0.21540355682373047,Tue Jun 10 16:55:06 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,find solution,limited
|
148
|
+
,,,,,,L_shape,KominoSolverUnlimted,1.6011114120483398,Tue Jun 10 16:55:09 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,count solutions,unlimited
|
149
|
+
,,,,,,L_shape,KominoSolverLimited,0.252321720123291,Tue Jun 10 16:55:10 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,find solution,limited
|
150
|
+
,,,,,,N_shape,KominoSolverUnlimted,2.7582125663757324,Tue Jun 10 16:55:14 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,count solutions,unlimited
|
151
|
+
,,,,,,N_shape,KominoSolverLimited,1.94582200050354,Tue Jun 10 16:55:17 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,find solution,limited
|
152
|
+
,,,,,,P_shape,KominoSolverUnlimted,77.15412211418152,Tue Jun 10 16:56:36 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,count solutions,unlimited
|
153
|
+
,,,,,,P_shape,KominoSolverLimited,0.776644229888916,Tue Jun 10 16:56:38 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,find solution,limited
|
154
|
+
,,,,,,Y_shape,KominoSolverUnlimted,2.931969404220581,Tue Jun 10 16:56:42 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,count solutions,unlimited
|
155
|
+
,,,,,,Y_shape,KominoSolverLimited,0.319913387298584,Tue Jun 10 16:56:43 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,find solution,limited
|
156
|
+
,,,,,,T_shape,KominoSolverUnlimted,3.2443442344665527,Tue Jun 10 16:56:47 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,count solutions,unlimited
|
157
|
+
,,,,,,T_shape,KominoSolverLimited,0.024591684341430664,Tue Jun 10 16:56:49 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,find solution,limited
|
158
|
+
,,,,,,U_shape,KominoSolverUnlimted,1.1917505264282227,Tue Jun 10 16:56:51 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,count solutions,unlimited
|
159
|
+
,,,,,,U_shape,KominoSolverLimited,0.26169371604919434,Tue Jun 10 16:56:52 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,find solution,limited
|
160
|
+
,,,,,,V_shape,KominoSolverUnlimted,2.404212713241577,Tue Jun 10 16:56:56 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,count solutions,unlimited
|
161
|
+
,,,,,,V_shape,KominoSolverLimited,0.7968959808349609,Tue Jun 10 16:56:58 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,find solution,limited
|
162
|
+
,,,,,,W_shape,KominoSolverUnlimted,3.183828830718994,Tue Jun 10 16:57:02 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,count solutions,unlimited
|
163
|
+
,,,,,,W_shape,KominoSolverLimited,0.024506330490112305,Tue Jun 10 16:57:03 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,find solution,limited
|
164
|
+
,,,,,,Z_shape,KominoSolverUnlimted,1.7959599494934082,Tue Jun 10 16:57:06 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,count solutions,unlimited
|
165
|
+
,,,,,,Z_shape,KominoSolverLimited,0.33416152000427246,Tue Jun 10 16:57:08 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,14f42dc34b13333c7ca3a51ab6580e0c145bf322,find solution,limited
|
166
|
+
,,,,,,P6x10,KominoSolverUnlimted,timed out after 300s,Sat Jun 14 02:07:36 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,count solutions,unlimited
|
167
|
+
,,,,,,P6x10,KominoSolverLimited,28.486801862716675,Sat Jun 14 02:08:06 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,find solution,limited
|
168
|
+
,,,,,,P5x12,KominoSolverUnlimted,246.434668302536,Sat Jun 14 02:12:14 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,count solutions,unlimited
|
169
|
+
,,,,,,P5x12,KominoSolverLimited,2.6200973987579346,Sat Jun 14 02:12:17 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,find solution,limited
|
170
|
+
,,,,,,P4x15,KominoSolverUnlimted,12.280066967010498,Sat Jun 14 02:12:31 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,count solutions,unlimited
|
171
|
+
,,,,,,P4x15,KominoSolverLimited,1.2115304470062256,Sat Jun 14 02:12:33 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,find solution,limited
|
172
|
+
,,,,,,P3x20,KominoSolverUnlimted,1.696373462677002,Sat Jun 14 02:12:36 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,count solutions,unlimited
|
173
|
+
,,,,,,P3x20,KominoSolverLimited,22.943650722503662,Sat Jun 14 02:13:00 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,find solution,limited
|
174
|
+
,,,,,,F_shape,KominoSolverUnlimted,4.270395040512085,Sat Jun 14 02:13:06 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,count solutions,unlimited
|
175
|
+
,,,,,,F_shape,KominoSolverLimited,0.21860313415527344,Sat Jun 14 02:13:07 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,find solution,limited
|
176
|
+
,,,,,,L_shape,KominoSolverUnlimted,1.6092426776885986,Sat Jun 14 02:13:10 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,count solutions,unlimited
|
177
|
+
,,,,,,L_shape,KominoSolverLimited,0.25246691703796387,Sat Jun 14 02:13:11 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,find solution,limited
|
178
|
+
,,,,,,N_shape,KominoSolverUnlimted,2.734243631362915,Sat Jun 14 02:13:15 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,count solutions,unlimited
|
179
|
+
,,,,,,N_shape,KominoSolverLimited,1.966980218887329,Sat Jun 14 02:13:18 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,find solution,limited
|
180
|
+
,,,,,,P_shape,KominoSolverUnlimted,77.55583047866821,Sat Jun 14 02:14:37 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,count solutions,unlimited
|
181
|
+
,,,,,,P_shape,KominoSolverLimited,0.7389943599700928,Sat Jun 14 02:14:39 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,find solution,limited
|
182
|
+
,,,,,,Y_shape,KominoSolverUnlimted,2.9527018070220947,Sat Jun 14 02:14:43 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,count solutions,unlimited
|
183
|
+
,,,,,,Y_shape,KominoSolverLimited,0.3215038776397705,Sat Jun 14 02:14:44 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,find solution,limited
|
184
|
+
,,,,,,T_shape,KominoSolverUnlimted,3.1685187816619873,Sat Jun 14 02:14:49 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,count solutions,unlimited
|
185
|
+
,,,,,,T_shape,KominoSolverLimited,0.024022340774536133,Sat Jun 14 02:14:50 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,find solution,limited
|
186
|
+
,,,,,,U_shape,KominoSolverUnlimted,1.1836729049682617,Sat Jun 14 02:14:52 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,count solutions,unlimited
|
187
|
+
,,,,,,U_shape,KominoSolverLimited,0.31304454803466797,Sat Jun 14 02:14:54 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,find solution,limited
|
188
|
+
,,,,,,V_shape,KominoSolverUnlimted,2.3297345638275146,Sat Jun 14 02:14:57 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,count solutions,unlimited
|
189
|
+
,,,,,,V_shape,KominoSolverLimited,0.8462836742401123,Sat Jun 14 02:14:59 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,find solution,limited
|
190
|
+
,,,,,,W_shape,KominoSolverUnlimted,3.1241796016693115,Sat Jun 14 02:15:03 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,count solutions,unlimited
|
191
|
+
,,,,,,W_shape,KominoSolverLimited,0.024240732192993164,Sat Jun 14 02:15:05 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,find solution,limited
|
192
|
+
,,,,,,Z_shape,KominoSolverUnlimted,1.8032567501068115,Sat Jun 14 02:15:08 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,count solutions,unlimited
|
193
|
+
,,,,,,Z_shape,KominoSolverLimited,0.337754487991333,Sat Jun 14 02:15:09 2025,AMD Ryzen 9 7950X 16-Core Processor,Linux-6.15.1-arch1-2-x86_64-with-glibc2.41,65f021b4609a470d8141452c6551a90df05cdccf,find solution,limited
|
@@ -0,0 +1,22 @@
|
|
1
|
+
import subprocess
|
2
|
+
import json
|
3
|
+
|
4
|
+
|
5
|
+
# should use this instead (gittools)
|
6
|
+
# https://github.com/chuanconggao/extratools/blob/main/extratools/gittools.py
|
7
|
+
# >_ git status -s -b --porcelain=2
|
8
|
+
|
9
|
+
def get_git_state()-> tuple[bool,str]:
|
10
|
+
|
11
|
+
run=lambda cmd:subprocess.run(cmd,shell=True,capture_output=True,text=True).stdout
|
12
|
+
|
13
|
+
status=run("git status")
|
14
|
+
cleanState="Your branch is up to date with" in status
|
15
|
+
cleanState &="nothing to commit, working tree clean" in status
|
16
|
+
|
17
|
+
|
18
|
+
|
19
|
+
git_HEAD=run("git rev-parse HEAD").strip()
|
20
|
+
print(f"HEAD is {git_HEAD}")
|
21
|
+
|
22
|
+
return cleanState,git_HEAD
|
@@ -0,0 +1,105 @@
|
|
1
|
+
#!/usr/bin/env python
|
2
|
+
|
3
|
+
import pandas as pd
|
4
|
+
from time import time
|
5
|
+
from tilingpuzzles.examples import rectangularPentomino
|
6
|
+
from tilingpuzzles.examples import scaledStones
|
7
|
+
from src.tilingpuzzles.solvers.kominoSolver import KominoSolverLimited
|
8
|
+
from src.tilingpuzzles.solvers.kominoSolver import KominoSolverUnlimted
|
9
|
+
from tilingpuzzles.games.komino import Komino
|
10
|
+
from tilingpuzzles.benchmark.git_state import get_git_state
|
11
|
+
import platform
|
12
|
+
import cpuinfo
|
13
|
+
from time import ctime
|
14
|
+
#from tilingPuzzles.benchmark.timeout import with_timeout
|
15
|
+
from timeout_decorator import timeout, TimeoutError
|
16
|
+
|
17
|
+
timeout_time=300
|
18
|
+
|
19
|
+
@timeout(timeout_time)
|
20
|
+
def _benchmark_unlimited(k:Komino):
|
21
|
+
try:
|
22
|
+
solver=KominoSolverUnlimted(k)
|
23
|
+
t_start=time()
|
24
|
+
res=solver.solve()
|
25
|
+
t_end=time()
|
26
|
+
dt=t_end -t_start
|
27
|
+
return dt
|
28
|
+
except TimeoutError:
|
29
|
+
res=f"timed out after {timeout_time}s"
|
30
|
+
print(f"\t>{res}")
|
31
|
+
return res
|
32
|
+
|
33
|
+
@timeout(timeout_time)
|
34
|
+
def _benchmark_limited(k:Komino):
|
35
|
+
try:
|
36
|
+
solver=KominoSolverLimited(k,k.unique_stones_dict(1))
|
37
|
+
t_start=time()
|
38
|
+
res=solver.solve()
|
39
|
+
t_end=time()
|
40
|
+
dt=t_end -t_start
|
41
|
+
return dt
|
42
|
+
except TimeoutError:
|
43
|
+
res=f"timed out after {timeout_time}s"
|
44
|
+
print(f"\t>{res}")
|
45
|
+
return res
|
46
|
+
|
47
|
+
|
48
|
+
def _main():
|
49
|
+
up_to_date,git_HEAD =get_git_state()
|
50
|
+
assert up_to_date, "commit and push before benchmark"
|
51
|
+
df=pd.read_csv("./data/timingResulsts.csv",index_col=False)
|
52
|
+
#df =pd.DataFrame()
|
53
|
+
casesDict={}
|
54
|
+
casesDict.update(rectangularPentomino.rectangularPentomino.DICT)
|
55
|
+
casesDict.update(scaledStones.scaledStones.DICT)
|
56
|
+
for name,gen in casesDict.items():
|
57
|
+
print(f"solving {name} unlimeted")
|
58
|
+
series=pd.Series({
|
59
|
+
"problem name" : name,
|
60
|
+
"type":"count solutions",
|
61
|
+
"available stones": "unlimited",
|
62
|
+
"solver" : KominoSolverUnlimted.__name__,
|
63
|
+
"time":_benchmark_unlimited(gen()),
|
64
|
+
"date":ctime(time()),
|
65
|
+
"cpu" : cpuinfo.get_cpu_info()["brand_raw"],
|
66
|
+
"platform" : platform.platform(),
|
67
|
+
"git state" : git_HEAD,
|
68
|
+
|
69
|
+
})
|
70
|
+
new_stuff=pd.DataFrame([series])
|
71
|
+
df=pd.concat([df,new_stuff],ignore_index=True)
|
72
|
+
|
73
|
+
|
74
|
+
|
75
|
+
print(f"solving {name} limited")
|
76
|
+
|
77
|
+
series=pd.Series({
|
78
|
+
"problem name" : name,
|
79
|
+
"type": "find solution",
|
80
|
+
"available stones": "limited",
|
81
|
+
"solver" : KominoSolverLimited.__name__,
|
82
|
+
"time":_benchmark_limited(gen()),
|
83
|
+
"date":ctime(time()),
|
84
|
+
"cpu" : cpuinfo.get_cpu_info()["brand_raw"],
|
85
|
+
"platform" : platform.platform(),
|
86
|
+
"git state" : git_HEAD,
|
87
|
+
|
88
|
+
})
|
89
|
+
new_stuff=pd.DataFrame([series])
|
90
|
+
df=pd.concat([df,new_stuff],ignore_index=True)
|
91
|
+
|
92
|
+
|
93
|
+
df.to_csv("./data/timingResulsts.csv",index=None)
|
94
|
+
|
95
|
+
|
96
|
+
|
97
|
+
|
98
|
+
|
99
|
+
if __name__=="__main__":
|
100
|
+
_main()
|
101
|
+
|
102
|
+
|
103
|
+
|
104
|
+
|
105
|
+
|
File without changes
|
@@ -0,0 +1,40 @@
|
|
1
|
+
|
2
|
+
from tilingpuzzles.games.komino import Komino
|
3
|
+
|
4
|
+
|
5
|
+
|
6
|
+
def _nxm(n,m):
|
7
|
+
|
8
|
+
res =set()
|
9
|
+
for i in range(n):
|
10
|
+
for j in range(m):
|
11
|
+
res.add((i,j))
|
12
|
+
|
13
|
+
return Komino(res,k=5)
|
14
|
+
|
15
|
+
|
16
|
+
class rectangularPentomino():
|
17
|
+
|
18
|
+
|
19
|
+
|
20
|
+
def P6x10() -> Komino:
|
21
|
+
return _nxm(6,10)
|
22
|
+
|
23
|
+
def P5x12() -> Komino:
|
24
|
+
return _nxm(5,12)
|
25
|
+
pass
|
26
|
+
|
27
|
+
def P4x15() -> Komino:
|
28
|
+
return _nxm(4,15)
|
29
|
+
pass
|
30
|
+
|
31
|
+
def P3x20()-> Komino:
|
32
|
+
return _nxm(3,20)
|
33
|
+
pass
|
34
|
+
|
35
|
+
DICT={
|
36
|
+
"P6x10":P6x10,
|
37
|
+
"P5x12":P5x12,
|
38
|
+
"P4x15":P4x15,
|
39
|
+
"P3x20":P3x20,
|
40
|
+
}
|
@@ -0,0 +1,163 @@
|
|
1
|
+
|
2
|
+
from tilingpuzzles.games.stone import Stone
|
3
|
+
from tilingpuzzles.games.komino import Komino
|
4
|
+
|
5
|
+
def _scale(stone:Stone)->Stone:
|
6
|
+
res=set()
|
7
|
+
for tile in stone:
|
8
|
+
x,y=tile
|
9
|
+
for dx in range(3):
|
10
|
+
for dy in range(3):
|
11
|
+
res.add((3*x+dx,3*y+dy))
|
12
|
+
return Stone(res)
|
13
|
+
|
14
|
+
_F="""
|
15
|
+
|
16
|
+
##
|
17
|
+
##
|
18
|
+
#
|
19
|
+
|
20
|
+
"""
|
21
|
+
|
22
|
+
_L="""
|
23
|
+
|
24
|
+
#
|
25
|
+
#
|
26
|
+
#
|
27
|
+
##
|
28
|
+
|
29
|
+
"""
|
30
|
+
|
31
|
+
_N="""
|
32
|
+
|
33
|
+
#
|
34
|
+
##
|
35
|
+
#
|
36
|
+
#
|
37
|
+
|
38
|
+
"""
|
39
|
+
|
40
|
+
_P="""
|
41
|
+
|
42
|
+
##
|
43
|
+
##
|
44
|
+
#
|
45
|
+
|
46
|
+
"""
|
47
|
+
|
48
|
+
_Y="""
|
49
|
+
|
50
|
+
#
|
51
|
+
##
|
52
|
+
#
|
53
|
+
#
|
54
|
+
|
55
|
+
"""
|
56
|
+
|
57
|
+
_T="""
|
58
|
+
|
59
|
+
###
|
60
|
+
#
|
61
|
+
#
|
62
|
+
|
63
|
+
"""
|
64
|
+
|
65
|
+
_U="""
|
66
|
+
|
67
|
+
# #
|
68
|
+
###
|
69
|
+
|
70
|
+
"""
|
71
|
+
|
72
|
+
_V="""
|
73
|
+
|
74
|
+
#
|
75
|
+
#
|
76
|
+
###
|
77
|
+
|
78
|
+
"""
|
79
|
+
|
80
|
+
_W="""
|
81
|
+
|
82
|
+
#
|
83
|
+
##
|
84
|
+
##
|
85
|
+
|
86
|
+
"""
|
87
|
+
|
88
|
+
_Z="""
|
89
|
+
|
90
|
+
##
|
91
|
+
#
|
92
|
+
##
|
93
|
+
|
94
|
+
"""
|
95
|
+
|
96
|
+
class scaledStones():
|
97
|
+
|
98
|
+
def F_shape():
|
99
|
+
s=Stone.from_string(_F)
|
100
|
+
s=_scale(s)
|
101
|
+
return Komino(s,5)
|
102
|
+
|
103
|
+
def L_shape():
|
104
|
+
s=Stone.from_string(_L)
|
105
|
+
s=_scale(s)
|
106
|
+
return Komino(s,5)
|
107
|
+
|
108
|
+
def N_shape():
|
109
|
+
s=Stone.from_string(_N)
|
110
|
+
s=_scale(s)
|
111
|
+
return Komino(s,5)
|
112
|
+
|
113
|
+
def P_shape():
|
114
|
+
s=Stone.from_string(_P)
|
115
|
+
s=_scale(s)
|
116
|
+
return Komino(s,5)
|
117
|
+
|
118
|
+
def Y_shape():
|
119
|
+
s=Stone.from_string(_Y)
|
120
|
+
s=_scale(s)
|
121
|
+
return Komino(s,5)
|
122
|
+
|
123
|
+
def T_shape():
|
124
|
+
s=Stone.from_string(_T)
|
125
|
+
s=_scale(s)
|
126
|
+
return Komino(s,5)
|
127
|
+
|
128
|
+
def U_shape():
|
129
|
+
s=Stone.from_string(_U)
|
130
|
+
s=_scale(s)
|
131
|
+
return Komino(s,5)
|
132
|
+
|
133
|
+
def V_shape():
|
134
|
+
s=Stone.from_string(_V)
|
135
|
+
s=_scale(s)
|
136
|
+
return Komino(s,5)
|
137
|
+
|
138
|
+
|
139
|
+
|
140
|
+
def W_shape():
|
141
|
+
s=Stone.from_string(_W)
|
142
|
+
s=_scale(s)
|
143
|
+
return Komino(s,5)
|
144
|
+
|
145
|
+
def Z_shape():
|
146
|
+
s=Stone.from_string(_Z)
|
147
|
+
s=_scale(s)
|
148
|
+
return Komino(s,5)
|
149
|
+
|
150
|
+
DICT={
|
151
|
+
"F_shape":F_shape,
|
152
|
+
"L_shape":L_shape,
|
153
|
+
"N_shape":N_shape,
|
154
|
+
"P_shape":P_shape,
|
155
|
+
"Y_shape":Y_shape,
|
156
|
+
"T_shape":T_shape,
|
157
|
+
"U_shape":U_shape,
|
158
|
+
"V_shape":V_shape,
|
159
|
+
"W_shape":T_shape,
|
160
|
+
"Z_shape":Z_shape,
|
161
|
+
}
|
162
|
+
|
163
|
+
|
File without changes
|
@@ -0,0 +1,24 @@
|
|
1
|
+
|
2
|
+
from ..rectangularPentomino import rectangularPentomino
|
3
|
+
|
4
|
+
def test_P6x10():
|
5
|
+
K=rectangularPentomino.P6x10()
|
6
|
+
assert len(K.T) == 60
|
7
|
+
|
8
|
+
|
9
|
+
def test_P5x12():
|
10
|
+
K=rectangularPentomino.P5x12()
|
11
|
+
assert len(K.T) == 60
|
12
|
+
pass
|
13
|
+
|
14
|
+
|
15
|
+
|
16
|
+
def test_P4x15():
|
17
|
+
K=rectangularPentomino.P4x15()
|
18
|
+
assert len(K.T) == 60
|
19
|
+
pass
|
20
|
+
|
21
|
+
def test_P3x20():
|
22
|
+
K=rectangularPentomino.P3x20()
|
23
|
+
assert len(K.T) == 60
|
24
|
+
pass
|