RDB Save/Load

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

rdb-save-load cancel Latest: fail
Status Summary Duration Version Time Run
cancelfail RDB save/load: 1 points, 0 pass, 1 fail, duration 57s 57s engula-latest 2026-04-12 03:14:50 #1415
cancelfail RDB save/load: 1 points, 0 pass, 1 fail, duration 57s 57s engula-latest 2026-04-12 03:03:46 #1409
cancelfail RDB save/load: 1 points, 0 pass, 1 fail, duration 57s 57s engula-latest 2026-04-12 02:52:16 #1403
cancelfail RDB save/load: 1 points, 0 pass, 1 fail, duration 57s 57s engula-latest 2026-04-12 02:40:38 #1397
cancelfail RDB save/load: 1 points, 0 pass, 1 fail, duration 57s 57s engula-latest 2026-04-12 02:29:09 #1391
cancelfail RDB save/load: 1 points, 0 pass, 1 fail, duration 58s 58s engula-latest 2026-04-12 02:18:12 #1385
cancelfail RDB save/load: 1 points, 0 pass, 1 fail, duration 57s 57s engula-latest 2026-04-12 02:07:10 #1379
cancelfail RDB save/load: 1 points, 0 pass, 1 fail, duration 57s 57s engula-latest 2026-04-12 01:56:11 #1373
cancelfail RDB save/load: 1 points, 0 pass, 1 fail, duration 57s 57s engula-latest 2026-04-12 01:44:37 #1367
cancelfail RDB save/load: 1 points, 0 pass, 1 fail, duration 57s 57s engula-latest 2026-04-12 01:33:33 #1361
Engula Proof Results · Powered by proof-suites