Nenofex results solving families

Family	# Total	# Sat	# Unsat	Time
Abduction	714	88	99	70245.45
Adder	201	11	9	44994.36
blackbox-01X-QBF	1084		130	116362.19
blackbox_design	131			55580.23
Blocks	102	4	9	195.45
BMC	380	46	54	79976.09
C432	73	2	2	24003.77
C499	76	2	2	3866.8
C5315	86	2	2	18189.98
C6288	86			22413.05
C880	78			10606.08
Chain	87	12		5.5
circuits	141	6		71269.35
comp	28	4	4	3.25
conformant_planning	124	9	6	31761.45
Counter	73	12		5103.63
Debug	182	6		105607.76
DFlipFlop	73		10	213.59
evader-pursuer-4x4-logarithmic	61			6418.85
evader-pursuer-4x4-standard	65			8794.41
evader-pursuer-6x6-logarithmic	74			6407.26
evader-pursuer-6x6-standard	77			24334.64
evader-pursuer-8x8-logarithmic	78			3591.39
FPGA_PLB_FIT_FAST	38	4	1	85.35
FPGA_PLB_FIT_SLOW	25	1	2	43.76
Impl	74	10		0.43
irqlkeapclte	269			59621.31
jmc_quant	49		1	12196.42
jmc_quant_squaring	118		1	36814.13
k_branch_n	116	4		17533.11
k_branch_p	127		4	26217.11
k_d4_n	101	6		25519.91
k_d4_p	95		10	9566
k_dum_n	92	21		92.25
k_dum_p	92		20	816.75
k_grz_n	93	21		316.43
k_grz_p	93		21	261.02
k_lin_n	94	13		14378.14
k_lin_p	89		21	1615.76
k_path_n	93	15		9650.61
k_path_p	94		16	4403.6
k_ph_n	97	14		1347.84
k_ph_p	119		10	21693.91
k_poly_n	96	12		13741.87
k_poly_p	85		15	7986.65
k_t4p_n	96	3		6078.04
k_t4p_p	97		7	8993.18
Logn	19		2	49.84
MutexP	78	4		25562.05
Qshifter	62	5		10950.49
s1196	44			25082.83
s1269	84			33704.08
s27	36	1	3	6.17
s298	93	1		45946.55
s3330	81			23984.77
s386	71			40846.13
s499	92			52260.63
s510	117			41550.54
s713	73			39324.75
s820	80			46419.22
Sorting_networks	433	25	14	162317.55
SzymanskiP	107		2	53095.83
term1	69	3	2	18116.23
terminator	872			171324.43
tipdiam	422	60		169396.03
tipfixpoint	846	5	21	449156.18
Toilet	33	5	3	23.73
Tree	87	5	9	0.33
uclid	30			11124.68
VonNeumann	75		10	196.49
wmiforward	262	13		109275.51
z4ml	61	4	4	1.83

QBF Solver Evaluation Portal