Creators Warehouse Official Eagle Seal
CREATORS WAREHOUSE Verified

Battle-Tested Software Inventory
๐Ÿ“ฆ Ingestion Dock (Sell) Log In
RSI
๐ŸŒฒ Google DeepMind / UMD / UVA • arXiv:2609.14858

Dream-RSI Discovery Tree & Zero-Cost Offline Replay

Grounding Recursive Self-Improvement without expensive online LLM exploration. Records complete discovery search trees across our Auto Model Builder and code synthesis pipelines, runs offline counterfactual policy replays at $0 token cost, and strictly enforces \(R_{t+1} \ge R_t\) monotonic returns.

โšก Zero-Cost Offline Replay ๐Ÿ›ก๏ธ Monotonic Gate: \(R_{t+1} \ge R_t\) ๐Ÿ“‚ Persistent World Buffers
Active Worlds
3
Auto Builder • Code • VSO
Recorded Search Nodes
853
Discovery tree depth >= 2
Offline Tokens Saved
$3.41
Simulated at $0 inference cost
Monotonic Invariant
\(R_{t+1} \ge R_t\)
100% Zero-regression guarantee
๐ŸŽฎ

Zero-Cost Offline Replay Simulator

Offline Monte Carlo

Evaluates alternative exploration policies (\(\pi\)) across recorded historical trajectories. Computes expected return \(\mathbb{E}[R]\), win rates, and variance without making live network calls or spending LLM tokens.

๐Ÿ›ก๏ธ

Monotonic Improvement Gate (\(R_{t+1} \ge R_t\))

Safety Invariant

Simulates proposing a candidate mutation or prompt patch. If the candidate degrades composite return or violates the safety floor (<0.90), it is rejected and safely rolled back to the last verified checkpoint.

๐ŸŒณ

Recorded Discovery Trees & Trajectories

