qmaiga results solving families

Family	# Total	# Sat	# Unsat	Time
Abduction	172	19	16	73510.59
Adder	110	9	1	15396.74
blackbox-01X-QBF	200	0	33	111246
blackbox_design	13	1	0	5528.5
Blocks	44	1	3	17954.68
BMC	85	7	10	11602.72
C432	39	1	3	5.91
C499	21	0	2	30.35
C5315	77	1	2	54061.98
C6288	43	0	0	51600
C880	10	1	0	10.96
Chain	12	1	0	0.24
circuits	11	3	0	246.31
comp	8	0	2	0.37
conformant_planning	92	4	4	50376.97
Connect4	34	0	7	19179.43
Counter	17	3	0	4159.86
Debug	30	0	0	35849.01
evader-pursuer-4x4-logarithmic	25	1	0	24255.44
evader-pursuer-4x4-standard	65	1	0	66325.7
evader-pursuer-6x6-logarithmic	34	0	1	34359.51
evader-pursuer-6x6-standard	16	0	0	19200
evader-pursuer-8x8-logarithmic	59	0	2	46636.19
FPGA_PLB_FIT_FAST	16	1	1	295.98
FPGA_PLB_FIT_SLOW	10	0	1	364.7
Impl	8	1	0	0.03
jmc_quant	13	1	1	6.94
jmc_quant_squaring	13	0	0	3908.57
k_branch_n	32	4	0	10398.07
k_branch_p	61	0	7	6475.13
k_d4_n	55	10	0	88.15
k_d4_p	28	0	5	9.12
k_dum_n	11	2	0	3.15
k_dum_p	25	0	4	5.61
k_grz_n	22	4	0	51.85
k_grz_p	21	0	3	27.92
k_lin_n	22	5	0	2944.02
k_lin_p	25	0	4	2.18
k_path_n	12	3	0	5.65
k_path_p	29	0	4	10.35
k_ph_n	30	6	0	364.8
k_ph_p	25	0	2	22852.96
k_poly_n	26	4	0	10.01
k_poly_p	11	0	2	4.51
k_t4p_n	26	4	0	31.4
k_t4p_p	41	0	5	23.95
Logn	10	0	1	96.73
mqm	483	26	21	424385.42
s1196	9	0	0	10800
s1269	8	0	0	9600
s27	11	0	1	0.26
s298	16	4	0	431.28
s3330	21	0	0	14649.19
s386	8	0	1	8722
s499	13	2	0	1983.2
s510	14	2	0	11144.06
s713	13	1	0	9527.96
s820	8	0	0	9600
Sorting_networks	22	2	1	18908.24
SzymanskiP	22	0	1	17213.56
term1	30	1	2	7.03
tipdiam	36	10	2	10821.53
tipfixpoint	74	7	9	26400.33
Toilet	21	3	1	37.34
ToiletA	17	5	5	40.99
ToiletC	39	15	8	5.19
ToiletG	27	4	0	0.24
VonNeumann	15	0	2	309.19
z4ml	8	0	1	0.1

QBF Solver Evaluation Portal