rareqs-nn results solving families

rareqs-nn results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	39	0	3	11787.75
Adder	63	0	1	32979.62
blackbox-01X-QBF	35	0	5	3102.54
blackbox_design	41	5	0	53.58
Blocks	48	2	3	202.2
BMC	46	1	1	19749.42
bomb	31	1	1	15024.11
C432	40	2	2	5139.42
C499	42	1	1	13626.5
C5315	46	0	2	13797.18
C6288	47	0	0	28185.27
C880	42	0	2	16412.83
Chain	48	5	0	1076.52
circuits	41	1	0	20987.02
conformant_planning	47	2	1	14621.09
Connect4	36	0	3	10959.54
Counter	32	1	0	14994.09
Debug	58	0	0	34383.8
DFlipFlop	39	0	5	615.55
dungeon	40	0	0	23870.45
evader-pursuer-4x4-logarithmic	36	0	0	21587.46
evader-pursuer-4x4-standard	41	0	0	24572.81
evader-pursuer-6x6-logarithmic	44	0	0	26379.78
evader-pursuer-6x6-standard	43	0	0	9029.27
evader-pursuer-8x8-logarithmic	43	0	0	25772.85
FPGA_PLB_FIT_FAST	24	1	1	5622.16
FPGA_PLB_FIT_SLOW	18	0	2	612.38
fpu	27	0	2	10229.13
Generalized-Tic-Tac-Toe	28	0	0	16791.13
HardwareFixpoint	43	0	0	25786.54
Impl	39	0	0	23390.29
incrementer-encoder	43	0	1	22785.27
irqlkeapclte	66	0	0	39573.09
ISCAS89	16	0	0	9594.22
ITC99	45	1	0	23977.2
jmc_quant_squaring	64	0	0	38378.84
k_branch_n	45	1	0	23516.06
k_branch_p	52	0	0	31183.15
k_d4_n	38	1	0	19198.72
k_d4_p	39	0	0	23389.59
k_dum_n	36	1	0	17687.41
k_dum_p	39	0	0	23388.69
k_grz_n	39	0	0	23389.39
k_grz_p	34	0	0	20390.94
k_lin_n	34	1	0	16837.53
k_lin_p	32	0	5	192.8
k_path_n	38	0	0	22788.98
k_path_p	38	0	1	18593.11
k_ph_n	39	2	0	15424.28
k_ph_p	44	0	2	18599.68
k_poly_n	36	0	0	21589.56
k_poly_p	36	0	0	21589.56
k_t4p_n	35	0	0	20989.85
k_t4p_p	46	0	0	27586.66
LinearBitvectorRankingFunction	53	0	1	25508.6
Logn	19	0	2	752.7
mqm	483	0	134	11960.21
MutexP	47	4	0	29.06
NuSMV_diam	275	92	0	227.55
Planning-CTE	27	1	0	12986.62
QBF-Hardness	35	0	2	15031.8
qbfeval12	10	0	0	5997.1
QLTL_safety	300	0	3	16387.86
Qshifter	34	1	0	14972.92
RankingFunctions	36	0	0	21588.66
Reduction-finding	37	0	3	14230.68
Rewriting	25	0	5	2.45
s1196	25	1	0	10196.75
s1269	40	2	0	15038.99
s27	21	0	2	2.32
s298	34	2	0	12647.92
s3330	42	3	0	14412.97
s386	38	2	3	254.99
s499	33	3	2	2701.48
s510	33	4	0	9318.82
s641	35	3	0	11662.83
s713	42	3	0	10425.8
s820	38	2	3	4556.44
Sorting_networks	66	0	0	39580.82
SzymanskiP	48	0	2	20045.73
term1	38	2	2	284.74
terminator	41	0	3	13422.27
tipdiam	49	3	0	14408.97
tipfixpoint	47	3	1	10401.28
ToiletA	27	0	5	30.58
ToiletC	26	1	3	3011.91
ToiletG	27	4	0	6.08
trafficlight-controller	25	0	3	6697.9
Tree	39	1	0	18593.81
uclid	22	0	0	13194.72
VonNeumann	40	0	5	3061.26
wmiforward	39	5	0	16.54
z4ml	32	3	1	2.4

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

rareqs-nn results solving families - 2016