bin/alloy.cfg
models/distalg/opt_spantree.als sRun 1
models/distalg/dijkstra.als deadlock 1 nodeadlock 0
models/distalg/s_ringlead.als liveness 0 someleader 1
models/puzzles/hanoi.als smallgame 1
models/systems/bart.als policy 1