quabs-minisat results solving families

quabs-minisat results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	39	1	3	6055.35
Adder	63	0	1	32984.85
blackbox-01X-QBF	35	0	5	122.57
blackbox_design	41	5	0	24.24
Blocks	48	2	2	6251.97
BMC	46	1	1	19337.94
bomb	31	0	1	15635.41
C432	40	2	2	1395.36
C499	42	1	0	20390.22
C5315	46	0	2	13793.56
C6288	47	0	0	28186.37
C880	42	0	1	19399.52
Chain	48	2	0	21170.48
circuits	41	1	0	20990.71
conformant_planning	47	1	1	19205.95
Connect4	36	0	3	10916.4
Counter	32	3	0	9278.19
Debug	58	0	0	34783.18
DFlipFlop	39	0	5	1894.32
dungeon	40	0	2	18062.2
evader-pursuer-4x4-logarithmic	36	2	0	15989.99
evader-pursuer-4x4-standard	41	0	0	24588.11
evader-pursuer-6x6-logarithmic	44	0	0	26387.24
evader-pursuer-6x6-standard	43	0	0	25787.64
evader-pursuer-8x8-logarithmic	43	0	0	25787.53
FPGA_PLB_FIT_FAST	24	2	1	36.8
FPGA_PLB_FIT_SLOW	18	0	2	2296.2
fpu	27	0	3	830.81
Generalized-Tic-Tac-Toe	28	1	4	539.67
HardwareFixpoint	43	0	0	25787.53
Impl	39	5	0	1.89
incrementer-encoder	43	0	2	19821.63
irqlkeapclte	66	0	0	39580.86
ISCAS89	16	0	0	9595.41
ITC99	45	0	0	26987.45
jmc_quant_squaring	64	0	0	38381.57
k_branch_n	45	4	0	10626.28
k_branch_p	52	0	4	10732.58
k_d4_n	38	5	0	75.3
k_d4_p	39	0	5	38.16
k_dum_n	36	5	0	10.52
k_dum_p	39	0	5	5.77
k_grz_n	39	5	0	12.55
k_grz_p	34	0	5	8.36
k_lin_n	34	5	0	27.91
k_lin_p	32	0	5	2.06
k_path_n	38	5	0	8.77
k_path_p	38	0	5	6.78
k_ph_n	39	4	0	5998.8
k_ph_p	44	0	3	15283.8
k_poly_n	36	5	0	23.1
k_poly_p	36	0	5	22.83
k_t4p_n	35	5	0	141.33
k_t4p_p	46	0	5	83.27
LinearBitvectorRankingFunction	53	0	0	31785.63
Logn	19	0	2	1224.69
mqm	483	1	133	13637.68
MutexP	47	1	0	22189.67
NuSMV_diam	275	92	0	83.7
Planning-CTE	27	1	0	16171.23
QBF-Hardness	35	1	3	6554.95
qbfeval12	10	0	2	8.3
QLTL_safety	300	0	5	43201.84
Qshifter	34	1	0	14993.95
RankingFunctions	36	0	0	21589.56
Reduction-finding	37	0	3	13279.87
Rewriting	25	0	5	0.1
s1196	25	1	2	97.35
s1269	40	2	0	14996.86
s27	21	0	2	0
s298	34	2	3	24.95
s3330	42	3	0	10204.09
s386	38	2	3	4.45
s499	33	3	2	15.48
s510	33	5	0	61.16
s641	35	3	2	59.23
s713	42	3	2	92.12
s820	38	2	3	21.97
Sorting_networks	66	1	0	36736.06
SzymanskiP	48	0	0	28786.08
term1	38	2	2	131.65
terminator	41	0	5	6.33
tipdiam	49	3	1	9827.45
tipfixpoint	47	4	1	4.56
ToiletA	27	0	5	23.45
ToiletC	26	1	4	56.35
ToiletG	27	4	0	0.13
trafficlight-controller	25	0	5	223.7
Tree	39	1	4	2.44
uclid	22	0	0	13193.62
VonNeumann	40	0	3	10678.02
wmiforward	39	3	0	12343.34
z4ml	32	3	1	0.08

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

quabs-minisat results solving families - 2016