Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qflia-threads-4-ariparti_nodeselection
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: f8e4e3d756de449f1704f023dd21eba684f1e008
Z3 branch: bfs
Z3 options: "-T:30 smt.threads=4 tactic.default_tactic=smt smt.auto_config=false"
Z3 inputs: inputs/QF_LIA
Z3 commit message: AriParti-style FIFO node selection:

   - Replaced randomized/local activation with a FIFO queue of open leaf nodes: std::deque<node*> m_open_leaf_fifo.
   - On split, children are enqueued in creation order (left, then right).
   - activate_node(...) now picks from FIFO (lazy-skips stale/closed/non-leaf entries).
   - reset() clears FIFO; set_seed() is now a no-op.
