Detail page for mult-matrix family


	Submitter:	Leander Tentrup

	Suite:	Tentrup

	Domain:	Miscellanea

	Description:

	Number of instances:	522

	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:	mult_bool_matrix_10_10_11.sat mult_bool_matrix_10_10_11.unsat mult_bool_matrix_10_10_12.sat mult_bool_matrix_10_10_12.unsat mult_bool_matrix_10_10_13.sat mult_bool_matrix_10_10_13.unsat mult_bool_matrix_10_10_7.sat mult_bool_matrix_10_10_7.unsat mult_bool_matrix_10_10_8.sat mult_bool_matrix_10_10_8.unsat mult_bool_matrix_10_10_9.sat mult_bool_matrix_10_10_9.unsat mult_bool_matrix_10_11_11.sat mult_bool_matrix_10_11_11.unsat mult_bool_matrix_10_11_12.sat mult_bool_matrix_10_11_12.unsat mult_bool_matrix_10_11_13.sat mult_bool_matrix_10_11_13.unsat mult_bool_matrix_10_11_9.sat mult_bool_matrix_10_11_9.unsat mult_bool_matrix_10_12_11.sat mult_bool_matrix_10_12_11.unsat mult_bool_matrix_10_12_12.sat mult_bool_matrix_10_12_12.unsat mult_bool_matrix_10_12_13.sat mult_bool_matrix_10_12_13.unsat mult_bool_matrix_10_12_9.sat mult_bool_matrix_10_12_9.unsat mult_bool_matrix_10_13_11.sat mult_bool_matrix_10_13_11.unsat mult_bool_matrix_10_13_12.sat mult_bool_matrix_10_13_12.unsat mult_bool_matrix_10_13_13.sat mult_bool_matrix_10_13_13.unsat mult_bool_matrix_10_13_9.sat mult_bool_matrix_10_13_9.unsat mult_bool_matrix_10_14_9.sat mult_bool_matrix_10_14_9.unsat mult_bool_matrix_10_6_7.sat mult_bool_matrix_10_6_7.unsat mult_bool_matrix_10_6_8.sat mult_bool_matrix_10_6_8.unsat mult_bool_matrix_10_6_9.sat mult_bool_matrix_10_6_9.unsat mult_bool_matrix_10_7_6.sat mult_bool_matrix_10_7_6.unsat mult_bool_matrix_10_7_7.sat mult_bool_matrix_10_7_7.unsat mult_bool_matrix_10_7_8.sat mult_bool_matrix_10_7_8.unsat mult_bool_matrix_10_7_9.sat mult_bool_matrix_10_7_9.unsat mult_bool_matrix_10_8_6.sat mult_bool_matrix_10_8_6.unsat mult_bool_matrix_10_8_7.sat mult_bool_matrix_10_8_7.unsat mult_bool_matrix_10_8_8.sat mult_bool_matrix_10_8_8.unsat mult_bool_matrix_10_8_9.sat mult_bool_matrix_10_8_9.unsat mult_bool_matrix_10_9_11.sat mult_bool_matrix_10_9_11.unsat mult_bool_matrix_10_9_12.sat mult_bool_matrix_10_9_12.unsat mult_bool_matrix_10_9_13.sat mult_bool_matrix_10_9_13.unsat mult_bool_matrix_10_9_14.sat mult_bool_matrix_10_9_14.unsat mult_bool_matrix_10_9_6.sat mult_bool_matrix_10_9_6.unsat mult_bool_matrix_10_9_7.sat mult_bool_matrix_10_9_7.unsat mult_bool_matrix_10_9_8.sat mult_bool_matrix_10_9_8.unsat mult_bool_matrix_10_9_9.sat mult_bool_matrix_10_9_9.unsat mult_bool_matrix_12_10_10.sat mult_bool_matrix_12_10_10.unsat mult_bool_matrix_12_10_11.sat mult_bool_matrix_12_10_11.unsat mult_bool_matrix_12_10_13.sat mult_bool_matrix_12_10_13.unsat mult_bool_matrix_12_10_9.sat mult_bool_matrix_12_10_9.unsat mult_bool_matrix_12_11_10.sat mult_bool_matrix_12_11_10.unsat mult_bool_matrix_12_11_11.sat mult_bool_matrix_12_11_11.unsat mult_bool_matrix_12_11_13.sat mult_bool_matrix_12_11_13.unsat mult_bool_matrix_12_11_9.sat mult_bool_matrix_12_11_9.unsat mult_bool_matrix_12_12_10.sat mult_bool_matrix_12_12_10.unsat mult_bool_matrix_12_12_11.sat mult_bool_matrix_12_12_11.unsat mult_bool_matrix_12_12_12.sat mult_bool_matrix_12_12_12.unsat mult_bool_matrix_12_12_13.sat mult_bool_matrix_12_12_13.unsat mult_bool_matrix_12_13_10.sat mult_bool_matrix_12_13_10.unsat mult_bool_matrix_12_13_11.sat mult_bool_matrix_12_13_11.unsat mult_bool_matrix_12_13_13.sat mult_bool_matrix_12_13_13.unsat mult_bool_matrix_12_13_9.sat mult_bool_matrix_12_13_9.unsat mult_bool_matrix_12_9_10.sat mult_bool_matrix_12_9_10.unsat mult_bool_matrix_12_9_11.sat mult_bool_matrix_12_9_11.unsat mult_bool_matrix_12_9_13.sat mult_bool_matrix_12_9_13.unsat mult_bool_matrix_14_10_9.sat mult_bool_matrix_14_10_9.unsat mult_bool_matrix_14_14_14.sat mult_bool_matrix_14_14_14.unsat mult_bool_matrix_14_9_10.sat mult_bool_matrix_14_9_10.unsat mult_bool_matrix_15_15_15.sat mult_bool_matrix_15_15_15.unsat mult_bool_matrix_16_16_16.sat mult_bool_matrix_16_16_16.unsat mult_bool_matrix_17_17_17.sat mult_bool_matrix_17_17_17.unsat mult_bool_matrix_18_18_18.sat mult_bool_matrix_18_18_18.unsat mult_bool_matrix_19_19_19.sat mult_bool_matrix_19_19_19.unsat mult_bool_matrix_20_20_20.sat mult_bool_matrix_20_20_20.unsat mult_bool_matrix_21_21_21.sat mult_bool_matrix_21_21_21.unsat mult_bool_matrix_2_3_10.sat mult_bool_matrix_2_3_10.unsat mult_bool_matrix_2_3_11.sat mult_bool_matrix_2_3_11.unsat mult_bool_matrix_2_3_12.sat mult_bool_matrix_2_3_12.unsat mult_bool_matrix_2_3_13.sat mult_bool_matrix_2_3_13.unsat mult_bool_matrix_2_3_14.sat mult_bool_matrix_2_3_14.unsat mult_bool_matrix_2_3_15.sat mult_bool_matrix_2_3_15.unsat mult_bool_matrix_2_3_16.sat mult_bool_matrix_2_3_16.unsat mult_bool_matrix_2_3_17.sat mult_bool_matrix_2_3_17.unsat mult_bool_matrix_2_3_18.sat mult_bool_matrix_2_3_18.unsat mult_bool_matrix_2_3_19.sat mult_bool_matrix_2_3_19.unsat mult_bool_matrix_2_3_2.sat mult_bool_matrix_2_3_2.unsat mult_bool_matrix_2_3_20.sat mult_bool_matrix_2_3_20.unsat mult_bool_matrix_2_3_21.sat mult_bool_matrix_2_3_21.unsat mult_bool_matrix_2_3_22.sat mult_bool_matrix_2_3_22.unsat mult_bool_matrix_2_3_23.sat mult_bool_matrix_2_3_23.unsat mult_bool_matrix_2_3_24.sat mult_bool_matrix_2_3_24.unsat mult_bool_matrix_2_3_25.sat mult_bool_matrix_2_3_25.unsat mult_bool_matrix_2_3_26.sat mult_bool_matrix_2_3_26.unsat mult_bool_matrix_2_3_27.sat mult_bool_matrix_2_3_27.unsat mult_bool_matrix_2_3_28.sat mult_bool_matrix_2_3_28.unsat mult_bool_matrix_2_3_29.sat mult_bool_matrix_2_3_29.unsat mult_bool_matrix_2_3_3.sat mult_bool_matrix_2_3_3.unsat mult_bool_matrix_2_3_30.sat mult_bool_matrix_2_3_30.unsat mult_bool_matrix_2_3_4.sat mult_bool_matrix_2_3_4.unsat mult_bool_matrix_2_3_5.sat mult_bool_matrix_2_3_5.unsat mult_bool_matrix_2_3_6.sat mult_bool_matrix_2_3_6.unsat mult_bool_matrix_2_3_7.sat mult_bool_matrix_2_3_7.unsat mult_bool_matrix_2_3_8.sat mult_bool_matrix_2_3_8.unsat mult_bool_matrix_2_3_9.sat mult_bool_matrix_2_3_9.unsat mult_bool_matrix_3_2_2.sat mult_bool_matrix_3_2_2.unsat mult_bool_matrix_3_2_3.sat mult_bool_matrix_3_2_3.unsat mult_bool_matrix_3_2_4.sat mult_bool_matrix_3_2_4.unsat mult_bool_matrix_3_2_5.sat mult_bool_matrix_3_2_5.unsat mult_bool_matrix_3_3_2.sat mult_bool_matrix_3_3_2.unsat mult_bool_matrix_3_3_3.sat mult_bool_matrix_3_3_3.unsat mult_bool_matrix_3_3_4.sat mult_bool_matrix_3_3_4.unsat mult_bool_matrix_3_3_5.sat mult_bool_matrix_3_3_5.unsat mult_bool_matrix_3_4_2.sat mult_bool_matrix_3_4_2.unsat mult_bool_matrix_3_4_3.sat mult_bool_matrix_3_4_3.unsat mult_bool_matrix_3_4_4.sat mult_bool_matrix_3_4_4.unsat mult_bool_matrix_3_4_5.sat mult_bool_matrix_3_4_5.unsat mult_bool_matrix_3_5_2.sat mult_bool_matrix_3_5_2.unsat mult_bool_matrix_3_5_3.sat mult_bool_matrix_3_5_3.unsat mult_bool_matrix_3_5_4.sat mult_bool_matrix_3_5_4.unsat mult_bool_matrix_3_5_5.sat mult_bool_matrix_3_5_5.unsat mult_bool_matrix_4_2_2.sat mult_bool_matrix_4_2_2.unsat mult_bool_matrix_4_2_3.sat mult_bool_matrix_4_2_3.unsat mult_bool_matrix_4_2_4.sat mult_bool_matrix_4_2_4.unsat mult_bool_matrix_4_2_5.sat mult_bool_matrix_4_2_5.unsat mult_bool_matrix_4_3_2.sat mult_bool_matrix_4_3_2.unsat mult_bool_matrix_4_3_3.sat mult_bool_matrix_4_3_3.unsat mult_bool_matrix_4_3_4.sat mult_bool_matrix_4_3_4.unsat mult_bool_matrix_4_3_5.sat mult_bool_matrix_4_3_5.unsat mult_bool_matrix_4_4_2.sat mult_bool_matrix_4_4_2.unsat mult_bool_matrix_4_4_3.sat mult_bool_matrix_4_4_3.unsat mult_bool_matrix_4_4_4.sat mult_bool_matrix_4_4_4.unsat mult_bool_matrix_4_4_5.sat mult_bool_matrix_4_4_5.unsat mult_bool_matrix_4_5_2.sat mult_bool_matrix_4_5_2.unsat mult_bool_matrix_4_5_3.sat mult_bool_matrix_4_5_3.unsat mult_bool_matrix_4_5_4.sat mult_bool_matrix_4_5_4.unsat mult_bool_matrix_4_5_5.sat mult_bool_matrix_4_5_5.unsat mult_bool_matrix_5_2_2.sat mult_bool_matrix_5_2_2.unsat mult_bool_matrix_5_2_3.sat mult_bool_matrix_5_2_3.unsat mult_bool_matrix_5_2_4.sat mult_bool_matrix_5_2_4.unsat mult_bool_matrix_5_2_5.sat mult_bool_matrix_5_2_5.unsat mult_bool_matrix_5_3_2.sat mult_bool_matrix_5_3_2.unsat mult_bool_matrix_5_3_3.sat mult_bool_matrix_5_3_3.unsat mult_bool_matrix_5_3_4.sat mult_bool_matrix_5_3_4.unsat mult_bool_matrix_5_3_5.sat mult_bool_matrix_5_3_5.unsat mult_bool_matrix_5_4_2.sat mult_bool_matrix_5_4_2.unsat mult_bool_matrix_5_4_3.sat mult_bool_matrix_5_4_3.unsat mult_bool_matrix_5_4_4.sat mult_bool_matrix_5_4_4.unsat mult_bool_matrix_5_4_5.sat mult_bool_matrix_5_4_5.unsat mult_bool_matrix_5_5_2.sat mult_bool_matrix_5_5_2.unsat mult_bool_matrix_5_5_3.sat mult_bool_matrix_5_5_3.unsat mult_bool_matrix_5_5_4.sat mult_bool_matrix_5_5_4.unsat mult_bool_matrix_5_5_5.sat mult_bool_matrix_5_5_5.unsat mult_bool_matrix_6_10_7.sat mult_bool_matrix_6_10_7.unsat mult_bool_matrix_6_10_8.sat mult_bool_matrix_6_10_8.unsat mult_bool_matrix_6_10_9.sat mult_bool_matrix_6_10_9.unsat mult_bool_matrix_6_6_6.sat mult_bool_matrix_6_6_6.unsat mult_bool_matrix_6_6_7.sat mult_bool_matrix_6_6_7.unsat mult_bool_matrix_6_6_8.sat mult_bool_matrix_6_6_8.unsat mult_bool_matrix_6_7_10.sat mult_bool_matrix_6_7_10.unsat mult_bool_matrix_6_7_7.sat mult_bool_matrix_6_7_7.unsat mult_bool_matrix_6_7_8.sat mult_bool_matrix_6_7_8.unsat mult_bool_matrix_6_7_9.sat mult_bool_matrix_6_7_9.unsat mult_bool_matrix_6_8_10.sat mult_bool_matrix_6_8_10.unsat mult_bool_matrix_6_8_7.sat mult_bool_matrix_6_8_7.unsat mult_bool_matrix_6_8_8.sat mult_bool_matrix_6_8_8.unsat mult_bool_matrix_6_8_9.sat mult_bool_matrix_6_8_9.unsat mult_bool_matrix_6_9_10.sat mult_bool_matrix_6_9_10.unsat mult_bool_matrix_6_9_7.sat mult_bool_matrix_6_9_7.unsat mult_bool_matrix_6_9_8.sat mult_bool_matrix_6_9_8.unsat mult_bool_matrix_8_10_10.sat mult_bool_matrix_8_10_10.unsat mult_bool_matrix_8_10_6.sat mult_bool_matrix_8_10_6.unsat mult_bool_matrix_8_10_7.sat mult_bool_matrix_8_10_7.unsat mult_bool_matrix_8_10_9.sat mult_bool_matrix_8_10_9.unsat mult_bool_matrix_8_6_10.sat mult_bool_matrix_8_6_10.unsat mult_bool_matrix_8_6_6.sat mult_bool_matrix_8_6_6.unsat mult_bool_matrix_8_6_7.sat mult_bool_matrix_8_6_7.unsat mult_bool_matrix_8_6_9.sat mult_bool_matrix_8_6_9.unsat mult_bool_matrix_8_7_10.sat mult_bool_matrix_8_7_10.unsat mult_bool_matrix_8_7_6.sat mult_bool_matrix_8_7_6.unsat mult_bool_matrix_8_7_7.sat mult_bool_matrix_8_7_7.unsat mult_bool_matrix_8_7_9.sat mult_bool_matrix_8_7_9.unsat mult_bool_matrix_8_8_10.sat mult_bool_matrix_8_8_10.unsat mult_bool_matrix_8_8_6.sat mult_bool_matrix_8_8_6.unsat mult_bool_matrix_8_8_7.sat mult_bool_matrix_8_8_7.unsat mult_bool_matrix_8_8_8.sat mult_bool_matrix_8_8_8.unsat mult_bool_matrix_8_8_9.sat mult_bool_matrix_8_8_9.unsat mult_bool_matrix_8_9_10.sat mult_bool_matrix_8_9_10.unsat mult_bool_matrix_8_9_6.sat mult_bool_matrix_8_9_6.unsat mult_bool_matrix_8_9_7.sat mult_bool_matrix_8_9_7.unsat mult_bool_matrix_8_9_9.sat mult_bool_matrix_8_9_9.unsat mult_bool_matrix_dyn_10_10.sat mult_bool_matrix_dyn_10_10.unsat mult_bool_matrix_dyn_10_2.sat mult_bool_matrix_dyn_10_2.unsat mult_bool_matrix_dyn_10_3.sat mult_bool_matrix_dyn_10_3.unsat mult_bool_matrix_dyn_10_4.sat mult_bool_matrix_dyn_10_4.unsat mult_bool_matrix_dyn_10_5.sat mult_bool_matrix_dyn_10_5.unsat mult_bool_matrix_dyn_10_7.sat mult_bool_matrix_dyn_10_7.unsat mult_bool_matrix_dyn_10_8.sat mult_bool_matrix_dyn_10_8.unsat mult_bool_matrix_dyn_10_9.sat mult_bool_matrix_dyn_10_9.unsat mult_bool_matrix_dyn_2_10.sat mult_bool_matrix_dyn_2_10.unsat mult_bool_matrix_dyn_2_2.sat mult_bool_matrix_dyn_2_2.unsat mult_bool_matrix_dyn_2_3.sat mult_bool_matrix_dyn_2_3.unsat mult_bool_matrix_dyn_2_4.sat mult_bool_matrix_dyn_2_4.unsat mult_bool_matrix_dyn_2_5.sat mult_bool_matrix_dyn_2_5.unsat mult_bool_matrix_dyn_2_6.sat mult_bool_matrix_dyn_2_6.unsat mult_bool_matrix_dyn_2_7.sat mult_bool_matrix_dyn_2_7.unsat mult_bool_matrix_dyn_2_8.sat mult_bool_matrix_dyn_2_8.unsat mult_bool_matrix_dyn_2_9.sat mult_bool_matrix_dyn_2_9.unsat mult_bool_matrix_dyn_3_10.sat mult_bool_matrix_dyn_3_10.unsat mult_bool_matrix_dyn_3_2.sat mult_bool_matrix_dyn_3_2.unsat mult_bool_matrix_dyn_3_3.sat mult_bool_matrix_dyn_3_3.unsat mult_bool_matrix_dyn_3_4.sat mult_bool_matrix_dyn_3_4.unsat mult_bool_matrix_dyn_3_5.sat mult_bool_matrix_dyn_3_5.unsat mult_bool_matrix_dyn_3_6.sat mult_bool_matrix_dyn_3_6.unsat mult_bool_matrix_dyn_3_7.sat mult_bool_matrix_dyn_3_7.unsat mult_bool_matrix_dyn_3_8.sat mult_bool_matrix_dyn_3_8.unsat mult_bool_matrix_dyn_3_9.sat mult_bool_matrix_dyn_3_9.unsat mult_bool_matrix_dyn_4_10.sat mult_bool_matrix_dyn_4_10.unsat mult_bool_matrix_dyn_4_2.sat mult_bool_matrix_dyn_4_2.unsat mult_bool_matrix_dyn_4_3.sat mult_bool_matrix_dyn_4_3.unsat mult_bool_matrix_dyn_4_4.sat mult_bool_matrix_dyn_4_4.unsat mult_bool_matrix_dyn_4_5.sat mult_bool_matrix_dyn_4_5.unsat mult_bool_matrix_dyn_4_6.sat mult_bool_matrix_dyn_4_6.unsat mult_bool_matrix_dyn_4_7.sat mult_bool_matrix_dyn_4_7.unsat mult_bool_matrix_dyn_4_8.sat mult_bool_matrix_dyn_4_8.unsat mult_bool_matrix_dyn_4_9.sat mult_bool_matrix_dyn_4_9.unsat mult_bool_matrix_dyn_5_10.sat mult_bool_matrix_dyn_5_10.unsat mult_bool_matrix_dyn_5_2.sat mult_bool_matrix_dyn_5_2.unsat mult_bool_matrix_dyn_5_3.sat mult_bool_matrix_dyn_5_3.unsat mult_bool_matrix_dyn_5_4.sat mult_bool_matrix_dyn_5_4.unsat mult_bool_matrix_dyn_5_5.sat mult_bool_matrix_dyn_5_5.unsat mult_bool_matrix_dyn_5_6.sat mult_bool_matrix_dyn_5_6.unsat mult_bool_matrix_dyn_5_7.sat mult_bool_matrix_dyn_5_7.unsat mult_bool_matrix_dyn_5_8.sat mult_bool_matrix_dyn_5_8.unsat mult_bool_matrix_dyn_5_9.sat mult_bool_matrix_dyn_5_9.unsat mult_bool_matrix_dyn_6_10.sat mult_bool_matrix_dyn_6_10.unsat mult_bool_matrix_dyn_6_2.sat mult_bool_matrix_dyn_6_2.unsat mult_bool_matrix_dyn_6_3.sat mult_bool_matrix_dyn_6_3.unsat mult_bool_matrix_dyn_6_4.sat mult_bool_matrix_dyn_6_4.unsat mult_bool_matrix_dyn_6_5.sat mult_bool_matrix_dyn_6_5.unsat mult_bool_matrix_dyn_6_6.sat mult_bool_matrix_dyn_6_6.unsat mult_bool_matrix_dyn_6_7.sat mult_bool_matrix_dyn_6_7.unsat mult_bool_matrix_dyn_6_8.sat mult_bool_matrix_dyn_6_8.unsat mult_bool_matrix_dyn_6_9.sat mult_bool_matrix_dyn_6_9.unsat mult_bool_matrix_dyn_7_10.sat mult_bool_matrix_dyn_7_10.unsat mult_bool_matrix_dyn_7_2.sat mult_bool_matrix_dyn_7_2.unsat mult_bool_matrix_dyn_7_3.sat mult_bool_matrix_dyn_7_3.unsat mult_bool_matrix_dyn_7_4.sat mult_bool_matrix_dyn_7_4.unsat mult_bool_matrix_dyn_7_5.sat mult_bool_matrix_dyn_7_5.unsat mult_bool_matrix_dyn_7_7.sat mult_bool_matrix_dyn_7_7.unsat mult_bool_matrix_dyn_7_8.sat mult_bool_matrix_dyn_7_8.unsat mult_bool_matrix_dyn_7_9.sat mult_bool_matrix_dyn_7_9.unsat mult_bool_matrix_dyn_8_10.sat mult_bool_matrix_dyn_8_10.unsat mult_bool_matrix_dyn_8_2.sat mult_bool_matrix_dyn_8_2.unsat mult_bool_matrix_dyn_8_3.sat mult_bool_matrix_dyn_8_3.unsat mult_bool_matrix_dyn_8_4.sat mult_bool_matrix_dyn_8_4.unsat mult_bool_matrix_dyn_8_5.sat mult_bool_matrix_dyn_8_5.unsat mult_bool_matrix_dyn_8_6.sat mult_bool_matrix_dyn_8_6.unsat mult_bool_matrix_dyn_8_7.sat mult_bool_matrix_dyn_8_7.unsat mult_bool_matrix_dyn_8_8.sat mult_bool_matrix_dyn_8_8.unsat mult_bool_matrix_dyn_8_9.sat mult_bool_matrix_dyn_8_9.unsat mult_bool_matrix_dyn_9_10.sat mult_bool_matrix_dyn_9_10.unsat mult_bool_matrix_dyn_9_2.sat mult_bool_matrix_dyn_9_2.unsat mult_bool_matrix_dyn_9_3.sat mult_bool_matrix_dyn_9_3.unsat mult_bool_matrix_dyn_9_4.sat mult_bool_matrix_dyn_9_4.unsat mult_bool_matrix_dyn_9_5.sat mult_bool_matrix_dyn_9_5.unsat mult_bool_matrix_dyn_9_6.sat mult_bool_matrix_dyn_9_6.unsat mult_bool_matrix_dyn_9_7.sat mult_bool_matrix_dyn_9_7.unsat mult_bool_matrix_dyn_9_8.sat mult_bool_matrix_dyn_9_8.unsat mult_bool_matrix_dyn_9_9.sat mult_bool_matrix_dyn_9_9.unsat

The Quantified Boolean Formulas Satisfiability Library

Detail page for mult-matrix family