blob: f93d0ace1e82cbc165688aebe3dda794486071d6 (
plain)
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
|
host=timan1.cs.illinois.edu gpu=0 start=2026-06-16T10:47:27-05:00
===== train full =====
ep20 solve_rate=0.000 mean_conflicts=159.45
ep40 solve_rate=0.137 mean_conflicts=51.42
ep60 solve_rate=0.503 mean_conflicts=19.50
ep80 solve_rate=0.357 mean_conflicts=56.76
ep100 solve_rate=0.060 mean_conflicts=115.03
ep120 solve_rate=0.007 mean_conflicts=113.40
ep140 solve_rate=0.003 mean_conflicts=102.39
ep150 solve_rate=0.003 mean_conflicts=101.91
[color_full_n50_k3_p0.2_T3_ns3_s0] best solve_rate=0.5033 mean_conflicts=19.497 @ep60 (153.7s)
wrote /home/yurenh2/rrog/runs/ckpt_color_full_n50_k3_p0.2_T3_ns3_s0.pt
===== train 1step =====
ep20 solve_rate=0.000 mean_conflicts=43.71
ep40 solve_rate=0.120 mean_conflicts=14.24
ep60 solve_rate=0.250 mean_conflicts=12.98
ep80 solve_rate=0.273 mean_conflicts=5.86
ep100 solve_rate=0.237 mean_conflicts=6.15
ep120 solve_rate=0.257 mean_conflicts=6.03
ep140 solve_rate=0.223 mean_conflicts=5.50
ep150 solve_rate=0.283 mean_conflicts=5.19
[color_1step_n50_k3_p0.2_T3_ns3_s0] best solve_rate=0.2833 mean_conflicts=5.193 @ep150 (121.4s)
wrote /home/yurenh2/rrog/runs/ckpt_color_1step_n50_k3_p0.2_T3_ns3_s0.pt
===== LE diagnostic (lambda1: solved vs unsolved) =====
[full] LE n=300 fail_rate=0.50 | lambda1 SOLVED mean -0.4828 (n=151) | UNSOLVED mean -0.1333 (n=149) | sep=+0.3495 | AUROC(fail|lambda1)=0.871 | mean_lambda1=-0.3092
[1step] LE n=300 fail_rate=0.72 | lambda1 SOLVED mean +0.0215 (n=85) | UNSOLVED mean +0.2097 (n=215) | sep=+0.1882 | AUROC(fail|lambda1)=0.814 | mean_lambda1=+0.1564
done=2026-06-16T10:52:55-05:00
|
