Detail page for crafted

Detail page for crafted_2020 family


	Submitter:	Martina Seidl

	Suite:	Seidl

	Domain:	Miscellanea

	Description:

	Number of instances:	132

	Results:	2020 - Track 2

	Instances:	BEQ-N-10 BEQ-N-100 BEQ-N-15 BEQ-N-20 BEQ-N-3 BEQ-N-30 BEQ-N-4 BEQ-N-40 BEQ-N-5 BEQ-N-50 BEQ-N-8 CR-N-10 CR-N-100 CR-N-15 CR-N-20 CR-N-3 CR-N-30 CR-N-4 CR-N-40 CR-N-5 CR-N-50 CR-N-8 EQ-N-10 EQ-N-100 EQ-N-15 EQ-N-20 EQ-N-3 EQ-N-30 EQ-N-4 EQ-N-40 EQ-N-5 EQ-N-50 EQ-N-8 EQ2-N-10 EQ2-N-100 EQ2-N-15 EQ2-N-20 EQ2-N-3 EQ2-N-30 EQ2-N-4 EQ2-N-40 EQ2-N-5 EQ2-N-50 EQ2-N-8 KBKF-N-10 KBKF-N-100 KBKF-N-15 KBKF-N-20 KBKF-N-3 KBKF-N-30 KBKF-N-4 KBKF-N-40 KBKF-N-5 KBKF-N-50 KBKF-N-8 KBKF_LD-N-10 KBKF_LD-N-100 KBKF_LD-N-15 KBKF_LD-N-20 KBKF_LD-N-3 KBKF_LD-N-30 KBKF_LD-N-4 KBKF_LD-N-40 KBKF_LD-N-5 KBKF_LD-N-50 KBKF_LD-N-8 KBKF_QU-N-10 KBKF_QU-N-100 KBKF_QU-N-15 KBKF_QU-N-20 KBKF_QU-N-3 KBKF_QU-N-30 KBKF_QU-N-4 KBKF_QU-N-40 KBKF_QU-N-5 KBKF_QU-N-50 KBKF_QU-N-8 LONSING-N-10 LONSING-N-100 LONSING-N-15 LONSING-N-20 LONSING-N-3 LONSING-N-30 LONSING-N-4 LONSING-N-40 LONSING-N-5 LONSING-N-50 LONSING-N-8 LQ_PARITY-N-10 LQ_PARITY-N-100 LQ_PARITY-N-15 LQ_PARITY-N-20 LQ_PARITY-N-3 LQ_PARITY-N-30 LQ_PARITY-N-4 LQ_PARITY-N-40 LQ_PARITY-N-5 LQ_PARITY-N-50 LQ_PARITY-N-8 PARITY-N-10 PARITY-N-100 PARITY-N-15 PARITY-N-20 PARITY-N-3 PARITY-N-30 PARITY-N-4 PARITY-N-40 PARITY-N-5 PARITY-N-50 PARITY-N-8 QU_PARITY-N-10 QU_PARITY-N-100 QU_PARITY-N-15 QU_PARITY-N-20 QU_PARITY-N-3 QU_PARITY-N-30 QU_PARITY-N-4 QU_PARITY-N-40 QU_PARITY-N-5 QU_PARITY-N-50 QU_PARITY-N-8 TRAP-N-10 TRAP-N-100 TRAP-N-15 TRAP-N-20 TRAP-N-3 TRAP-N-30 TRAP-N-4 TRAP-N-40 TRAP-N-5 TRAP-N-50 TRAP-N-8

The Quantified Boolean Formulas Satisfiability Library

Detail page for crafted_2020 family