Detail page for toy family


	Submitter:	Leander Tentrup

	Suite:	Tentrup

	Domain:	Miscellanea

	Description:

	Number of instances:	270

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

	Instances:	add10n.sat add10n.unsat add10y.sat add10y.unsat add12n.sat add12n.unsat add12y.sat add12y.unsat add14n.sat add14n.unsat add14y.sat add14y.unsat add16n.sat add16n.unsat add16y.sat add16y.unsat add18n.sat add18n.unsat add18y.sat add18y.unsat add20n.sat add20n.unsat add20y.sat add20y.unsat add2n.sat add2n.unsat add2y.sat add2y.unsat add4n.sat add4n.unsat add4y.sat add4y.unsat add6n.sat add6n.unsat add6y.sat add6y.unsat add8n.sat add8n.unsat add8y.sat add8y.unsat bs128n.sat bs128n.unsat bs128y.sat bs128y.unsat bs16n.sat bs16n.unsat bs16y.sat bs16y.unsat bs32n.sat bs32n.unsat bs32y.sat bs32y.unsat bs64y.sat bs64y.unsat bs8n.sat bs8n.unsat bs8y.sat bs8y.unsat cnt10n.sat cnt10n.unsat cnt10y.sat cnt10y.unsat cnt11n.sat cnt11n.unsat cnt11y.sat cnt11y.unsat cnt15y.sat cnt15y.unsat cnt20n.sat cnt20n.unsat cnt20y.sat cnt20y.unsat cnt25n.sat cnt25n.unsat cnt25y.sat cnt25y.unsat cnt2n.sat cnt2n.unsat cnt2y.sat cnt2y.unsat cnt30n.sat cnt30n.unsat cnt3n.sat cnt3n.unsat cnt3y.sat cnt3y.unsat cnt4n.sat cnt4n.unsat cnt4y.sat cnt4y.unsat cnt5n.sat cnt5n.unsat cnt5y.sat cnt5y.unsat cnt6n.sat cnt6n.unsat cnt6y.sat cnt6y.unsat cnt7n.sat cnt7n.unsat cnt7y.sat cnt7y.unsat cnt8n.sat cnt8n.unsat cnt8y.sat cnt8y.unsat cnt9n.sat cnt9n.unsat cnt9y.sat cnt9y.unsat mult10.sat mult10.unsat mult11.sat mult11.unsat mult12.sat mult12.unsat mult13.sat mult13.unsat mult14.sat mult14.unsat mult15.sat mult15.unsat mult16.sat mult16.unsat mult2.sat mult2.unsat mult4.sat mult4.unsat mult5.sat mult5.unsat mult6.sat mult6.unsat mult7.sat mult7.unsat mult8.sat mult8.unsat mult9.sat mult9.unsat mv10n.sat mv10n.unsat mv10y.sat mv10y.unsat mv11n.sat mv11n.unsat mv11y.sat mv11y.unsat mv12n.sat mv12n.unsat mv12y.sat mv12y.unsat mv14n.sat mv14n.unsat mv14y.sat mv14y.unsat mv16n.sat mv16n.unsat mv16y.sat mv16y.unsat mv20n.sat mv20n.unsat mv20y.sat mv20y.unsat mv2n.sat mv2n.unsat mv2y.sat mv2y.unsat mv4n.sat mv4n.unsat mv4y.sat mv4y.unsat mv8n.sat mv8n.unsat mv8y.sat mv8y.unsat mv9n.sat mv9n.unsat mv9y.sat mv9y.unsat mvs12n.sat mvs12n.unsat mvs12y.sat mvs12y.unsat mvs14n.sat mvs14n.unsat mvs14y.sat mvs14y.unsat mvs16n.sat mvs16n.unsat mvs16y.sat mvs16y.unsat mvs18n.sat mvs18n.unsat mvs18y.sat mvs18y.unsat mvs20n.sat mvs20n.unsat mvs20y.sat mvs20y.unsat mvs22n.sat mvs22n.unsat mvs22y.sat mvs22y.unsat mvs24n.sat mvs24n.unsat mvs24y.sat mvs24y.unsat mvs28n.sat mvs28n.unsat mvs28y.sat mvs28y.unsat mvs2n.sat mvs2n.unsat mvs2y.sat mvs2y.unsat mvs4n.sat mvs4n.unsat mvs4y.sat mvs4y.unsat mvs8n.sat mvs8n.unsat mvs8y.sat mvs8y.unsat stay10n.sat stay10n.unsat stay10y.sat stay10y.unsat stay12n.sat stay12n.unsat stay12y.sat stay12y.unsat stay14n.sat stay14n.unsat stay14y.sat stay14y.unsat stay16n.sat stay16n.unsat stay16y.sat stay16y.unsat stay18n.sat stay18n.unsat stay18y.sat stay18y.unsat stay20n.sat stay20n.unsat stay20y.sat stay20y.unsat stay22n.sat stay22n.unsat stay22y.sat stay22y.unsat stay24n.sat stay24n.unsat stay24y.sat stay24y.unsat stay2n.sat stay2n.unsat stay2y.sat stay2y.unsat stay4n.sat stay4n.unsat stay4y.sat stay4y.unsat stay6n.sat stay6n.unsat stay6y.sat stay6y.unsat stay8n.sat stay8n.unsat stay8y.sat stay8y.unsat

The Quantified Boolean Formulas Satisfiability Library

Detail page for toy family