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

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

Instance	Result	Time
ring4_2-bin	SAT	0.02
counter5_2-bin	SAT	0.02
counter4_3-bin	SAT	0.02
counter4_2-bin	SAT	0.02
ring5_2-bin	SAT	0.02
ring6_2-bin	SAT	0.02
counter4_5-bin	SAT	0.02
counter4_4-bin	SAT	0.03
counter6_2-bin	SAT	0.03
counter5_4-bin	SAT	0.03
semaphore_2-bin	SAT	0.03
counter4_6-bin	SAT	0.04
counter4_7-bin	SAT	0.04
counter7_2-bin	SAT	0.04
counter6_4-bin	SAT	0.04
counter8_2-bin	SAT	0.04
counter7_4-bin	SAT	0.05
counter4_8-bin	SAT	0.06
semaphore3_2-bin	SAT	0.06
counter5_8-bin	SAT	0.06
semaphore_3-bin	SAT	0.06
counter4_9-bin	SAT	0.06
counter4_10-bin	SAT	0.07
counter8_4-bin	SAT	0.07
semaphore4_2-bin	SAT	0.07
ring4_3-bin	SAT	0.08
counter6_8-bin	SAT	0.09
counter4_11-bin	SAT	0.09
semaphore5_2-bin	SAT	0.1
semaphore3_3-bin	SAT	0.11
counter7_8-bin	SAT	0.12
semaphore6_2-bin	SAT	0.12
counter4_12-bin	SAT	0.12
counter8_8-bin	SAT	0.15
counter4_13-bin	SAT	0.18
semaphore4_3-bin	SAT	0.21
semaphore_4-bin	SAT	0.21
dmeSmall_2-bin	SAT	0.24
counter4_14-bin	SAT	0.35
dme1_2-bin	SAT	0.39
semaphore5_3-bin	SAT	0.39
dmeSmall_4-bin	SAT	0.56
semaphore6_3-bin	SAT	0.57
counter4_15-bin	SAT	0.59
dme1_3-bin	SAT	0.67
semaphore3_4-bin	SAT	0.8
dme1_4-bin	SAT	1.03
ring4_4-bin	SAT	1.12
counter5_16-bin	SAT	1.3
counter6_16-bin	SAT	1.45
dme1_5-bin	SAT	1.53
counter7_16-bin	SAT	1.6
counter8_16-bin	SAT	1.8
semaphore_5-bin	SAT	1.96
semaphore4_4-bin	SAT	3.6
ring6_4-bin	SAT	3.76
dme1_6-bin	SAT	3.9
ring5_4-bin	SAT	4.64
semaphore5_4-bin	SAT	9.17
ring4_5-bin	SAT	14.69
semaphore6_4-bin	SAT	17.46
dmeSmall_8-bin	SAT	20.19
dme1_7-bin	SAT	36.89
counter4_16-bin	UNSAT	65.85
ring4_6-bin	SAT	178.73
dme1_8-bin	SAT	394.62
ring4_7-bin	FAIL	600.1
ring4_8-bin	FAIL	600.1
ring5_8-bin	FAIL	600.12
ring6_8-bin	FAIL	600.15
ring5_16-bin	FAIL	600.22
ring6_16-bin	FAIL	600.26
counter5_32-bin	FAIL	600.32
counter5_33-bin	FAIL	600.32
counter6_32-bin	FAIL	600.43
ring5_32-bin	FAIL	600.45
ring5_33-bin	FAIL	600.47
ring6_32-bin	FAIL	600.57
counter7_32-bin	FAIL	600.58
counter8_32-bin	FAIL	600.75
counter6_64-bin	FAIL	600.99
counter6_65-bin	FAIL	601.01
counter7_64-bin	FAIL	601.38
ring6_64-bin	FAIL	601.41
ring6_65-bin	FAIL	601.45
dmeSmall_9-bin	FAIL	601.83
counter8_64-bin	FAIL	601.94
counter7_128-bin	FAIL	603.75
counter7_129-bin	FAIL	603.81
counter8_128-bin	FAIL	605.21
counter8_256-bin	FAIL	616.06
counter8_257-bin	FAIL	616.14

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family NuSMV_diam_bin solved by qpro
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 qpro QBFEVAL'08 - non-prenex non-cnf track.

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