ssolveC results solving families

Family	# Total	# Sat	# Unsat	Time
Abduction	714	31	12	370231.88
Adder	201	4	2	106071.36
blackbox-01X-QBF	1084		200	361417.49
blackbox_design	131			78600
Blocks	102	2	3	36793.1
BMC	380	23	39	64961.58
C432	73	3	2	21894.96
C499	76	2		36600.69
C5315	86	2		41378.63
C6288	86	2		40283.12
C880	78	2		36230.47
Chain	87	12		15.64
circuits	141	1		81926
comp	28	4	4	2119.69
conformant_planning	124	4	1	58255.86
Counter	73	7		32424.63
Debug	182			44032.7
DFlipFlop	73		10	145.83
evader-pursuer-4x4-logarithmic	61	7		4063.2
evader-pursuer-4x4-standard	65			39000
evader-pursuer-6x6-logarithmic	74		3	33795.51
evader-pursuer-6x6-standard	77			34381.83
evader-pursuer-8x8-logarithmic	78		2	35444.66
FPGA_PLB_FIT_FAST	38	2	1	9600.78
FPGA_PLB_FIT_SLOW	25	1	2	1004.37
Impl	74	10		0.64
irqlkeapclte	269	1		159611.51
jmc_quant	49			29400
jmc_quant_squaring	118			70800
k_branch_n	116	5		54652.5
k_branch_p	127		4	71796.36
k_d4_n	101	13		32381.39
k_d4_p	95		21	97.32
k_dum_n	92	21		20.1
k_dum_p	92		21	41.95
k_grz_n	93	6		40913.1
k_grz_p	93		6	45392.38
k_lin_n	94	21		1613.03
k_lin_p	89		15	14657.68
k_path_n	93	21		53.89
k_path_p	94		21	66.92
k_ph_n	97	8		34303.42
k_ph_p	119		7	56455.97
k_poly_n	96	21		30.82
k_poly_p	85		21	21.01
k_t4p_n	96	21		2778.53
k_t4p_p	97		21	916.41
Logn	19		2	78.27
MutexP	78	7		7.32
Qshifter	62	6		92.6
s1196	44			26400
s1269	84			50400
s27	36	1	3	3065.11
s298	93			55800
s3330	81			32359.33
s386	71			42600
s499	92			55200
s510	117			70200
s713	73			43800
s820	80			48000
Sorting_networks	433	7	10	232139.07
SzymanskiP	107		12	2149.75
term1	69	4	3	8366.66
terminator	872			523200
tipdiam	422	103		135364.03
tipfixpoint	846	20	21	458735.43
Toilet	33	5	3	24.34
Tree	87	5	9	0.51
uclid	30			18000
VonNeumann	75		10	1127.88
wmiforward	262	25		102154.07
z4ml	61	4	4	0.55

QBF Solver Evaluation Portal