caqe-picosat-cert results solving families

caqe-picosat-cert results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	4	5	6723.61
Adder	115		2	45390.64
blackbox-01X-QBF	77		5	28711.85
blackbox_design	76			27696.45
Blocks	88	3	6	755.92
BMC	91	2	1	37273.43
bomb	51	3		20271.14
C432	73	3	1	13294.65
C499	76	3	1	18370.43
C5315	86	2	1	16407.42
C6288	86			18151.84
C880	78	2		13996.6
Chain	82			46018.74
circuits	75	1		41395.32
conformant_planning	88	2	1	39611.04
Connect4	68		1	25461.42
Counter	54	8		12422.72
Debug	103			61800
DFlipFlop	73		8	278
dungeon	73			43900.41
evader-pursuer-4x4-logarithmic	61	2		28495.4
evader-pursuer-4x4-standard	65			37722.24
evader-pursuer-6x6-logarithmic	74		2	37160.11
evader-pursuer-6x6-standard	77			46200
evader-pursuer-8x8-logarithmic	78		2	38816.14
FPGA_PLB_FIT_FAST	38	4	1	60.94
FPGA_PLB_FIT_SLOW	25	1		10779.62
fpu	47		10	2289.09
Generalized-Tic-Tac-Toe	54	1	6	14047.21
HardwareFixpoint	81			1.34
Impl	74	10		1.46
incrementer-encoder	67		5	26410.65
irqlkeapclte	121			29381.55
ISCAS89	32	5		5699.93
ITC99	56	1		22269.82
jmc_quant_squaring	118			56026.66
k_branch_n	88	1		41276.95
k_branch_p	103			45124.12
k_d4_n	73	2		22567.72
k_d4_p	72		2	16094.73
k_dum_n	66	3		17873.68
k_dum_p	74		4	19641.62
k_grz_n	68			22805.63
k_grz_p	70		2	19640.04
k_lin_n	64	1		16971.44
k_lin_p	65		10	166.89
k_path_n	67	1		23688.41
k_path_p	67		2	20511.91
k_ph_n	74	7		11673.16
k_ph_p	85		3	29572.14
k_poly_n	68	1		18576.12
k_poly_p	64		1	23815.81
k_t4p_n	71			26807.56
k_t4p_p	76			21010
LinearBitvectorRankingFunction	86			44093.27
Logn	29		2	11400.15
mqm	84		5	23331.84
MutexP	78	2		10075.87
Planning-CTE	55	2		27616.16
QBF-Hardness	63		7	19872.67
qbfeval12	27	1	4	3128.53
Qshifter	62	1		31802.24
RankingFunctions	61			11028.84
Reduction-finding	65		3	15900.86
Rewriting	45		1	23993.2
s1196	44			10323.53
s1269	76			37244.41
s27	36	1	3	341.41
s298	70			25124.76
s3330	76			26411.76
s386	69			15281.07
s499	62			31962.55
s510	59			25858.13
s641	55			13943.78
s713	73			20631.87
s820	72			27895.07
Sorting_networks	110	1	1	42112.82
SzymanskiP	99		4	22202.26
term1	69	4	1	14498.61
terminator	86		1	18745.35
tipdiam	86	3		15944.19
tipfixpoint	81		2	19119.38
ToiletA	48	3	7	90.82
ToiletC	48	1	8	3006.71
ToiletG	43	7		1.61
trafficlight-controller	45		8	6491.88
Tree	74	1	8	4799.41
uclid	30			5000.2
VonNeumann	75		10	1401.41
wmiforward	74	3		13276.27
z4ml	61	4	4	2.05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

caqe-picosat-cert results solving families - 2016