staging_experiment_measurements.json (3966B)
1 { 2 "lowerer": { 3 "nodes": 3216, 4 "bytes": 38317 5 }, 6 "artifacts": { 7 "compiledAccept": { 8 "nodes": 62, 9 "bytes": 1122, 10 "construction_seconds": 0.0857724350062199 11 }, 12 "acceptReference": { 13 "nodes": 55, 14 "bytes": 1052, 15 "construction_seconds": 0.08596495701931417 16 }, 17 "compiledSlice": { 18 "nodes": 547, 19 "bytes": 6846, 20 "construction_seconds": 0.3885346860042773 21 }, 22 "sliceReference": { 23 "nodes": 360, 24 "bytes": 4664, 25 "construction_seconds": 0.09430302499094978 26 }, 27 "compiledKnown": { 28 "nodes": 549, 29 "bytes": 6868, 30 "construction_seconds": 0.42307271802565083 31 }, 32 "compiledLazy": { 33 "nodes": 103, 34 "bytes": 1601, 35 "construction_seconds": 0.09394583399989642 36 }, 37 "compiledClosed": { 38 "nodes": 75, 39 "bytes": 1303, 40 "construction_seconds": 0.09894483801326714 41 } 42 }, 43 "tree_equal_to_reference": { 44 "acceptTreeEqual": false, 45 "sliceTreeEqual": false 46 }, 47 "source_sha256": { 48 "lib/source/staging-experiment.tri": "6050233db09db849555c8b2288252208c17a4be2b6e0e9c323e583bbc821d7a8", 49 "test/stagingExperiment.tri": "2e1385d32adcc1a345504ca90e5489ef66d14372848a90fab59f5381a31b3863", 50 "test/staging_experiment.py": "eb8ab44853214838704aeef0664d109fe11cee6b3cbf0eab2c2415d31126850e" 51 }, 52 "executables": { 53 "Haskell": "/nix/store/cx37kqijy024967lz1ca3fb006ypjzci-tricu-2.0.0/bin/tricu", 54 "Zig": "/nix/store/jxgk7xvlf2w4xcax20kpinpkfnys6vwr-tricu-zig-0.1.0/bin/tricu-zig" 55 }, 56 "native_limits": { 57 "address_space_mib": 2048, 58 "stack_mib": 64, 59 "core_dumps": false 60 }, 61 "runtime_seconds_including_startup": { 62 "compiledSlice/256": { 63 "Haskell": [ 64 0.04691684199497104, 65 0.05044876900501549, 66 0.060764141991967335 67 ], 68 "Zig": [ 69 0.042173417983576655, 70 0.03913785400800407, 71 0.03932788100792095 72 ] 73 }, 74 "sliceReference/256": { 75 "Haskell": [ 76 0.05005732300924137, 77 0.054271901986794546, 78 0.05089847301132977 79 ], 80 "Zig": [ 81 0.03548209500149824, 82 0.03631933801807463, 83 0.03801162799936719 84 ] 85 }, 86 "compiledSlice/1024": { 87 "Haskell": [ 88 0.05289914199966006, 89 0.057489800004987046, 90 0.0467215949902311 91 ], 92 "Zig": [ 93 0.038053967989981174, 94 0.0369216300023254, 95 0.04483467899262905 96 ] 97 }, 98 "sliceReference/1024": { 99 "Haskell": [ 100 0.05360861599911004, 101 0.06534557099803351, 102 0.048949330986943096 103 ], 104 "Zig": [ 105 0.03741010700468905, 106 0.04031237101298757, 107 0.04046008799923584 108 ] 109 } 110 }, 111 "plain_thunk_negative_control": "construction timeout", 112 "runtime_cases": 21, 113 "wrong_output_control": true, 114 "selected_divergence": { 115 "fixtureClosedDiverge": { 116 "Haskell": "timeout", 117 "Zig": { 118 "returncode": -6, 119 "stderr_prefix": "Segmentation fault at address 0x7ffdfc11de40\n???:?:?: 0x121e122 in reduce.whnf (???)\n???:?:?: 0x121e260 in reduce.whnf (???)\n???:?:?: 0x121e260 in reduce.whnf (", 120 "semantic_evidence": false 121 } 122 }, 123 "fixtureRecurDiverge": { 124 "Haskell": "timeout", 125 "Zig": { 126 "returncode": -6, 127 "stderr_prefix": "Segmentation fault at address 0x7ffe14ee5fc0\n???:?:?: 0x121e11b in reduce.whnf (???)\n???:?:?: 0x121e260 in reduce.whnf (???)\n???:?:?: 0x121e260 in reduce.whnf (", 128 "semantic_evidence": false 129 } 130 }, 131 "fixtureDiverge": { 132 "Haskell": "timeout", 133 "Zig": { 134 "returncode": -6, 135 "stderr_prefix": "Segmentation fault at address 0x7fff27944e20\n???:?:?: 0x121e122 in reduce.whnf (???)\n???:?:?: 0x121e260 in reduce.whnf (???)\n???:?:?: 0x121e260 in reduce.whnf (", 136 "semantic_evidence": false 137 } 138 } 139 }, 140 "scope": "trusted explicit IR, no canonical compiler generation" 141 }