| bakery_lstar_non_incre_equiv_trans_2_0.smt2 |
| herman-linear_sat_non_incre_equiv_init_0_1.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_init_0_6.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_22.smt2 |
| two_token_pass_sat_non_incre_equiv_bad_0_1.smt2 |
| dining-cryptographers_lstar_non_incre_equiv_bad_0_0.smt2 |
| three_token_pass_sat_non_incre_equiv_trans_1_0.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_21.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_init_0_11.smt2 |
| eqdist_sat_non_incre_equiv_init_0_0.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_11.smt2 |
| water-jug_sat_non_incre_equiv_init_0_1.smt2 |
| eqdist_sat_non_incre_equiv_init_0_8.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_bad_0_4.smt2 |
| water-jug_sat_non_incre_equiv_bad_0_0.smt2 |
| dining-cryptographers_sat_non_incre_equiv_init_0_5.smt2 |
| dining-cryptographers_sat_non_incre_equiv_trans_58_0.smt2 |
| mux-array_sat_non_incre_equiv_bad_0_3.smt2 |
| Lehmann-Rabin_lstar_non_incre_equiv_trans_14_0.smt2 |
| eqdist_sat_non_incre_equiv_trans_0_1.smt2 |
| Lehmann-Rabin_lstar_non_incre_equiv_init_0_1.smt2 |
| two_token_pass_sat_non_incre_equiv_init_0_4.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_18.smt2 |
| coffee-can_sat_non_incre_equiv_init_0_1.smt2 |
| two_token_pass_sat_non_incre_equiv_trans_0_2.smt2 |
| eqdist_lstar_non_incre_equiv_init_0_3.smt2 |
| Burns_sat_non_incre_equiv_init_0_1.smt2 |
| dining-cryptographers_sat_non_incre_equiv_trans_0_0.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_bad_0_0.smt2 |
| two_token_pass_lstar_non_incre_equiv_trans_1_0.smt2 |
| muzzle_sat_non_incre_equiv_trans_0_5.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_4.smt2 |
| muzzle_sat_non_incre_equiv_init_0_7.smt2 |
| water-jug_sat_non_incre_equiv_bad_0_3.smt2 |
| three_token_pass_sat_non_incre_equiv_bad_0_0.smt2 |
| LR-philo_lstar_non_incre_equiv_bad_0_1.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_15.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_14.smt2 |
| two_token_pass_sat_non_incre_equiv_bad_2_0.smt2 |
| two_token_pass_sat_non_incre_equiv_init_0_0.smt2 |
| muzzle_sat_non_incre_equiv_bad_0_11.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_9.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_26.smt2 |
| coffee-can-v2_lstar_non_incre_equiv_bad_0_0.smt2 |
| muzzle_sat_non_incre_equiv_bad_0_13.smt2 |
| herman-ring_sat_non_incre_equiv_trans_0_0.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_init_0_2.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_12.smt2 |
| muzzle_sat_non_incre_equiv_trans_0_4.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_0.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_3.smt2 |
| herman-ring_sat_non_incre_equiv_init_0_1.smt2 |
| water-jug_sat_non_incre_equiv_init_0_3.smt2 |
| eqdist_sat_non_incre_equiv_trans_1_0.smt2 |
| coffee-can_sat_non_incre_equiv_trans_0_0.smt2 |
| coffee-can_lstar_non_incre_equiv_bad_0_3.smt2 |
| eqdist_sat_non_incre_equiv_trans_0_0.smt2 |
| muzzle_sat_non_incre_equiv_bad_0_9.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_init_0_4.smt2 |
| dining-cryptographers_sat_non_incre_equiv_bad_0_8.smt2 |
| Burns_sat_non_incre_equiv_init_0_10.smt2 |
| LR-philo_lstar_non_incre_equiv_init_0_1.smt2 |
| eqdist_sat_non_incre_equiv_trans_1_1.smt2 |
| coffee-can_sat_non_incre_equiv_bad_0_0.smt2 |
| herman-linear_sat_non_incre_equiv_trans_0_0.smt2 |
| Burns_sat_non_incre_equiv_bad_0_3.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_18.smt2 |
| three_token_pass_sat_non_incre_equiv_bad_1_0.smt2 |
| dining-cryptographers_sat_non_incre_equiv_trans_26_0.smt2 |
| two_token_pass_sat_non_incre_equiv_bad_1_4.smt2 |
| eqdist_sat_non_incre_equiv_trans_0_2.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_4.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_21.smt2 |
| Burns_sat_non_incre_equiv_bad_0_7.smt2 |
| power-binary_sat_non_incre_equiv_init_0_0.smt2 |
| Israeli-Jalfon_sat_non_incre_equiv_trans_4_0.smt2 |
| LR-philo_sat_non_incre_equiv_trans_0_0.smt2 |
| eqdist_sat_non_incre_equiv_bad_0_1.smt2 |
| one_token_pass_sat_non_incre_equiv_init_0_5.smt2 |
| resource-allocator_lstar_non_incre_equiv_init_0_0.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_init_0_8.smt2 |
| eqdist_sat_non_incre_equiv_trans_0_3.smt2 |
| eqdist_sat_non_incre_equiv_trans_0_6.smt2 |
| two_token_pass_sat_non_incre_equiv_bad_1_1.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_9.smt2 |
| mux-array_sat_non_incre_equiv_init_0_5.smt2 |
| coffee-can-v2_sat_non_incre_equiv_init_0_2.smt2 |
| two_token_pass_sat_non_incre_equiv_bad_0_6.smt2 |
| dining-cryptographers_sat_non_incre_equiv_init_0_12.smt2 |
| Burns_sat_non_incre_equiv_bad_0_5.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_init_0_1.smt2 |
| two_token_pass_sat_non_incre_equiv_trans_0_0.smt2 |
| eqdist_sat_non_incre_equiv_init_0_6.smt2 |
| bakery_sat_non_incre_equiv_trans_1_0.smt2 |
| water-jug_sat_non_incre_equiv_bad_0_2.smt2 |
| two_token_pass_sat_non_incre_equiv_init_0_6.smt2 |
| coffee-can-v2_lstar_non_incre_equiv_init_0_2.smt2 |
| eqdist_sat_non_incre_equiv_init_0_3.smt2 |
| bakery_sat_non_incre_equiv_init_0_0.smt2 |
| herman-linear_lstar_non_incre_equiv_trans_0_0.smt2 |
| LR-philo_sat_non_incre_equiv_bad_0_0.smt2 |
| three_token_pass_sat_non_incre_equiv_bad_0_2.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_8.smt2 |
| water-jug_sat_non_incre_equiv_trans_40_0.smt2 |
| Burns_sat_non_incre_equiv_init_0_11.smt2 |
| muzzle_sat_non_incre_equiv_trans_0_9.smt2 |
| three_token_pass_sat_non_incre_equiv_init_0_3.smt2 |
| muzzle_sat_non_incre_equiv_init_0_0.smt2 |
| muzzle_sat_non_incre_equiv_trans_0_11.smt2 |
| resource-allocator_sat_non_incre_equiv_bad_0_2.smt2 |
| muzzle_sat_non_incre_equiv_trans_2_0.smt2 |
| Lehmann-Rabin_lstar_non_incre_equiv_trans_16_0.smt2 |
| one_token_pass_sat_non_incre_equiv_bad_0_0.smt2 |
| muzzle_sat_non_incre_equiv_bad_0_3.smt2 |
| dining-cryptographers_sat_non_incre_equiv_bad_0_4.smt2 |
| muzzle_sat_non_incre_equiv_trans_1_5.smt2 |
| muzzle_sat_non_incre_equiv_bad_0_6.smt2 |
| LR-philo_lstar_non_incre_equiv_bad_0_0.smt2 |
| herman-ring_sat_non_incre_equiv_init_0_0.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_init_0_9.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_4.smt2 |
| one_token_pass_sat_non_incre_equiv_bad_0_6.smt2 |
| mux-array_sat_non_incre_equiv_bad_0_4.smt2 |
| muzzle_sat_non_incre_equiv_init_0_16.smt2 |
| Israeli-Jalfon_sat_non_incre_equiv_init_0_2.smt2 |
| eqdist_sat_non_incre_equiv_init_0_10.smt2 |
| resource-allocator_sat_non_incre_equiv_init_0_2.smt2 |
| two_token_pass_lstar_non_incre_equiv_trans_0_0.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_1.smt2 |
| eqdist_sat_non_incre_equiv_bad_0_0.smt2 |
| LR-philo_sat_non_incre_equiv_trans_4_0.smt2 |
| herman-ring_sat_non_incre_equiv_bad_0_0.smt2 |
| mux-array_sat_non_incre_equiv_bad_0_2.smt2 |
| water-jug_sat_non_incre_equiv_trans_23_0.smt2 |
| eqdist_sat_non_incre_equiv_bad_0_6.smt2 |
| two_token_pass_lstar_non_incre_equiv_init_0_1.smt2 |
| muzzle_sat_non_incre_equiv_bad_0_16.smt2 |
| Burns_sat_non_incre_equiv_trans_12_0.smt2 |
| herman-ring_lstar_non_incre_equiv_init_0_0.smt2 |
| two_token_pass_sat_non_incre_equiv_bad_0_4.smt2 |
| muzzle_sat_non_incre_equiv_bad_0_8.smt2 |
| dining-cryptographers_sat_non_incre_equiv_bad_0_10.smt2 |
| herman-linear_lstar_non_incre_equiv_init_0_0.smt2 |
| herman-linear_sat_non_incre_equiv_init_0_3.smt2 |
| three_token_pass_sat_non_incre_equiv_init_0_4.smt2 |
| muzzle_sat_non_incre_equiv_trans_1_8.smt2 |
| two_token_pass_sat_non_incre_equiv_trans_1_2.smt2 |
| dining-cryptographers_sat_non_incre_equiv_init_0_8.smt2 |
| mux-array_sat_non_incre_equiv_bad_0_6.smt2 |
| one_token_pass_sat_non_incre_equiv_init_0_7.smt2 |
| coffee-can_lstar_non_incre_equiv_init_0_2.smt2 |
| resource-allocator_sat_non_incre_equiv_trans_0_0.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_trans_16_1.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_2.smt2 |
| Israeli-Jalfon_lstar_non_incre_equiv_init_0_1.smt2 |
| mux-array_sat_non_incre_equiv_bad_0_1.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_10.smt2 |
| mux-array_sat_non_incre_equiv_init_0_6.smt2 |
| LR-philo_lstar_non_incre_equiv_trans_0_0.smt2 |
| muzzle_sat_non_incre_equiv_trans_0_1.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_bad_0_2.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_16.smt2 |
| bakery_sat_non_incre_equiv_trans_0_0.smt2 |
| dining-cryptographers_sat_non_incre_equiv_bad_0_7.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_6.smt2 |
| eqdist_sat_non_incre_equiv_bad_0_5.smt2 |
| dining-cryptographers_sat_non_incre_equiv_bad_0_5.smt2 |
| muzzle_sat_non_incre_equiv_bad_0_15.smt2 |
| bakery_lstar_non_incre_equiv_trans_1_0.smt2 |
| dining-cryptographers_sat_non_incre_equiv_bad_0_0.smt2 |
| bakery_lstar_non_incre_equiv_bad_0_1.smt2 |
| mux-array_lstar_non_incre_equiv_init_0_0.smt2 |
| coffee-can-v2_lstar_non_incre_equiv_bad_0_1.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_10.smt2 |
| muzzle_sat_non_incre_equiv_trans_1_7.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_24.smt2 |
| coffee-can_lstar_non_incre_equiv_init_0_0.smt2 |
| coffee-can-v2_sat_non_incre_equiv_bad_0_0.smt2 |
| muzzle_sat_non_incre_equiv_trans_1_4.smt2 |
| one_token_pass_sat_non_incre_equiv_init_0_2.smt2 |
| Burns_sat_non_incre_equiv_bad_0_2.smt2 |
| muzzle_sat_non_incre_equiv_init_0_14.smt2 |
| two_token_pass_sat_non_incre_equiv_bad_2_3.smt2 |
| Israeli-Jalfon_sat_non_incre_equiv_init_0_6.smt2 |
| one_token_pass_sat_non_incre_equiv_init_0_4.smt2 |
| muzzle_sat_non_incre_equiv_bad_0_5.smt2 |
| bakery_lstar_non_incre_equiv_init_0_1.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_trans_0_0.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_20.smt2 |
| dining-cryptographers_sat_non_incre_equiv_bad_0_3.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_init_0_10.smt2 |
| coffee-can_lstar_non_incre_equiv_bad_0_1.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_2.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_19.smt2 |
| coffee-can-v2_sat_non_incre_equiv_init_0_0.smt2 |
| muzzle_sat_non_incre_equiv_init_0_13.smt2 |
| two_token_pass_lstar_non_incre_equiv_bad_0_1.smt2 |
| Israeli-Jalfon_sat_non_incre_equiv_init_0_1.smt2 |
| two_token_pass_sat_non_incre_equiv_trans_1_0.smt2 |
| dining-cryptographers_sat_non_incre_equiv_bad_0_9.smt2 |
| one_token_pass_sat_non_incre_equiv_bad_0_7.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_19.smt2 |
| Burns_lstar_non_incre_equiv_init_0_0.smt2 |
| muzzle_sat_non_incre_equiv_bad_0_7.smt2 |
| muzzle_sat_non_incre_equiv_bad_0_2.smt2 |
| Lehmann-Rabin_lstar_non_incre_equiv_trans_17_0.smt2 |
| bakery_sat_non_incre_equiv_init_0_3.smt2 |
| Burns_sat_non_incre_equiv_bad_0_0.smt2 |
| eqdist_sat_non_incre_equiv_trans_1_2.smt2 |
| mux-array_sat_non_incre_equiv_bad_0_0.smt2 |
| eqdist_sat_non_incre_equiv_trans_0_4.smt2 |
| Burns_sat_non_incre_equiv_trans_14_0.smt2 |
| two_token_pass_sat_non_incre_equiv_init_0_1.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_1.smt2 |
| coffee-can_lstar_non_incre_equiv_init_0_1.smt2 |
| muzzle_sat_non_incre_equiv_init_0_6.smt2 |
| LR-philo_sat_non_incre_equiv_init_0_0.smt2 |
| Israeli-Jalfon_lstar_non_incre_equiv_init_0_0.smt2 |
| muzzle_sat_non_incre_equiv_trans_0_0.smt2 |
| Israeli-Jalfon_sat_non_incre_equiv_bad_0_2.smt2 |
| resource-allocator_lstar_non_incre_equiv_bad_0_0.smt2 |
| three_token_pass_lstar_non_incre_equiv_trans_1_0.smt2 |
| water-jug_sat_non_incre_equiv_bad_0_4.smt2 |
| LR-philo_sat_non_incre_equiv_init_0_1.smt2 |
| bakery_lstar_non_incre_equiv_bad_0_0.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_13.smt2 |
| Israeli-Jalfon_lstar_non_incre_equiv_bad_0_1.smt2 |
| two_token_pass_lstar_non_incre_equiv_bad_1_0.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_8.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_13.smt2 |
| coffee-can_sat_non_incre_equiv_trans_2_0.smt2 |
| eqdist_sat_non_incre_equiv_trans_2_0.smt2 |
| three_token_pass_lstar_non_incre_equiv_bad_0_0.smt2 |
| eqdist_sat_non_incre_equiv_init_0_1.smt2 |
| eqdist_sat_non_incre_equiv_bad_0_7.smt2 |
| coffee-can-v2_sat_non_incre_equiv_init_0_4.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_19.smt2 |
| water-jug_lstar_non_incre_equiv_init_0_0.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_6.smt2 |
| herman-linear_lstar_non_incre_equiv_bad_0_0.smt2 |
| Burns_sat_non_incre_equiv_bad_0_6.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_22.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_20.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_5.smt2 |
| herman-ring_sat_non_incre_equiv_init_0_2.smt2 |
| Lehmann-Rabin_lstar_non_incre_equiv_bad_0_0.smt2 |
| three_token_pass_sat_non_incre_equiv_trans_0_0.smt2 |
| muzzle_sat_non_incre_equiv_trans_0_7.smt2 |
| Israeli-Jalfon_lstar_non_incre_equiv_bad_0_0.smt2 |
| muzzle_sat_non_incre_equiv_init_0_4.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_bad_0_6.smt2 |
| dining-cryptographers_sat_non_incre_equiv_bad_0_2.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_trans_15_1.smt2 |
| water-jug_sat_non_incre_equiv_trans_1_0.smt2 |
| muzzle_sat_non_incre_equiv_init_0_11.smt2 |
| mux-array_sat_non_incre_equiv_init_0_4.smt2 |
| eqdist_sat_non_incre_equiv_bad_0_3.smt2 |
| herman-ring_lstar_non_incre_equiv_trans_0_0.smt2 |
| dining-cryptographers_sat_non_incre_equiv_init_0_16.smt2 |
| eqdist_sat_non_incre_equiv_init_0_9.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_23.smt2 |
| dining-cryptographers_sat_non_incre_equiv_init_0_0.smt2 |
| eqdist_lstar_non_incre_equiv_init_0_15.smt2 |
| three_token_pass_lstar_non_incre_equiv_bad_1_0.smt2 |
| resource-allocator_sat_non_incre_equiv_init_0_4.smt2 |
| Burns_sat_non_incre_equiv_init_0_8.smt2 |
| two_token_pass_sat_non_incre_equiv_bad_1_2.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_trans_18_1.smt2 |
| two_token_pass_sat_non_incre_equiv_bad_0_2.smt2 |
| Israeli-Jalfon_lstar_non_incre_equiv_trans_0_0.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_9.smt2 |
| muzzle_sat_non_incre_equiv_bad_0_1.smt2 |
| muzzle_sat_non_incre_equiv_trans_1_0.smt2 |
| power-binary_lstar_non_incre_equiv_trans_0_0.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_12.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_1.smt2 |
| dining-cryptographers_sat_non_incre_equiv_init_0_2.smt2 |
| coffee-can_sat_non_incre_equiv_init_0_5.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_bad_0_7.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_init_0_7.smt2 |
| muzzle_sat_non_incre_equiv_trans_0_8.smt2 |
| eqdist_sat_non_incre_equiv_bad_0_8.smt2 |
| resource-allocator_lstar_non_incre_equiv_bad_0_1.smt2 |
| two_token_pass_sat_non_incre_equiv_trans_0_1.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_15.smt2 |
| dining-cryptographers_sat_non_incre_equiv_bad_0_6.smt2 |
| coffee-can-v2_sat_non_incre_equiv_init_0_3.smt2 |
| eqdist_sat_non_incre_equiv_bad_0_2.smt2 |
| two_token_pass_lstar_non_incre_equiv_bad_0_0.smt2 |
| bakery_sat_non_incre_equiv_bad_0_1.smt2 |
| Lehmann-Rabin_lstar_non_incre_equiv_trans_0_0.smt2 |
| eqdist_lstar_non_incre_equiv_init_0_10.smt2 |
| muzzle_sat_non_incre_equiv_bad_0_10.smt2 |
| coffee-can-v2_sat_non_incre_equiv_trans_0_0.smt2 |
| one_token_pass_sat_non_incre_equiv_init_0_0.smt2 |
| three_token_pass_sat_non_incre_equiv_init_0_2.smt2 |
| power-binary_lstar_non_incre_equiv_init_0_0.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_6.smt2 |
| dining-cryptographers_sat_non_incre_equiv_init_0_7.smt2 |
| three_token_pass_lstar_non_incre_equiv_bad_2_0.smt2 |
| muzzle_sat_non_incre_equiv_trans_1_1.smt2 |
| mux-array_sat_non_incre_equiv_init_0_0.smt2 |
| muzzle_sat_non_incre_equiv_trans_0_3.smt2 |
| Israeli-Jalfon_sat_non_incre_equiv_trans_6_0.smt2 |
| Israeli-Jalfon_sat_non_incre_equiv_init_0_5.smt2 |
| two_token_pass_sat_non_incre_equiv_bad_0_0.smt2 |
| two_token_pass_sat_non_incre_equiv_init_0_8.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_17.smt2 |
| mux-array_sat_non_incre_equiv_bad_0_5.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_16.smt2 |
| Burns_sat_non_incre_equiv_init_0_4.smt2 |
| Burns_lstar_non_incre_equiv_bad_0_0.smt2 |
| coffee-can_sat_non_incre_equiv_init_0_0.smt2 |
| herman-ring_sat_non_incre_equiv_trans_1_0.smt2 |
| dining-cryptographers_sat_non_incre_equiv_init_0_1.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_22.smt2 |
| herman-ring_sat_non_incre_equiv_init_0_4.smt2 |
| mux-array_sat_non_incre_equiv_init_0_8.smt2 |
| eqdist_lstar_non_incre_equiv_init_0_12.smt2 |
| herman-ring_lstar_non_incre_equiv_trans_1_0.smt2 |
| two_token_pass_sat_non_incre_equiv_bad_2_1.smt2 |
| one_token_pass_sat_non_incre_equiv_init_0_3.smt2 |
| muzzle_sat_non_incre_equiv_trans_1_9.smt2 |
| one_token_pass_sat_non_incre_equiv_bad_0_3.smt2 |
| coffee-can_sat_non_incre_equiv_init_0_4.smt2 |
| muzzle_sat_non_incre_equiv_trans_1_2.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_trans_18_0.smt2 |
| one_token_pass_sat_non_incre_equiv_bad_0_5.smt2 |
| herman-ring_sat_non_incre_equiv_init_0_3.smt2 |
| Israeli-Jalfon_sat_non_incre_equiv_init_0_4.smt2 |
| coffee-can_lstar_non_incre_equiv_init_0_3.smt2 |
| eqdist_lstar_non_incre_equiv_init_0_6.smt2 |
| herman-ring_sat_non_incre_equiv_init_0_5.smt2 |
| coffee-can_sat_non_incre_equiv_bad_0_1.smt2 |
| coffee-can_lstar_non_incre_equiv_bad_0_0.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_trans_19_0.smt2 |
| Burns_sat_non_incre_equiv_trans_0_0.smt2 |
| coffee-can_sat_non_incre_equiv_bad_0_2.smt2 |
| water-jug_sat_non_incre_equiv_init_0_2.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_trans_0_1.smt2 |
| one_token_pass_lstar_non_incre_equiv_bad_0_1.smt2 |
| Burns_sat_non_incre_equiv_init_0_5.smt2 |
| dining-cryptographers_sat_non_incre_equiv_init_0_3.smt2 |
| eqdist_lstar_non_incre_equiv_init_0_27.smt2 |
| water-jug_sat_non_incre_equiv_trans_37_0.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_0.smt2 |
| two_token_pass_lstar_non_incre_equiv_bad_2_0.smt2 |
| two_token_pass_sat_non_incre_equiv_init_0_7.smt2 |
| muzzle_sat_non_incre_equiv_init_0_8.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_17.smt2 |
| muzzle_sat_non_incre_equiv_trans_0_12.smt2 |
| Burns_sat_non_incre_equiv_bad_0_8.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_8.smt2 |
| Burns_sat_non_incre_equiv_bad_0_9.smt2 |
| muzzle_sat_non_incre_equiv_bad_0_4.smt2 |
| one_token_pass_sat_non_incre_equiv_bad_0_1.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_23.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_0.smt2 |
| muzzle_sat_non_incre_equiv_trans_0_14.smt2 |
| muzzle_sat_non_incre_equiv_init_0_12.smt2 |
| muzzle_sat_non_incre_equiv_trans_1_3.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_init_0_5.smt2 |
| three_token_pass_lstar_non_incre_equiv_init_0_0.smt2 |
| water-jug_sat_non_incre_equiv_init_0_4.smt2 |
| coffee-can-v2_sat_non_incre_equiv_init_0_1.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_20.smt2 |
| eqdist_sat_non_incre_equiv_init_0_4.smt2 |
| muzzle_sat_non_incre_equiv_init_0_17.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_trans_17_1.smt2 |
| two_token_pass_sat_non_incre_equiv_bad_2_2.smt2 |
| coffee-can_lstar_non_incre_equiv_bad_0_2.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_11.smt2 |
| dining-cryptographers_sat_non_incre_equiv_init_0_15.smt2 |
| dining-cryptographers_sat_non_incre_equiv_init_0_17.smt2 |
| dining-cryptographers_sat_non_incre_equiv_trans_57_0.smt2 |
| eqdist_sat_non_incre_equiv_bad_0_4.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_24.smt2 |
| two_token_pass_sat_non_incre_equiv_bad_1_0.smt2 |
| eqdist_sat_non_incre_equiv_init_0_7.smt2 |
| dining-cryptographers_sat_non_incre_equiv_init_0_6.smt2 |
| dining-cryptographers_lstar_non_incre_equiv_init_0_0.smt2 |
| two_token_pass_sat_non_incre_equiv_bad_0_3.smt2 |
| coffee-can-v2_lstar_non_incre_equiv_trans_0_0.smt2 |
| dining-cryptographers_sat_non_incre_equiv_init_0_14.smt2 |
| eqdist_sat_non_incre_equiv_init_0_5.smt2 |
| muzzle_sat_non_incre_equiv_trans_1_6.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_24.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_trans_16_0.smt2 |
| Lehmann-Rabin_lstar_non_incre_equiv_trans_19_0.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_bad_0_3.smt2 |
| three_token_pass_sat_non_incre_equiv_init_0_0.smt2 |
| muzzle_sat_non_incre_equiv_init_0_1.smt2 |
| eqdist_sat_non_incre_equiv_init_0_2.smt2 |
| muzzle_sat_non_incre_equiv_trans_0_2.smt2 |
| bakery_lstar_non_incre_equiv_trans_0_0.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_11.smt2 |
| Burns_sat_non_incre_equiv_init_0_2.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_14.smt2 |
| Lehmann-Rabin_lstar_non_incre_equiv_init_0_0.smt2 |
| two_token_pass_sat_non_incre_equiv_init_0_3.smt2 |
| coffee-can-v2_sat_non_incre_equiv_init_0_5.smt2 |
| water-jug_sat_non_incre_equiv_trans_0_0.smt2 |
| Israeli-Jalfon_sat_non_incre_equiv_trans_0_1.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_7.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_16.smt2 |
| herman-linear_sat_non_incre_equiv_bad_0_1.smt2 |
| two_token_pass_sat_non_incre_equiv_trans_1_1.smt2 |
| water-jug_sat_non_incre_equiv_trans_38_0.smt2 |
| dining-cryptographers_sat_non_incre_equiv_bad_0_1.smt2 |
| LR-philo_sat_non_incre_equiv_bad_0_1.smt2 |
| one_token_pass_sat_non_incre_equiv_bad_0_4.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_14.smt2 |
| Israeli-Jalfon_sat_non_incre_equiv_trans_4_1.smt2 |
| dining-cryptographers_sat_non_incre_equiv_init_0_9.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_5.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_7.smt2 |
| herman-linear_sat_non_incre_equiv_bad_0_0.smt2 |
| muzzle_sat_non_incre_equiv_bad_0_14.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_13.smt2 |
| muzzle_sat_non_incre_equiv_init_0_3.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_bad_0_5.smt2 |
| dining-cryptographers_sat_non_incre_equiv_init_0_4.smt2 |
| water-jug_sat_non_incre_equiv_bad_0_1.smt2 |
| Burns_sat_non_incre_equiv_bad_0_4.smt2 |
| muzzle_sat_non_incre_equiv_trans_2_2.smt2 |
| water-jug_sat_non_incre_equiv_trans_10_0.smt2 |
| two_token_pass_lstar_non_incre_equiv_init_0_2.smt2 |
| two_token_pass_sat_non_incre_equiv_bad_1_3.smt2 |
| dining-cryptographers_sat_non_incre_equiv_trans_27_0.smt2 |
| water-jug_lstar_non_incre_equiv_bad_0_1.smt2 |
| muzzle_sat_non_incre_equiv_init_0_2.smt2 |
| coffee-can_sat_non_incre_equiv_init_0_7.smt2 |
| three_token_pass_lstar_non_incre_equiv_trans_0_0.smt2 |
| dining-cryptographers_sat_non_incre_equiv_trans_59_0.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_trans_19_1.smt2 |
| Israeli-Jalfon_sat_non_incre_equiv_bad_0_3.smt2 |
| bakery_sat_non_incre_equiv_trans_2_0.smt2 |
| muzzle_sat_non_incre_equiv_trans_1_10.smt2 |
| coffee-can_sat_non_incre_equiv_init_0_6.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_3.smt2 |
| mux-array_lstar_non_incre_equiv_bad_0_0.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_trans_14_1.smt2 |
| Israeli-Jalfon_lstar_non_incre_equiv_trans_6_0.smt2 |
| water-jug_sat_non_incre_equiv_trans_15_0.smt2 |
| muzzle_sat_non_incre_equiv_bad_0_12.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_trans_15_0.smt2 |
| muzzle_sat_non_incre_equiv_init_0_10.smt2 |
| muzzle_sat_non_incre_equiv_trans_0_15.smt2 |
| Burns_sat_non_incre_equiv_init_0_3.smt2 |
| coffee-can_sat_non_incre_equiv_init_0_2.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_bad_0_1.smt2 |
| one_token_pass_sat_non_incre_equiv_init_0_9.smt2 |
| dining-cryptographers_sat_non_incre_equiv_trans_24_0.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_7.smt2 |
| Lehmann-Rabin_lstar_non_incre_equiv_trans_15_0.smt2 |
| two_token_pass_lstar_non_incre_equiv_bad_1_1.smt2 |
| coffee-can-v2_lstar_non_incre_equiv_init_0_0.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_15.smt2 |
| water-jug_sat_non_incre_equiv_trans_39_0.smt2 |
| two_token_pass_sat_non_incre_equiv_init_0_5.smt2 |
| resource-allocator_sat_non_incre_equiv_bad_0_3.smt2 |
| eqdist_lstar_non_incre_equiv_init_0_0.smt2 |
| coffee-can-v2_lstar_non_incre_equiv_trans_1_0.smt2 |
| herman-ring_sat_non_incre_equiv_bad_0_1.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_21.smt2 |
| resource-allocator_sat_non_incre_equiv_bad_0_1.smt2 |
| coffee-can-v2_sat_non_incre_equiv_bad_0_1.smt2 |
| herman-linear_sat_non_incre_equiv_trans_1_0.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_init_0_0.smt2 |
| Burns_sat_non_incre_equiv_bad_0_1.smt2 |
| water-jug_sat_non_incre_equiv_trans_33_0.smt2 |
| mux-array_sat_non_incre_equiv_trans_0_0.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_5.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_25.smt2 |
| LR-philo_lstar_non_incre_equiv_trans_4_0.smt2 |
| resource-allocator_sat_non_incre_equiv_bad_0_0.smt2 |
| dining-cryptographers_sat_non_incre_equiv_init_0_10.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_23.smt2 |
| two_token_pass_lstar_non_incre_equiv_init_0_3.smt2 |
| eqdist_sat_non_incre_equiv_trans_0_5.smt2 |
| coffee-can-v2_sat_non_incre_equiv_trans_1_0.smt2 |
| mux-array_sat_non_incre_equiv_init_0_2.smt2 |
| Lehmann-Rabin_lstar_non_incre_equiv_trans_18_0.smt2 |
| Lehmann-Rabin_lstar_non_incre_equiv_bad_0_1.smt2 |
| one_token_pass_lstar_non_incre_equiv_init_0_1.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_18.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_12.smt2 |
| two_token_pass_sat_non_incre_equiv_bad_0_5.smt2 |
| herman-linear_sat_non_incre_equiv_init_0_0.smt2 |
| muzzle_sat_non_incre_equiv_bad_0_0.smt2 |
| water-jug_sat_non_incre_equiv_init_0_0.smt2 |
| bakery_sat_non_incre_equiv_init_0_2.smt2 |
| eqdist_lstar_non_incre_equiv_init_0_2.smt2 |
| Israeli-Jalfon_sat_non_incre_equiv_init_0_3.smt2 |
| three_token_pass_sat_non_incre_equiv_bad_2_0.smt2 |
| dining-cryptographers_sat_non_incre_equiv_bad_0_11.smt2 |
| Burns_sat_non_incre_equiv_init_0_7.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_3.smt2 |
| Israeli-Jalfon_lstar_non_incre_equiv_trans_4_0.smt2 |
| two_token_pass_sat_non_incre_equiv_init_0_2.smt2 |
| eqdist_lstar_non_incre_equiv_trans_0_10.smt2 |
| Burns_sat_non_incre_equiv_init_0_6.smt2 |
| three_token_pass_sat_non_incre_equiv_init_0_1.smt2 |
| muzzle_sat_non_incre_equiv_trans_0_10.smt2 |
| water-jug_sat_non_incre_equiv_init_0_5.smt2 |
| one_token_pass_sat_non_incre_equiv_bad_0_2.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_trans_17_0.smt2 |
| herman-linear_sat_non_incre_equiv_init_0_2.smt2 |
| Burns_sat_non_incre_equiv_init_0_0.smt2 |
| eqdist_lstar_non_incre_equiv_init_0_18.smt2 |
| eqdist_lstar_non_incre_equiv_init_0_21.smt2 |
| three_token_pass_sat_non_incre_equiv_bad_0_1.smt2 |
| eqdist_lstar_non_incre_equiv_bad_0_2.smt2 |
| coffee-can-v2_lstar_non_incre_equiv_init_0_1.smt2 |
| eqdist_lstar_non_incre_equiv_trans_1_17.smt2 |
| one_token_pass_sat_non_incre_equiv_init_0_8.smt2 |
| Israeli-Jalfon_lstar_non_incre_equiv_init_0_2.smt2 |
| two_token_pass_lstar_non_incre_equiv_bad_0_2.smt2 |
| one_token_pass_lstar_non_incre_equiv_bad_0_0.smt2 |
| muzzle_sat_non_incre_equiv_trans_0_6.smt2 |
| muzzle_sat_non_incre_equiv_trans_2_1.smt2 |
| one_token_pass_sat_non_incre_equiv_init_0_6.smt2 |
| Burns_sat_non_incre_equiv_init_0_9.smt2 |
| resource-allocator_sat_non_incre_equiv_init_0_1.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_init_0_3.smt2 |
| resource-allocator_sat_non_incre_equiv_init_0_3.smt2 |
| muzzle_sat_non_incre_equiv_trans_0_13.smt2 |
| dining-cryptographers_sat_non_incre_equiv_init_0_13.smt2 |
| one_token_pass_sat_non_incre_equiv_init_0_1.smt2 |
| one_token_pass_sat_non_incre_equiv_trans_0_0.smt2 |
| one_token_pass_lstar_non_incre_equiv_init_0_0.smt2 |
| Burns_sat_non_incre_equiv_trans_28_0.smt2 |
| dining-cryptographers_sat_non_incre_equiv_init_0_11.smt2 |
| mux-array_sat_non_incre_equiv_init_0_1.smt2 |
| Lehmann-Rabin_sat_non_incre_equiv_trans_14_0.smt2 |
| resource-allocator_sat_non_incre_equiv_init_0_0.smt2 |
| mux-array_sat_non_incre_equiv_init_0_3.smt2 |
| LR-philo_sat_non_incre_equiv_init_0_2.smt2 |
| Burns_sat_non_incre_equiv_trans_10_0.smt2 |
| coffee-can_sat_non_incre_equiv_init_0_3.smt2 |
| LR-philo_lstar_non_incre_equiv_init_0_0.smt2 |
| bakery_lstar_non_incre_equiv_init_0_0.smt2 |
| dining-cryptographers_sat_non_incre_equiv_trans_56_0.smt2 |
| muzzle_sat_non_incre_equiv_init_0_5.smt2 |
| herman-linear_lstar_non_incre_equiv_trans_1_0.smt2 |
| two_token_pass_lstar_non_incre_equiv_init_0_0.smt2 |
| dining-cryptographers_sat_non_incre_equiv_trans_25_0.smt2 |
| muzzle_sat_non_incre_equiv_init_0_9.smt2 |
| eqdist_lstar_non_incre_equiv_init_0_24.smt2 |
| muzzle_sat_non_incre_equiv_init_0_15.smt2 |
| mux-array_sat_non_incre_equiv_init_0_7.smt2 |
| water-jug_lstar_non_incre_equiv_bad_0_0.smt2 |