Detail page for ltl2aig-comp family


	Submitter:	Leander Tentrup

	Suite:	Tentrup

	Domain:	Miscellanea

	Description:

	Number of instances:	68

	Results:	2020 - Track 1 2020 - Track 3 2019 - Track 1 2019 - Track 2 2018 - Track 1 2018 - Track 2 2018 - Track 3 2018 - Track 5 2017 - Track 1 2017 - Track 2 2017 - Track 3

	Instances:	gb_s2_r2_comp3_REAL.sat gb_s2_r2_comp3_REAL.unsat gb_s2_r2_comp4_REAL.sat gb_s2_r2_comp4_REAL.unsat load_2c_comp_2_REAL.sat load_2c_comp_2_REAL.unsat load_2c_comp_comp1_REAL.sat load_2c_comp_comp1_REAL.unsat load_2c_comp_comp2_REAL.sat load_2c_comp_comp2_REAL.unsat load_2c_comp_comp3_REAL.sat load_2c_comp_comp3_REAL.unsat load_2c_comp_comp4_REAL.sat load_2c_comp_comp4_REAL.unsat load_2c_comp_comp5_REAL.sat load_2c_comp_comp5_REAL.unsat load_2c_comp_comp6_REAL.sat load_2c_comp_comp6_REAL.unsat load_2c_comp_comp7_REAL.sat load_2c_comp_comp7_REAL.unsat load_3c_comp_comp1_REAL.sat load_3c_comp_comp1_REAL.unsat load_3c_comp_comp2_REAL.sat load_3c_comp_comp2_REAL.unsat load_3c_comp_comp3_REAL.sat load_3c_comp_comp3_REAL.unsat load_3c_comp_comp4_REAL.sat load_3c_comp_comp4_REAL.unsat load_3c_comp_comp5_REAL.sat load_3c_comp_comp5_REAL.unsat load_3c_comp_comp6_REAL.sat load_3c_comp_comp6_REAL.unsat load_3c_comp_comp7_REAL.sat load_3c_comp_comp7_REAL.unsat load_4c_comp_comp2_REAL.sat load_4c_comp_comp2_REAL.unsat load_4c_comp_comp3_REAL.sat load_4c_comp_comp3_REAL.unsat load_4c_comp_comp4_REAL.sat load_4c_comp_comp4_REAL.unsat load_4c_comp_comp5_REAL.sat load_4c_comp_comp5_REAL.unsat load_full_2_comp2_REAL.sat load_full_2_comp2_REAL.unsat load_full_2_comp3_REAL.sat load_full_2_comp3_REAL.unsat load_full_2_comp4_REAL.sat load_full_2_comp4_REAL.unsat load_full_2_comp5_REAL.sat load_full_2_comp5_REAL.unsat load_full_2_comp6_REAL.sat load_full_2_comp6_REAL.unsat load_full_2_comp7_REAL.sat load_full_2_comp7_REAL.unsat load_full_3_comp2_REAL.sat load_full_3_comp2_REAL.unsat load_full_3_comp3_REAL.sat load_full_3_comp3_REAL.unsat load_full_3_comp4_REAL.sat load_full_3_comp4_REAL.unsat load_full_3_comp5_REAL.sat load_full_3_comp5_REAL.unsat load_full_3_comp6_REAL.sat load_full_3_comp6_REAL.unsat load_full_3_comp7_REAL.sat load_full_3_comp7_REAL.unsat load_full_4_comp3_REAL.sat load_full_4_comp3_REAL.unsat

The Quantified Boolean Formulas Satisfiability Library

Detail page for ltl2aig-comp family