Checkpointing

55 views

Skip to first unread message

Kaushik Pal ph21c020

unread,

Feb 13, 2023, 5:06:34 AM2/13/23

to Vampire Users

What command should I use to do Checkpointing?

gabo...@gmail.com

unread,

Feb 13, 2023, 8:38:25 AM2/13/23

to Vampire Users

The VAMPIRE manual 6.0 [1] on page 54 has the following.

sim:checkpoint flag [default false] Enables checkpointing of spin configuration
The options are:
sim:save-checkpoint=end
sim:save-checkpoint=continuous
sim:save-checkpoint-rate=1
sim:load-checkpoint=restart
sim:load-checkpoint=continue

The past posts at [2] and [3] might also help.

[1] https://vampire.york.ac.uk/resources/vampire-manual.pdf

[2] https://groups.google.com/g/vampire-users/c/njGH9axnG08/m/_KHxgCAY6fgJ

[3] https://groups.google.com/g/vampire-users/c/2kWnN-SUjyU/m/gJs49yfOAwAJ

Kind Regards,

Gavin

VAMPIRE user

Reply all

Reply to author

Forward

0 new messages