Node ID Parent ID Action Type Composite Return \(R\) Accuracy Pass Rate Safety Status
node_22391a45d0a9 ROOT architecture_search 0.9045 0.88 0.92 0.98 SUCCESS
node_184b6c338cdf node_22391a45d0a9 prompt_patch 0.9295 0.93 0.95 0.99 SUCCESS
node_074cc7bc62cc node_184b6c338cdf hyperparam_tune 0.632 0.52 0.6 0.7 FAILED
node_3fe45396f641 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_db83b5b825eb ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6aa57f272937 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ace56f7200af ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6febab3e67a0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_43002c6d8845 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_71965855757b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e92118329561 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_76628cb1bd86 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c43e6b4f463f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4c8bbc532c21 ROOT code_mutation 0.9655 0.96 0.98 0.99 SUCCESS
node_88cbeacf8d98 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6e961d25e9d8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d7ce54c1ab69 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3115bdcea2c9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4d2ff354097a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_04518d5e2fc3 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_19e92213ce9d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_087db4e45fe9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_acc9f9f43ed8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_212f25a1667d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ca4bfe066ed4 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0f442c5d0090 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7002c6d4fa03 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e444964477cb ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4d5c83823916 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a5c086c1f9f0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ad7177e92a1b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_21cc0e225cb7 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_903b5cd1d028 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a20a770b3a3b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f497c9c79cbd ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a49a3ed507fc ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_52bf52ac9793 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ba9561d92669 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b25829aa45d1 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2a47f253cb11 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5f85a0f8f2e5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a0dcbc94f903 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3d9361353965 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_64fbbb089095 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e37ab80e65d5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_91c2ce6b9712 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_deee33e674da ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f2fe5401e25d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_72329d9f6df0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_377a7092dd50 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7ad49baeccd0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2b5a1f7718c6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8c6f159117ba ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_608582ee1741 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a186c7b49b3b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5fad8965ea11 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5f2e4973ab2a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_621ad5d89a93 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1252536f653d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_29692ec5c618 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_27bed78b9181 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5d97c15f0070 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b0b36cf087cd ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_21249c688a6e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f1343bbce88a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8771a326bcc3 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_fd0ee25a3c2c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1fb2d3066c1c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4dcbbb34ec2c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d8b7355ae06f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_28bb6e8d128c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_fa1b434e2dce ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_eb9fc991e96e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7b47bedc9680 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_40759ec4bab0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_672f1db93d01 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_98e5c7ba96db ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5673ac4e1e10 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_061330677f31 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_cdf1baba44e9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4fc118725d45 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e2b84bbc7092 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2d9f9d7ac6a8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a72b32b85f8b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3b2ffde73bcb ROOT code_mutation 0.959 0.95 0.98 0.99 SUCCESS
node_f594414cee27 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b9b30b7876f0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_bc77d0df5404 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_705c31cb9356 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b16f970e53e2 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_65b2714104cb ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c4cba3c4175d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_cda38ac29495 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7b0885f04b69 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e9d9a4987162 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2b740cdb057b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ade43ae2df7b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d26b8194dffd ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_84648e4a065b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9dbee9c1aa0c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5a8d8e39d60d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_de636eab833f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_aaabf2f5069f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_893af3129d7e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ec42206f807a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3b531abc96e1 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c3738e4aa00f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b2ecf868560f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9a6b26e7eb14 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a9c254477006 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9e7f38a0f0e2 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a2d09fe8ca8d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b20864fb38ef ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6b9fd7bfe3d3 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5db0d8c89649 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f6a0bf687b11 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_94b2b5d10237 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_775f8d4c8cc4 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_913998e70a0b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2ff2d022e9a8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a4cb8cf70821 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a590d81ecb83 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_02568814c692 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ed467750229f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ecfb653d6323 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3b60220cee63 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_47407f85cb5d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_513e11cfa8cc ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c28f26238877 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0ba94c584c1c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ddf8744ed144 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9fc60f516d83 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_39d48a4752bb ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_69126acca6a7 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f70580e76784 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1eae9a2fba71 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d6bc962cdcd6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b6e66a74486c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7c056258460b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c8800cda28dc ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e46fc2051069 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d9563e3ae5da ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f683b3d8277c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5838ce2bcb37 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_199920c875b0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3ef83ec0e0a9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b436efb3ed68 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0c598e4fd57f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_22cb796ac920 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a48fcc154416 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1a0821afc687 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_cbbb3989c284 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_407e5a7b2fc4 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_39dc1cdbe33c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_97da91ae516b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7604ff874351 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4814d85d7c38 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_070dd80446dd ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_886de2c5d054 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_682ead61a06e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7d3138706775 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d8ec538dbe4a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_277c43b69e5d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ca26b9f3efdf ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2169f6b02119 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4714e3f6d7d6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_805e1248b59a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d609e85192af ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f44e81d4f014 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_89cfbf7ec954 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3a83dcd39a7b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_fdfa8d3fda98 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4fb50a7f2487 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f39a854ba887 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e2b65e8be9ff ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ec66a50ab422 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9683d60d4a32 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_51e291ada6a9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_fb8cedb361db ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c8bb213a952d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_51160dcbd6bf ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_190fe7e0de6c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_81d59a0da02f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_571085bd9ad7 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_98980758522d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e813f34651e9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6bc0ce9d6400 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f67b24022f8e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c8f0333853dd ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_af6bc3b3eece ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2f6a8fe00801 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_def6005baa2e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_cc1fec0018e7 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_bb4a1213bf53 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_73457b1cf8f6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4b43a4d5610e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f30da57010d5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_41abe7430dcf ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_57af8417a076 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ffe5d30b8a93 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a19881d44242 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1f0317916355 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2f7352f69398 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d7428086d116 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3b8a6c34db1a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_56617908bf37 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ab6bf13da2d0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_edbb73903037 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f9f9ad51abea ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7b436125b850 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_db798cef93fc ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4adde21f08ab ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_60f9a670bf5c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0ae6c14465e1 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4125d787df4a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7b0310107243 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7ab66423e37b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_501fb8894d07 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f54048e94865 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e1a61429096a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0505bb2b20f0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_854ca99728f3 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_74ac91e1e295 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_04af4ac1bc9e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_30ec2f7c525b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b21207692296 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b9fb668a221f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8a35ef072252 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d9fb61203247 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8d4b44690a22 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6f9afb24ba45 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b63314748318 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2037a380dfdd ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e7e79b35b56f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b740f94c53da ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_aa943b8966bf ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8b6927ac0a98 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_05fb95630334 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6d0e9e9a8c85 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2eca7f41b22d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3bb053c405e4 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b5bfec283ec3 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3891a62b2f66 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_01ca1ce2d369 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_08c001a117f1 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3aae4d693b2b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b83d37b85487 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b29c04990785 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c7e1e789d024 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_eefff036beb5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_143f1517c291 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7dee6448d9db ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ef59cb2c9174 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c208ae708d90 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_166d1d753d89 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e9ffe5a78403 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_055604b4c2ea ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8f0fcf9f95b0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_cd3a1c3c8f57 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2ca6978c3e8e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e3dfe82c8181 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_67611ea810a3 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a0dd1ce0a720 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_844160e71a6c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b082cbafeb0c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7fb8f1b4b6c1 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0978a8aece39 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_80b7f12841db ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0a7291f5e775 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_884de2a7af4d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_11c01400fa4a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1226a1ff9290 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e27e267d4f22 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_03fa78331521 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1502537c6e21 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6435fdbe72bd ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d9a7e3304763 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d5314ddd361c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d67850b087bb ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5bf81df5842f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8f841a9f512d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d18a4ec4c3be ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2834a0ba46b9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3f67c23113e9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_63b9efca8803 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_db6d8ce964d0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6016af9e3586 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_298db5ed11d6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_db0eeb33a43f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3e68d9b99f2b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a02cfbaee551 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_42a1303458d9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0397e821832e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1ba9d2d44e87 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3698c910f767 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b2860a728edd ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c1de3d0a1eb0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1e47c797fe86 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1d2836efa311 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ac08d066f0f6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b5d9cab5664e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d0ce2ed44ea6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3ad585de97a4 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_28c8c74b89d0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_38d6e5e4367b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_94c0b6487e05 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d7b6e8d915af ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c2802f385b4c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_390062b19be7 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c7946e187c3f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7372d49067b6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2afce1ec4a31 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_650de36962e2 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6a66e2645040 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ed6c0aac4068 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_20aaba497c14 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ecc23d9df8e5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3d3bc7435033 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1a6228d21c8f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a989c994de23 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_71c121ab33b4 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_43fafdd9e5f8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_80fabce8efe6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a126e369aa9f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_cf701defe050 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5fbe442a4030 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f410b59a023e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_23a82b1ce13e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_77347be0713c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1e21e58388b0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_18f1cbcd9b8a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a99e94f1780a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e03bf6260bf0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5d6abdfe501d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a347b68da9fc ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_28eb72e33508 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a2b6c2e78d40 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_890fdc78374b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_70731beb61c4 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_45764a6bd284 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_df5d75cc9366 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_682a4e5dd62a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_fecdbca0b89b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_767e82ffd6fe ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_df8b956a0935 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a5ef15976839 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_58028a2711a6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_fee5a69922d0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_872bc0897613 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_887012d5bbb9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ab6c59bfab03 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_fb6cca8c7525 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_68bbf90af93e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f2004c089903 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_34ea5b93198c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3c1e1f3cc2f5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_32f043ed7315 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_aaef0df6dd39 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_77ed997f98db ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2215e80b9189 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c8c330d1d699 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_dfa47ace9642 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a3f512ff8ff9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a7f6d2b40b87 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5d19d3833936 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_cee77d133ae6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_73946eec819b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_76e7fb65f7ae ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_54b59a2a1f22 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c36de4d3f4e9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7ae143296ca8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e07d277f7201 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_fccc8ff6fec9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1dfbf6c130f2 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_86b5d847425f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c55f3683647f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_890100e679e0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6663d843f554 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3999d9d6015c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d2c08982a54f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_cf3654512755 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_602834010f2f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_400ad6a8d28b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_41cbb0431946 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8b3d86d97cde ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d6dd1242e17a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8496f6dd0fd5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5c5283a429e2 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4af1cf4b8337 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9f5873e0b60a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5af7e14b8ebc ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_344d301fffdf ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_691e957faadb ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4107d42ae219 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b2627ae58390 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5605bc077627 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c054a026cc92 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f844e1a74979 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_92d3905cb616 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9b98dc4d476e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1216cf5a3f77 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f6c4e7f1c0ba ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7bbe00f97f6c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_66f070618220 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_84dc5f1d9925 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4d4c0259c908 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1734e1d3d987 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_13aefea44da3 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_dde5e8006aaf ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6490fea3b0ac ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_528d18fc28fa ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_bc9039091ca5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_58f1ca65b322 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7e3e021c0a9e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d0e21e9b7e52 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0ea3a35ebd09 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2c75c1f77d09 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c56808b834b8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_846bc3186149 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c5dda1d3547d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ddf872f5da7c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_878db826d384 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_663558cf45ea ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9796deabc6db ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_34473fede122 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4af7c1c83b5c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c94be6ffc21b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d93ad0ce0772 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b4d88c6b1358 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3e0e33133bdf ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_382424acd42f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_df3d432c9091 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3ed4a88e3bd3 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_977c0b993591 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_285a28c929f7 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2b47fac28a9a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e5a9d0195d04 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a388ca670520 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_090f325d0cd0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d3f11a82a4f8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c6a007dc64a8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b454cdb9de04 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1b0911a38e01 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c0cc9b017007 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_50e97aff11f6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f29c40ba382f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b6eead6840f5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5da7c3f180fe ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_37527c8520d8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_12905074855c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6df35642fcc4 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_262bd6f1fdd6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_81256fe93e93 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_894a131ef6ff ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ee4d719e57d6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e846dfd9b5a4 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ad6febdcff7c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_663a6424f0aa ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_fae2d5fe0323 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6643bff57631 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_aaa466993264 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4bdd885f14ac ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9afcbe2704e7 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4a8fa8d7bb0e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_104b2b5ab02d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e000f3f3d03f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_56631fa42e54 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2cb9a57f326c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5bc420189141 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_81191a88601a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_496d967d40c1 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8e2a12c3de17 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_52b363194c57 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_082df0aeef6c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_cdd3ed5ba8d6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0d1c55468c73 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_55095c6d74c5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ca08d8dc8ac9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e73c4496bd02 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_de85c2b85621 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_338a2e63adc1 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6932e3cd407b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4f7226bff09f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ad89fab768e8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0c395bc2fed7 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_44dd6a9edc38 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8ce985675eb2 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_97088115a9cf ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d66ae79400b3 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_84ea0c83965d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_bbca29d9736b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1a5788bde8e9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_fb486a14b249 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_cd31a2e20f95 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ce1477bb621a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_017ab61345af ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_906fa75b26e4 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_feecaa5a059a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_54ea42db1d2e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7990540495e4 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_66a030bc2faa ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_71c335566aac ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_75fb0e9bfac5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_429cbd97ec4e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a17576c7cddc ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2c9775f6b3d1 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_418cff3770df ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_551c085b324b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d1500429441c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d8bfe3cedf3f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5cacdf1e16ef ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_13c7c23a5c28 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5b1a168827a0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2a5123b1ce91 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9b022bb5d8b7 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6a9591546541 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_caf41b894177 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_038996d2b341 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3a58e160cbf8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_305c2a27c076 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_90db592497b6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7793313b6e38 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ebdee380db71 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_102cec43609c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c4d181cd21e5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8c95e8bacf21 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_042ff85702d6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1b760464d4c4 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e15a55d08ec0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9809981f86a0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_976c2d840dec ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c904879a1e26 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d0a8f30ab8c2 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_155fd4452b38 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3d10334e8913 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4029b2981622 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f5b064999162 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_be2391ce6c77 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_79fe5eb6d85e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f58338445e64 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7c336eb425ab ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ff5de6c8dfae ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9ebaef71b5a4 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ec5468cfc033 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7a70d4e896da ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f37dc5ab5520 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_943138b5dc20 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6cb684ab58af ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1694a193108c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a28724b6eaee ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e8a491615866 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_22f8f367dd2e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_15c9f25a7073 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4d8bcb1e2d2d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ddf8b9479ca7 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5a03fde42767 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5d3b03aea56b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_fd2c6e872928 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_cf7f5903ce67 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_da1af6c76bc9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9b440b76fad7 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e0ed25dd6179 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7060f6cfe9b0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_73ba698d04f9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_fcedf0237625 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_83a4bf78372e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_45bd8e59c6dd ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_882491388b26 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_50fc446f5d34 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f20ee53bd69c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0ce7b11ca413 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_13a9d7bec697 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4e8d623e0af0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0ebf11bbeb20 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d8cfc10d2748 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2e578924387b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b7e581d3e28b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_06b26fec550e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a993a9d3967e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2a34028c21da ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a4bbf4754179 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1c919c53b6bc ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f6cefc8c5b3d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_78dddc7f62ed ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d53a43ba2786 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e990f67cfa47 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d99c9ec4c4c7 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c8160cea9f4e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_affd2d25fdb9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_da4e491726f5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0d1a3745c843 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_20e78a4c1392 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_862df68b0f71 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ba2748d01e6c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8a2f03b54902 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4deb22f3bdc1 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_40a8bb16cb26 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_48654eee0f2c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f0eee8fea218 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d9173931c51f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9915bce538a9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_16f4933a92a7 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_bcbeb41d84a4 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_14853c9bd1d0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c1830bffc0c2 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_117138ad56ee ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c8ad784ab307 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_32e0dd9c0c60 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c4d47eb9fce6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d417af1c3b0e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e35dbbd98880 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_514cc773fac7 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_eea8e93b6713 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b4ec8b53979c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5e56898e81d2 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_19dd27eda518 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0071669d47d2 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_857ddc2a3aa6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e096653a6ede ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ea4457309528 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9cab0d30fb95 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a449e6452d5b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_59a4506d2c58 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d20ef914a559 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_68c3e33573b7 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2f0402156017 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5d792dc12f9c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2f318c0e813e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5086b006a268 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4416d65fd63a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8bca18cf1df5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6ef7899b1be2 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4e71e27b2d7b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_fb5c44667faa ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_dc0ff8c71cd9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_525e37feaf69 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_98fc2cd6d97c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6514e879c8db ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3ad8fd13021b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_86a66c324ec0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f73ea032661e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_581cc9bab199 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_759607367aa7 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7c3858b3fa1f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6899831a1de4 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1b17b9b10be2 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_34903c531344 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5ec11b5c7d91 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ab0a3b730321 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f3200289e6e6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3573c14aef37 ROOT model_synthesis 0.9595 0.94 1.0 0.99 SUCCESS
node_fd2049115368 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2e92a6e6ce66 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_cfdb0217fbd6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_231174c31a9a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b1dd8dcb3117 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6640a08fca85 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4e69137e57b8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7cb2aa93aded ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_626654971faf ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_846697d8151b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4d5c48539258 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4e4f16e10de8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7422254c55fc ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_bedf7ed8912d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a4671a670c53 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6a069770f240 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8086e10c1be2 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_cd7dcf9918ca ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6c1375c77260 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_712942134d4a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_aad7fefbce63 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_47f0326011f9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1b72a5d3ad8a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7d1f7a8b9581 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d46e0f43442e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f04e3baac1b0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_4712700835a6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e17eae62eeb4 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8955db2d2c8c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1257fecf59a1 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0dc2be9503ff ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_33ce278ce750 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0a782757f26b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_03187f9261d5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a942b107dec2 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_edc5d7fb3d4e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a5a01ffab83b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_83c1a4f32cfb ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d883a111b55e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6fc5dcc183b6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_acc0f68378b3 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3270e889b675 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_75dec211cbc8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3ab25fdf01b6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_945825082247 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ee543c782a2d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_cd44d9937fd5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2069bd8991e1 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6f7bb6b4ebfe ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f4ed704fb5f8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e0fda394ff25 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9cd79b7599f6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ce6a4ba494c5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_877b5fec97b7 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3679c1c5395f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_51b99b8b71e0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_cff258557618 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a6339270e0d6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f47a20d2f8cd ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7ef814f40a16 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3a93781f66a9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1a8523de8996 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_cfae2de87874 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_683ff4f7bede ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_41cbfe8dc4af ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_031df500a5b1 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_cbb33b04c22f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c6122a1ff579 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_17fdd6f28413 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2d09482cd234 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_21d31c3227ca ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e331049091cf ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_aef8f35ad7f8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_7ace4fa795c9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_811f777d1f02 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e764d990a38f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a5b207d2392b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_27a5784749c6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_63a4b893e3b3 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_309463234252 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ebfe7f495a09 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5ccd7a0c7b0e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5ee4295d3f1b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c06279a07517 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e6f7d24ef6c2 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_64a897f2f5a5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2c46de33b40e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_367c8f8bb346 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_387dcdf45b3e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_db315b05d996 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0f3047a097d9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_dd725e7c7c15 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1109b4c4dda8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3c33da96b07b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8e228677d9d9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_03e938159e4c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_43aef71b8610 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e5560a50cd51 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_df8377e07c54 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9c82f3d43442 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_141de110c3e4 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a9b7d428c5fd ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_76c8b908625b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9c9981e82c12 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_fc6a534bed07 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e3ee5283ab7b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8a1a3f457269 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d72b6f47d979 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_a704caed169a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b427e52ad171 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b7c50ee79ce2 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_baae0b779f10 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3fd0de5ff311 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_791ef8bfec88 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f4198dc20968 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5eab743783c9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_621932b2b693 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_911596f6d4ac ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1f1f9064fe67 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e0b4200d9cec ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_942ec4e5a76a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_dc608ef1bc90 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2519e9eadfac ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_138b6b4ad9f7 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9fae882a3466 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3ea3a6fee0cb ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_57dd389779f6 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3535df95a9e8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b00f64b63582 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_749fd3551acd ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b5d5d95abcce ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_531e0622623c ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_81ac1bfa2330 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_42303d1694ae ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f1e49c54d618 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c2896b8ba1a1 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_00511fdf4cf9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f3802f6055a8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_084d2a170141 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_37ab0e5aae61 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9affde88dda7 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3eaa6c80a760 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_215403f43e0e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_17f58fb82982 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2310db419220 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_cd768d3f3f0e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2823a28c2f89 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6db8c4f7e2f9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3523e86c60c0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0f5ff7c63758 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b28eec70098d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f67b11f3cd93 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6b2a6ea00166 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c54012fdc682 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_9a4d36c0deb0 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_804e5b78081e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_dc0c7988f3fe ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0234c6212342 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8bb15ec5f575 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1cd75df0111a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6db6a54865cd ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5cf1fea73aab ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_83c4ad44481f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_8bfc667f971f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2d5538cf76ea ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2d2c10c80299 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2d94f3404a63 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6e1e2242f041 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_46b98fea5a64 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_41ebc5535d3f ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_974f214a8eb1 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1ae59a09715d ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f9a760ea64eb ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e2481af9b3bd ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_42c66743f7a9 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_33202d477388 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_97fac99eaf0a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_23528d5f7e3a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_0dd10a17f155 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_f26a7b512934 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_ae0321864909 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_1255dea3c1a8 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e5ac0ee10b7e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_72b8c04de41b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e41df65cf745 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_2637ba993af2 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5e7e8b8939e5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_68973e220ce3 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_6aa9619b8275 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_e44d5b3b55f5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_73576b42c100 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_b9acd399f3b5 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_197018d4120a ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_3b94999f006b ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_d732935e6e19 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_5ade95e998b3 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_01249742f056 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c7772221b895 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_30dbe0c82c81 ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic
node_c64fa0e4406e ROOT model_synthesis 0.8055 0.9 0.6 0.99 rejected_monotonic