This is the output of a run of lunch (from https://github.com/bobg/scp/tree/master/cmd/lunch)
at commit 9249f25f6e828c232fb6cedb404609bd9063fa3c
using config file aliceinthemiddle.
During slot 116 it encountered a P > B error, which should be impossible.
2018/09/09 17:00:27 node carol: slot 116: (C=14454 V=carol I=116: NOM X=[pizza], Y=[]) -> (C=14455 V=carol I=116: NOM X=[pizza], Y=[])
2018/09/09 17:00:27 node elsie: slot 116: (C=14451 V=elsie I=116: NOM X=[burritos], Y=[]) -> (C=14457 V=elsie I=116: NOM X=[burritos], Y=[])
2018/09/09 17:00:27 node alice: slot 116: (C=14452 V=alice I=116: NOM X=[sandwiches], Y=[]) -> (C=14459 V=alice I=116: NOM X=[sandwiches], Y=[])
2018/09/09 17:00:27 node dave: slot 116: (C=14457 V=elsie I=116: NOM X=[burritos], Y=[]) -> (C=14464 V=dave I=116: NOM X=[burritos], Y=[])
2018/09/09 17:00:27 node bob: slot 116: (C=14455 V=carol I=116: NOM X=[pizza], Y=[]) -> (C=14461 V=bob I=116: NOM X=[pizza], Y=[])
2018/09/09 17:00:30 node bob: slot 116: (C=14453 V=bob I=116: NOM X=[gyros], Y=[]) -> (C=14481 V=bob I=116: NOM X=[gyros pizza], Y=[])
2018/09/09 17:00:30 node elsie: slot 116: (C=14459 V=alice I=116: NOM X=[sandwiches], Y=[]) -> (C=14486 V=elsie I=116: NOM X=[burritos sandwiches], Y=[])
2018/09/09 17:00:30 node alice: slot 116: (C=14461 V=bob I=116: NOM X=[pizza], Y=[]) -> (C=14492 V=alice I=116: NOM X=[sandwiches], Y=[pizza])
2018/09/09 17:00:30 node dave: slot 116: (C=14459 V=alice I=116: NOM X=[sandwiches], Y=[]) -> (C=14500 V=dave I=116: NOM X=[burritos sandwiches], Y=[])
2018/09/09 17:00:30 node alice: slot 116: (C=14481 V=bob I=116: NOM X=[gyros pizza], Y=[]) -> (C=14503 V=alice I=116: NOM X=[gyros sandwiches], Y=[pizza])
2018/09/09 17:00:30 node bob: slot 116: (C=14492 V=alice I=116: NOM X=[sandwiches], Y=[pizza]) -> (C=14507 V=bob I=116: NOM X=[gyros], Y=[pizza])
2018/09/09 17:00:30 node carol: slot 116: (C=14481 V=bob I=116: NOM X=[gyros pizza], Y=[]) -> (C=14510 V=carol I=116: NOM X=[gyros pizza], Y=[])
2018/09/09 17:00:30 node elsie: slot 116: (C=14492 V=alice I=116: NOM X=[sandwiches], Y=[pizza]) -> (C=14511 V=elsie I=116: NOM X=[burritos sandwiches], Y=[pizza])
2018/09/09 17:00:30 node dave: slot 116: (C=14486 V=elsie I=116: NOM X=[burritos sandwiches], Y=[]) -> (C=14513 V=dave I=116: NOM X=[burritos], Y=[sandwiches])
2018/09/09 17:00:30 node alice: slot 116: (C=14500 V=dave I=116: NOM X=[burritos sandwiches], Y=[]) -> (C=14515 V=alice I=116: NOM X=[gyros], Y=[pizza sandwiches])
2018/09/09 17:00:30 node dave: slot 116: (C=14492 V=alice I=116: NOM X=[sandwiches], Y=[pizza]) -> (C=14518 V=dave I=116: NOM X=[burritos], Y=[pizza sandwiches])
2018/09/09 17:00:30 node carol: slot 116: (C=14492 V=alice I=116: NOM X=[sandwiches], Y=[pizza]) -> (C=14517 V=carol I=116: NOM X=[gyros], Y=[pizza])
2018/09/09 17:00:30 node elsie: slot 116: (C=14500 V=dave I=116: NOM X=[burritos sandwiches], Y=[]) -> (C=14521 V=elsie I=116: NOM X=[burritos], Y=[pizza sandwiches])
2018/09/09 17:00:30 node bob: slot 116: (C=14511 V=elsie I=116: NOM X=[burritos sandwiches], Y=[pizza]) -> (C=14522 V=bob I=116: NOM X=[], Y=[gyros pizza])
2018/09/09 17:00:30 node alice: slot 116: (C=14510 V=carol I=116: NOM X=[gyros pizza], Y=[]) -> (C=14525 V=alice I=116: NOM X=[], Y=[gyros pizza sandwiches])
2018/09/09 17:00:30 node elsie: slot 116: (C=14503 V=alice I=116: NOM X=[gyros sandwiches], Y=[pizza]) -> (C=14527 V=elsie I=116: NOM X=[burritos gyros], Y=[pizza sandwiches])
2018/09/09 17:00:30 node carol: slot 116: (C=14503 V=alice I=116: NOM X=[gyros sandwiches], Y=[pizza]) -> (C=14526 V=carol I=116: NOM X=[], Y=[gyros pizza])
2018/09/09 17:00:30 node dave: slot 116: (C=14503 V=alice I=116: NOM X=[gyros sandwiches], Y=[pizza]) -> (C=14530 V=dave I=116: NOM X=[burritos gyros], Y=[pizza sandwiches])
2018/09/09 17:00:30 node bob: slot 116: (C=14517 V=carol I=116: NOM X=[gyros], Y=[pizza]) -> (C=14534 V=bob I=116: NOM/PREP X=[], Y=[gyros pizza] B=<1,pizza> P=<> PP=<> CN=0 HN=0)
2018/09/09 17:00:30 node alice: slot 116: (C=14518 V=dave I=116: NOM X=[burritos], Y=[pizza sandwiches]) -> (C=14539 V=alice I=116: NOM/PREP X=[], Y=[gyros pizza sandwiches] B=<1,pizza> P=<> PP=<> CN=0 HN=0)
2018/09/09 17:00:30 node elsie: slot 116: (C=14515 V=alice I=116: NOM X=[gyros], Y=[pizza sandwiches]) -> (C=14541 V=elsie I=116: NOM/PREP X=[burritos gyros], Y=[pizza sandwiches] B=<1,sandwiches> P=<> PP=<> CN=0 HN=0)
2018/09/09 17:00:30 node dave: slot 116: (C=14511 V=elsie I=116: NOM X=[burritos sandwiches], Y=[pizza]) -> (C=14542 V=dave I=116: NOM/PREP X=[burritos gyros], Y=[pizza sandwiches] B=<1,pizza> P=<> PP=<> CN=0 HN=0)
2018/09/09 17:00:30 node carol: slot 116: (C=14507 V=bob I=116: NOM X=[gyros], Y=[pizza]) -> (C=14543 V=carol I=116: NOM/PREP X=[], Y=[gyros pizza] B=<1,pizza> P=<> PP=<> CN=0 HN=0)
2018/09/09 17:00:30 node elsie: slot 116: (C=14525 V=alice I=116: NOM X=[], Y=[gyros pizza sandwiches]) -> (C=14557 V=elsie I=116: NOM/PREP X=[burritos], Y=[gyros pizza sandwiches] B=<1,sandwiches> P=<> PP=<> CN=0 HN=0)
2018/09/09 17:00:30 node dave: slot 116: (C=14525 V=alice I=116: NOM X=[], Y=[gyros pizza sandwiches]) -> (C=14568 V=dave I=116: NOM/PREP X=[burritos], Y=[gyros pizza sandwiches] B=<1,pizza> P=<> PP=<> CN=0 HN=0)
2018/09/09 17:00:30 node bob: slot 116: (C=14543 V=carol I=116: NOM/PREP X=[], Y=[gyros pizza] B=<1,pizza> P=<> PP=<> CN=0 HN=0) -> (C=14570 V=bob I=116: NOM/PREP X=[], Y=[gyros pizza] B=<1,pizza> P=<1,pizza> PP=<> CN=0 HN=0)
2018/09/09 17:00:30 node carol: slot 116: (C=14539 V=alice I=116: NOM/PREP X=[], Y=[gyros pizza sandwiches] B=<1,pizza> P=<> PP=<> CN=0 HN=0) -> (C=14587 V=carol I=116: NOM/PREP X=[], Y=[gyros pizza] B=<1,pizza> P=<1,pizza> PP=<> CN=0 HN=0)
2018/09/09 17:00:30 node elsie: slot 116: (C=14542 V=dave I=116: NOM/PREP X=[burritos gyros], Y=[pizza sandwiches] B=<1,pizza> P=<> PP=<> CN=0 HN=0) -> (C=14590 V=elsie I=116: NOM/PREP X=[burritos], Y=[gyros pizza sandwiches] B=<1,sandwiches> P=<1,pizza> PP=<> CN=0 HN=0)
2018/09/09 17:00:30 node alice: slot 116: (C=14543 V=carol I=116: NOM/PREP X=[], Y=[gyros pizza] B=<1,pizza> P=<> PP=<> CN=0 HN=0) -> (C=14594 V=alice I=116: NOM/PREP X=[], Y=[gyros pizza sandwiches] B=<1,pizza> P=<1,pizza> PP=<> CN=0 HN=0)
2018/09/09 17:00:30 node carol: slot 116: (C=14594 V=alice I=116: NOM/PREP X=[], Y=[gyros pizza sandwiches] B=<1,pizza> P=<1,pizza> PP=<> CN=0 HN=0) -> (C=14611 V=carol I=116: PREP B=<1,pizza> P=<1,pizza> PP=<> CN=1 HN=1)
2018/09/09 17:00:30 node dave: slot 116: (C=14590 V=elsie I=116: NOM/PREP X=[burritos], Y=[gyros pizza sandwiches] B=<1,sandwiches> P=<1,pizza> PP=<> CN=0 HN=0) -> (C=14612 V=dave I=116: NOM/PREP X=[burritos], Y=[gyros pizza sandwiches] B=<1,pizza> P=<1,pizza> PP=<> CN=0 HN=0)
2018/09/09 17:00:30 node bob: slot 116: (C=14594 V=alice I=116: NOM/PREP X=[], Y=[gyros pizza sandwiches] B=<1,pizza> P=<1,pizza> PP=<> CN=0 HN=0) -> (C=14609 V=bob I=116: PREP B=<1,pizza> P=<1,pizza> PP=<> CN=1 HN=1)
2018/09/09 17:00:30 node dave: slot 116: (C=14594 V=alice I=116: NOM/PREP X=[], Y=[gyros pizza sandwiches] B=<1,pizza> P=<1,pizza> PP=<> CN=0 HN=0) -> (C=14619 V=dave I=116: PREP B=<1,pizza> P=<1,pizza> PP=<> CN=1 HN=1)
2018/09/09 17:00:30 node alice: slot 116: (C=14587 V=carol I=116: NOM/PREP X=[], Y=[gyros pizza] B=<1,pizza> P=<1,pizza> PP=<> CN=0 HN=0) -> (C=14623 V=alice I=116: PREP B=<1,pizza> P=<1,pizza> PP=<> CN=1 HN=1)
2018/09/09 17:00:30 node elsie: slot 116: (C=14612 V=dave I=116: NOM/PREP X=[burritos], Y=[gyros pizza sandwiches] B=<1,pizza> P=<1,pizza> PP=<> CN=0 HN=0) -> (C=14628 V=elsie I=116: PREP B=<1,sandwiches> P=<1,pizza> PP=<> CN=0 HN=0)
2018/09/09 17:00:30 node carol: slot 116: (C=14623 V=alice I=116: PREP B=<1,pizza> P=<1,pizza> PP=<> CN=1 HN=1) -> (C=14633 V=carol I=116: COMMIT B=<1,pizza> PN=1 CN=1 HN=1)
2018/09/09 17:00:30 node bob: slot 116: (C=14623 V=alice I=116: PREP B=<1,pizza> P=<1,pizza> PP=<> CN=1 HN=1) -> (C=14632 V=bob I=116: COMMIT B=<1,pizza> PN=1 CN=1 HN=1)
2018/09/09 17:00:30 node alice: slot 116: (C=14609 V=bob I=116: PREP B=<1,pizza> P=<1,pizza> PP=<> CN=1 HN=1) -> (C=14646 V=alice I=116: COMMIT B=<1,pizza> PN=1 CN=1 HN=1)
2018/09/09 17:00:30 node bob: slot 116: (C=14646 V=alice I=116: COMMIT B=<1,pizza> PN=1 CN=1 HN=1) -> (C=14650 V=bob I=116: EXT C=<1,pizza> HN=1)
2018/09/09 17:00:30 node carol: slot 116: (C=14646 V=alice I=116: COMMIT B=<1,pizza> PN=1 CN=1 HN=1) -> (C=14649 V=carol I=116: EXT C=<1,pizza> HN=1)
2018/09/09 17:00:30 node dave: slot 116: (C=14646 V=alice I=116: COMMIT B=<1,pizza> PN=1 CN=1 HN=1) -> (C=14653 V=dave I=116: COMMIT B=<1,pizza> PN=1 CN=1 HN=1)
2018/09/09 17:00:30 node alice: slot 116: (C=14632 V=bob I=116: COMMIT B=<1,pizza> PN=1 CN=1 HN=1) -> (C=14663 V=alice I=116: EXT C=<1,pizza> HN=1)
2018/09/09 17:00:30 node elsie: slot 116: limiting B.N to 1003 (from 2147483647)
2018/09/09 17:00:30 node dave: slot 116: (C=14663 V=alice I=116: EXT C=<1,pizza> HN=1) -> (C=14669 V=dave I=116: COMMIT B=<2147483647,pizza> PN=2147483647 CN=1 HN=2147483647)
2018/09/09 17:00:30 node elsie: slot 116: (C=14663 V=alice I=116: EXT C=<1,pizza> HN=1) -> (C=14670 V=elsie I=116: PREP B=<1003,sandwiches> P=<2147483647,pizza> PP=<> CN=0 HN=0)
2018/09/09 17:00:30 node dave: ERROR P > B: (C=14670 V=elsie I=116: PREP B=<1003,sandwiches> P=<2147483647,pizza> PP=<> CN=0 HN=0)