Index of /misc/immer/reports/report_942cc16+_testing-docker-9c17a81a-f2b3-426c-97ea-f3d4b8f2354c_g++-6_N:1000_s20/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
benchmark-vector-paper-push.html	556.6 KiB	2017-Jun-15 15:35
benchmark-vector-paper-push.out	1.9 KiB	2017-Jun-15 15:35
benchmark-vector-paper-concat.out	1.1 KiB	2017-Jun-15 15:35
benchmark-vector-paper-concat.html	552.6 KiB	2017-Jun-15 15:35
benchmark-vector-paper-assoc.html	559.5 KiB	2017-Jun-15 15:35
benchmark-vector-paper-assoc.out	3.3 KiB	2017-Jun-15 15:35
benchmark-vector-paper-assoc-random.html	559.2 KiB	2017-Jun-15 15:34
benchmark-vector-paper-assoc-random.out	3.3 KiB	2017-Jun-15 15:34
benchmark-vector-paper-access.html	557.8 KiB	2017-Jun-15 15:34
benchmark-vector-paper-access.out	2.4 KiB	2017-Jun-15 15:34
benchmark-vector-misc-take.html	567.5 KiB	2017-Jun-15 15:34
benchmark-vector-misc-take.out	3.9 KiB	2017-Jun-15 15:34
benchmark-vector-misc-push.out	2.6 KiB	2017-Jun-15 15:33
benchmark-vector-misc-push.html	561.0 KiB	2017-Jun-15 15:33
benchmark-vector-misc-push-front.html	552.7 KiB	2017-Jun-15 15:33
benchmark-vector-misc-push-front.out	1.1 KiB	2017-Jun-15 15:33
benchmark-vector-misc-drop.html	568.2 KiB	2017-Jun-15 15:33
benchmark-vector-misc-drop.out	3.8 KiB	2017-Jun-15 15:33
benchmark-vector-misc-concat.out	2.4 KiB	2017-Jun-15 15:33
benchmark-vector-misc-concat.html	559.5 KiB	2017-Jun-15 15:33
benchmark-vector-misc-assoc.html	569.8 KiB	2017-Jun-15 15:32
benchmark-vector-misc-assoc.out	5.7 KiB	2017-Jun-15 15:32
benchmark-vector-misc-access.out	4.2 KiB	2017-Jun-15 15:32
benchmark-vector-misc-access.html	567.8 KiB	2017-Jun-15 15:32
benchmark-vector-branching-unsafe-push.html	550.8 KiB	2017-Jun-15 15:31
benchmark-vector-branching-unsafe-push.out	724 B	2017-Jun-15 15:31
benchmark-vector-branching-unsafe-concat.out	743 B	2017-Jun-15 15:31
benchmark-vector-branching-unsafe-concat.html	550.6 KiB	2017-Jun-15 15:31
benchmark-vector-branching-unsafe-assoc.out	732 B	2017-Jun-15 15:31
benchmark-vector-branching-unsafe-assoc.html	550.5 KiB	2017-Jun-15 15:31
benchmark-vector-branching-unsafe-access.out	723 B	2017-Jun-15 15:31
benchmark-vector-branching-unsafe-access.html	550.7 KiB	2017-Jun-15 15:31
benchmark-vector-branching-safe-push.out	721 B	2017-Jun-15 15:31
benchmark-vector-branching-safe-push.html	550.7 KiB	2017-Jun-15 15:31
benchmark-vector-branching-safe-concat.html	550.5 KiB	2017-Jun-15 15:31
benchmark-vector-branching-safe-concat.out	743 B	2017-Jun-15 15:31
benchmark-vector-branching-safe-assoc.html	550.7 KiB	2017-Jun-15 15:31
benchmark-vector-branching-safe-assoc.out	731 B	2017-Jun-15 15:31
benchmark-vector-branching-safe-access.html	550.7 KiB	2017-Jun-15 15:30
benchmark-vector-branching-safe-access.out	722 B	2017-Jun-15 15:30
benchmark-vector-branching-gc-push.out	728 B	2017-Jun-15 15:30
benchmark-vector-branching-gc-push.html	550.7 KiB	2017-Jun-15 15:30
benchmark-vector-branching-gc-concat.out	741 B	2017-Jun-15 15:30
benchmark-vector-branching-gc-concat.html	550.6 KiB	2017-Jun-15 15:30
benchmark-vector-branching-gc-assoc.html	550.5 KiB	2017-Jun-15 15:30
benchmark-vector-branching-gc-assoc.out	732 B	2017-Jun-15 15:30
benchmark-vector-branching-gc-access.out	724 B	2017-Jun-15 15:30
benchmark-vector-branching-gc-access.html	550.6 KiB	2017-Jun-15 15:30
benchmark-vector-branching-basic-push.html	550.4 KiB	2017-Jun-15 15:30
benchmark-vector-branching-basic-push.out	731 B	2017-Jun-15 15:30
benchmark-vector-branching-basic-concat.out	744 B	2017-Jun-15 15:30
benchmark-vector-branching-basic-concat.html	550.6 KiB	2017-Jun-15 15:30
benchmark-vector-branching-basic-assoc.out	734 B	2017-Jun-15 15:30
benchmark-vector-branching-basic-assoc.html	550.8 KiB	2017-Jun-15 15:30
benchmark-vector-branching-basic-access.out	721 B	2017-Jun-15 15:30
benchmark-vector-branching-basic-access.html	550.7 KiB	2017-Jun-15 15:30
benchmark-extra-refcounting.html	551.8 KiB	2017-Jun-15 15:30
benchmark-extra-refcounting.out	1.0 KiB	2017-Jun-15 15:30