Detail page for NuSMV_diam

Detail page for NuSMV_diam_bin family


	Submitter:	Massimo Narizzano

	Suite:	QBF_1.0

	Domain:	Formal Verification

	Description:	NuSMV_diam rewritten to binary operator.

	Number of instances:	92

	Results:	2008 - Track 2

	Instances:	counter4_10-bin counter4_11-bin counter4_12-bin counter4_13-bin counter4_14-bin counter4_15-bin counter4_16-bin counter4_2-bin counter4_3-bin counter4_4-bin counter4_5-bin counter4_6-bin counter4_7-bin counter4_8-bin counter4_9-bin counter5_16-bin counter5_2-bin counter5_32-bin counter5_33-bin counter5_4-bin counter5_8-bin counter6_16-bin counter6_2-bin counter6_32-bin counter6_4-bin counter6_64-bin counter6_65-bin counter6_8-bin counter7_128-bin counter7_129-bin counter7_16-bin counter7_2-bin counter7_32-bin counter7_4-bin counter7_64-bin counter7_8-bin counter8_128-bin counter8_16-bin counter8_2-bin counter8_256-bin counter8_257-bin counter8_32-bin counter8_4-bin counter8_64-bin counter8_8-bin dme1_2-bin dme1_3-bin dme1_4-bin dme1_5-bin dme1_6-bin dme1_7-bin dme1_8-bin dmeSmall_2-bin dmeSmall_4-bin dmeSmall_8-bin dmeSmall_9-bin ring4_2-bin ring4_3-bin ring4_4-bin ring4_5-bin ring4_6-bin ring4_7-bin ring4_8-bin ring5_16-bin ring5_2-bin ring5_32-bin ring5_33-bin ring5_4-bin ring5_8-bin ring6_16-bin ring6_2-bin ring6_32-bin ring6_4-bin ring6_64-bin ring6_65-bin ring6_8-bin semaphore3_2-bin semaphore3_3-bin semaphore3_4-bin semaphore4_2-bin semaphore4_3-bin semaphore4_4-bin semaphore5_2-bin semaphore5_3-bin semaphore5_4-bin semaphore6_2-bin semaphore6_3-bin semaphore6_4-bin semaphore_2-bin semaphore_3-bin semaphore_4-bin semaphore_5-bin

The Quantified Boolean Formulas Satisfiability Library

Detail page for NuSMV_diam_bin family