Questions or feedback? Visit Hermit issues

Hermit compatibility

Hermit compatibility scorecard

Current determinism, parity, and coverage evidence for Hermit's Linux execution backends.

623 recorded test attempts from 1 validation run are missing from the published history. Each validation run keeps its own record of every test attempt it made, and this site publishes a history of those attempts. The site builder compares the two. These attempts are in their run's record but not in the published history, and nothing records why. The green, red and never-measured cell results on this site come from the published history, so these attempts are not counted in them. Each validation run's page still shows the per-cell verdicts that run recorded.

The projection audit lists every run under census-attempt-missing-from-series/v1.

Hermit makes Linux execution repeatable by controlling scheduling, time, and randomness. This scorecard compares its backends: determinism asks whether repeated runs agree, while parity asks whether a backend agrees with the reference ptrace backend. Each cell is one workload, execution mode, and backend; results distinguish passes, failures, and unmeasured cells. Latest selected measurement: ; latest history entry: . Totals may combine qualifying results from multiple runs; rebuilding this website does not rerun the tests. For context, start with the introduction to Hermit, or visit the README for setup and usage.

Overview

14,800cells in the manifest
1,558result rows shown by default 13,180never measured cells in the explicit view 62in the manifest minus rows with a cell page
1,558green plus red result denominator

The difference between cells in the manifest and rows with a cell page is retained as exact arithmetic. It is not assigned a cell result and has no cell row on this site.

1,484 / 1,558 cellsGreen1,037 Green, counted in a backend's determinism number447 Green, not counted
74 / 1,558 cellsRed13,180 / 14,738 cellsNever measured

How to read these. Green and red are counted over the 1,558 cells with a recorded result, not over the 14,800 in the manifest; quoting red against the manifest would understate the rate. 1 of the 74 red cells are selected by full in this snapshot; the other 73 are results retained from earlier runs. Of the 14,800 cells in the manifest, 1,558 have a recorded result, 13,180 have never been measured and 62 are deliberate omissions with no cell row on this site. The manifest holds far more cells than any path selects, which is the intended arrangement and not a backlog.

Backends

Recorded outcomes and comparison evidence

KVM and LiteInst in this artifact. Recorded outcomes (kvm: 259 recorded Green, 2 recorded failures; liteinst: 338 recorded Green, 10 recorded failures) remain in Cells. These are positions in this artifact, not changes since an earlier snapshot and not counts of cross-backend matches. A Green outcome alone does not establish either comparison below.

Every determinism percentage uses the same distinct test-and-mode population with a recorded ptrace result, including ptrace failures. The w/partial column adds qualifying partial fractions to full matches. Missing and failed cells stay in the denominator. Parity is not part of this table: Parity (measured after determinism), below it, is the only parity display.

How comparison evidence earns credit

Numerators count demonstrated comparisons, not generic Green labels. An absent or empty reference population is unavailable. Partial determinism uses the recorded first divergent scheduler turn and a complete same-commit ptrace execution; no missing measurement is inferred as partial. A column with no supported observations is unavailable.

Backend comparison coverage
BackendRecorded instrumentation backend; native and e9patch preprocessing are excluded.DeterminismCanonical repeat matches / all distinct test-and-mode cells with a recorded ptrace result.Det. w/partialFull matches plus recorded qualifying partial fractions / the same common denominator.Evidence coverageDeterminism failures and missing/unexecuted cells stay in the determinism denominator. Missing comparison evidence earns no credit.
ptrace65.5%369 / 563 cells65.5%369 / 563 cells3 failed; 0 missing/unmeasured; 194 without determinism evidence; 2,205 outside the reference population
kvm45.5%256 / 563 cells45.5%256 / 563 cells2 failed; 304 missing/unmeasured; 307 without determinism evidence; 2,211 outside the reference population
sabre42.6%240 / 563 cells42.6%240 / 563 cells53 failed; 263 missing/unmeasured; 323 without determinism evidence; 2,209 outside the reference population
liteinst25.9%146 / 563 cells25.9%146 / 563 cells9 failed; 218 missing/unmeasured; 417 without determinism evidence; 2,205 outside the reference population
dbt4.6%26 / 563 cells4.6%26 / 563 cells0 failed; 484 missing/unmeasured; 537 without determinism evidence; 2,212 outside the reference population

Parity (measured after determinism)

After the determinism checks, the retained verify log of each candidate backend whose inputs can be equalized with the ptrace reference's (kvm, liteinst, sabre) is compared with the ptrace reference log. A cell's credit is the matched prefix of the two logs over the longer one, in [0, 1]; only a complete match earns 1. A cell whose reference or candidate left no deterministic golden log has no parity: it is outside the mean and the floor, never 0 credit. The inputs of dbt cannot be equalized with the ptrace reference's, so dbt is not compared and none of its cells enters any mean or floor, per backend or in the total. This panel shows the ledger's committed parity summary after checking it against the parity records it summarizes; it is separate from determinism and recomputes no credit.

validate run validate-ops-tick-33770223b5d2-27d0ecdc8ccb

Data as of: last parity record emitted ; Hermit commit 33770223b5d2 measured; parity store at ledger commit 63e9d016016a (scorecard/parity.json, sha256 1a73e98e0187); summary written by Hermit tool commit 33770223b5d2.

parity: 0/297 matched; selected 297 of 297 committed; mean 0.043 over 277 measured; floor 0.043 over 280 of 297 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 1 no golden: crash 1; 16 not compared)

Committed selection: the 297 cell(s) that ci/compat-envelope/parity-cells.json selects at Hermit commit 33770223b5d2. This run reported all 297. It reported no cell outside it.

Mean credit 0.0430 is the credit sum 11.9097 over the 277 measured cell(s); floor credit 0.0425 is the same sum over the 280 floor cell(s): the 297 selected cell(s) less 1 with no parity (no deterministic golden) and 16 not compared. Unmeasured, record-missing and refused cells count as 0 in the floor. A cell with no parity (no deterministic golden) is outside the mean and the floor: it is never 0 credit and never a failure. The inputs of dbt cannot be equalized with the ptrace reference's, so dbt is not compared and none of its cells enters any mean or floor, per backend or in the total.

Parity of validate run validate-ops-tick-33770223b5d2-27d0ecdc8ccb
Candidate backendThe backend whose log is compared with the ptrace reference log, unless its inputs cannot be equalized.SelectedCells this run reported: measured + no parity + not compared + unmeasured + record-missing + refused. The paragraph above the table says which of the committed selection's cells it did not report, and which cells it reported outside it.MeasuredCells whose two logs were compared: matched + diverged. The mean credit's denominator.MatchedCells whose candidate log matched the reference log completely (credit 1).DivergedCells whose logs differ; credit is the matched prefix over the longer log, below 1.No parity (no deterministic golden)Cells whose reference or candidate left no deterministic golden log, so there is nothing to compare; outside the mean and the floor, never 0 credit. The classes are in the table below.Not comparedCells of a backend whose inputs cannot be equalized with the reference's; outside the mean and the floor.UnmeasuredCells that could have been compared but were not; each counts as 0 in the floor. The classes are in the table below.Record-missingSelected cells for which the run wrote no parity record; 0 in the floor.RefusedRecords the scorecard could attribute to this run but not admit; 0 in the floor.Mean credit (over measured)Credit sum over the measured cells; n/a when none was measured.Floor credit (over floor cells)Credit sum over the floor cells; n/a when there are none.Floor cellsThe floor credit's denominator: the selected cells less the no-parity and not-compared ones, and less every cell of a backend whose inputs cannot be equalized.LineThe scorecard's line: each credit with the cells it is over, and how many of the committed selection's cells the run reported.
kvm9189089101000.10200.100990parity: 0/91 matched; selected 91 of 91 committed; mean 0.102 over 89 measured; floor 0.101 over 90 of 91 selected (counted as 0: 1 unmeasured: no-result-row 1; excluded: 1 no golden: crash 1; 0 not compared)
liteinst9998098001000.01420.014199parity: 0/99 matched; selected 99 of 99 committed; mean 0.014 over 98 measured; floor 0.014 over 99 of 99 selected (counted as 0: 1 unmeasured: no-result-row 1; excluded: 0 no golden; 0 not compared)
sabre9190090001000.01600.015891parity: 0/91 matched; selected 91 of 91 committed; mean 0.016 over 90 measured; floor 0.016 over 91 of 91 selected (counted as 0: 1 unmeasured: no-result-row 1; excluded: 0 no golden; 0 not compared)
dbt16000016000n/an/a0parity: not compared: 0 measured of 16 selected (inputs cannot be equalized); selected 16 of 16 committed
TOTAL29727702771163000.04300.0425280parity: 0/297 matched; selected 297 of 297 committed; mean 0.043 over 277 measured; floor 0.043 over 280 of 297 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 1 no golden: crash 1; 16 not compared)
No parity (no deterministic golden): 1 cell(s) by class, outside the mean and the floor
ClasskvmliteinstsabredbtTOTAL
crash10001
crash
The reference's or the candidate's final attempt crashed or exited wrongly (result crash-error).

Not compared (inputs cannot be equalized), outside the mean and the floor: dbt 16; TOTAL 16.

