caqe-picosat-par results solving families

caqe-picosat-par results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	4	5	7299.93
Adder	115	0	2	60600.3
blackbox-01X-QBF	77	0	7	16510.05
blackbox_design	76	10	0	63.76
Blocks	88	3	6	6122.68
BMC	91	2	1	42687.32
bomb	51	4	0	20758.35
C432	73	3	3	15782.38
C499	76	3	2	18623.16
C5315	86	2	1	34259.53
C6288	86	2	0	40873.78
C880	78	2	0	36007.94
Chain	82	10	0	4.48
circuits	75	1	0	41400.18
conformant_planning	79	2	1	34215.61
Connect4	68	0	6	19904.68
Counter	54	9	0	5876.53
Debug	103	0	0	61800
DFlipFlop	73	0	9	6462.51
dungeon	73	0	3	35561.16
evader-pursuer-4x4-logarithmic	61	5	0	17016.51
evader-pursuer-4x4-standard	65	0	0	39000
evader-pursuer-6x6-logarithmic	74	0	3	31496.9
evader-pursuer-6x6-standard	77	0	0	46200
evader-pursuer-8x8-logarithmic	78	0	3	33186.54
FPGA_PLB_FIT_FAST	38	4	1	26.38
FPGA_PLB_FIT_SLOW	25	1	2	330.04
fpu	47	0	10	150.61
Generalized-Tic-Tac-Toe	54	1	7	10307.66
HardwareFixpoint	81	2	3	28869.43
Impl	74	10	0	0.16
incrementer-encoder	67	0	6	24915.76
irqlkeapclte	121	0	0	72600
ISCAS89	32	5	1	3197.51
ITC99	56	1	1	28221.22
jmc_quant_squaring	118	0	0	70800
k_branch_n	88	9	0	7302.34
k_branch_p	103	0	9	6212.8
k_d4_n	73	10	0	25.32
k_d4_p	72	0	10	8.21
k_dum_n	66	10	0	3.34
k_dum_p	74	0	10	3.95
k_grz_n	68	10	0	9.69
k_grz_p	70	0	10	7.57
k_lin_n	64	10	0	64.71
k_lin_p	65	0	10	5.48
k_path_n	67	10	0	5.13
k_path_p	67	0	10	6.6
k_ph_n	74	10	0	881.62
k_ph_p	85	0	4	37932.67
k_poly_n	68	10	0	4.07
k_poly_p	64	0	10	3.13
k_t4p_n	71	10	0	15.72
k_t4p_p	76	0	10	12.56
LinearBitvectorRankingFunction	86	0	0	51600
Logn	29	0	3	6632.8
mqm	84	0	3	37319.35
MutexP	78	7	0	53.96
Planning-CTE	55	2	1	23230.6
QBF-Hardness	63	1	8	7711.64
qbfeval12	27	1	4	3049.08
Qshifter	62	6	0	93.56
RankingFunctions	61	10	0	21.28
Reduction-finding	65	2	4	19891.63
Rewriting	45	0	10	0.54
s1196	44	1	5	5811.89
s1269	76	3	0	33484.98
s27	36	1	3	3.75
s298	70	6	2	13314.02
s3330	76	3	0	34072.93
s386	69	5	5	2508.97
s499	62	7	2	13305.84
s510	59	3	0	25605.95
s641	55	5	4	3280
s713	73	5	5	7373.67
s820	72	5	3	19478.92
Sorting_networks	110	3	3	38941.58
SzymanskiP	99	0	8	22131.25
term1	69	4	4	1548.92
terminator	86	0	5	32008.68
tipdiam	86	4	0	37205.65
tipfixpoint	81	3	2	26433.95
ToiletA	48	3	7	11.87
ToiletC	48	1	9	503.83
ToiletG	43	7	0	0.07
trafficlight-controller	45	0	8	5940.92
Tree	74	2	8	0
uclid	30	0	0	18000
VonNeumann	75	0	10	101.15
wmiforward	74	10	0	7.16
z4ml	61	4	4	1.28

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

caqe-picosat-par results solving families - 2016