experiment: ci-run

workload: mod

strategy: quickcheck

property: InvertModNaturalUnit

mode: solve

status: passed

tool: quickcheck


strategy: hedgehog

tool: hedgehog


strategy: falsify

tool: falsify


strategy: smallcheck

tool: smallcheck


property: InvertModWordUnit