[ebuild N ] sci-mathematics/btor2tools-1.0.0_pre20220518-r1::gentoo USE="-examples" 85.4 KiB Total: 1 package (1 new), Size of downloads: 85.4 KiB * Running sanity checks... * resolver plan required 4 ops (0.00 seconds)
- Wall time
- 0.434 s vs. 0.003 s for portage-ng