1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
|
PNA start gpu=0 2026-06-17T03:30:41-05:00
== pna s0 ==
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='min')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='max')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
ep20 solve_rate=0.027 mean_conflicts=13.04
ep40 solve_rate=0.693 mean_conflicts=1.50
ep60 solve_rate=0.867 mean_conflicts=0.58
ep80 solve_rate=0.877 mean_conflicts=0.49
ep100 solve_rate=0.913 mean_conflicts=0.26
ep120 solve_rate=0.913 mean_conflicts=0.33
ep140 solve_rate=0.920 mean_conflicts=0.32
ep150 solve_rate=0.920 mean_conflicts=0.35
[color_pna_full_none_n50_k3_p0.2_T3_ns3_s0] best solve_rate=0.92 @ep140 (718.5s)
wrote /home/yurenh2/rrog/runs/ckpt_color_pna_full_none_n50_k3_p0.2_T3_ns3_s0.pt
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='min')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='max')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
[pna/full] LE n=300 fail=0.08 | SOLVED -0.150 UNSOLVED +0.171 sep=+0.321 AUROC=0.867 mean_lam=-0.124
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='min')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='max')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
[pe=none s0] deterministic solve_rate = 0.920 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 0.980 0.913 0.920 0.910 0.819
wrote /home/yurenh2/rrog/runs/ptrm_color_pna_full_none_n50_k3_p0.2_T3_ns3_s0.json
== pna s1 ==
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='min')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='max')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
ep20 solve_rate=0.020 mean_conflicts=17.71
ep40 solve_rate=0.687 mean_conflicts=1.50
ep60 solve_rate=0.817 mean_conflicts=0.69
ep80 solve_rate=0.893 mean_conflicts=0.43
ep100 solve_rate=0.917 mean_conflicts=0.27
ep120 solve_rate=0.917 mean_conflicts=0.31
ep140 solve_rate=0.927 mean_conflicts=0.24
ep150 solve_rate=0.943 mean_conflicts=0.15
[color_pna_full_none_n50_k3_p0.2_T3_ns3_s1] best solve_rate=0.9433 @ep150 (718.2s)
wrote /home/yurenh2/rrog/runs/ckpt_color_pna_full_none_n50_k3_p0.2_T3_ns3_s1.pt
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='min')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='max')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
[pna/full] LE n=300 fail=0.06 | SOLVED -0.164 UNSOLVED -0.019 sep=+0.145 AUROC=0.727 mean_lam=-0.155
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='min')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='max')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
[pe=none s1] deterministic solve_rate = 0.940 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 0.987 0.967 0.953 0.933 0.794
wrote /home/yurenh2/rrog/runs/ptrm_color_pna_full_none_n50_k3_p0.2_T3_ns3_s1.json
== pna s2 ==
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='min')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='max')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
ep20 solve_rate=0.017 mean_conflicts=13.94
ep40 solve_rate=0.737 mean_conflicts=1.15
ep60 solve_rate=0.820 mean_conflicts=0.68
ep80 solve_rate=0.883 mean_conflicts=0.41
ep100 solve_rate=0.913 mean_conflicts=0.30
ep120 solve_rate=0.907 mean_conflicts=0.30
ep140 solve_rate=0.903 mean_conflicts=0.29
ep150 solve_rate=0.917 mean_conflicts=0.20
[color_pna_full_none_n50_k3_p0.2_T3_ns3_s2] best solve_rate=0.9167 @ep150 (714.9s)
wrote /home/yurenh2/rrog/runs/ckpt_color_pna_full_none_n50_k3_p0.2_T3_ns3_s2.pt
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='min')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='max')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
[pna/full] LE n=300 fail=0.08 | SOLVED -0.204 UNSOLVED +0.008 sep=+0.212 AUROC=0.773 mean_lam=-0.186
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='min')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='max')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
[pe=none s2] deterministic solve_rate = 0.940 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 1.000 0.947 0.953 0.934 0.800
wrote /home/yurenh2/rrog/runs/ptrm_color_pna_full_none_n50_k3_p0.2_T3_ns3_s2.json
== pna s3 ==
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='min')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='max')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
ep20 solve_rate=0.003 mean_conflicts=34.24
ep40 solve_rate=0.747 mean_conflicts=1.30
ep60 solve_rate=0.827 mean_conflicts=0.66
ep80 solve_rate=0.893 mean_conflicts=0.47
ep100 solve_rate=0.897 mean_conflicts=0.47
ep120 solve_rate=0.913 mean_conflicts=0.28
ep140 solve_rate=0.943 mean_conflicts=0.20
ep150 solve_rate=0.933 mean_conflicts=0.19
[color_pna_full_none_n50_k3_p0.2_T3_ns3_s3] best solve_rate=0.9433 @ep140 (614.3s)
wrote /home/yurenh2/rrog/runs/ckpt_color_pna_full_none_n50_k3_p0.2_T3_ns3_s3.pt
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='min')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='max')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
[pna/full] LE n=300 fail=0.06 | SOLVED -0.162 UNSOLVED +0.039 sep=+0.201 AUROC=0.756 mean_lam=-0.150
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='min')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='max')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
[pe=none s3] deterministic solve_rate = 0.960 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 0.993 0.987 0.933 0.945 0.885
wrote /home/yurenh2/rrog/runs/ptrm_color_pna_full_none_n50_k3_p0.2_T3_ns3_s3.json
== pna s4 ==
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='min')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='max')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
ep20 solve_rate=0.007 mean_conflicts=24.65
ep40 solve_rate=0.717 mean_conflicts=1.45
ep60 solve_rate=0.827 mean_conflicts=0.60
ep80 solve_rate=0.913 mean_conflicts=0.37
ep100 solve_rate=0.920 mean_conflicts=0.28
ep120 solve_rate=0.897 mean_conflicts=0.31
ep140 solve_rate=0.897 mean_conflicts=0.36
ep150 solve_rate=0.923 mean_conflicts=0.29
[color_pna_full_none_n50_k3_p0.2_T3_ns3_s4] best solve_rate=0.9233 @ep150 (702.2s)
wrote /home/yurenh2/rrog/runs/ckpt_color_pna_full_none_n50_k3_p0.2_T3_ns3_s4.pt
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='min')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='max')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
[pna/full] LE n=300 fail=0.08 | SOLVED -0.137 UNSOLVED +0.070 sep=+0.207 AUROC=0.778 mean_lam=-0.121
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='min')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
/home/yurenh2/miniconda3/lib/python3.13/site-packages/torch_geometric/utils/_scatter.py:91: UserWarning: The usage of `scatter(reduce='max')` can be accelerated via the 'torch-scatter' package, but it was not found
warnings.warn(
[pe=none s4] deterministic solve_rate = 0.947 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 0.993 0.973 0.920 0.935 0.844
wrote /home/yurenh2/rrog/runs/ptrm_color_pna_full_none_n50_k3_p0.2_T3_ns3_s4.json
donePNA=2026-06-17T04:49:08-05:00
|
