prover9 -f xcb.in > xcb.out
otter -f xcb-otter.in > xcb-otter.out
otter -f xcb-otter32.in > xcb-otter32.out