Unmeasured: 3 cell(s) by class, each 0 in the floor
ClasskvmliteinstsabredbtTOTAL
no-result-row11103
no-result-row
The reference or the candidate has no usable result row: none in the run, a retry history hermit refuses, or a row the caller rejected as invalid.
Most common first divergence of each backend
BackendRecordSyscallDiffering fieldDiverged cells sharing itExample cellReference (left) messageCandidate (right) message
kvm132token 12: `Ok(93824992251904)` vs `Ok(2117632)`87 of 89c-programs/aio-refusal@kvmINFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)
liteinst163token 3: `DETLOG` vs `[dtid`98 of 98c-programs/aio-refusal@liteinstINFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }
sabre3nonetoken 2: `detcore::tool_local:` vs `detcore::random:`90 of 90c-programs/aio-refusal@sabreINFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]
Every cell that is not a full match (297 in all): 277 diverged, 1 no parity (no deterministic golden), 16 not compared, 3 unmeasured, 0 record-missing, 0 refused
Parity cells that are not a full match
CellGroupVerdictClassOperandCreditRecordSyscallDiffering fieldReference (left) messageCandidate (right) messageReason
c-programs/aio-refusal@kvmdivergeddivergednonenone0.1132132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/aio-refusal@liteinstdivergeddivergednonenone0.0148163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/aio-refusal@sabredivergeddivergednonenone0.01893nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/append-pwrite@kvmdivergeddivergednonenone0.0839132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/append-pwrite@liteinstdivergeddivergednonenone0.0143163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/append-pwrite@sabredivergeddivergednonenone0.01403nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/bind-getsockname@kvmdivergeddivergednonenone0.1101132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/bind-getsockname@liteinstdivergeddivergednonenone0.0148163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/bind-getsockname@sabredivergeddivergednonenone0.01833nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/cachestat-refusal@kvmdivergeddivergednonenone0.0976132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/cachestat-refusal@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/cachestat-refusal@sabredivergeddivergednonenone0.01633nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/child-subreaper-refusal@kvmdivergeddivergednonenone0.1176132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/child-subreaper-refusal@liteinstdivergeddivergednonenone0.0149163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/child-subreaper-refusal@sabredivergeddivergednonenone0.01963nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/close-range-fds@kvmdivergeddivergednonenone0.0882132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/close-range-fds@liteinstdivergeddivergednonenone0.0144163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/copy-file-range-refusal@kvmdivergeddivergednonenone0.0870132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/copy-file-range-refusal@liteinstdivergeddivergednonenone0.0144163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/copy-file-range-refusal@sabredivergeddivergednonenone0.01453nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/cpu-virtualization@dbtnot comparedinputs-not-equalizedinputs-not-equalizedcandidatenone: not compared, outside the mean and the floornonenonenonenonenonethe dbt backend refuses --bind and --mount (hermit-cli/src/bin/hermit/run.rs: "its DynamoRIO adapter does not enter the guest mount namespace"), so its guest cannot be given the ptrace cell's input paths
c-programs/cpu-virtualization@kvmdivergeddivergednonenone0.1165132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/cpu-virtualization@liteinstdivergeddivergednonenone0.0149163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3712, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/cpu-virtualization@sabredivergeddivergednonenone0.01943nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/cpuid-probe@dbtnot comparedinputs-not-equalizedinputs-not-equalizedcandidatenone: not compared, outside the mean and the floornonenonenonenonenonethe dbt backend refuses --bind and --mount (hermit-cli/src/bin/hermit/run.rs: "its DynamoRIO adapter does not enter the guest mount namespace"), so its guest cannot be given the ptrace cell's input paths
c-programs/cpuid-probe@kvmdivergeddivergednonenone0.1224132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/cpuid-probe@liteinstdivergeddivergednonenone0.0149163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090180265914, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/cwd-roundtrip@kvmdivergeddivergednonenone0.0909132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/cwd-roundtrip@liteinstdivergeddivergednonenone0.0145163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/cwd-roundtrip@sabredivergeddivergednonenone0.01523nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/dup-shared-offset@dbtnot comparedinputs-not-equalizedinputs-not-equalizedcandidatenone: not compared, outside the mean and the floornonenonenonenonenonethe dbt backend refuses --bind and --mount (hermit-cli/src/bin/hermit/run.rs: "its DynamoRIO adapter does not enter the guest mount namespace"), so its guest cannot be given the ptrace cell's input paths
c-programs/dup-shared-offset@kvmdivergeddivergednonenone0.0816132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/dup-shared-offset@liteinstdivergeddivergednonenone0.0142163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3712, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/dup-shared-offset@sabredivergeddivergednonenone0.01363nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/epoll-pwait2@kvmdivergeddivergednonenone0.0968132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/epoll-pwait2@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/epoll-pwait2@sabredivergeddivergednonenone0.01613nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/epoll-readiness@kvmdivergeddivergednonenone0.0984132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/epoll-readiness@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/epoll-readiness@sabredivergeddivergednonenone0.01643nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/event-delivery-ordering@liteinstdivergeddivergednonenone0.0138163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/event-delivery-ordering@sabredivergeddivergednonenone0.01103nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/eventfd-semantics@kvmdivergeddivergednonenone0.0714132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/eventfd-semantics@liteinstdivergeddivergednonenone0.0140163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/eventfd-semantics@sabredivergeddivergednonenone0.01193nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/faccessat2-flags@kvmdivergeddivergednonenone0.0916132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/faccessat2-flags@liteinstdivergeddivergednonenone0.0145163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/faccessat2-flags@sabredivergeddivergednonenone0.01533nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/fadvise-hints@kvmdivergeddivergednonenone0.0976132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/fadvise-hints@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/fadvise-hints@sabredivergeddivergednonenone0.01633nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/fallocate-extents@kvmdivergeddivergednonenone0.0930132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/fallocate-extents@liteinstdivergeddivergednonenone0.0145163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/fallocate-extents@sabredivergeddivergednonenone0.01553nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/fchmod-bits@kvmdivergeddivergednonenone0.0923132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/fchmod-bits@liteinstdivergeddivergednonenone0.0145163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3712, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/fchmod-bits@sabredivergeddivergednonenone0.01543nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/fchmodat2-flags@kvmdivergeddivergednonenone0.0923132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/fchmodat2-flags@liteinstdivergeddivergednonenone0.0145163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/fchmodat2-flags@sabredivergeddivergednonenone0.01543nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/fcntl-owner@kvmdivergeddivergednonenone0.1000132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/fcntl-owner@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/fcntl-owner@sabredivergeddivergednonenone0.01673nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/fd-duplication@dbtnot comparedinputs-not-equalizedinputs-not-equalizedcandidatenone: not compared, outside the mean and the floornonenonenonenonenonethe dbt backend refuses --bind and --mount (hermit-cli/src/bin/hermit/run.rs: "its DynamoRIO adapter does not enter the guest mount namespace"), so its guest cannot be given the ptrace cell's input paths
c-programs/fd-duplication@kvmdivergeddivergednonenone0.0741132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/fd-duplication@liteinstdivergeddivergednonenone0.0140163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/fd-duplication@sabredivergeddivergednonenone0.01233nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/file-backed-mmap@kvmdivergeddivergednonenone0.0909132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/file-backed-mmap@liteinstdivergeddivergednonenone0.0145163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/file-backed-mmap@sabredivergeddivergednonenone0.01523nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/file-io-roundtrip@kvmdivergeddivergednonenone0.0816132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/file-io-roundtrip@liteinstdivergeddivergednonenone0.0142163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/file-io-roundtrip@sabredivergeddivergednonenone0.01363nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/flock-lifecycle@kvmdivergeddivergednonenone0.1000132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/flock-lifecycle@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/flock-lifecycle@sabredivergeddivergednonenone0.01673nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/fork-exec-pipeline@kvmdivergeddivergednonenone0.0352132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/fsync-durability@kvmdivergeddivergednonenone0.0976132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/fsync-durability@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/fsync-durability@sabredivergeddivergednonenone0.01633nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/ftruncate-sparse@kvmdivergeddivergednonenone0.0896132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/ftruncate-sparse@liteinstdivergeddivergednonenone0.0144163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/ftruncate-sparse@sabredivergeddivergednonenone0.01493nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/getcpu-identity@dbtnot comparedinputs-not-equalizedinputs-not-equalizedcandidatenone: not compared, outside the mean and the floornonenonenonenonenonethe dbt backend refuses --bind and --mount (hermit-cli/src/bin/hermit/run.rs: "its DynamoRIO adapter does not enter the guest mount namespace"), so its guest cannot be given the ptrace cell's input paths
c-programs/getcpu-identity@kvmdivergeddivergednonenone0.0984132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/getcpu-identity@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/getcpu-identity@sabredivergeddivergednonenone0.01643nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/getpriority-identity@dbtnot comparedinputs-not-equalizedinputs-not-equalizedcandidatenone: not compared, outside the mean and the floornonenonenonenonenonethe dbt backend refuses --bind and --mount (hermit-cli/src/bin/hermit/run.rs: "its DynamoRIO adapter does not enter the guest mount namespace"), so its guest cannot be given the ptrace cell's input paths
c-programs/getpriority-identity@kvmdivergeddivergednonenone0.1071132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/getpriority-identity@liteinstdivergeddivergednonenone0.0147163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/getpriority-identity@sabredivergeddivergednonenone0.01793nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/getrusage-self-accounting@liteinstunmeasuredcandidate-missingno-result-rowcandidatenone: 0 in the floornonenonenonenonenonethe liteinst candidate verify cell of c-programs/getrusage-self-accounting has no result row in this run
c-programs/hardware-trap-identity@dbtnot comparedinputs-not-equalizedinputs-not-equalizedcandidatenone: not compared, outside the mean and the floornonenonenonenonenonethe dbt backend refuses --bind and --mount (hermit-cli/src/bin/hermit/run.rs: "its DynamoRIO adapter does not enter the guest mount namespace"), so its guest cannot be given the ptrace cell's input paths
c-programs/hardware-trap-identity@liteinstdivergeddivergednonenone0.0124163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/host-identity@dbtnot comparedinputs-not-equalizedinputs-not-equalizedcandidatenone: not compared, outside the mean and the floornonenonenonenonenonethe dbt backend refuses --bind and --mount (hermit-cli/src/bin/hermit/run.rs: "its DynamoRIO adapter does not enter the guest mount namespace"), so its guest cannot be given the ptrace cell's input paths
c-programs/host-identity@liteinstdivergeddivergednonenone0.0147163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/host-identity@sabredivergeddivergednonenone0.01723nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/inline-syscall-sites@kvmdivergeddivergednonenone0.0732132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/inline-syscall-sites@liteinstdivergeddivergednonenone0.0140163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/inline-syscall-sites@sabredivergeddivergednonenone0.01223nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/inotify-watch@liteinstdivergeddivergednonenone0.0148163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/inotify-watch@sabredivergeddivergednonenone0.01833nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/ioctl-fionread@kvmdivergeddivergednonenone0.1008132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/ioctl-fionread@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/ioctl-fionread@sabredivergeddivergednonenone0.01683nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/kcmp-refusal@kvmdivergeddivergednonenone0.1091132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/kcmp-refusal@liteinstdivergeddivergednonenone0.0148163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/kcmp-refusal@sabredivergeddivergednonenone0.01823nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/linkat-flags@kvmdivergeddivergednonenone0.0828132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/linkat-flags@liteinstdivergeddivergednonenone0.0143163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/linkat-flags@sabredivergeddivergednonenone0.01383nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/lseek-positioning@dbtnot comparedinputs-not-equalizedinputs-not-equalizedcandidatenone: not compared, outside the mean and the floornonenonenonenonenonethe dbt backend refuses --bind and --mount (hermit-cli/src/bin/hermit/run.rs: "its DynamoRIO adapter does not enter the guest mount namespace"), so its guest cannot be given the ptrace cell's input paths
c-programs/lseek-positioning@kvmdivergeddivergednonenone0.0845132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/lseek-positioning@liteinstdivergeddivergednonenone0.0143163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3712, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/lseek-positioning@sabredivergeddivergednonenone0.01413nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/mce-kill-refusal@kvmdivergeddivergednonenone0.1176132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/mce-kill-refusal@liteinstdivergeddivergednonenone0.0149163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/mce-kill-refusal@sabredivergeddivergednonenone0.01963nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/membarrier-query@kvmdivergeddivergednonenone0.1154132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/membarrier-query@liteinstdivergeddivergednonenone0.0149163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/membarrier-query@sabredivergeddivergednonenone0.01923nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/memfd-create@kvmdivergeddivergednonenone0.1000132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/memfd-create@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/memfd-create@sabredivergeddivergednonenone0.01673nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/mempolicy-default@kvmdivergeddivergednonenone0.1132132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/mempolicy-default@liteinstdivergeddivergednonenone0.0148163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/mempolicy-default@sabredivergeddivergednonenone0.01893nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/mincore-residency@kvmdivergeddivergednonenone0.1017132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/mincore-residency@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/mincore-residency@sabredivergeddivergednonenone0.01693nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/mixed-inline-and-libc-syscalls@kvmdivergeddivergednonenone0.0822132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/mixed-inline-and-libc-syscalls@liteinstdivergeddivergednonenone0.0143163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/mixed-inline-and-libc-syscalls@sabredivergeddivergednonenone0.01373nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/mkdir-rmdir@kvmdivergeddivergednonenone0.0938132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/mkdir-rmdir@liteinstdivergeddivergednonenone0.0145163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/mkdir-rmdir@sabredivergeddivergednonenone0.01563nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/mknod-special@kvmdivergeddivergednonenone0.0909132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/mknod-special@liteinstdivergeddivergednonenone0.0145163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/mknod-special@sabredivergeddivergednonenone0.01523nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/mmap-layout-pointer-order@kvmdivergeddivergednonenone0.0909132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/mmap-layout-pointer-order@liteinstdivergeddivergednonenone0.0145163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/mmap-layout-pointer-order@sabredivergeddivergednonenone0.01523nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/msync-writeback@kvmdivergeddivergednonenone0.0938132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/msync-writeback@liteinstdivergeddivergednonenone0.0145163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/msync-writeback@sabredivergeddivergednonenone0.01563nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/name-to-handle-refusal@kvmdivergeddivergednonenone0.1176132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/name-to-handle-refusal@liteinstdivergeddivergednonenone0.0149163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/name-to-handle-refusal@sabredivergeddivergednonenone0.01963nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/no-new-privs-refusal@kvmdivergeddivergednonenone0.1154132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/no-new-privs-refusal@liteinstdivergeddivergednonenone0.0149163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/no-new-privs-refusal@sabredivergeddivergednonenone0.01923nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/numa-node-identity@dbtnot comparedinputs-not-equalizedinputs-not-equalizedcandidatenone: not compared, outside the mean and the floornonenonenonenonenonethe dbt backend refuses --bind and --mount (hermit-cli/src/bin/hermit/run.rs: "its DynamoRIO adapter does not enter the guest mount namespace"), so its guest cannot be given the ptrace cell's input paths
c-programs/numa-node-identity@kvmdivergeddivergednonenone0.1091132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/numa-node-identity@liteinstdivergeddivergednonenone0.0148163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/numa-node-identity@sabredivergeddivergednonenone0.01823nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/o-tmpfile-anon@kvmdivergeddivergednonenone0.1008132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/o-tmpfile-anon@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/o-tmpfile-anon@sabredivergeddivergednonenone0.01683nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/openat-flags@kvmdivergeddivergednonenone0.0755132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/openat-flags@liteinstdivergeddivergednonenone0.0141163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/openat-flags@sabredivergeddivergednonenone0.01263nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/openat2-refusal@kvmdivergeddivergednonenone0.1154132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/openat2-refusal@liteinstdivergeddivergednonenone0.0149163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/openat2-refusal@sabredivergeddivergednonenone0.01923nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/path-file-ops@kvmdivergeddivergednonenone0.0857132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/path-file-ops@liteinstdivergeddivergednonenone0.0143163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/path-file-ops@sabredivergeddivergednonenone0.01433nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/personality-domain@liteinstdivergeddivergednonenone0.0148163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3712, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/personality-domain@sabredivergeddivergednonenone0.01853nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/pid-probe@dbtnot comparedinputs-not-equalizedinputs-not-equalizedcandidatenone: not compared, outside the mean and the floornonenonenonenonenonethe dbt backend refuses --bind and --mount (hermit-cli/src/bin/hermit/run.rs: "its DynamoRIO adapter does not enter the guest mount namespace"), so its guest cannot be given the ptrace cell's input paths
c-programs/pid-probe@kvmdivergeddivergednonenone0.1200132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/pid-probe@liteinstdivergeddivergednonenone0.0149163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/pid-probe@sabredivergeddivergednonenone0.02003nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/pidfd-open-self-pair@dbtnot comparedinputs-not-equalizedinputs-not-equalizedcandidatenone: not compared, outside the mean and the floornonenonenonenonenonethe dbt backend refuses --bind and --mount (hermit-cli/src/bin/hermit/run.rs: "its DynamoRIO adapter does not enter the guest mount namespace"), so its guest cannot be given the ptrace cell's input paths
c-programs/pidfd-open-self-pair@kvmdivergeddivergednonenone0.1034132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/pidfd-open-self-pair@liteinstdivergeddivergednonenone0.0147163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/pidfd-open-self-pair@sabredivergeddivergednonenone0.01723nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/pipe-capacity@kvmdivergeddivergednonenone0.1071132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/pipe-capacity@liteinstdivergeddivergednonenone0.0147163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/pipe-capacity@sabredivergeddivergednonenone0.01793nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/pipe-capacity-pin@kvmdivergeddivergednonenone0.1091132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/pipe-capacity-pin@liteinstdivergeddivergednonenone0.0148163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3712, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/pipe-capacity-pin@sabredivergeddivergednonenone0.01823nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/pipe-ipc@kvmdivergeddivergednonenone0.0741132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/pipe-ipc@liteinstdivergeddivergednonenone0.0140163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/pipe2-flags@kvmdivergeddivergednonenone0.0741132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/pipe2-flags@liteinstdivergeddivergednonenone0.0140163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/pipe2-flags@sabredivergeddivergednonenone0.01233nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/poll-readiness@kvmdivergeddivergednonenone0.0870132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/poll-readiness@liteinstdivergeddivergednonenone0.0144163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/poll-readiness@sabredivergeddivergednonenone0.01453nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/prctl-identity@dbtnot comparedinputs-not-equalizedinputs-not-equalizedcandidatenone: not compared, outside the mean and the floornonenonenonenonenonethe dbt backend refuses --bind and --mount (hermit-cli/src/bin/hermit/run.rs: "its DynamoRIO adapter does not enter the guest mount namespace"), so its guest cannot be given the ptrace cell's input paths
c-programs/prctl-identity@kvmdivergeddivergednonenone0.1000132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/prctl-identity@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/prctl-identity@sabredivergeddivergednonenone0.01673nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/prctl-pdeathsig@liteinstdivergeddivergednonenone0.0148163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/prctl-pdeathsig@sabredivergeddivergednonenone0.01823nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/preadv2-flags@kvmdivergeddivergednonenone0.0916132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/preadv2-flags@liteinstdivergeddivergednonenone0.0145163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/preadv2-flags@sabredivergeddivergednonenone0.01533nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/pthread-lifecycle@kvmunmeasuredcandidate-missingno-result-rowcandidatenone: 0 in the floornonenonenonenonenonethe kvm candidate verify cell of c-programs/pthread-lifecycle has no result row in this run
c-programs/pthread-lifecycle@liteinstdivergeddivergednonenone0.0135163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/pthread-lifecycle@sabreunmeasuredcandidate-missingno-result-rowcandidatenone: 0 in the floornonenonenonenonenonethe sabre candidate verify cell of c-programs/pthread-lifecycle has no result row in this run
c-programs/readdir-entries@kvmdivergeddivergednonenone0.0759132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/readdir-entries@liteinstdivergeddivergednonenone0.0141163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/readdir-entries@sabredivergeddivergednonenone0.01273nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/readdir-order-identity@kvmdivergeddivergednonenone0.0009132token 12: `Ok(93824993288192)` vs `Ok(3153920)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824993288192)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(3153920)none
c-programs/readdir-order-identity@liteinstdivergeddivergednonenone0.0010163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/record-lock@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/record-lock@sabredivergeddivergednonenone0.01643nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/rename-ops@kvmdivergeddivergednonenone0.0741132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/rename-ops@liteinstdivergeddivergednonenone0.0140163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/rename-ops@sabredivergeddivergednonenone0.01233nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/renameat2-flags@kvmdivergeddivergednonenone0.0656132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/renameat2-flags@liteinstdivergeddivergednonenone0.0138163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/renameat2-flags@sabredivergeddivergednonenone0.01093nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/rlimit-identity@dbtnot comparedinputs-not-equalizedinputs-not-equalizedcandidatenone: not compared, outside the mean and the floornonenonenonenonenonethe dbt backend refuses --bind and --mount (hermit-cli/src/bin/hermit/run.rs: "its DynamoRIO adapter does not enter the guest mount namespace"), so its guest cannot be given the ptrace cell's input paths
c-programs/rlimit-identity@kvmdivergeddivergednonenone0.1000132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/rlimit-identity@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/rlimit-identity@sabredivergeddivergednonenone0.01673nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/robust-list@kvmdivergeddivergednonenone0.1154132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/robust-list@liteinstdivergeddivergednonenone0.0149163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/robust-list@sabredivergeddivergednonenone0.01923nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/sched-getaffinity-identity@dbtnot comparedinputs-not-equalizedinputs-not-equalizedcandidatenone: not compared, outside the mean and the floornonenonenonenonenonethe dbt backend refuses --bind and --mount (hermit-cli/src/bin/hermit/run.rs: "its DynamoRIO adapter does not enter the guest mount namespace"), so its guest cannot be given the ptrace cell's input paths
c-programs/sched-getaffinity-identity@kvmdivergeddivergednonenone0.1091132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/sched-getaffinity-identity@liteinstdivergeddivergednonenone0.0148163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3712, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/sched-getaffinity-identity@sabredivergeddivergednonenone0.01823nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/seccomp-refusal@kvmdivergeddivergednonenone0.1176132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/seccomp-refusal@liteinstdivergeddivergednonenone0.0149163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/seccomp-refusal@sabredivergeddivergednonenone0.01963nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/sendfile-copy@kvmdivergeddivergednonenone0.0779132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/sendfile-copy@liteinstdivergeddivergednonenone0.0142163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/sendfile-copy@sabredivergeddivergednonenone0.01303nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/set-tid-address@kvmdivergeddivergednonenone0.1132132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/set-tid-address@liteinstdivergeddivergednonenone0.0148163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/set-tid-address@sabredivergeddivergednonenone0.01893nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/short-io-split-identity@kvmdivergeddivergednonenone0.0278132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/short-io-split-identity@liteinstdivergeddivergednonenone0.0112163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/short-io-split-identity@sabredivergeddivergednonenone0.00463nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/shutdown-socketpair@kvmdivergeddivergednonenone0.0968132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/shutdown-socketpair@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/shutdown-socketpair@sabredivergeddivergednonenone0.01613nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/signal-delivery-sequence@liteinstdivergeddivergednonenone0.0079163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/signal-waitstatus-identity@dbtnot comparedinputs-not-equalizedinputs-not-equalizedcandidatenone: not compared, outside the mean and the floornonenonenonenonenonethe dbt backend refuses --bind and --mount (hermit-cli/src/bin/hermit/run.rs: "its DynamoRIO adapter does not enter the guest mount namespace"), so its guest cannot be given the ptrace cell's input paths
c-programs/signal-waitstatus-identity@liteinstdivergeddivergednonenone0.0108163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3715, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/signalfd-create@kvmdivergeddivergednonenone0.1071132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/signalfd-create@liteinstdivergeddivergednonenone0.0147163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/signalfd-create@sabredivergeddivergednonenone0.01793nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/socket-epoll-ordering@kvmdivergeddivergednonenone0.0482132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/socket-epoll-ordering@liteinstdivergeddivergednonenone0.0130163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/socket-epoll-ordering@sabredivergeddivergednonenone0.00803nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/socket-options@kvmdivergeddivergednonenone0.0923132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/socket-options@liteinstdivergeddivergednonenone0.0145163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/socket-options@sabredivergeddivergednonenone0.01543nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/socketpair-flags@kvmdivergeddivergednonenone0.1017132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/socketpair-flags@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/socketpair-flags@sabredivergeddivergednonenone0.01693nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/sockname-unnamed@kvmdivergeddivergednonenone0.1071132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/sockname-unnamed@liteinstdivergeddivergednonenone0.0147163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/sockname-unnamed@sabredivergeddivergednonenone0.01793nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/stat-metadata-identity@kvmdivergeddivergednonenone0.0517132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/stat-metadata-identity@liteinstdivergeddivergednonenone0.0132163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3712, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/stat-metadata-identity@sabredivergeddivergednonenone0.00863nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/statfs-free-determinism@kvmdivergeddivergednonenone0.1111132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/statfs-free-determinism@liteinstdivergeddivergednonenone0.0148163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/statfs-free-determinism@sabredivergeddivergednonenone0.01853nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/static-nolibc-syscall-sites@kvmdivergeddivergednonenone0.84006415token 10: `0x7fffffffec6b,` vs `0x3fffecfb,`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: write(1, 0x7fffffffec6b, 21) = ?INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: write(1, 0x3fffecfb, 21) = ?none
c-programs/statx-metadata@kvmdivergeddivergednonenone0.0984132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/statx-metadata@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3712, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/statx-metadata@sabredivergeddivergednonenone0.01643nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/symlink-ops@kvmdivergeddivergednonenone0.0795132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/symlink-ops@liteinstdivergeddivergednonenone0.0142163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/symlink-ops@sabredivergeddivergednonenone0.01323nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/sync-file-range@kvmdivergeddivergednonenone0.0992132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/sync-file-range@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/sync-file-range@sabredivergeddivergednonenone0.01653nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/sysv-ipc-refusal@kvmdivergeddivergednonenone0.1154132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/sysv-ipc-refusal@liteinstdivergeddivergednonenone0.0149163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/sysv-ipc-refusal@sabredivergeddivergednonenone0.01923nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/thp-disable@kvmdivergeddivergednonenone0.1132132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/thp-disable@liteinstdivergeddivergednonenone0.0148163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/thp-disable@sabredivergeddivergednonenone0.01893nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/umask-mode@kvmdivergeddivergednonenone0.0870132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/umask-mode@liteinstdivergeddivergednonenone0.0144163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/umask-mode@sabredivergeddivergednonenone0.01453nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/uname-identity@kvmdivergeddivergednonenone0.1200132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/uname-identity@liteinstdivergeddivergednonenone0.0149163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/uname-identity@sabredivergeddivergednonenone0.02003nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/utimensat-determinism@kvmno parity (no deterministic golden)unavailablecrashcandidatenone: no parity, outside the mean and the floornonenonenonenonenonethe kvm candidate verify cell of c-programs/utimensat-determinism ended FAIL with result crash-error (no error kind): verify exited with status 125 before producing a terminal comparison
c-programs/utimensat-determinism@liteinstdivergeddivergednonenone0.0146163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/utimensat-determinism@sabredivergeddivergednonenone0.01643nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/vectored-file-io@kvmdivergeddivergednonenone0.0870132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/vectored-file-io@liteinstdivergeddivergednonenone0.0144163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/vectored-file-io@sabredivergeddivergednonenone0.01453nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none
c-programs/vectored-io@kvmdivergeddivergednonenone0.0960132token 12: `Ok(93824992251904)` vs `Ok(2117632)`INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(93824992251904)INFO detcore: DETLOG [syscall][detcore, dtid 3] finish syscall #<NUM>: brk(NULL) = Ok(2117632)none
c-programs/vectored-io@liteinstdivergeddivergednonenone0.0145163token 3: `DETLOG` vs `[dtid`INFO detcore: DETLOG [syscall][detcore, dtid 3] inbound syscall: access(0x7ffff7ff3580 -> "/etc/ld-nix.so.preload", Mode(S_IROTH)) = ?INFO detcore: [dtid 3] inbound rdtsc, new logical time: DetTime { syscalls: 3, syscall_nanos: Some(270000), rcbs: 3713, weighted_rcbs: None, nondet_instrs: 24, extra_nanos: 0, starting_micros: 1791090138687612, multiplier: 1.0, inherited_nanos: LogicalTime(0) }none
c-programs/vectored-io@sabredivergeddivergednonenone0.01603nonetoken 2: `detcore::tool_local:` vs `detcore::random:`INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0INFO detcore::random: DETLOG [post_exec, dtid 3] init auxv AT_RANDOM value to [162, 205, 24, 211, 0, 83, 122, 92, 176, 131, 220, 72, 219, 250, 14, 242]none

pressure-test run pressure-c470fa213ee8-20261003T180650Z

Data as of: last parity record emitted ; Hermit commit c470fa213ee8 measured; parity store at ledger commit 63e9d016016a (scorecard/parity.json, sha256 1a73e98e0187); summary written by Hermit tool commit 33770223b5d2.

parity: not compared: 0 measured of 1 selected (inputs cannot be equalized); selected 1 of 205 committed (partial)

Committed selection: the 205 cell(s) that ci/compat-envelope/parity-cells.json selects at Hermit commit c470fa213ee8. This run reported 1 of them. The 204 with no row: c-programs/aio-refusal@kvm, c-programs/aio-refusal@liteinst, c-programs/append-pwrite@kvm, c-programs/append-pwrite@liteinst, c-programs/bind-getsockname@kvm, c-programs/bind-getsockname@liteinst, c-programs/cachestat-refusal@kvm, c-programs/cachestat-refusal@liteinst, c-programs/child-subreaper-refusal@kvm, c-programs/child-subreaper-refusal@liteinst, c-programs/close-range-fds@kvm, c-programs/close-range-fds@liteinst, c-programs/copy-file-range-refusal@kvm, c-programs/copy-file-range-refusal@liteinst, c-programs/cpu-virtualization@dbt, c-programs/cpu-virtualization@kvm, c-programs/cpu-virtualization@liteinst, c-programs/cpuid-probe@dbt, c-programs/cpuid-probe@kvm, c-programs/cpuid-probe@liteinst, and 184 more (scorecard/parity.json lists every one). It reported no cell outside it.

Mean credit is n/a: no selected cell was measured; floor credit is n/a: no cell is in the floor, which is the 1 selected cell(s) less 0 with no parity (no deterministic golden) and 1 not compared. Unmeasured, record-missing and refused cells count as 0 in the floor. A cell with no parity (no deterministic golden) is outside the mean and the floor: it is never 0 credit and never a failure. The inputs of dbt cannot be equalized with the ptrace reference's, so dbt is not compared and none of its cells enters any mean or floor, per backend or in the total.

Parity of pressure-test run pressure-c470fa213ee8-20261003T180650Z
Candidate backendThe backend whose log is compared with the ptrace reference log, unless its inputs cannot be equalized.SelectedCells this run reported: measured + no parity + not compared + unmeasured + record-missing + refused. The paragraph above the table says which of the committed selection's cells it did not report, and which cells it reported outside it.MeasuredCells whose two logs were compared: matched + diverged. The mean credit's denominator.MatchedCells whose candidate log matched the reference log completely (credit 1).DivergedCells whose logs differ; credit is the matched prefix over the longer log, below 1.No parity (no deterministic golden)Cells whose reference or candidate left no deterministic golden log, so there is nothing to compare; outside the mean and the floor, never 0 credit. The classes are in the table below.Not comparedCells of a backend whose inputs cannot be equalized with the reference's; outside the mean and the floor.UnmeasuredCells that could have been compared but were not; each counts as 0 in the floor. The classes are in the table below.Record-missingSelected cells for which the run wrote no parity record; 0 in the floor.RefusedRecords the scorecard could attribute to this run but not admit; 0 in the floor.Mean credit (over measured)Credit sum over the measured cells; n/a when none was measured.Floor credit (over floor cells)Credit sum over the floor cells; n/a when there are none.Floor cellsThe floor credit's denominator: the selected cells less the no-parity and not-compared ones, and less every cell of a backend whose inputs cannot be equalized.LineThe scorecard's line: each credit with the cells it is over, and how many of the committed selection's cells the run reported.
kvm000000000n/an/a0parity: 0/0 matched; selected 0 of 88 committed (partial); mean n/a over 0 measured; floor n/a over 0 of 0 selected (excluded: 0 no golden; 0 not compared)
liteinst000000000n/an/a0parity: 0/0 matched; selected 0 of 99 committed (partial); mean n/a over 0 measured; floor n/a over 0 of 0 selected (excluded: 0 no golden; 0 not compared)
sabre000000000n/an/a0parity: 0/0 matched; selected 0 of 2 committed (partial); mean n/a over 0 measured; floor n/a over 0 of 0 selected (excluded: 0 no golden; 0 not compared)
dbt100001000n/an/a0parity: not compared: 0 measured of 1 selected (inputs cannot be equalized); selected 1 of 16 committed (partial)
TOTAL100001000n/an/a0parity: not compared: 0 measured of 1 selected (inputs cannot be equalized); selected 1 of 205 committed (partial)

No parity (no deterministic golden): 0 cells.

Not compared (inputs cannot be equalized), outside the mean and the floor: dbt 1; TOTAL 1.

Unmeasured: 0 cells.

No measured cell diverged.

Every cell that is not a full match (1 in all): 0 diverged, 0 no parity (no deterministic golden), 1 not compared, 0 unmeasured, 0 record-missing, 0 refused
Parity cells that are not a full match
CellGroupVerdictClassOperandCreditRecordSyscallDiffering fieldReference (left) messageCandidate (right) messageReason
c-programs/prctl-identity@dbtnot comparedinputs-not-equalizedinputs-not-equalizedcandidatenone: not compared, outside the mean and the floornonenonenonenonenonethe dbt backend refuses --bind and --mount (hermit-cli/src/bin/hermit/run.rs: "its DynamoRIO adapter does not enter the guest mount namespace"), so its guest cannot be given the ptrace cell's input paths

Outside the clean headline: 0 parity rows from a dirty source tree.

Outside the clean headline: 0 parity rows that did not report their source tree state.

33 other parity run(s) in the store
  • validate run validate-buck-re-3-1931c6ccd8f7-1791054320749237313-288493-c38549d2 at Hermit 1931c6ccd8f7: parity: 0/205 matched; committed selection unknown; mean n/a over 0 measured; floor 0.000 over 189 of 205 selected (counted as 0: 189 record-missing or refused; excluded: 0 no golden; 0 not compared; 16 record-missing or refused whose inputs cannot be equalized)
  • validate run validate-buck-re-3-5301e9a2dbb2-1791051975076983128-689340-69dc34f7 at Hermit 5301e9a2dbb2: parity: 0/205 matched; committed selection unknown; mean n/a over 0 measured; floor 0.000 over 189 of 205 selected (counted as 0: 189 record-missing or refused; excluded: 0 no golden; 0 not compared; 16 record-missing or refused whose inputs cannot be equalized)
  • validate run validate-buck-re-3-75bec89e7db9-1791060150360793710-2018425-d3821d9a at Hermit 75bec89e7db9: parity: 0/206 matched; committed selection unknown; mean n/a over 0 measured; floor 0.000 over 190 of 206 selected (counted as 0: 190 record-missing or refused; excluded: 0 no golden; 0 not compared; 16 record-missing or refused whose inputs cannot be equalized)
  • validate run validate-buck-re-3-7831ad1c8931-1791056799838919343-1002648-6b3c5041 at Hermit 7831ad1c8931: parity: 0/205 matched; selected 205 of 205 committed; mean 0.055 over 186 measured; floor 0.055 over 189 of 205 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 0 no golden; 16 not compared)
  • validate run validate-buck-re-3-84821e53edb7-1791041721981051099-2446052-bf662192 at Hermit 84821e53edb7: parity: 0/204 matched; committed selection unknown; mean n/a over 0 measured; floor 0.000 over 188 of 204 selected (counted as 0: 188 record-missing or refused; excluded: 0 no golden; 0 not compared; 16 record-missing or refused whose inputs cannot be equalized)
  • validate run validate-buck-re-3-ccccde5f65d6-1791044441627223683-4139778-3d0a278f at Hermit ccccde5f65d6: parity: 0/204 matched; selected 204 of 204 committed; mean n/a over 0 measured; floor 0.000 over 188 of 204 selected (counted as 0: 188 record-missing or refused; excluded: 0 no golden; 0 not compared; 16 record-missing or refused whose inputs cannot be equalized)
  • validate run validate-buck-re-3-cf2a94ea38d3-1791063611629487524-833061-4b45d912 at Hermit cf2a94ea38d3: parity: 0/206 matched; selected 206 of 206 committed; mean n/a over 0 measured; floor 0.000 over 190 of 206 selected (counted as 0: 190 record-missing or refused; excluded: 0 no golden; 0 not compared; 16 record-missing or refused whose inputs cannot be equalized)
  • validate run validate-buck-re-3-e81ace1c0be7-1791057684904978741-1891131-b31df65f at Hermit e81ace1c0be7: parity: 0/205 matched; committed selection unknown; mean n/a over 0 measured; floor 0.000 over 189 of 205 selected (counted as 0: 189 record-missing or refused; excluded: 0 no golden; 0 not compared; 16 record-missing or refused whose inputs cannot be equalized)
  • validate run validate-claude-2-118f0bfc4553-1791028466715093346-2549334-529fe13e at Hermit 118f0bfc4553: parity: 0/203 matched; selected 203 of 203 committed; mean 0.055 over 184 measured; floor 0.054 over 187 of 203 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 0 no golden; 16 not compared)
  • validate run validate-claude-2-4346217e08d4-1791039676390384316-4107946-e2cf462e at Hermit 4346217e08d4: parity: 0/204 matched; committed selection unknown; mean 0.055 over 185 measured; floor 0.054 over 188 of 204 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 0 no golden; 16 not compared)
  • validate run validate-claude-2-6b5424c1860a-1791037904455844226-3351413-5eebd499 at Hermit 6b5424c1860a: parity: 0/204 matched; selected 204 of 204 committed; mean 0.055 over 185 measured; floor 0.054 over 188 of 204 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 0 no golden; 16 not compared)
  • validate run validate-claude-2-b6ca81b78be8-1791031592862600986-362222-8863246d at Hermit b6ca81b78be8: parity: 0/203 matched; selected 203 of 203 committed; mean 0.055 over 184 measured; floor 0.054 over 187 of 203 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 0 no golden; 16 not compared)
  • validate run validate-claude-2-cfb9d0c86427-1791035312332954244-2326456-5ddbba2a at Hermit cfb9d0c86427: parity: 0/203 matched; selected 203 of 203 committed; mean 0.055 over 184 measured; floor 0.054 over 187 of 203 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 0 no golden; 16 not compared)
  • validate run validate-claude-4-ad4f9cf598a3-1791030814588067897-4023945-e9bb1627 at Hermit ad4f9cf598a3: parity: 0/203 matched; selected 203 of 203 committed; mean 0.055 over 184 measured; floor 0.054 over 187 of 203 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 0 no golden; 16 not compared)
  • validate run validate-claude-4-d53ea6ca1711-1791032694966120621-1230314-61570ac3 at Hermit d53ea6ca1711: parity: 0/203 matched; selected 203 of 203 committed; mean 0.055 over 184 measured; floor 0.054 over 187 of 203 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 0 no golden; 16 not compared)
  • validate run validate-coord-itvfix-57883eff8f3d-1791046213891728858-2276425-f9271a9e at Hermit 57883eff8f3d: parity: 0/204 matched; selected 204 of 204 committed; mean 0.055 over 185 measured; floor 0.054 over 188 of 204 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 0 no golden; 16 not compared)
  • validate run validate-coord-tipval2-c1312a563dc5-20261003T235258Z at Hermit c1312a563dc5: parity: 0/208 matched; selected 208 of 208 committed; mean 0.056 over 188 measured; floor 0.055 over 191 of 208 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 1 no golden: crash 1; 16 not compared)
  • validate run validate-d14-queue-a2b1deecaa21-1791037234447726839-773804-79469e5b at Hermit a2b1deecaa21: parity: 0/203 matched; selected 203 of 203 committed; mean 0.055 over 184 measured; floor 0.054 over 187 of 203 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 0 no golden; 16 not compared)
  • validate run validate-gate-select-9e7dd6e33cf6-1791027490982151389-186043-c4a5cdf6 at Hermit 9e7dd6e33cf6: parity: 0/203 matched; selected 203 of 203 committed; mean 0.055 over 184 measured; floor 0.054 over 187 of 203 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 0 no golden; 16 not compared)
  • validate run validate-hermit-lander-33f1c939a2e4-1791054196460293033-32690-ce1f4789 at Hermit 33f1c939a2e4: parity: 0/205 matched; selected 205 of 205 committed; mean 0.055 over 186 measured; floor 0.055 over 189 of 205 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 0 no golden; 16 not compared)
  • validate run validate-ops-tick-0f028322361f-75248bd48fcd at Hermit 0f028322361f: parity: 0/203 matched; selected 203 of 203 committed; mean 0.055 over 184 measured; floor 0.054 over 187 of 203 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 0 no golden; 16 not compared)
  • validate run validate-ops-tick-0f028322361f-a6fa2a143efd at Hermit 0f028322361f: parity: 0/203 matched; selected 203 of 203 committed; mean 0.055 over 184 measured; floor 0.054 over 187 of 203 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 0 no golden; 16 not compared)
  • validate run validate-ops-tick-20077ee5b19f-63f1efea5c13 at Hermit 20077ee5b19f: parity: 0/205 matched; selected 205 of 205 committed; mean 0.055 over 186 measured; floor 0.055 over 189 of 205 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 0 no golden; 16 not compared)
  • validate run validate-ops-tick-33770223b5d2-11a841f749a1 at Hermit 33770223b5d2: parity: 0/297 matched; selected 297 of 297 committed; mean 0.043 over 277 measured; floor 0.043 over 280 of 297 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 1 no golden: crash 1; 16 not compared)
  • validate run validate-ops-tick-4b1894e81cfb-18e5730802ad at Hermit 4b1894e81cfb: parity: 0/297 matched; selected 297 of 297 committed; mean 0.043 over 277 measured; floor 0.043 over 280 of 297 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 1 no golden: crash 1; 16 not compared)
  • validate run validate-ops-tick-4b1894e81cfb-19db240fdcc8 at Hermit 4b1894e81cfb: parity: 0/297 matched; selected 297 of 297 committed; mean 0.043 over 277 measured; floor 0.043 over 280 of 297 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 1 no golden: crash 1; 16 not compared)
  • validate run validate-ops-tick-9d6c1f214242-545b42c1e906 at Hermit 9d6c1f214242: parity: 0/297 matched; selected 297 of 297 committed; mean 0.043 over 277 measured; floor 0.043 over 279 of 297 selected (counted as 0: 2 unmeasured: no-result-row 2; excluded: 2 no golden: crash 1, ended 1; 16 not compared)
  • validate run validate-ops-tick-9d6c1f214242-df156e1dcf8c at Hermit 9d6c1f214242: parity: 0/297 matched; selected 297 of 297 committed; mean 0.043 over 277 measured; floor 0.043 over 280 of 297 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 1 no golden: crash 1; 16 not compared)
  • validate run validate-ops-tick-a015bbb6029b-c266b0f86c0b at Hermit a015bbb6029b: parity: 0/206 matched; selected 206 of 206 committed; mean 0.056 over 187 measured; floor 0.055 over 190 of 206 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 0 no golden; 16 not compared)
  • validate run validate-ops-tick-a2b1deecaa21-3af8d38d7b78 at Hermit a2b1deecaa21: parity: 0/203 matched; selected 203 of 203 committed; mean 0.055 over 184 measured; floor 0.054 over 186 of 203 selected (counted as 0: 2 unmeasured: no-result-row 2; excluded: 1 no golden: ended 1; 16 not compared)
  • validate run validate-ops-tick-a8ee9d5a5733-08a2e5aca2da at Hermit a8ee9d5a5733: parity: 0/206 matched; selected 206 of 206 committed; mean 0.056 over 187 measured; floor 0.055 over 190 of 206 selected (counted as 0: 3 unmeasured: no-result-row 3; excluded: 0 no golden; 16 not compared)
  • validate run validate-ops-tick-a8ee9d5a5733-a07460befccd at Hermit a8ee9d5a5733: parity: 0/206 matched; selected 206 of 206 committed; mean 0.056 over 187 measured; floor 0.055 over 189 of 206 selected (counted as 0: 2 unmeasured: no-result-row 2; excluded: 1 no golden: ended 1; 16 not compared)
  • validate run validate-ops-tick-e02d9f8368a3-03a15e241a7e at Hermit e02d9f8368a3: parity: 0/205 matched; selected 205 of 205 committed; mean 0.055 over 186 measured; floor 0.055 over 188 of 205 selected (counted as 0: 2 unmeasured: no-result-row 2; excluded: 1 no golden: ended 1; 16 not compared)
legacy-rerun history: the retired ptrace rerun, never part of the parity above

legacy-rerun (retired ptrace rerun on 173 cell(s), last at 5ee668223a15): 0 matched / 173 diverged

legacy-rerun entries
Celllegacy-rerun verdictCompared recordsFirst divergent recordHermit commitCurrent parity verdict
c-programs/aio-refusal@kvmdiverged107135ee668223a15diverged
c-programs/aio-refusal@liteinstdiverged107165ee668223a15diverged
c-programs/append-pwrite@kvmdiverged144135ee668223a15diverged
c-programs/append-pwrite@liteinstdiverged152165ee668223a15diverged
c-programs/bind-getsockname@kvmdiverged110135ee668223a15diverged
c-programs/bind-getsockname@liteinstdiverged110165ee668223a15diverged
c-programs/cachestat-refusal@kvmdiverged124135ee668223a15diverged
c-programs/cachestat-refusal@liteinstdiverged132165ee668223a15diverged
c-programs/child-subreaper-refusal@kvmdiverged103135ee668223a15diverged
c-programs/child-subreaper-refusal@liteinstdiverged103165ee668223a15diverged
c-programs/close-range-fds@kvmdiverged137135ee668223a15diverged
c-programs/close-range-fds@liteinstdiverged145165ee668223a15diverged
c-programs/copy-file-range-refusal@kvmdiverged139135ee668223a15diverged
c-programs/copy-file-range-refusal@liteinstdiverged143165ee668223a15diverged
c-programs/cpu-virtualization@kvmdiverged104135ee668223a15diverged
c-programs/cpu-virtualization@liteinstdiverged104165ee668223a15diverged
c-programs/cwd-roundtrip@kvmdiverged133135ee668223a15diverged
c-programs/cwd-roundtrip@liteinstdiverged141165ee668223a15diverged
c-programs/dup-shared-offset@kvmdiverged148135ee668223a15diverged
c-programs/dup-shared-offset@liteinstdiverged156165ee668223a15diverged
c-programs/epoll-pwait2@liteinstdiverged125165ee668223a15diverged
c-programs/epoll-readiness@kvmdiverged123135ee668223a15diverged
c-programs/epoll-readiness@liteinstdiverged123165ee668223a15diverged
c-programs/event-delivery-ordering@liteinstdiverged190165ee668223a15diverged
c-programs/eventfd-semantics@kvmdiverged169135ee668223a15diverged
c-programs/eventfd-semantics@liteinstdiverged169165ee668223a15diverged
c-programs/faccessat2-flags@kvmdiverged132135ee668223a15diverged
c-programs/faccessat2-flags@liteinstdiverged140165ee668223a15diverged
c-programs/fadvise-hints@kvmdiverged124135ee668223a15diverged
c-programs/fadvise-hints@liteinstdiverged132165ee668223a15diverged
c-programs/fallocate-extents@kvmdiverged130135ee668223a15diverged
c-programs/fallocate-extents@liteinstdiverged138165ee668223a15diverged
c-programs/fchmod-bits@kvmdiverged131135ee668223a15diverged
c-programs/fchmod-bits@liteinstdiverged139165ee668223a15diverged
c-programs/fchmodat2-flags@liteinstdiverged139165ee668223a15diverged
c-programs/fcntl-owner@liteinstdiverged121165ee668223a15diverged
c-programs/fd-duplication@kvmdiverged163135ee668223a15diverged
c-programs/fd-duplication@liteinstdiverged171165ee668223a15diverged
c-programs/file-backed-mmap@kvmdiverged133135ee668223a15diverged
c-programs/file-backed-mmap@liteinstdiverged141165ee668223a15diverged
c-programs/file-io-roundtrip@kvmdiverged148135ee668223a15diverged
c-programs/file-io-roundtrip@liteinstdiverged148165ee668223a15diverged
c-programs/flock-lifecycle@kvmdiverged121135ee668223a15diverged
c-programs/flock-lifecycle@liteinstdiverged129165ee668223a15diverged
c-programs/fork-exec-pipeline@kvmdiverged337135ee668223a15diverged
c-programs/fsync-durability@liteinstdiverged132165ee668223a15diverged
c-programs/ftruncate-sparse@kvmdiverged135135ee668223a15diverged
c-programs/ftruncate-sparse@liteinstdiverged143165ee668223a15diverged
c-programs/getcpu-identity@kvmdiverged123135ee668223a15diverged
c-programs/getcpu-identity@liteinstdiverged123165ee668223a15diverged
c-programs/getpriority-identity@kvmdiverged113135ee668223a15diverged
c-programs/getpriority-identity@liteinstdiverged113165ee668223a15diverged
c-programs/hardware-trap-identity@liteinstdiverged312165ee668223a15diverged
c-programs/host-identity@liteinstdiverged117165ee668223a15diverged
c-programs/inline-syscall-sites@kvmdiverged165135ee668223a15diverged
c-programs/inline-syscall-sites@liteinstdiverged165165ee668223a15diverged
c-programs/inotify-watch@liteinstdiverged110165ee668223a15diverged
c-programs/ioctl-fionread@liteinstdiverged120165ee668223a15diverged
c-programs/kcmp-refusal@kvmdiverged111135ee668223a15diverged
c-programs/kcmp-refusal@liteinstdiverged111165ee668223a15diverged
c-programs/linkat-flags@kvmdiverged146135ee668223a15diverged
c-programs/linkat-flags@liteinstdiverged154165ee668223a15diverged
c-programs/lseek-positioning@kvmdiverged143135ee668223a15diverged
c-programs/lseek-positioning@liteinstdiverged151165ee668223a15diverged
c-programs/mce-kill-refusal@kvmdiverged103135ee668223a15diverged
c-programs/mce-kill-refusal@liteinstdiverged103165ee668223a15diverged
c-programs/membarrier-query@kvmdiverged105135ee668223a15diverged
c-programs/membarrier-query@liteinstdiverged105165ee668223a15diverged
c-programs/memfd-create@kvmdiverged121135ee668223a15diverged
c-programs/memfd-create@liteinstdiverged121165ee668223a15diverged
c-programs/mempolicy-default@kvmdiverged107135ee668223a15diverged
c-programs/mempolicy-default@liteinstdiverged107165ee668223a15diverged
c-programs/mincore-residency@kvmdiverged119135ee668223a15diverged
c-programs/mincore-residency@liteinstdiverged119165ee668223a15diverged
c-programs/mixed-inline-and-libc-syscalls@kvmdiverged147135ee668223a15diverged
c-programs/mixed-inline-and-libc-syscalls@liteinstdiverged147165ee668223a15diverged
c-programs/mkdir-rmdir@kvmdiverged129135ee668223a15diverged
c-programs/mkdir-rmdir@liteinstdiverged137165ee668223a15diverged
c-programs/mknod-special@kvmdiverged133135ee668223a15diverged
c-programs/mknod-special@liteinstdiverged141165ee668223a15diverged
c-programs/mmap-layout-pointer-order@kvmdiverged133135ee668223a15diverged
c-programs/mmap-layout-pointer-order@liteinstdiverged141165ee668223a15diverged
c-programs/msync-writeback@liteinstdiverged137165ee668223a15diverged
c-programs/name-to-handle-refusal@kvmdiverged103135ee668223a15diverged
c-programs/name-to-handle-refusal@liteinstdiverged103165ee668223a15diverged
c-programs/no-new-privs-refusal@kvmdiverged105135ee668223a15diverged
c-programs/no-new-privs-refusal@liteinstdiverged105165ee668223a15diverged
c-programs/numa-node-identity@kvmdiverged111135ee668223a15diverged
c-programs/numa-node-identity@liteinstdiverged111165ee668223a15diverged
c-programs/o-tmpfile-anon@kvmdiverged120135ee668223a15diverged
c-programs/o-tmpfile-anon@liteinstdiverged120165ee668223a15diverged
c-programs/openat-flags@kvmdiverged160135ee668223a15diverged
c-programs/openat-flags@liteinstdiverged168165ee668223a15diverged
c-programs/openat2-refusal@kvmdiverged105135ee668223a15diverged
c-programs/openat2-refusal@liteinstdiverged105165ee668223a15diverged
c-programs/path-file-ops@kvmdiverged141135ee668223a15diverged
c-programs/path-file-ops@liteinstdiverged149165ee668223a15diverged
c-programs/personality-domain@liteinstdiverged109165ee668223a15diverged
c-programs/pid-probe@kvmdiverged101135ee668223a15diverged
c-programs/pid-probe@liteinstdiverged101165ee668223a15diverged
c-programs/pid-probe@sabrediverged3235ee668223a15diverged
c-programs/pidfd-open-self-pair@kvmdiverged117135ee668223a15diverged
c-programs/pidfd-open-self-pair@liteinstdiverged117165ee668223a15diverged
c-programs/pipe-capacity-pin@kvmdiverged111135ee668223a15diverged
c-programs/pipe-capacity-pin@liteinstdiverged111165ee668223a15diverged
c-programs/pipe-capacity@kvmdiverged113135ee668223a15diverged
c-programs/pipe-capacity@liteinstdiverged113165ee668223a15diverged
c-programs/pipe-ipc@kvmdiverged158135ee668223a15diverged
c-programs/pipe-ipc@liteinstdiverged164165ee668223a15diverged
c-programs/pipe2-flags@kvmdiverged163135ee668223a15diverged
c-programs/pipe2-flags@liteinstdiverged163165ee668223a15diverged
c-programs/poll-readiness@liteinstdiverged139165ee668223a15diverged
c-programs/prctl-identity@liteinstdiverged121165ee668223a15diverged
c-programs/prctl-pdeathsig@liteinstdiverged111165ee668223a15diverged
c-programs/preadv2-flags@liteinstdiverged140165ee668223a15diverged
c-programs/pthread-lifecycle@liteinstdiverged214165ee668223a15diverged
c-programs/readdir-entries@kvmdiverged159135ee668223a15diverged
c-programs/readdir-entries@liteinstdiverged167165ee668223a15diverged
c-programs/readdir-order-identity@kvmdiverged13,669135ee668223a15diverged
c-programs/readdir-order-identity@liteinstdiverged13,677165ee668223a15diverged
c-programs/record-lock@liteinstdiverged131165ee668223a15diverged
c-programs/rename-ops@kvmdiverged163135ee668223a15diverged
c-programs/rename-ops@liteinstdiverged171165ee668223a15diverged
c-programs/renameat2-flags@kvmdiverged184135ee668223a15diverged
c-programs/renameat2-flags@liteinstdiverged192165ee668223a15diverged
c-programs/rlimit-identity@kvmdiverged121135ee668223a15diverged
c-programs/rlimit-identity@liteinstdiverged121165ee668223a15diverged
c-programs/robust-list@kvmdiverged105135ee668223a15diverged
c-programs/robust-list@liteinstdiverged105165ee668223a15diverged
c-programs/sched-getaffinity-identity@kvmdiverged111135ee668223a15diverged
c-programs/sched-getaffinity-identity@liteinstdiverged111165ee668223a15diverged
c-programs/seccomp-refusal@kvmdiverged103135ee668223a15diverged
c-programs/seccomp-refusal@liteinstdiverged103165ee668223a15diverged
c-programs/sendfile-copy@kvmdiverged155135ee668223a15diverged
c-programs/sendfile-copy@liteinstdiverged159165ee668223a15diverged
c-programs/set-tid-address@kvmdiverged107135ee668223a15diverged
c-programs/set-tid-address@liteinstdiverged107165ee668223a15diverged
c-programs/short-io-split-identity@kvmdiverged431135ee668223a15diverged
c-programs/short-io-split-identity@liteinstdiverged435165ee668223a15diverged
c-programs/shutdown-socketpair@kvmdiverged125135ee668223a15diverged
c-programs/shutdown-socketpair@liteinstdiverged125165ee668223a15diverged
c-programs/signal-delivery-sequence@liteinstdiverged997165ee668223a15diverged
c-programs/signal-waitstatus-identity@liteinstdiverged386165ee668223a15diverged
c-programs/signalfd-create@kvmdiverged113135ee668223a15diverged
c-programs/signalfd-create@liteinstdiverged113165ee668223a15diverged
c-programs/socket-epoll-ordering@kvmdiverged250135ee668223a15diverged
c-programs/socket-epoll-ordering@liteinstdiverged250165ee668223a15diverged
c-programs/socket-options@liteinstdiverged131165ee668223a15diverged
c-programs/socketpair-flags@liteinstdiverged119165ee668223a15diverged
c-programs/sockname-unnamed@liteinstdiverged113165ee668223a15diverged
c-programs/stat-metadata-identity@kvmdiverged233135ee668223a15diverged
c-programs/stat-metadata-identity@liteinstdiverged233165ee668223a15diverged
c-programs/statfs-free-determinism@kvmdiverged109135ee668223a15diverged
c-programs/statfs-free-determinism@liteinstdiverged109165ee668223a15diverged
c-programs/static-nolibc-syscall-sites@kvmdiverged76645ee668223a15diverged
c-programs/statx-metadata@kvmdiverged123135ee668223a15diverged
c-programs/statx-metadata@liteinstdiverged131165ee668223a15diverged
c-programs/symlink-ops@kvmdiverged152135ee668223a15diverged
c-programs/symlink-ops@liteinstdiverged160165ee668223a15diverged
c-programs/sync-file-range@kvmdiverged122135ee668223a15diverged
c-programs/sync-file-range@liteinstdiverged130165ee668223a15diverged
c-programs/sysv-ipc-refusal@kvmdiverged105135ee668223a15diverged
c-programs/sysv-ipc-refusal@liteinstdiverged105165ee668223a15diverged
c-programs/thp-disable@liteinstdiverged107165ee668223a15diverged
c-programs/umask-mode@kvmdiverged139135ee668223a15diverged
c-programs/umask-mode@liteinstdiverged147165ee668223a15diverged
c-programs/uname-identity@kvmdiverged101135ee668223a15diverged
c-programs/uname-identity@liteinstdiverged101165ee668223a15diverged
c-programs/utimensat-determinism@kvmdiverged123135ee668223a15unavailable
c-programs/utimensat-determinism@liteinstdiverged131165ee668223a15diverged
c-programs/vectored-file-io@liteinstdiverged147165ee668223a15diverged
c-programs/vectored-io@kvmdiverged126135ee668223a15diverged
c-programs/vectored-io@liteinstdiverged126165ee668223a15diverged

Legacy observations dropped rather than shown as verdicts: no-retained-comparison: 4,322 row(s) for 173 cell(s).

173 historical cross-backend parity failure(s) are kept in data/runs.json.gz and are not counted in the parity above. The retired ptrace rerun recorded them in these runs: Run 1,897; Run 229; Run 238; Run 239. They are 173 distinct cell(s) (kvm 75; liteinst 97; sabre 1) in which the candidate backend's log and the ptrace reference's log each matched its own repeat and the two logs diverged. Each is a parity failure, not a cell without parity. The legacy section above shows the same retired rerun as the ledger's parity summary keeps it, so its counts can differ from these; see https://github.com/rrnewton/hermit/issues/3301.

Backend history

Latest recorded state at each UTC date for the current catalogue and current main ancestry, within that date’s recorded ptrace-result population. Percentages and counts can fall after regressions. Steps carry recorded state; they are not interpolated measurements. Gaps mean no supported comparison evidence, including legacy periods. The lines are determinism; parity is shown only in Parity (measured after determinism).

Use the chart: Hover over or focus a point to see its exact date and percentage. Clear or select a checkbox under Visible lines to hide or show that series.

Green percentage100%0%2026-08-302026-10-04 UTCdbt determinism, 2026-10-03: 4.6% (26 / 563 recorded ptrace-result cells)dbt determinism, 2026-10-04: 4.6% (26 / 563 recorded ptrace-result cells)kvm determinism, 2026-08-31: 0.6% (2 / 355 recorded ptrace-result cells)kvm determinism, 2026-09-01: 0.6% (2 / 355 recorded ptrace-result cells)kvm determinism, 2026-09-02: 0.6% (2 / 355 recorded ptrace-result cells)kvm determinism, 2026-09-03: 0.6% (2 / 355 recorded ptrace-result cells)kvm determinism, 2026-09-04: 0.6% (2 / 355 recorded ptrace-result cells)kvm determinism, 2026-09-05: 53.2% (189 / 355 recorded ptrace-result cells)kvm determinism, 2026-09-06: 53.2% (189 / 355 recorded ptrace-result cells)kvm determinism, 2026-09-08: 61.7% (219 / 355 recorded ptrace-result cells)kvm determinism, 2026-09-09: 61.7% (219 / 355 recorded ptrace-result cells)kvm determinism, 2026-09-11: 62.0% (220 / 355 recorded ptrace-result cells)kvm determinism, 2026-09-12: 61.8% (220 / 356 recorded ptrace-result cells)kvm determinism, 2026-09-16: 61.8% (220 / 356 recorded ptrace-result cells)kvm determinism, 2026-09-22: 67.5% (241 / 357 recorded ptrace-result cells)kvm determinism, 2026-09-28: 67.4% (242 / 359 recorded ptrace-result cells)kvm determinism, 2026-09-29: 65.2% (242 / 371 recorded ptrace-result cells)kvm determinism, 2026-09-30: 65.2% (242 / 371 recorded ptrace-result cells)kvm determinism, 2026-10-02: 65.2% (242 / 371 recorded ptrace-result cells)kvm determinism, 2026-10-03: 45.1% (254 / 563 recorded ptrace-result cells)kvm determinism, 2026-10-04: 45.5% (256 / 563 recorded ptrace-result cells)liteinst determinism, 2026-08-31: 7.9% (28 / 355 recorded ptrace-result cells)liteinst determinism, 2026-09-01: 7.9% (28 / 355 recorded ptrace-result cells)liteinst determinism, 2026-09-02: 7.9% (28 / 355 recorded ptrace-result cells)liteinst determinism, 2026-09-03: 7.9% (28 / 355 recorded ptrace-result cells)liteinst determinism, 2026-09-04: 7.9% (28 / 355 recorded ptrace-result cells)liteinst determinism, 2026-09-05: 7.9% (28 / 355 recorded ptrace-result cells)liteinst determinism, 2026-09-06: 7.9% (28 / 355 recorded ptrace-result cells)liteinst determinism, 2026-09-08: 7.9% (28 / 355 recorded ptrace-result cells)liteinst determinism, 2026-09-09: 7.9% (28 / 355 recorded ptrace-result cells)liteinst determinism, 2026-09-11: 7.9% (28 / 355 recorded ptrace-result cells)liteinst determinism, 2026-09-12: 7.9% (28 / 356 recorded ptrace-result cells)liteinst determinism, 2026-09-16: 7.9% (28 / 356 recorded ptrace-result cells)liteinst determinism, 2026-09-22: 40.9% (146 / 357 recorded ptrace-result cells)liteinst determinism, 2026-09-28: 40.7% (146 / 359 recorded ptrace-result cells)liteinst determinism, 2026-09-29: 39.4% (146 / 371 recorded ptrace-result cells)liteinst determinism, 2026-09-30: 39.4% (146 / 371 recorded ptrace-result cells)liteinst determinism, 2026-10-02: 39.4% (146 / 371 recorded ptrace-result cells)liteinst determinism, 2026-10-03: 25.9% (146 / 563 recorded ptrace-result cells)liteinst determinism, 2026-10-04: 25.9% (146 / 563 recorded ptrace-result cells)ptrace determinism, 2026-08-31: 96.9% (344 / 355 recorded ptrace-result cells)ptrace determinism, 2026-09-01: 96.9% (344 / 355 recorded ptrace-result cells)ptrace determinism, 2026-09-02: 96.9% (344 / 355 recorded ptrace-result cells)ptrace determinism, 2026-09-03: 96.9% (344 / 355 recorded ptrace-result cells)ptrace determinism, 2026-09-04: 96.9% (344 / 355 recorded ptrace-result cells)ptrace determinism, 2026-09-05: 96.9% (344 / 355 recorded ptrace-result cells)ptrace determinism, 2026-09-06: 96.9% (344 / 355 recorded ptrace-result cells)ptrace determinism, 2026-09-08: 96.6% (343 / 355 recorded ptrace-result cells)ptrace determinism, 2026-09-09: 96.6% (343 / 355 recorded ptrace-result cells)ptrace determinism, 2026-09-11: 96.9% (344 / 355 recorded ptrace-result cells)ptrace determinism, 2026-09-12: 96.6% (344 / 356 recorded ptrace-result cells)ptrace determinism, 2026-09-16: 96.6% (344 / 356 recorded ptrace-result cells)ptrace determinism, 2026-09-22: 96.9% (346 / 357 recorded ptrace-result cells)ptrace determinism, 2026-09-28: 98.3% (353 / 359 recorded ptrace-result cells)ptrace determinism, 2026-09-29: 98.4% (365 / 371 recorded ptrace-result cells)ptrace determinism, 2026-09-30: 98.7% (366 / 371 recorded ptrace-result cells)ptrace determinism, 2026-10-02: 98.7% (366 / 371 recorded ptrace-result cells)ptrace determinism, 2026-10-03: 65.5% (369 / 563 recorded ptrace-result cells)ptrace determinism, 2026-10-04: 65.5% (369 / 563 recorded ptrace-result cells)sabre determinism, 2026-08-31: 31.3% (111 / 355 recorded ptrace-result cells)sabre determinism, 2026-09-01: 31.3% (111 / 355 recorded ptrace-result cells)sabre determinism, 2026-09-02: 31.3% (111 / 355 recorded ptrace-result cells)sabre determinism, 2026-09-03: 31.3% (111 / 355 recorded ptrace-result cells)sabre determinism, 2026-09-04: 31.3% (111 / 355 recorded ptrace-result cells)sabre determinism, 2026-09-05: 31.3% (111 / 355 recorded ptrace-result cells)sabre determinism, 2026-09-06: 31.3% (111 / 355 recorded ptrace-result cells)sabre determinism, 2026-09-08: 31.3% (111 / 355 recorded ptrace-result cells)sabre determinism, 2026-09-09: 31.3% (111 / 355 recorded ptrace-result cells)sabre determinism, 2026-09-11: 31.3% (111 / 355 recorded ptrace-result cells)sabre determinism, 2026-09-12: 31.2% (111 / 356 recorded ptrace-result cells)sabre determinism, 2026-09-16: 31.2% (111 / 356 recorded ptrace-result cells)sabre determinism, 2026-09-22: 31.4% (112 / 357 recorded ptrace-result cells)sabre determinism, 2026-09-28: 31.2% (112 / 359 recorded ptrace-result cells)sabre determinism, 2026-09-29: 30.2% (112 / 371 recorded ptrace-result cells)sabre determinism, 2026-09-30: 30.2% (112 / 371 recorded ptrace-result cells)sabre determinism, 2026-10-02: 30.2% (112 / 371 recorded ptrace-result cells)sabre determinism, 2026-10-03: 19.9% (112 / 563 recorded ptrace-result cells)sabre determinism, 2026-10-04: 42.6% (240 / 563 recorded ptrace-result cells)
Visible lines
Hover over or focus a point to see its exact date and percentage.

Ledger anchor: 63e9d016016aa9e05abcdf0edcf14bf8f0ca93d1. Latest recorded date: 2026-10-04. Machine-readable history and source provenance.

Recorded values by date
Date (UTC)BackendDeterminism greenDeterminism percentagePtrace reference
2026-08-30dbtNot availableNot available113
2026-08-30kvmNot availableNot available113
2026-08-30liteinstNot availableNot available113
2026-08-30ptraceNot availableNot available113
2026-08-30sabreNot availableNot available113
2026-08-31ptrace34496.9%355
2026-08-31sabre11131.3%355
2026-08-31liteinst287.9%355
2026-08-31kvm20.6%355
2026-08-31dbtNot availableNot available355
2026-09-01ptrace34496.9%355
2026-09-01sabre11131.3%355
2026-09-01liteinst287.9%355
2026-09-01kvm20.6%355
2026-09-01dbtNot availableNot available355
2026-09-02ptrace34496.9%355
2026-09-02sabre11131.3%355
2026-09-02liteinst287.9%355
2026-09-02kvm20.6%355
2026-09-02dbtNot availableNot available355
2026-09-03ptrace34496.9%355
2026-09-03sabre11131.3%355
2026-09-03liteinst287.9%355
2026-09-03kvm20.6%355
2026-09-03dbtNot availableNot available355
2026-09-04ptrace34496.9%355
2026-09-04sabre11131.3%355
2026-09-04liteinst287.9%355
2026-09-04kvm20.6%355
2026-09-04dbtNot availableNot available355
2026-09-05ptrace34496.9%355
2026-09-05kvm18953.2%355
2026-09-05sabre11131.3%355
2026-09-05liteinst287.9%355
2026-09-05dbtNot availableNot available355
2026-09-06ptrace34496.9%355
2026-09-06kvm18953.2%355
2026-09-06sabre11131.3%355
2026-09-06liteinst287.9%355
2026-09-06dbtNot availableNot available355
2026-09-08ptrace34396.6%355
2026-09-08kvm21961.7%355
2026-09-08sabre11131.3%355
2026-09-08liteinst287.9%355
2026-09-08dbtNot availableNot available355
2026-09-09ptrace34396.6%355
2026-09-09kvm21961.7%355
2026-09-09sabre11131.3%355
2026-09-09liteinst287.9%355
2026-09-09dbtNot availableNot available355
2026-09-11ptrace34496.9%355
2026-09-11kvm22062.0%355
2026-09-11sabre11131.3%355
2026-09-11liteinst287.9%355
2026-09-11dbtNot availableNot available355
2026-09-12ptrace34496.6%356
2026-09-12kvm22061.8%356
2026-09-12sabre11131.2%356
2026-09-12liteinst287.9%356
2026-09-12dbtNot availableNot available356
2026-09-16ptrace34496.6%356
2026-09-16kvm22061.8%356
2026-09-16sabre11131.2%356
2026-09-16liteinst287.9%356
2026-09-16dbtNot availableNot available356
2026-09-22ptrace34696.9%357
2026-09-22kvm24167.5%357
2026-09-22liteinst14640.9%357
2026-09-22sabre11231.4%357
2026-09-22dbtNot availableNot available357
2026-09-28ptrace35398.3%359
2026-09-28kvm24267.4%359
2026-09-28liteinst14640.7%359
2026-09-28sabre11231.2%359
2026-09-28dbtNot availableNot available359
2026-09-29ptrace36598.4%371
2026-09-29kvm24265.2%371
2026-09-29liteinst14639.4%371
2026-09-29sabre11230.2%371
2026-09-29dbtNot availableNot available371
2026-09-30ptrace36698.7%371
2026-09-30kvm24265.2%371
2026-09-30liteinst14639.4%371
2026-09-30sabre11230.2%371
2026-09-30dbtNot availableNot available371
2026-10-02ptrace36698.7%371
2026-10-02kvm24265.2%371
2026-10-02liteinst14639.4%371
2026-10-02sabre11230.2%371
2026-10-02dbtNot availableNot available371
2026-10-03ptrace36965.5%563
2026-10-03kvm25445.1%563
2026-10-03liteinst14625.9%563
2026-10-03sabre11219.9%563
2026-10-03dbt264.6%563
2026-10-04ptrace36965.5%563
2026-10-04kvm25645.5%563
2026-10-04sabre24042.6%563
2026-10-04liteinst14625.9%563
2026-10-04dbt264.6%563

69,594 admitted canonical series rows representing 76,443 Hermit runs. 156 admitted validation ledger rows. 179,420 excluded physical series rows representing 180,954 Hermit runs. 5 custom commands selected by full. The captured input contained 249,014 physical series rows representing 257,397 Hermit runs.

Tests

applications

c-toolchain-workflow, example-timed-progress-bar, git-repository-workflow, kvm-python-examples, kvm-shell-environment, timed-progress-bar

bin-c

posix-timer-test, robust-futex-test

c-programs

acct-refusal-probe, add-key-enosys, adjtimex-deterministic, aio-refusal, append-pwrite, arch-prctl-determinism, bind-getsockname, bpf-enosys, cachestat-enosys, cachestat-refusal, child-subreaper-refusal, clock-adjtime-deterministic, clone, close-range-fds, copy-file-range-refusal, copy-file-range-refusal-probe, cpu-virtualization, cpuid-probe, cwd-roundtrip, dbt-copied-tiocgpgrp, dbt-exec-failure, dbt-execveat-unsupported, dbt-mmap-exec, dbt-pid-virtualization, dbt-prlimit-self, dbt-self-sigqueue, dbt-unsupported-syscall, dbt-wait-accounting, dbt-wait-lifecycle, dup-shared-offset, environment-and-workdir, epoll-determinism, epoll-pwait2, epoll-readiness, event-delivery-ordering, eventfd-semantics, faccessat2-flags, fadvise-hints, fallocate-extents, fchmod-bits, fchmodat2-flags, fcntl-owner, fd-duplication, file-backed-mmap, file-io-roundtrip, flock-lifecycle, fork-exec-pipeline, fp-reduction-nondeterminism, fsync-durability, ftruncate-sparse, futex-requeue-enosys, futex-waitv-enosys, futex-wake-enosys, get-robust-list-child, get-robust-list-self, get-robust-list-thread, getcpu, getcpu-identity, getitimer-determinism-probe, getpriority-identity, getrusage-self-accounting, getsockopt-null, hardware-trap-identity, hello-alarm, hello-nostdlib, hello-signals, host-identity, inline-syscall-sites, inotify-watch, io-uring-fallback, io-uring-ring-determinism, ioctl-fioclex, ioctl-fionread, ioctl-siocethtool, ipc-determinism, just-spin, kcmp-eperm, kcmp-refusal, keyctl-enosys, keyctl-passthrough, linkat-flags, listmount-enosys, liteinst-advanced, lseek-positioning, lsm-get-self-attr-enosys, lsm-list-modules-enosys, lsm-set-self-attr-enosys, madvise-determinism, map-shadow-stack-enosys, mce-kill-refusal, membarrier-query, memfd-create, memfd-secret-enosys, meminfo-available-deterministic, meminfo-cached-deterministic, meminfo-free-deterministic, memorypress, mempolicy-default, mincore-residency, mixed-inline-and-libc-syscalls, mkdir-rmdir, mknod-special, mmap-determinism, mmap-determinism-heap, mmap-determinism-shared, mmap-layout-pointer-order, mmap-stress-determinism, msync-writeback, name-to-handle-at-eopnotsupp, name-to-handle-directory-eopnotsupp, name-to-handle-empty-path-eopnotsupp, name-to-handle-refusal, name-to-handle-regular-eopnotsupp, nanosleep-par, nanosleep-threads-nocrash, nanosleep-threads-simple, netlink-autobind-generic, netlink-autobind-route, netlink-autobind-usersock, netns-cookie-tcp4, netns-cookie-tcp6, netns-cookie-udp4, no-new-privs-refusal, numa-node-identity, o-tmpfile-anon, openat-flags, openat2-refusal, path-file-ops, pause-alarm-interrupt, perf-event-hardware-enosys, perf-event-open-enosys, perf-event-software-enosys, perf-event-watchpoint-enosys, periodic-setitimer-delivery, personality-domain, pid-probe, pidfd-open-self, pidfd-open-self-pair, pidfd-poll-self, pidfd-waitid-child, pipe-capacity, pipe-capacity-pin, pipe-ipc, pipe-multiwriter-ordering, pipe2-errno-precedence, pipe2-flags, poll-readiness, ppoll-readv, ppoll-simulation, prctl-dumpable, prctl-identity, prctl-option-policy, prctl-pdeathsig, pread64-nostdlib, preadv2-flags, print-memaddrs, printf-with-threads, proc-fd-link-aliases, proc-fdinfo, proc-locks, process-mrelease-enosys, process-vm-readv-refusal-probe, process-vm-writev-refusal-probe, procfs-identity-agreement, procfs-positioned-probe, prodcons-determinism, pselect6-simulation, pthread-lifecycle, ptrace-attach-eperm, ptrace-eperm, ptrace-seize-eperm, ptrace-traceme-eperm, pty-nr-count, racewrite-nostdlib, random-readv-stream, random-sources, random-sources-root-only, rcx-canonicalization, readdir-entries, readdir-order-identity, record-lock, record-replay-fd-close, record-replay-file-state, record-replay-file-state-regular-sink, record-replay-lseek-seek-cur, record-replay-setsockopt, recvmsg-scm-rights-mmap, remap-file-pages-anonymous-enosys, remap-file-pages-memfd-enosys, remap-file-pages-tmpfile-enosys, rename-ops, renameat2-flags, request-key-enosys, resource-determinism, rlimit-identity, robust-list, sched-getaffinity-identity, sched-setattr-batch, sched-setattr-idle, sched-setattr-other, sched-yield-progress, scheduler-policy-queries, seccomp-refusal, sendfile-copy, session-identity, set-tid-address, setitimer-determinism, short-io-split-identity, shutdown-socketpair, sigaction-state, sigaltstack-state, sigmask-preemption, signal-delivery-sequence, signal-determinism, signal-disposition, signal-waitstatus-identity, signalfd-create, sigpipe-siginfo, sigprocmask-state, sigtimedwait-no-timeout, sigtimedwait-timeout-0s, sigtimedwait-timeout-1s, so-incoming-cpu-tcp4, so-incoming-cpu-tcp6, so-incoming-cpu-udp4, socket-cookie-tcp, socket-cookie-udp, socket-cookie-unix, socket-epoll-ordering, socket-ioctl-timestamp, socket-options, socket-timestamp-edge-cases, socket-timestamp-timespec, socket-timestamp-timeval, socketpair-flags, sockname-unnamed, splice-enosys, stat-metadata-identity, statfs-free-determinism, static-nolibc-syscall-sites, statmount-enosys, statx-metadata, symlink-ops, sync-file-range, syscall-file-io, syscall-file-metadata, syscall-quick-wins, sysfs-enosys, sysinfo, sysinfo-uptime, syslog-deterministic, sysv-ipc-refusal, sysv-sem-enosys, sysv-shm-enosys, tcp-info-accept4, tcp-info-accept6, tcp-info-client4, tee-enosys, thp-disable, thread-self-procfs-handoff, thread-sync-determinism, threadexhaustion, timer-create-determinism, timer-family-identity, umask-mode, uname, uname-identity, unix-autobind-dgram, unix-autobind-seqpacket, unix-autobind-stream, ustat-enosys, utimensat-determinism, vectored-file-io, vectored-io, vforkexec, vmsplice-enosys, wait-on-child, writev-determinism

chaos-c

lock-granularity

compat

addr2line, ar, arch, as, awk, b2sum, base32, base64, basename, basenc, bash, bc, bracket, bzip2, bzip2-roundtrip, cal, cargo, cat, chmod, chown, chrt, cksum, clang, cmake, cmp, col, colrm, column, comm, cp, cpio-roundtrip, cpp, crc32, cscope, csplit, curl, curl-localhost, cut, cxxfilt, date, dc, dd, df, df-direct, diff, diff3, dirname, dos2unix, du, echo, egrep, elfedit, env, envsubst, expand, expr, factor, fallocate, fgrep, file, find, findmnt, flex, flock, fmt, fold, free, gcc, gcov, getconf, getopt, git, gprof, grep, groups, gxx, gzip, gzip-roundtrip, head, hexdump, hostname, iconv, id, install, ionice, iostat, ip, java, javac, join, jq, kill, ld, ln, logger, logname, ls, lscpu, lsirq, lsmod, lsof, lua, lua-direct, m4, make, md5sum, mkdir, mkfifo, mktemp, mountpoint, mpstat-softirqs, msgfmt, msgunfmt, mv, namei, netlink-route, netlink-sock-diag, nice, nl, nm, node, nohup, nproc, numactl-hardware, numastat, numfmt, objcopy, objdump, od, openssl, paste, patch, pathchk, perl, perl-direct, pgrep, pidstat-disk, pinky, pkg-config, pkill, pr, printenv, printf, ps, ptx, pwd, python3, ranlib, readelf, readlink, realpath, rev, rm, rmdir, rr-addr2line, rr-arch, rr-as, rr-awk, rr-b2sum, rr-base32, rr-base64, rr-basename, rr-bash, rr-bc, rr-bracket, rr-bzip2, rr-cal, rr-cat, rr-chmod, rr-chrt, rr-cksum, rr-cmp, rr-column, rr-comm, rr-cp, rr-cpp, rr-cut, rr-cxxfilt, rr-date, rr-dc, rr-dd, rr-df-direct, rr-diff, rr-dirname, rr-du, rr-echo, rr-egrep, rr-elfedit, rr-env, rr-expand, rr-expr, rr-factor, rr-fgrep, rr-file, rr-find, rr-flock, rr-fmt, rr-fold, rr-free, rr-gcc, rr-getopt, rr-git, rr-grep, rr-groups, rr-gzip, rr-head, rr-hexdump, rr-hostname, rr-iconv, rr-id, rr-install, rr-ionice, rr-java, rr-join, rr-ld, rr-logger, rr-logname, rr-ls, rr-lua-direct, rr-make, rr-md5sum, rr-mkdir, rr-mkfifo, rr-mv, rr-nice, rr-nl, rr-nm, rr-node, rr-nohup, rr-nproc, rr-numfmt, rr-objcopy, rr-objdump, rr-od, rr-openssl, rr-paste, rr-perl-direct, rr-pinky, rr-pr, rr-printenv, rr-printf, rr-ptx, rr-pwd, rr-python3, rr-ranlib, rr-readelf, rr-readlink, rr-realpath, rr-rev, rr-rm, rr-rmdir, rr-ruby, rr-sed, rr-seq, rr-sha1sum, rr-sha224sum, rr-sha256sum, rr-sha384sum, rr-sha512sum, rr-shuf, rr-size, rr-sleep, rr-sort, rr-split, rr-sqlite3, rr-stat, rr-stdbuf, rr-strings, rr-sum, rr-tac, rr-tar, rr-taskset, rr-tcl, rr-tee, rr-test, rr-touch, rr-tr, rr-true, rr-tsort, rr-tty, rr-uname, rr-unexpand, rr-uniq, rr-uptime, rr-users, rr-wc, rr-wc-lines, rr-whoami, rr-xargs, rr-xxd, rr-xz, rr-yes, rr-zstd, ruby, rustc, sar-resource-tables, sed, seq, setfacl, setfattr, sha1sum, sha224sum, sha256sum, sha384sum, sha512sum, shell-build, shred, shuf, size, sleep, sort, split, sqlite3, ss, stat, stdbuf, strict-addr2line, strict-ar, strict-arch, strict-as, strict-awk, strict-b2sum, strict-base32, strict-base64, strict-basename, strict-bash, strict-bc, strict-bracket, strict-bzip2, strict-bzip2-roundtrip, strict-cal, strict-cargo, strict-cat, strict-chmod, strict-chown, strict-chrt, strict-cksum, strict-clang, strict-cmake, strict-cmp, strict-column, strict-comm, strict-cp, strict-cpio-roundtrip, strict-cpp, strict-csplit, strict-curl, strict-curl-localhost, strict-cut, strict-cxxfilt, strict-date, strict-dc, strict-dd, strict-df, strict-diff, strict-dirname, strict-du, strict-echo, strict-egrep, strict-elfedit, strict-env, strict-expand, strict-expr, strict-factor, strict-fgrep, strict-file, strict-find, strict-findmnt, strict-flock, strict-fmt, strict-fold, strict-free, strict-gcc, strict-gcov, strict-getopt, strict-git, strict-gprof, strict-grep, strict-groups, strict-gxx, strict-gzip, strict-gzip-roundtrip, strict-head, strict-hexdump, strict-hostname, strict-iconv, strict-id, strict-install, strict-ionice, strict-iostat, strict-ip, strict-java, strict-javac, strict-join, strict-jq, strict-kill, strict-ld, strict-ln, strict-logger, strict-logname, strict-ls, strict-lscpu, strict-lsirq, strict-lsmod, strict-lsof, strict-lua, strict-m4, strict-make, strict-md5sum, strict-mkdir, strict-mkfifo, strict-mktemp, strict-mpstat-softirqs, strict-mv, strict-netlink-route, strict-netlink-sock-diag, strict-nice, strict-nl, strict-nm, strict-node, strict-nohup, strict-nproc, strict-numactl-hardware, strict-numastat, strict-numfmt, strict-objcopy, strict-objdump, strict-od, strict-openssl, strict-paste, strict-patch, strict-perl, strict-pgrep, strict-pidstat-disk, strict-pinky, strict-pkg-config, strict-pkill, strict-pr, strict-printenv, strict-printf, strict-ps, strict-ptx, strict-pwd, strict-python3, strict-ranlib, strict-readelf, strict-readlink, strict-realpath, strict-rev, strict-rm, strict-rmdir, strict-ruby, strict-rustc, strict-sar-resource-tables, strict-sed, strict-seq, strict-sha1sum, strict-sha224sum, strict-sha256sum, strict-sha384sum, strict-sha512sum, strict-shell-build, strict-shuf, strict-size, strict-sleep, strict-sort, strict-split, strict-sqlite3, strict-ss, strict-stat, strict-stdbuf, strict-strings, strict-strip, strict-sum, strict-sysctl-random-uuid, strict-tac, strict-tar, strict-tar-roundtrip, strict-taskset, strict-tcl, strict-tee, strict-test, strict-time, strict-top, strict-touch, strict-tr, strict-true, strict-tsort, strict-tty, strict-uname, strict-unexpand, strict-uniq, strict-uptime, strict-users, strict-vmstat, strict-vmstat-disk, strict-wc, strict-wc-lines, strict-wget-localhost, strict-whoami, strict-xargs, strict-xmllint, strict-xxd, strict-xz, strict-xz-roundtrip, strict-yes, strict-zip-unzip, strict-zstd, strict-zstd-roundtrip, strings, strip, sum, sync, sysctl-random-uuid, tac, tar, tar-roundtrip, taskset, tcl, tee, test, time, timeout, top, touch, tr, true, truncate, tsort, tty, uname, unexpand, uniq, uptime, users, uuidgen, vmstat, vmstat-disk, wc, wc-lines, wget-localhost, whoami, xargs, xmllint, xxd, xz, xz-roundtrip, yes, zip-unzip, zstd, zstd-roundtrip

data-handling

archive-roundtrip, dd-partial-transfers, jq-json-transform, shell-pipeline, sqlite-query-determinism, zstd-multithread

debugger-c

debuggee

determinism-stress

example-race, order-violation, process-chains, thread-contention, thread-interleaving, thread-output

determinism-stress-c

fork-tree, lock-free, mmap-fork-shared, pid-tid, pid-tid-identity, pipe-chain, pipe-prefill, producer-consumer, signal-order, thread-contention, thread-stress

language-runtimes

bash-loop-pipe-time, bash-random, cpp-stl-determinism, example-python-random, gawk-random, lua-random, m4-macro-mkstemp, node-v8-jit, perl-hash-order, perl-io-subprocess-time, perl-random, python-dict-hash-iteration, python-hash-determinism, python-hashseed, python-io-subprocess-time, python-random, ruby-random, rust-hashmap-iteration, tcl-rand-clock

shared-futex-c

qemu-exec-init, qemu-hello, qemu-init, qemu-net-init

system-utils

auxv-loader-dump, cat-file-read, clock-determinism, clock-exec-continuity, date-nanoseconds, du-tree-summary, echo-stdout, errno-path-identity, example-date, example-devrand, file-timestamp-identity, find-tree-metadata, harness-width-contract, mcookie-random, mktemp-name, nscd-neutralised, openssl-enc, openssl-genpkey, openssl-passwd, openssl-rand, openssl-x509, overflow-gid-resolves, printf-argument-forwarding, proc-random-uuid, proc-uptime, procfs-sanitized-paths, ps-proc-table, random-device, record-getpid, sh-exit-status, shm-coherency-identity, shuf-permutation, sort-random, ssh-keygen-ed25519, startup-surface-identity, startup-tls-guards, sysfs-sanitized-prefixes, true-exit-zero, uuidgen-random

util-c

pmu-skid

Build provenance

Website build started: . This is the website generation time, not the age of its measurements.

Sources used to build this website. Commit dates are Git committer dates.

PurposeThe role this exact source revision played in producing the site data.Source commitA short hash linked to the complete immutable Git commit.Commit dateThe commit object’s committer timestamp; not a measurement or website build date.
Hermit catalogue1df095622452
Hermit reference revisionb5c378041d84
Website data generator (private repository)5faf781a823d
Cell result ledger63e9d016016a
Measured Hermit revisions and commit depth

Each row identifies a revision used by the selected cell results. Its measurement date is the latest selected result at that revision; its commit date describes the source, not a test run.

Measured revisions, newest measurement first.

Hermit commitThe exact Hermit revision used for these selected test results.Commit dateThe measured commit object’s committer timestamp; not a test execution date.Latest measurementThe latest selected cell measurement at this exact Hermit revision.First-parent depthRecorded commits along this Hermit revision’s first-parent chain, including itself.All reachable commitsAll recorded Hermit commits reachable from this revision, including merged side branches.
33770223b5d23,6393,714
c3f7b2bcfa003,5513,626
ba7b784903be3,2583,333
05dcd35a78b32,6472,722
c7520a6c38732,6462,721
a58e9ecfb0372,5942,669
e12c472d22d22,4962,571

First-parent depth counts commits along the revision’s first-parent chain, including the revision itself. All reachable commits also counts merged side branches. These are recorded Hermit history counts, not elapsed time or a claim that a revision is that many commits behind main. A distance requires a verified ancestry relationship. Missing or conflicting depths are not inferred.

Full provenance
Hermit commit used for manifest policy
1df095622452ccca66b9f59cfded4254405c21ac
Hermit commit used for ancestry classification
b5c378041d84e95f89684e71ff88f059a6df7111
dev-hermit source commit (private repository)
5faf781a823d0e3ff9f416501be5b04e5b0c7de9
Manifest digest
7b569d5a716dcae37b1f6525c9cece6d5b764009f37d9ed02748c4823b12708d
Captured series source digest
59b11e7cf753f08be7619c9423a5016b97980c80e8dd41ea8e6def7a1de726c7
Public series projection digest
3a42b6c27636f8359ea6db1e10174555371b8789d713bd46d2553d965db59459
Stage 1 artifact digest
2f5b183aebe916d60f8c29e6c9554e128a5fb0052c1be64002bd107bbaab4b3f