Instances of family NuSMV_diam_bin solved by <a href='solver_detail.php?solver=53'>pQBF</a> <br> QBFEVAL'08

Instances of family NuSMV_diam_bin solved by pQBF
QBFEVAL'08 - non-prenex non-cnf track.

Instance	Result	Time
counter8_256-bin	FAIL	0
counter4_4-bin	SAT	0
counter6_2-bin	SAT	0
ring6_2-bin	SAT	0.01
ring4_2-bin	SAT	0.01
counter7_4-bin	SAT	0.01
counter6_4-bin	SAT	0.01
semaphore3_2-bin	SAT	0.01
counter5_2-bin	SAT	0.01
dme1_7-bin	FAIL	0.01
dme1_8-bin	FAIL	0.01
counter5_4-bin	SAT	0.01
counter4_3-bin	SAT	0.01
counter8_2-bin	SAT	0.01
counter4_2-bin	SAT	0.01
counter7_2-bin	SAT	0.01
counter8_257-bin	FAIL	0.01
counter8_4-bin	SAT	0.02
counter4_6-bin	SAT	0.02
semaphore4_2-bin	SAT	0.02
counter4_8-bin	SAT	0.02
ring5_2-bin	SAT	0.02
counter4_5-bin	SAT	0.02
semaphore_2-bin	SAT	0.02
counter6_8-bin	SAT	0.03
counter7_8-bin	SAT	0.03
semaphore6_2-bin	SAT	0.03
semaphore5_2-bin	SAT	0.03
dmeSmall_2-bin	SAT	0.03
counter5_8-bin	SAT	0.03
counter8_8-bin	SAT	0.04
counter4_7-bin	SAT	0.04
dme1_2-bin	SAT	0.06
counter4_10-bin	SAT	0.07
semaphore_3-bin	SAT	0.09
dme1_6-bin	UNSAT	0.1
counter8_64-bin	FAIL	0.12
counter7_64-bin	FAIL	0.12
counter8_128-bin	FAIL	0.12
counter4_9-bin	SAT	0.13
counter7_129-bin	FAIL	0.13
counter7_128-bin	FAIL	0.14
ring6_65-bin	FAIL	0.16
ring6_64-bin	FAIL	0.16
ring4_3-bin	SAT	0.17
semaphore3_3-bin	SAT	0.2
dmeSmall_9-bin	UNSAT	0.24
counter4_12-bin	SAT	0.25
dme1_3-bin	SAT	0.25
semaphore4_3-bin	SAT	0.37
semaphore_4-bin	SAT	0.49
counter4_11-bin	SAT	0.74
semaphore3_4-bin	SAT	0.91
counter4_14-bin	SAT	0.96
semaphore5_3-bin	SAT	1.59
ring4_4-bin	SAT	2.21
counter4_13-bin	SAT	3.91
counter5_16-bin	SAT	3.91
counter6_16-bin	SAT	4.47
counter7_16-bin	SAT	5
semaphore_5-bin	SAT	5.08
counter8_16-bin	SAT	5.46
ring6_4-bin	SAT	5.52
ring4_5-bin	SAT	5.67
semaphore4_4-bin	SAT	5.81
ring5_4-bin	SAT	6.34
dmeSmall_4-bin	SAT	6.95
semaphore6_3-bin	SAT	7.64
counter4_15-bin	SAT	35.4
semaphore5_4-bin	SAT	71.56
counter4_16-bin	UNSAT	125.87
ring4_6-bin	SAT	180.67
dme1_4-bin	SAT	309.98
counter8_32-bin	FAIL	600.04
ring5_32-bin	FAIL	600.04
ring4_8-bin	FAIL	600.04
counter5_33-bin	FAIL	600.04
counter6_32-bin	FAIL	600.04
semaphore6_4-bin	FAIL	600.04
counter6_64-bin	FAIL	600.04
dmeSmall_8-bin	FAIL	600.04
ring6_16-bin	FAIL	600.04
counter7_32-bin	FAIL	600.04
counter5_32-bin	FAIL	600.04
dme1_5-bin	FAIL	600.05
ring6_32-bin	FAIL	600.05
ring4_7-bin	FAIL	600.05
ring5_16-bin	FAIL	600.05
ring5_8-bin	FAIL	600.05
counter6_65-bin	FAIL	600.05
ring5_33-bin	FAIL	600.05
ring6_8-bin	FAIL	600.05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family NuSMV_diam_bin solved by pQBF
QBFEVAL'08 - non-prenex non-cnf track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family NuSMV_diam_bin solved by pQBF QBFEVAL'08 - non-prenex non-cnf track.

Instances of family NuSMV_diam_bin solved by pQBF
QBFEVAL'08 - non-prenex non-cnf track.