summaryrefslogtreecommitdiff
path: root/runs/archA.log
diff options
context:
space:
mode:
Diffstat (limited to 'runs/archA.log')
-rw-r--r--runs/archA.log242
1 files changed, 242 insertions, 0 deletions
diff --git a/runs/archA.log b/runs/archA.log
new file mode 100644
index 0000000..4b2b4f7
--- /dev/null
+++ b/runs/archA.log
@@ -0,0 +1,242 @@
+A start gpu=0 2026-06-16T15:29:24-05:00
+== A s0 conv=gcn ==
+ep20 solve_rate=0.000 mean_conflicts=162.09
+ep40 solve_rate=0.000 mean_conflicts=129.86
+ep60 solve_rate=0.000 mean_conflicts=149.86
+ep80 solve_rate=0.000 mean_conflicts=47.19
+ep100 solve_rate=0.000 mean_conflicts=72.71
+ep120 solve_rate=0.000 mean_conflicts=153.69
+ep140 solve_rate=0.000 mean_conflicts=163.38
+ep150 solve_rate=0.000 mean_conflicts=163.18
+[color_gcn_full_none_n50_k3_p0.2_T3_ns3_s0] best solve_rate=0.0 @ep20 (199.2s)
+ wrote /home/yurenh2/rrog/runs/ckpt_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s0.pt
+[gcn/full] LE n=300 fail=1.00 | SOLVED +nan UNSOLVED -1.276 sep=+nan AUROC=nan mean_lam=-1.276
+[pe=none s0] deterministic solve_rate = 0.000 (n=150, K=16)
+ sigma pass@K lam-sel random perRoll AUROC(s|-lam)
+ 0.2 0.000 0.000 0.000 0.000 nan
+ wrote /home/yurenh2/rrog/runs/ptrm_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s0.json
+== A s0 conv=sage ==
+ep20 solve_rate=0.303 mean_conflicts=4.08
+ep40 solve_rate=0.703 mean_conflicts=1.23
+ep60 solve_rate=0.730 mean_conflicts=1.09
+ep80 solve_rate=0.720 mean_conflicts=1.05
+ep100 solve_rate=0.680 mean_conflicts=1.20
+ep120 solve_rate=0.707 mean_conflicts=1.28
+ep140 solve_rate=0.667 mean_conflicts=1.62
+ep150 solve_rate=0.660 mean_conflicts=1.76
+[color_sage_full_none_n50_k3_p0.2_T3_ns3_s0] best solve_rate=0.73 @ep60 (163.3s)
+ wrote /home/yurenh2/rrog/runs/ckpt_color_sage_full_none_n50_k3_p0.2_T3_ns3_s0.pt
+[sage/full] LE n=300 fail=0.27 | SOLVED -0.131 UNSOLVED +0.052 sep=+0.183 AUROC=0.793 mean_lam=-0.082
+[pe=none s0] deterministic solve_rate = 0.747 (n=150, K=16)
+ sigma pass@K lam-sel random perRoll AUROC(s|-lam)
+ 0.2 0.953 0.813 0.767 0.762 0.771
+ wrote /home/yurenh2/rrog/runs/ptrm_color_sage_full_none_n50_k3_p0.2_T3_ns3_s0.json
+== A s0 conv=gat ==
+ep20 solve_rate=0.000 mean_conflicts=152.21
+ep40 solve_rate=0.000 mean_conflicts=143.93
+ep60 solve_rate=0.007 mean_conflicts=116.76
+ep80 solve_rate=0.013 mean_conflicts=107.49
+ep100 solve_rate=0.000 mean_conflicts=102.05
+ep120 solve_rate=0.003 mean_conflicts=111.15
+ep140 solve_rate=0.000 mean_conflicts=163.45
+ep150 solve_rate=0.000 mean_conflicts=163.46
+[color_gat_full_none_n50_k3_p0.2_T3_ns3_s0] best solve_rate=0.0133 @ep80 (305.2s)
+ wrote /home/yurenh2/rrog/runs/ckpt_color_gat_full_none_n50_k3_p0.2_T3_ns3_s0.pt
+[gat/full] LE n=300 fail=0.99 | SOLVED -0.211 UNSOLVED -0.296 sep=-0.084 AUROC=0.353 mean_lam=-0.295
+[pe=none s0] deterministic solve_rate = 0.007 (n=150, K=16)
+ sigma pass@K lam-sel random perRoll AUROC(s|-lam)
+ 0.2 0.047 0.020 0.027 0.020 0.203
+ wrote /home/yurenh2/rrog/runs/ptrm_color_gat_full_none_n50_k3_p0.2_T3_ns3_s0.json
+== A s1 conv=gcn ==
+ep20 solve_rate=0.000 mean_conflicts=41.51
+ep40 solve_rate=0.000 mean_conflicts=35.89
+ep60 solve_rate=0.000 mean_conflicts=66.98
+ep80 solve_rate=0.000 mean_conflicts=73.91
+ep100 solve_rate=0.000 mean_conflicts=60.61
+ep120 solve_rate=0.000 mean_conflicts=61.23
+ep140 solve_rate=0.000 mean_conflicts=53.94
+ep150 solve_rate=0.003 mean_conflicts=47.46
+[color_gcn_full_none_n50_k3_p0.2_T3_ns3_s1] best solve_rate=0.0033 @ep150 (200.7s)
+ wrote /home/yurenh2/rrog/runs/ckpt_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s1.pt
+[gcn/full] LE n=300 fail=1.00 | SOLVED -0.234 UNSOLVED -0.104 sep=+0.130 AUROC=0.893 mean_lam=-0.105
+[pe=none s1] deterministic solve_rate = 0.000 (n=150, K=16)
+ sigma pass@K lam-sel random perRoll AUROC(s|-lam)
+ 0.2 0.007 0.000 0.000 0.000 0.941
+ wrote /home/yurenh2/rrog/runs/ptrm_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s1.json
+== A s1 conv=sage ==
+ep20 solve_rate=0.223 mean_conflicts=4.59
+ep40 solve_rate=0.723 mean_conflicts=1.13
+ep60 solve_rate=0.760 mean_conflicts=0.84
+ep80 solve_rate=0.780 mean_conflicts=0.82
+ep100 solve_rate=0.750 mean_conflicts=0.96
+ep120 solve_rate=0.787 mean_conflicts=0.78
+ep140 solve_rate=0.760 mean_conflicts=0.81
+ep150 solve_rate=0.740 mean_conflicts=0.87
+[color_sage_full_none_n50_k3_p0.2_T3_ns3_s1] best solve_rate=0.7867 @ep120 (159.8s)
+ wrote /home/yurenh2/rrog/runs/ckpt_color_sage_full_none_n50_k3_p0.2_T3_ns3_s1.pt
+[sage/full] LE n=300 fail=0.21 | SOLVED +0.063 UNSOLVED +0.160 sep=+0.097 AUROC=0.688 mean_lam=+0.084
+[pe=none s1] deterministic solve_rate = 0.827 (n=150, K=16)
+ sigma pass@K lam-sel random perRoll AUROC(s|-lam)
+ 0.2 0.973 0.873 0.793 0.781 0.702
+ wrote /home/yurenh2/rrog/runs/ptrm_color_sage_full_none_n50_k3_p0.2_T3_ns3_s1.json
+== A s1 conv=gat ==
+ep20 solve_rate=0.000 mean_conflicts=161.72
+ep40 solve_rate=0.000 mean_conflicts=146.74
+ep60 solve_rate=0.000 mean_conflicts=115.72
+ep80 solve_rate=0.007 mean_conflicts=81.21
+ep100 solve_rate=0.003 mean_conflicts=118.91
+ep120 solve_rate=0.000 mean_conflicts=111.77
+ep140 solve_rate=0.000 mean_conflicts=140.12
+ep150 solve_rate=0.000 mean_conflicts=141.12
+[color_gat_full_none_n50_k3_p0.2_T3_ns3_s1] best solve_rate=0.0067 @ep80 (870.5s)
+ wrote /home/yurenh2/rrog/runs/ckpt_color_gat_full_none_n50_k3_p0.2_T3_ns3_s1.pt
+[gat/full] LE n=300 fail=0.99 | SOLVED -0.101 UNSOLVED -0.253 sep=-0.153 AUROC=0.087 mean_lam=-0.252
+[pe=none s1] deterministic solve_rate = 0.013 (n=150, K=16)
+ sigma pass@K lam-sel random perRoll AUROC(s|-lam)
+ 0.2 0.033 0.020 0.013 0.014 0.177
+ wrote /home/yurenh2/rrog/runs/ptrm_color_gat_full_none_n50_k3_p0.2_T3_ns3_s1.json
+== A s2 conv=gcn ==
+ep20 solve_rate=0.000 mean_conflicts=40.93
+ep40 solve_rate=0.000 mean_conflicts=48.18
+ep60 solve_rate=0.000 mean_conflicts=92.76
+ep80 solve_rate=0.000 mean_conflicts=86.67
+ep100 solve_rate=0.003 mean_conflicts=60.79
+ep120 solve_rate=0.003 mean_conflicts=46.40
+ep140 solve_rate=0.003 mean_conflicts=59.99
+ep150 solve_rate=0.003 mean_conflicts=75.26
+[color_gcn_full_none_n50_k3_p0.2_T3_ns3_s2] best solve_rate=0.0033 @ep100 (676.3s)
+ wrote /home/yurenh2/rrog/runs/ckpt_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s2.pt
+[gcn/full] LE n=300 fail=1.00 | SOLVED -0.221 UNSOLVED -0.262 sep=-0.041 AUROC=0.301 mean_lam=-0.262
+[pe=none s2] deterministic solve_rate = 0.007 (n=150, K=16)
+ sigma pass@K lam-sel random perRoll AUROC(s|-lam)
+ 0.2 0.007 0.007 0.000 0.003 0.563
+ wrote /home/yurenh2/rrog/runs/ptrm_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s2.json
+== A s2 conv=sage ==
+ep20 solve_rate=0.267 mean_conflicts=3.97
+ep40 solve_rate=0.727 mean_conflicts=1.07
+ep60 solve_rate=0.830 mean_conflicts=0.68
+ep80 solve_rate=0.827 mean_conflicts=0.54
+ep100 solve_rate=0.803 mean_conflicts=0.74
+ep120 solve_rate=0.680 mean_conflicts=1.54
+ep140 solve_rate=0.587 mean_conflicts=2.31
+ep150 solve_rate=0.527 mean_conflicts=2.94
+[color_sage_full_none_n50_k3_p0.2_T3_ns3_s2] best solve_rate=0.83 @ep60 (224.4s)
+ wrote /home/yurenh2/rrog/runs/ckpt_color_sage_full_none_n50_k3_p0.2_T3_ns3_s2.pt
+[sage/full] LE n=300 fail=0.17 | SOLVED -0.105 UNSOLVED +0.102 sep=+0.207 AUROC=0.814 mean_lam=-0.070
+[pe=none s2] deterministic solve_rate = 0.847 (n=150, K=16)
+ sigma pass@K lam-sel random perRoll AUROC(s|-lam)
+ 0.2 0.980 0.907 0.833 0.820 0.790
+ wrote /home/yurenh2/rrog/runs/ptrm_color_sage_full_none_n50_k3_p0.2_T3_ns3_s2.json
+== A s2 conv=gat ==
+ep20 solve_rate=0.000 mean_conflicts=130.86
+ep40 solve_rate=0.000 mean_conflicts=163.47
+ep60 solve_rate=0.000 mean_conflicts=163.48
+ep80 solve_rate=0.000 mean_conflicts=163.48
+ep100 solve_rate=0.003 mean_conflicts=152.94
+ep120 solve_rate=0.000 mean_conflicts=156.99
+ep140 solve_rate=0.000 mean_conflicts=163.18
+ep150 solve_rate=0.000 mean_conflicts=163.48
+[color_gat_full_none_n50_k3_p0.2_T3_ns3_s2] best solve_rate=0.0033 @ep100 (871.7s)
+ wrote /home/yurenh2/rrog/runs/ckpt_color_gat_full_none_n50_k3_p0.2_T3_ns3_s2.pt
+[gat/full] LE n=300 fail=1.00 | SOLVED -0.133 UNSOLVED -0.253 sep=-0.120 AUROC=0.147 mean_lam=-0.252
+[pe=none s2] deterministic solve_rate = 0.007 (n=150, K=16)
+ sigma pass@K lam-sel random perRoll AUROC(s|-lam)
+ 0.2 0.033 0.013 0.020 0.013 0.248
+ wrote /home/yurenh2/rrog/runs/ptrm_color_gat_full_none_n50_k3_p0.2_T3_ns3_s2.json
+== A s3 conv=gcn ==
+ep20 solve_rate=0.000 mean_conflicts=44.52
+ep40 solve_rate=0.000 mean_conflicts=47.99
+ep60 solve_rate=0.000 mean_conflicts=91.15
+ep80 solve_rate=0.000 mean_conflicts=99.85
+ep100 solve_rate=0.003 mean_conflicts=69.26
+ep120 solve_rate=0.003 mean_conflicts=54.51
+ep140 solve_rate=0.003 mean_conflicts=59.94
+ep150 solve_rate=0.003 mean_conflicts=54.14
+[color_gcn_full_none_n50_k3_p0.2_T3_ns3_s3] best solve_rate=0.0033 @ep100 (675.0s)
+ wrote /home/yurenh2/rrog/runs/ckpt_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s3.pt
+[gcn/full] LE n=300 fail=1.00 | SOLVED -0.372 UNSOLVED -0.330 sep=+0.042 AUROC=0.672 mean_lam=-0.330
+[pe=none s3] deterministic solve_rate = 0.007 (n=150, K=16)
+ sigma pass@K lam-sel random perRoll AUROC(s|-lam)
+ 0.2 0.013 0.000 0.007 0.004 0.697
+ wrote /home/yurenh2/rrog/runs/ptrm_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s3.json
+== A s3 conv=sage ==
+ep20 solve_rate=0.227 mean_conflicts=4.44
+ep40 solve_rate=0.653 mean_conflicts=1.48
+ep60 solve_rate=0.767 mean_conflicts=0.88
+ep80 solve_rate=0.803 mean_conflicts=0.71
+ep100 solve_rate=0.797 mean_conflicts=0.72
+ep120 solve_rate=0.773 mean_conflicts=0.91
+ep140 solve_rate=0.747 mean_conflicts=1.25
+ep150 solve_rate=0.707 mean_conflicts=1.48
+[color_sage_full_none_n50_k3_p0.2_T3_ns3_s3] best solve_rate=0.8033 @ep80 (223.5s)
+ wrote /home/yurenh2/rrog/runs/ckpt_color_sage_full_none_n50_k3_p0.2_T3_ns3_s3.pt
+[sage/full] LE n=300 fail=0.20 | SOLVED +0.002 UNSOLVED +0.120 sep=+0.118 AUROC=0.680 mean_lam=+0.025
+[pe=none s3] deterministic solve_rate = 0.813 (n=150, K=16)
+ sigma pass@K lam-sel random perRoll AUROC(s|-lam)
+ 0.2 0.953 0.880 0.780 0.802 0.750
+ wrote /home/yurenh2/rrog/runs/ptrm_color_sage_full_none_n50_k3_p0.2_T3_ns3_s3.json
+== A s3 conv=gat ==
+ep20 solve_rate=0.000 mean_conflicts=161.40
+ep40 solve_rate=0.027 mean_conflicts=28.43
+ep60 solve_rate=0.100 mean_conflicts=17.61
+ep80 solve_rate=0.063 mean_conflicts=13.36
+ep100 solve_rate=0.030 mean_conflicts=19.86
+ep120 solve_rate=0.007 mean_conflicts=53.33
+ep140 solve_rate=0.000 mean_conflicts=139.14
+ep150 solve_rate=0.000 mean_conflicts=140.87
+[color_gat_full_none_n50_k3_p0.2_T3_ns3_s3] best solve_rate=0.1 @ep60 (869.6s)
+ wrote /home/yurenh2/rrog/runs/ckpt_color_gat_full_none_n50_k3_p0.2_T3_ns3_s3.pt
+[gat/full] LE n=300 fail=0.90 | SOLVED -0.097 UNSOLVED -0.064 sep=+0.034 AUROC=0.585 mean_lam=-0.067
+[pe=none s3] deterministic solve_rate = 0.113 (n=150, K=16)
+ sigma pass@K lam-sel random perRoll AUROC(s|-lam)
+ 0.2 0.220 0.113 0.113 0.105 0.614
+ wrote /home/yurenh2/rrog/runs/ptrm_color_gat_full_none_n50_k3_p0.2_T3_ns3_s3.json
+== A s4 conv=gcn ==
+ep20 solve_rate=0.000 mean_conflicts=81.70
+ep40 solve_rate=0.000 mean_conflicts=39.68
+ep60 solve_rate=0.000 mean_conflicts=67.85
+ep80 solve_rate=0.000 mean_conflicts=58.58
+ep100 solve_rate=0.003 mean_conflicts=60.47
+ep120 solve_rate=0.000 mean_conflicts=54.07
+ep140 solve_rate=0.003 mean_conflicts=100.63
+ep150 solve_rate=0.003 mean_conflicts=106.05
+[color_gcn_full_none_n50_k3_p0.2_T3_ns3_s4] best solve_rate=0.0033 @ep100 (676.5s)
+ wrote /home/yurenh2/rrog/runs/ckpt_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s4.pt
+[gcn/full] LE n=300 fail=1.00 | SOLVED -0.254 UNSOLVED -0.117 sep=+0.137 AUROC=0.943 mean_lam=-0.117
+[pe=none s4] deterministic solve_rate = 0.000 (n=150, K=16)
+ sigma pass@K lam-sel random perRoll AUROC(s|-lam)
+ 0.2 0.007 0.000 0.000 0.001 0.062
+ wrote /home/yurenh2/rrog/runs/ptrm_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s4.json
+== A s4 conv=sage ==
+ep20 solve_rate=0.210 mean_conflicts=3.76
+ep40 solve_rate=0.717 mean_conflicts=0.97
+ep60 solve_rate=0.813 mean_conflicts=0.73
+ep80 solve_rate=0.803 mean_conflicts=0.72
+ep100 solve_rate=0.817 mean_conflicts=0.70
+ep120 solve_rate=0.817 mean_conflicts=0.65
+ep140 solve_rate=0.800 mean_conflicts=0.96
+ep150 solve_rate=0.773 mean_conflicts=1.14
+[color_sage_full_none_n50_k3_p0.2_T3_ns3_s4] best solve_rate=0.8167 @ep100 (215.8s)
+ wrote /home/yurenh2/rrog/runs/ckpt_color_sage_full_none_n50_k3_p0.2_T3_ns3_s4.pt
+[sage/full] LE n=300 fail=0.18 | SOLVED -0.011 UNSOLVED +0.182 sep=+0.193 AUROC=0.828 mean_lam=+0.024
+[pe=none s4] deterministic solve_rate = 0.840 (n=150, K=16)
+ sigma pass@K lam-sel random perRoll AUROC(s|-lam)
+ 0.2 0.987 0.893 0.847 0.835 0.752
+ wrote /home/yurenh2/rrog/runs/ptrm_color_sage_full_none_n50_k3_p0.2_T3_ns3_s4.json
+== A s4 conv=gat ==
+ep20 solve_rate=0.000 mean_conflicts=155.28
+ep40 solve_rate=0.000 mean_conflicts=163.18
+ep60 solve_rate=0.000 mean_conflicts=111.24
+ep80 solve_rate=0.077 mean_conflicts=26.13
+ep100 solve_rate=0.060 mean_conflicts=47.08
+ep120 solve_rate=0.050 mean_conflicts=77.35
+ep140 solve_rate=0.080 mean_conflicts=76.13
+ep150 solve_rate=0.060 mean_conflicts=81.07
+[color_gat_full_none_n50_k3_p0.2_T3_ns3_s4] best solve_rate=0.08 @ep140 (871.2s)
+ wrote /home/yurenh2/rrog/runs/ckpt_color_gat_full_none_n50_k3_p0.2_T3_ns3_s4.pt
+[gat/full] LE n=300 fail=0.92 | SOLVED +0.013 UNSOLVED -0.019 sep=-0.032 AUROC=0.423 mean_lam=-0.016
+[pe=none s4] deterministic solve_rate = 0.133 (n=150, K=16)
+ sigma pass@K lam-sel random perRoll AUROC(s|-lam)
+ 0.2 0.227 0.147 0.120 0.113 0.454
+ wrote /home/yurenh2/rrog/runs/ptrm_color_gat_full_none_n50_k3_p0.2_T3_ns3_s4.json
+doneA=2026-06-16T18:14:25-05:00
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-30 22:28:54 +0000