diff options
Diffstat (limited to 'runs/rrog_viewonly_agg4_T0_e150_seed0_20260617_114134.log')
| -rw-r--r-- | runs/rrog_viewonly_agg4_T0_e150_seed0_20260617_114134.log | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/runs/rrog_viewonly_agg4_T0_e150_seed0_20260617_114134.log b/runs/rrog_viewonly_agg4_T0_e150_seed0_20260617_114134.log new file mode 100644 index 0000000..333c591 --- /dev/null +++ b/runs/rrog_viewonly_agg4_T0_e150_seed0_20260617_114134.log @@ -0,0 +1,10 @@ +ep20 solve_rate=0.000 mean_conflicts=81.17 +ep40 solve_rate=0.000 mean_conflicts=18.96 +ep60 solve_rate=0.000 mean_conflicts=16.98 +ep80 solve_rate=0.000 mean_conflicts=15.84 +ep100 solve_rate=0.000 mean_conflicts=15.50 +ep120 solve_rate=0.000 mean_conflicts=15.44 +ep140 solve_rate=0.000 mean_conflicts=15.69 +ep150 solve_rate=0.000 mean_conflicts=15.68 +[color_rrog_node_gin_full_none_n50_k3_p0.2_T0_ns3_s0] best solve_rate=0.0 @ep20 (69.4s) + wrote /home/yurenh2/rrog/runs/ckpt_color_rrog_node_gin_full_none_n50_k3_p0.2_T0_ns3_s0.pt |
