| two_token_pass_sat_incre_equiv_bad_1.smt2 |
| water-jug_lstar_incre_equiv_init_0.smt2 |
| herman-ring_lstar_incre_reach_bad_trans_1.smt2 |
| dining-cryptographers_lstar_incre_reach_trans_27.smt2 |
| water-jug_lstar_incre_reach_bad_trans_33.smt2 |
| one_token_pass_sat_incre_equiv_trans_0.smt2 |
| LR-philo_lstar_incre_reach_bad_0.smt2 |
| eqdist_sat_incre_equiv_init_0.smt2 |
| water-jug_lstar_incre_equiv_bad_0.smt2 |
| two_token_pass_sat_incre_equiv_bad_2.smt2 |
| herman-ring_lstar_incre_reach_trans_2.smt2 |
| Burns_lstar_incre_reach_bad_trans_14.smt2 |
| herman-linear_lstar_incre_reach_bad_trans_0.smt2 |
| coffee-can-v2_sat_incre_equiv_bad_0.smt2 |
| two_token_pass_lstar_incre_reach_bad_2.smt2 |
| eqdist_lstar_incre_reach_trans_2.smt2 |
| herman-linear_lstar_incre_reach_trans_0.smt2 |
| Israeli-Jalfon_sat_incre_equiv_trans_0.smt2 |
| coffee-can-v2_lstar_incre_reach_bad_trans_0.smt2 |
| two_token_pass_lstar_incre_reach_bad_trans_2.smt2 |
| bakery_lstar_incre_reach_bad_trans_1.smt2 |
| dining-cryptographers_lstar_incre_reach_bad_trans_24.smt2 |
| water-jug_lstar_incre_reach_bad_trans_23.smt2 |
| three_token_pass_sat_incre_equiv_bad_0.smt2 |
| Lehmann-Rabin_sat_incre_equiv_trans_16.smt2 |
| water-jug_lstar_incre_reach_trans_13.smt2 |
| Lehmann-Rabin_sat_incre_equiv_trans_19.smt2 |
| bakery_lstar_incre_reach_bad_trans_4.smt2 |
| dining-cryptographers_lstar_incre_reach_bad_trans_57.smt2 |
| dining-cryptographers_lstar_incre_reach_trans_0.smt2 |
| two_token_pass_lstar_incre_reach_bad_0.smt2 |
| Lehmann-Rabin_lstar_incre_reach_bad_trans_15.smt2 |
| coffee-can-v2_lstar_incre_equiv_bad_0.smt2 |
| dining-cryptographers_lstar_incre_reach_bad_0.smt2 |
| dining-cryptographers_lstar_incre_reach_trans_59.smt2 |
| eqdist_lstar_incre_reach_bad_0.smt2 |
| muzzle_sat_incre_equiv_trans_1.smt2 |
| water-jug_lstar_incre_reach_trans_39.smt2 |
| resource-allocator_lstar_incre_reach_trans_0.smt2 |
| water-jug_lstar_incre_reach_trans_33.smt2 |
| dining-cryptographers_lstar_incre_reach_bad_trans_56.smt2 |
| muzzle_sat_incre_equiv_trans_2.smt2 |
| two_token_pass_sat_incre_equiv_init_0.smt2 |
| Lehmann-Rabin_lstar_incre_reach_bad_trans_19.smt2 |
| resource-allocator_lstar_incre_reach_bad_trans_0.smt2 |
| herman-linear_sat_incre_equiv_bad_0.smt2 |
| two_token_pass_lstar_incre_reach_bad_1.smt2 |
| herman-ring_sat_incre_equiv_init_0.smt2 |
| Lehmann-Rabin_lstar_incre_reach_trans_14.smt2 |
| Israeli-Jalfon_lstar_incre_reach_bad_trans_0.smt2 |
| Israeli-Jalfon_lstar_incre_reach_trans_4.smt2 |
| Lehmann-Rabin_sat_incre_equiv_init_0.smt2 |
| dining-cryptographers_lstar_incre_reach_trans_58.smt2 |
| three_token_pass_lstar_incre_reach_bad_trans_1.smt2 |
| two_token_pass_lstar_incre_reach_trans_0.smt2 |
| water-jug_lstar_incre_reach_bad_0.smt2 |
| coffee-can_lstar_incre_reach_bad_trans_2.smt2 |
| eqdist_lstar_incre_reach_init_0.smt2 |
| resource-allocator_sat_incre_equiv_bad_0.smt2 |
| eqdist_lstar_incre_reach_bad_trans_1.smt2 |
| two_token_pass_lstar_incre_reach_init_0.smt2 |
| one_token_pass_lstar_incre_equiv_bad_0.smt2 |
| Israeli-Jalfon_lstar_incre_reach_bad_trans_7.smt2 |
| Burns_lstar_incre_reach_bad_trans_0.smt2 |
| dining-cryptographers_lstar_incre_reach_bad_trans_27.smt2 |
| eqdist_sat_incre_equiv_trans_1.smt2 |
| Burns_lstar_incre_reach_bad_trans_12.smt2 |
| Israeli-Jalfon_lstar_incre_reach_trans_6.smt2 |
| eqdist_lstar_incre_equiv_bad_0.smt2 |
| coffee-can_lstar_incre_reach_bad_trans_0.smt2 |
| Lehmann-Rabin_lstar_incre_reach_bad_trans_17.smt2 |
| two_token_pass_sat_incre_equiv_trans_0.smt2 |
| muzzle_sat_incre_equiv_bad_0.smt2 |
| herman-ring_lstar_incre_reach_trans_0.smt2 |
| herman-linear_lstar_incre_reach_bad_trans_1.smt2 |
| herman-ring_lstar_incre_reach_bad_trans_2.smt2 |
| water-jug_lstar_incre_reach_bad_trans_39.smt2 |
| muzzle_sat_incre_equiv_init_0.smt2 |
| bakery_lstar_incre_equiv_init_0.smt2 |
| coffee-can-v2_lstar_incre_reach_trans_0.smt2 |
| Israeli-Jalfon_lstar_incre_equiv_init_0.smt2 |
| Lehmann-Rabin_lstar_incre_reach_init_0.smt2 |
| LR-philo_lstar_incre_reach_bad_trans_4.smt2 |
| eqdist_lstar_incre_equiv_trans_1.smt2 |
| power-binary_sat_incre_equiv_init_0.smt2 |
| water-jug_lstar_incre_reach_trans_40.smt2 |
| eqdist_lstar_incre_equiv_init_0.smt2 |
| herman-ring_lstar_incre_reach_trans_1.smt2 |
| herman-ring_lstar_incre_reach_bad_trans_0.smt2 |
| Israeli-Jalfon_sat_incre_equiv_bad_0.smt2 |
| coffee-can_sat_incre_equiv_init_0.smt2 |
| Lehmann-Rabin_lstar_incre_reach_bad_trans_23.smt2 |
| herman-ring_sat_incre_equiv_bad_0.smt2 |
| one_token_pass_lstar_incre_reach_bad_trans_0.smt2 |
| water-jug_lstar_incre_reach_trans_0.smt2 |
| Lehmann-Rabin_lstar_incre_reach_trans_15.smt2 |
| two_token_pass_sat_incre_equiv_trans_1.smt2 |
| bakery_lstar_incre_reach_trans_2.smt2 |
| dining-cryptographers_lstar_incre_reach_bad_trans_58.smt2 |
| herman-linear_lstar_incre_reach_init_0.smt2 |
| coffee-can_lstar_incre_reach_trans_0.smt2 |
| bakery_lstar_incre_reach_trans_1.smt2 |
| two_token_pass_lstar_incre_equiv_init_0.smt2 |
| water-jug_sat_incre_equiv_bad_0.smt2 |
| mux-array_lstar_incre_reach_bad_trans_0.smt2 |
| three_token_pass_lstar_incre_reach_trans_1.smt2 |
| one_token_pass_sat_incre_equiv_init_0.smt2 |
| Lehmann-Rabin_lstar_incre_reach_bad_trans_16.smt2 |
| herman-linear_lstar_incre_reach_trans_1.smt2 |
| two_token_pass_lstar_incre_reach_trans_1.smt2 |
| three_token_pass_lstar_incre_reach_bad_2.smt2 |
| Israeli-Jalfon_lstar_incre_reach_bad_trans_4.smt2 |
| bakery_lstar_incre_reach_init_0.smt2 |
| bakery_sat_incre_equiv_bad_0.smt2 |
| Lehmann-Rabin_lstar_incre_reach_bad_trans_14.smt2 |
| eqdist_lstar_incre_equiv_trans_0.smt2 |
| herman-linear_sat_incre_equiv_init_0.smt2 |
| LR-philo_lstar_incre_reach_init_0.smt2 |
| coffee-can-v2_sat_incre_equiv_init_0.smt2 |
| water-jug_lstar_incre_reach_bad_trans_37.smt2 |
| mux-array_lstar_incre_reach_trans_0.smt2 |
| Burns_sat_incre_equiv_bad_0.smt2 |
| coffee-can-v2_lstar_incre_reach_trans_1.smt2 |
| LR-philo_lstar_incre_reach_trans_4.smt2 |
| water-jug_lstar_incre_reach_trans_37.smt2 |
| mux-array_sat_incre_equiv_init_0.smt2 |
| Lehmann-Rabin_lstar_incre_reach_bad_trans_18.smt2 |
| dining-cryptographers_lstar_incre_reach_trans_25.smt2 |
| mux-array_lstar_incre_reach_init_0.smt2 |
| Israeli-Jalfon_lstar_incre_reach_init_0.smt2 |
| dining-cryptographers_lstar_incre_reach_bad_trans_59.smt2 |
| Lehmann-Rabin_lstar_incre_reach_trans_23.smt2 |
| Lehmann-Rabin_sat_incre_equiv_trans_18.smt2 |
| water-jug_lstar_incre_reach_trans_38.smt2 |
| coffee-can-v2_lstar_incre_equiv_init_0.smt2 |
| two_token_pass_lstar_incre_reach_bad_trans_1.smt2 |
| Israeli-Jalfon_lstar_incre_reach_bad_trans_6.smt2 |
| three_token_pass_lstar_incre_reach_bad_trans_2.smt2 |
| Burns_lstar_incre_reach_trans_0.smt2 |
| water-jug_lstar_incre_reach_bad_trans_38.smt2 |
| Israeli-Jalfon_lstar_incre_reach_trans_0.smt2 |
| dining-cryptographers_lstar_incre_reach_trans_24.smt2 |
| three_token_pass_lstar_incre_reach_init_0.smt2 |
| coffee-can_lstar_incre_equiv_bad_0.smt2 |
| water-jug_lstar_incre_reach_bad_trans_15.smt2 |
| Burns_lstar_incre_reach_trans_12.smt2 |
| Lehmann-Rabin_lstar_incre_reach_trans_16.smt2 |
| herman-linear_lstar_incre_reach_bad_0.smt2 |
| dining-cryptographers_sat_incre_equiv_bad_0.smt2 |
| three_token_pass_lstar_incre_reach_bad_1.smt2 |
| Lehmann-Rabin_sat_incre_equiv_trans_14.smt2 |
| Burns_lstar_incre_reach_init_0.smt2 |
| water-jug_lstar_incre_reach_bad_trans_0.smt2 |
| bakery_lstar_incre_reach_trans_4.smt2 |
| Burns_lstar_incre_reach_bad_0.smt2 |
| dining-cryptographers_lstar_incre_reach_trans_56.smt2 |
| one_token_pass_lstar_incre_equiv_init_0.smt2 |
| eqdist_lstar_incre_reach_trans_1.smt2 |
| dining-cryptographers_lstar_incre_reach_init_0.smt2 |
| Israeli-Jalfon_sat_incre_equiv_init_0.smt2 |
| power-binary_lstar_incre_reach_init_0.smt2 |
| LR-philo_lstar_incre_reach_trans_0.smt2 |
| Lehmann-Rabin_lstar_incre_reach_trans_18.smt2 |
| dining-cryptographers_lstar_incre_reach_bad_trans_25.smt2 |
| Lehmann-Rabin_sat_incre_equiv_trans_0.smt2 |
| Israeli-Jalfon_sat_incre_equiv_trans_4.smt2 |
| LR-philo_lstar_incre_equiv_init_0.smt2 |
| water-jug_lstar_incre_reach_bad_trans_13.smt2 |
| Lehmann-Rabin_lstar_incre_reach_trans_19.smt2 |
| mux-array_lstar_incre_reach_bad_0.smt2 |
| Lehmann-Rabin_sat_incre_equiv_trans_17.smt2 |
| water-jug_lstar_incre_reach_bad_trans_10.smt2 |
| mux-array_sat_incre_equiv_bad_0.smt2 |
| eqdist_lstar_incre_reach_bad_trans_2.smt2 |
| dining-cryptographers_lstar_incre_reach_trans_26.smt2 |
| bakery_lstar_incre_reach_bad_0.smt2 |
| coffee-can_lstar_incre_reach_bad_0.smt2 |
| eqdist_sat_incre_equiv_trans_2.smt2 |
| water-jug_lstar_incre_reach_init_0.smt2 |
| bakery_lstar_incre_equiv_bad_0.smt2 |
| Lehmann-Rabin_sat_incre_equiv_trans_15.smt2 |
| resource-allocator_lstar_incre_equiv_init_0.smt2 |
| Lehmann-Rabin_lstar_incre_equiv_init_0.smt2 |
| water-jug_lstar_incre_reach_trans_23.smt2 |
| dining-cryptographers_sat_incre_equiv_init_0.smt2 |
| Lehmann-Rabin_lstar_incre_reach_bad_trans_0.smt2 |
| two_token_pass_lstar_incre_equiv_bad_0.smt2 |
| bakery_sat_incre_equiv_init_0.smt2 |
| coffee-can-v2_lstar_incre_reach_init_0.smt2 |
| coffee-can-v2_lstar_incre_reach_bad_trans_1.smt2 |
| resource-allocator_lstar_incre_equiv_bad_0.smt2 |
| bakery_lstar_incre_reach_bad_trans_0.smt2 |
| eqdist_sat_incre_equiv_bad_0.smt2 |
| three_token_pass_lstar_incre_reach_bad_0.smt2 |
| Israeli-Jalfon_lstar_incre_equiv_bad_0.smt2 |
| Burns_lstar_incre_reach_bad_trans_10.smt2 |
| two_token_pass_sat_incre_equiv_bad_0.smt2 |
| eqdist_lstar_incre_reach_bad_trans_0.smt2 |
| Lehmann-Rabin_lstar_incre_reach_trans_0.smt2 |
| water-jug_lstar_incre_reach_trans_15.smt2 |
| resource-allocator_sat_incre_equiv_init_0.smt2 |
| three_token_pass_lstar_incre_reach_bad_trans_0.smt2 |
| dining-cryptographers_lstar_incre_reach_trans_57.smt2 |
| Lehmann-Rabin_lstar_incre_equiv_bad_0.smt2 |
| herman-ring_lstar_incre_reach_init_0.smt2 |
| LR-philo_lstar_incre_reach_bad_trans_0.smt2 |
| LR-philo_sat_incre_equiv_init_0.smt2 |
| water-jug_sat_incre_equiv_init_0.smt2 |
| resource-allocator_lstar_incre_reach_bad_0.smt2 |
| herman-ring_lstar_incre_reach_bad_0.smt2 |
| LR-philo_lstar_incre_equiv_bad_0.smt2 |
| muzzle_sat_incre_equiv_trans_0.smt2 |
| LR-philo_sat_incre_equiv_bad_0.smt2 |
| one_token_pass_lstar_incre_reach_bad_0.smt2 |
| bakery_lstar_incre_reach_trans_0.smt2 |
| water-jug_lstar_incre_reach_trans_10.smt2 |
| coffee-can_sat_incre_equiv_bad_0.smt2 |
| two_token_pass_lstar_incre_equiv_bad_1.smt2 |
| Burns_lstar_incre_reach_trans_10.smt2 |
| coffee-can_lstar_incre_reach_trans_2.smt2 |
| coffee-can_lstar_incre_reach_init_0.smt2 |
| dining-cryptographers_lstar_incre_reach_bad_trans_0.smt2 |
| Lehmann-Rabin_lstar_incre_reach_bad_0.smt2 |
| one_token_pass_sat_incre_equiv_bad_0.smt2 |
| Burns_lstar_incre_reach_bad_trans_28.smt2 |
| dining-cryptographers_lstar_incre_reach_bad_trans_26.smt2 |
| eqdist_sat_incre_equiv_trans_0.smt2 |
| one_token_pass_lstar_incre_reach_trans_0.smt2 |
| Burns_lstar_incre_reach_trans_28.smt2 |
| Israeli-Jalfon_lstar_incre_reach_bad_0.smt2 |
| Burns_sat_incre_equiv_init_0.smt2 |
| Burns_lstar_incre_reach_trans_14.smt2 |
| two_token_pass_lstar_incre_reach_trans_2.smt2 |
| resource-allocator_lstar_incre_reach_init_0.smt2 |
| coffee-can_lstar_incre_equiv_init_0.smt2 |
| Israeli-Jalfon_lstar_incre_reach_trans_7.smt2 |
| eqdist_lstar_incre_reach_trans_0.smt2 |
| Lehmann-Rabin_lstar_incre_reach_trans_17.smt2 |
| coffee-can-v2_lstar_incre_reach_bad_0.smt2 |
| bakery_lstar_incre_reach_bad_trans_2.smt2 |
| three_token_pass_sat_incre_equiv_init_0.smt2 |
| one_token_pass_lstar_incre_reach_init_0.smt2 |
| two_token_pass_lstar_incre_reach_bad_trans_0.smt2 |
| Lehmann-Rabin_sat_incre_equiv_bad_0.smt2 |
| water-jug_lstar_incre_reach_bad_trans_40.smt2 |