RDB Save/Load

RDB save time, load time, and memory efficiency comparison · Latest 10 runs per sub-item

rdb-save-load check_circle Latest: pass
Status Summary Duration Version Time Run
check_circlepass RDB save/load: 12 points, 12 pass, 0 fail, duration 33m16s 33m16s engula-latest 2026-05-18 10:21:24 #3405
check_circlepass RDB save/load: 12 points, 12 pass, 0 fail, duration 20m46s 20m46s engula-latest 2026-05-16 10:13:22 #1548
check_circlepass RDB save/load: 12 points, 12 pass, 0 fail, duration 21m4s 21m4s engula-latest 2026-05-15 16:51:39 #812
check_circlepass RDB save/load: 12 points, 12 pass, 0 fail, duration 20m41s 20m41s engula-latest 2026-05-13 13:49:49 #219
cancelfail RDB save/load: 12 points, 3 pass, 9 fail, duration 51m3s 51m3s engula-latest 2026-05-13 12:52:30 #180
Engula Proof Results · Powered by proof-suites