AIGSolve results solving families

Family	# Total	# Sat	# Unsat	Time
Abduction	172	19	17	61541
Adder	110	9	3	25874.68
blackbox-01X-QBF	200	0	23	143620.07
blackbox_design	13	2	0	376.57
Blocks	44	1	2	15077.33
BMC	85	7	10	12003.53
C432	39	1	3	6.33
C499	21	0	2	31.03
C5315	77	1	2	50388.67
C6288	43	0	0	51600
C880	10	1	0	3.24
Chain	12	1	0	0.43
circuits	11	3	0	126.03
comp	8	0	2	0.27
conformant_planning	92	4	3	50244.28
Connect4	34	0	7	17948.34
Counter	17	4	0	2849.03
Debug	30	0	0	35694.33
evader-pursuer-4x4-logarithmic	25	1	0	18678.39
evader-pursuer-4x4-standard	65	1	0	71096.74
evader-pursuer-6x6-logarithmic	34	0	0	40800
evader-pursuer-6x6-standard	16	0	0	16666.14
evader-pursuer-8x8-logarithmic	59	0	1	34752.89
FPGA_PLB_FIT_FAST	16	1	1	230
FPGA_PLB_FIT_SLOW	10	0	1	218.25
Impl	8	1	0	0.03
jmc_quant	13	1	1	7.45
jmc_quant_squaring	13	1	0	108.9
k_branch_n	32	3	0	14501.38
k_branch_p	61	0	6	7015.63
k_d4_n	55	10	0	88.61
k_d4_p	28	0	5	9.43
k_dum_n	11	2	0	2.98
k_dum_p	25	0	4	5.39
k_grz_n	22	4	0	33.44
k_grz_p	21	0	3	20.74
k_lin_n	22	5	0	3387.23
k_lin_p	25	0	4	2.05
k_path_n	12	3	0	7.78
k_path_p	29	0	4	14.2
k_ph_n	30	6	0	272.64
k_ph_p	25	0	2	22829.4
k_poly_n	26	4	0	30.1
k_poly_p	11	0	2	20.21
k_t4p_n	26	4	0	31.12
k_t4p_p	41	0	5	24.29
Logn	10	0	1	11.24
mqm	483	19	12	449487.86
s1196	9	0	0	10800
s1269	8	0	0	9600
s27	11	0	1	0.18
s298	16	4	0	328.09
s3330	21	0	0	16481.15
s386	8	0	1	5725.7
s499	13	2	0	1105.25
s510	14	2	0	2986.03
s713	13	1	0	7621.96
s820	8	0	0	9600
Sorting_networks	22	1	1	19200.58
SzymanskiP	22	0	1	17259.89
term1	30	1	2	5.92
tipdiam	36	8	2	12251.22
tipfixpoint	74	7	9	27975.73
Toilet	21	3	1	10.76
ToiletA	17	4	3	4841.45
ToiletC	39	15	8	3.82
ToiletG	27	4	0	0.38
VonNeumann	15	0	2	540.16
z4ml	8	0	1	0.03

QBF Solver Evaluation Portal