adding.1.prop1: reachable
adding.2.prop1: reachable
adding.3.prop1: reachable
adding.4.prop1: reachable
adding.5.prop1: reachable
adding.6.prop1: reachable
anderson.1.prop1: reachable
anderson.2.prop1: safe
anderson.3.prop1: reachable
anderson.4.prop1: safe
anderson.5.prop1: reachable
anderson.6.prop1: safe
anderson.7.prop1: reachable
anderson.8.prop1: unknown
at.1.prop1: safe
at.2.prop1: reachable
at.3.prop1: reachable
at.4.prop1: safe
at.5.prop1: unknown
at.6.prop1: reachable
at.7.prop1: unknown
bakery.1.prop1: safe
bakery.2.prop1: reachable
bakery.3.prop1: safe
bakery.4.prop1: reachable
bakery.5.prop1: safe
bakery.6.prop1: reachable
bakery.7.prop1: unknown
bakery.8.prop1: unknown
blocks.2.prop1: safe
blocks.3.prop1: reachable
blocks.4.prop1: unknown
bridge.1.prop1: reachable
bridge.2.prop1: reachable
bridge.3.prop1: reachable
brp.1.prop1: safe
brp.2.prop1: reachable
brp.3.prop1: reachable
brp.4.prop1: reachable
brp.5.prop1: reachable
brp.6.prop1: reachable
brp2.1.prop1: reachable
brp2.1.prop2: safe
brp2.1.prop3: safe
brp2.2.prop1: reachable
brp2.2.prop2: safe
brp2.2.prop3: reachable
brp2.3.prop1: reachable
brp2.3.prop2: safe
brp2.3.prop3: safe
brp2.4.prop1: reachable
brp2.4.prop2: safe
brp2.4.prop3: safe
brp2.5.prop1: reachable
brp2.5.prop2: safe
brp2.5.prop3: safe
brp2.6.prop1: reachable
brp2.6.prop2: safe
brp2.6.prop3: safe
cambridge.1.prop1: safe
cambridge.1.prop2: safe
cambridge.2.prop1: reachable
cambridge.2.prop2: safe
cambridge.3.prop1: safe
cambridge.3.prop2: safe
cambridge.4.prop1: safe
cambridge.4.prop2: safe
cambridge.5.prop1: safe
cambridge.5.prop2: safe
cambridge.6.prop1: reachable
cambridge.6.prop2: safe
cambridge.7.prop1: reachable
cambridge.7.prop2: safe
collision.1.prop1: safe
collision.2.prop1: reachable
collision.3.prop1: safe
collision.4.prop1: unknown
collision.5.prop1: reachable
collision.6.prop1: unknown
cyclic_scheduler.1.prop1: safe
cyclic_scheduler.2.prop1: reachable
cyclic_scheduler.3.prop1: safe
cyclic_scheduler.4.prop1: reachable
driving_phils.1.prop1: reachable
driving_phils.2.prop1: reachable
driving_phils.3.prop1: reachable
driving_phils.4.prop1: reachable
driving_phils.5.prop1: reachable
elevator.1.prop1: safe
elevator.2.prop1: safe
elevator.3.prop1: safe
elevator.4.prop1: safe
elevator.5.prop1: unknown
elevator_planning.1.prop1: reachable
elevator_planning.2.prop1: reachable
elevator_planning.3.prop1: reachable
exit.1.prop1: safe
exit.2.prop1: safe
exit.3.prop1: safe
exit.4.prop1: reachable
exit.5.prop1: safe
extinction.1.prop1: safe
extinction.2.prop1: safe
extinction.3.prop1: reachable
extinction.4.prop1: safe
firewire_tree.1.prop1: safe
firewire_tree.1.prop2: safe
firewire_tree.1.prop3: safe
firewire_tree.2.prop1: safe
firewire_tree.2.prop2: safe
firewire_tree.2.prop3: reachable
firewire_tree.3.prop1: safe
firewire_tree.3.prop2: safe
firewire_tree.3.prop3: safe
firewire_tree.4.prop1: safe
firewire_tree.4.prop2: safe
firewire_tree.4.prop3: reachable
firewire_tree.5.prop1: unknown
firewire_tree.5.prop2: unknown
firewire_tree.5.prop3: unknown
fischer.1.prop1: safe
fischer.2.prop1: reachable
fischer.3.prop1: reachable
fischer.4.prop1: safe
fischer.5.prop1: reachable
fischer.6.prop1: safe
fischer.7.prop1: reachable
frogs.1.prop1: reachable
frogs.2.prop1: reachable
frogs.3.prop1: reachable
frogs.4.prop1: reachable
frogs.5.prop1: unknown
gear.1.prop1: reachable
gear.1.prop2: reachable
gear.1.prop3: reachable
gear.1.prop4: reachable
gear.2.prop1: reachable
gear.2.prop2: reachable
gear.2.prop3: reachable
gear.2.prop4: reachable
hanoi.1.prop1: reachable
hanoi.2.prop1: reachable
hanoi.3.prop1: reachable
hanoi.4.prop1: unknown
iprotocol.1.prop1: reachable
iprotocol.2.prop1: reachable
iprotocol.3.prop1: reachable
iprotocol.4.prop1: reachable
iprotocol.5.prop1: reachable
iprotocol.6.prop1: reachable
iprotocol.7.prop1: reachable
krebs.1.prop1: reachable
krebs.2.prop1: reachable
krebs.3.prop1: reachable
krebs.4.prop1: safe
lamport.1.prop1: safe
lamport.2.prop1: reachable
lamport.3.prop1: reachable
lamport.5.prop1: safe
lamport.6.prop1: reachable
lamport.7.prop1: unknown
lamport.8.prop1: reachable
lamport_nonatomic.1.prop1: safe
lamport_nonatomic.2.prop1: safe
lamport_nonatomic.3.prop1: reachable
lamport_nonatomic.4.prop1: safe
lamport_nonatomic.5.prop1: unknown
lann.1.prop1: reachable
lann.2.prop1: safe
lann.3.prop1: reachable
lann.4.prop1: safe
lann.5.prop1: safe
lann.6.prop1: reachable
lann.7.prop1: reachable
lann.8.prop1: reachable
leader_election.1.prop1: safe
leader_election.2.prop1: safe
leader_election.3.prop1: safe
leader_election.4.prop1: reachable
leader_election.5.prop1: reachable
leader_election.6.prop1: reachable
leader_filters.1.prop1: safe
leader_filters.2.prop1: reachable
leader_filters.3.prop1: safe
leader_filters.4.prop1: safe
leader_filters.5.prop1: safe
leader_filters.6.prop1: reachable
leader_filters.7.prop1: unknown
lifts.1.prop1: safe
lifts.2.prop1: safe
lifts.3.prop1: safe
lifts.4.prop1: safe
lifts.5.prop1: reachable
lifts.6.prop1: safe
lifts.7.prop1: safe
lifts.8.prop1: reachable
loyd.1.prop1: reachable
loyd.2.prop1: reachable
loyd.3.prop1: unknown
lup.1.prop1: safe
lup.2.prop1: safe
lup.3.prop1: safe
lup.4.prop1: safe
mcs.1.prop1: safe
mcs.2.prop1: safe
mcs.3.prop1: safe
mcs.4.prop1: safe
mcs.5.prop1: unknown
mcs.6.prop1: safe
msmie.1.prop1: safe
msmie.2.prop1: reachable
msmie.3.prop1: safe
msmie.4.prop1: safe
needham.1.prop1: reachable
needham.1.prop2: reachable
needham.1.prop3: reachable
needham.1.prop4: reachable
needham.2.prop1: reachable
needham.2.prop2: safe
needham.2.prop3: safe
needham.2.prop4: reachable
needham.3.prop1: reachable
needham.3.prop2: safe
needham.3.prop3: safe
needham.3.prop4: reachable
needham.4.prop1: reachable
needham.4.prop2: safe
needham.4.prop3: safe
needham.4.prop4: reachable
peg_solitaire.1.prop1: reachable
peg_solitaire.2.prop1: reachable
peg_solitaire.3.prop1: reachable
peg_solitaire.4.prop1: safe
peg_solitaire.5.prop1: reachable
peg_solitaire.6.prop1: reachable
peterson.1.prop1: safe
peterson.2.prop1: reachable
peterson.3.prop1: reachable
peterson.4.prop1: safe
peterson.5.prop1: reachable
peterson.6.prop1: reachable
peterson.7.prop1: unknown
pgm_protocol.1.prop1: safe
pgm_protocol.1.prop2: safe
pgm_protocol.1.prop5: reachable
pgm_protocol.1.prop6: safe
pgm_protocol.2.prop1: safe
pgm_protocol.2.prop2: safe
pgm_protocol.2.prop5: safe
pgm_protocol.2.prop6: safe
pgm_protocol.3.prop1: safe
pgm_protocol.3.prop2: safe
pgm_protocol.3.prop5: reachable
pgm_protocol.3.prop6: safe
pgm_protocol.4.prop1: safe
pgm_protocol.4.prop2: safe
pgm_protocol.4.prop5: safe
pgm_protocol.4.prop6: safe
pgm_protocol.5.prop1: safe
pgm_protocol.5.prop2: safe
pgm_protocol.5.prop5: reachable
pgm_protocol.5.prop6: safe
pgm_protocol.6.prop1: safe
pgm_protocol.6.prop2: safe
pgm_protocol.6.prop5: reachable
pgm_protocol.6.prop6: safe
pgm_protocol.7.prop1: safe
pgm_protocol.7.prop2: safe
pgm_protocol.7.prop5: safe
pgm_protocol.7.prop6: safe
pgm_protocol.8.prop1: safe
pgm_protocol.8.prop2: safe
pgm_protocol.8.prop5: reachable
pgm_protocol.8.prop6: safe
plc.1.prop2: safe
plc.2.prop2: safe
plc.3.prop2: safe
plc.4.prop2: unknown
pouring.1.prop1: reachable
pouring.2.prop1: reachable
production_cell.1.prop1: reachable
production_cell.2.prop1: reachable
production_cell.3.prop1: reachable
production_cell.4.prop1: reachable
production_cell.5.prop1: reachable
production_cell.6.prop1: reachable
protocols.1.prop1: reachable
protocols.2.prop1: reachable
protocols.3.prop1: reachable
protocols.4.prop1: reachable
protocols.5.prop1: reachable
reader_writer.1.prop1: reachable
reader_writer.2.prop1: safe
reader_writer.3.prop1: reachable
resistance.1.prop1: safe
resistance.1.prop2: safe
resistance.1.prop3: safe
resistance.2.prop1: reachable
resistance.2.prop2: unknown
resistance.2.prop3: unknown
rether.1.prop1: safe
rether.2.prop1: safe
rether.3.prop1: safe
rether.4.prop1: reachable
rether.5.prop1: safe
rether.6.prop1: reachable
rether.7.prop1: safe
rushhour.1.prop1: reachable
rushhour.2.prop1: reachable
rushhour.3.prop1: safe
rushhour.4.prop1: safe
schedule_world.1.prop1: reachable
schedule_world.2.prop1: reachable
schedule_world.3.prop1: reachable
sokoban.1.prop1: reachable
sokoban.2.prop1: reachable
sokoban.3.prop1: unknown
synapse.1.prop1: reachable
synapse.2.prop1: safe
synapse.3.prop1: safe
synapse.4.prop1: safe
synapse.5.prop1: reachable
synapse.6.prop1: safe
synapse.7.prop1: safe
szymanski.1.prop1: safe
szymanski.2.prop1: reachable
szymanski.3.prop1: safe
szymanski.4.prop1: reachable
szymanski.5.prop1: unknown
telephony.1.prop1: reachable
telephony.2.prop1: safe
telephony.3.prop1: reachable
telephony.4.prop1: safe
telephony.5.prop1: unknown
telephony.6.prop1: reachable
telephony.7.prop1: reachable
telephony.8.prop1: reachable
train-gate.1.prop1: reachable
train-gate.2.prop1: safe
train-gate.3.prop1: reachable
train-gate.4.prop1: safe
train-gate.5.prop1: reachable
train-gate.6.prop1: safe
train-gate.7.prop1: unknown
