AQME-1NN results solving families

Family	# Total	# Sat	# Unsat	Time
Abduction	714	152	134	37856.63
Adder	201	10	3	63067.01
blackbox-01X-QBF	1084		310	193684.62
blackbox_design	131	27	1	2114.3
Blocks	102	4	9	331.43
BMC	380	54	57	50331.01
C432	73	3	2	18790.3
C499	76	3	2	21625.5
C5315	86	2	2	22565.4
C6288	86	2		36912.46
C880	78	2		36025.5
Chain	87	12		215.48
circuits	141	7		71254.32
comp	28	4	4	512.8
conformant_planning	124	9	2	48087.81
Counter	73	12		16240.05
Debug	182	14		67401.85
DFlipFlop	73		10	516.05
evader-pursuer-4x4-logarithmic	61	7		186
evader-pursuer-4x4-standard	65	7		5607.39
evader-pursuer-6x6-logarithmic	74		3	30282.93
evader-pursuer-6x6-standard	77		1	43349.56
evader-pursuer-8x8-logarithmic	78		4	24768.6
FPGA_PLB_FIT_FAST	38	4	1	54.02
FPGA_PLB_FIT_SLOW	25	1	2	52.91
Impl	74	10		57.78
irqlkeapclte	269	1		126266.95
jmc_quant	49	2	1	16841.94
jmc_quant_squaring	118	2	1	47649.51
k_branch_n	116	5		46165.73
k_branch_p	127		16	17525.8
k_d4_n	101	21		1206.86
k_d4_p	95		21	108.39
k_dum_n	92	21		95.12
k_dum_p	92		21	89.72
k_grz_n	93	21		1039.5
k_grz_p	93		21	149.08
k_lin_n	94	21		1074.1
k_lin_p	89		21	116.77
k_path_n	93	21		99.73
k_path_p	94		21	104.96
k_ph_n	97	21		794.7
k_ph_p	119		10	49905.59
k_poly_n	96	21		103.76
k_poly_p	85		21	89.36
k_t4p_n	96	21		263.66
k_t4p_p	97		21	130.67
Logn	19		2	81.17
MutexP	78	7		1699.03
Qshifter	62	6		211.74
s1196	44	1		21611.57
s1269	84	1		48597.73
s27	36	1	3	32.45
s298	93	9		35520.12
s3330	81	2		39261.17
s386	71	5		25149.1
s499	92	14		27776.06
s510	117	8		56693.67
s713	73	3		28916.17
s820	80	4		36402.63
Sorting_networks	433	35	24	113942.55
SzymanskiP	107		12	2616.36
term1	69	4	3	11361.9
terminator	872		577	47748.37
tipdiam	422	140	18	75538.02
tipfixpoint	846	130	71	262107.52
Toilet	33	5	3	48.87
Tree	87	5	9	74.31
uclid	30			15211.81
VonNeumann	75		9	2388.04
wmiforward	262	69		7952.66
z4ml	61	4	4	66.47

QBF Solver Evaluation Portal