struqs-10 results solving families

struqs-10 results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	1		41204.57
Adder	115		2	60573.31
blackbox-01X-QBF	77		4	32448.95
blackbox_design	76			45578.76
Blocks	88	1		46782.88
BMC	91			54577.53
bomb	51	2		25791.17
C432	73	3		31691.93
C499	76	2		36590
C5315	86	1		46394.75
C6288	86	1		45600.67
C880	78	2		36051.2
Chain	82	10		6.74
circuits	75	1		41382.84
conformant_planning	79	2	1	34352.82
Connect4	68		6	20614.82
Counter	54	3		22789.1
Debug	103			61771.51
DFlipFlop	73		10	942.26
dungeon	73			43781.07
evader-pursuer-4x4-logarithmic	61	3		24770.08
evader-pursuer-4x4-standard	65	1		36575.1
evader-pursuer-6x6-logarithmic	74		1	42056.38
evader-pursuer-6x6-standard	77			46186.33
evader-pursuer-8x8-logarithmic	78		1	44325.5
FPGA_PLB_FIT_FAST	38	1	1	14443.9
FPGA_PLB_FIT_SLOW	25			14992.75
fpu	47		10	60.31
Generalized-Tic-Tac-Toe	54	1	5	17104.41
HardwareFixpoint	81	1	2	38962.84
Impl	74	10		0
incrementer-encoder	67		1	37183.17
irqlkeapclte	121			72564.91
ISCAS89	32	6		2856.98
ITC99	56	2	1	24077.06
jmc_quant_squaring	118	2	1	52920.51
k_branch_n	88	3		41417.71
k_branch_p	103			61771.23
k_d4_n	73	3		33741.67
k_d4_p	72		6	25164.25
k_dum_n	66	10		77.05
k_dum_p	74		10	358.93
k_grz_n	68	7		15036.23
k_grz_p	70		5	25969.23
k_lin_n	64			38382.1
k_lin_p	65		8	11138.75
k_path_n	67	5		22511.51
k_path_p	67		3	28934.84
k_ph_n	74	8		11940.56
k_ph_p	85		3	40181.75
k_poly_n	68	10		386.24
k_poly_p	64		10	150.28
k_t4p_n	71	2		33975.85
k_t4p_p	76		10	2444.29
LinearBitvectorRankingFunction	86			51575.56
Logn	29		2	11395.39
mqm	84		2	42315.98
MutexP	78	7		51.78
Planning-CTE	55			32984.85
QBF-Hardness	63		8	17243.44
qbfeval12	27	1	2	11266.17
Qshifter	62	6		19.57
RankingFunctions	61	10		196.29
Reduction-finding	65	1	2	31119.2
Rewriting	45		5	15478.58
s1196	44	1		21892.48
s1269	76			45585.88
s27	36	1	3	2.51
s298	70	2		32860.86
s3330	76			45586.78
s386	69	2		35205.98
s499	62			37189.03
s510	59	1		32230.61
s641	55	3		26464.27
s713	73	2		35264.54
s820	72	1		41290.74
Sorting_networks	110		1	63585.82
SzymanskiP	99		5	36342.72
term1	69	4	3	11358.99
terminator	86		5	32051.04
tipdiam	86	5		32050.01
tipfixpoint	81	3	2	29453.95
ToiletA	48	3	7	79.72
ToiletC	48	1	8	3027.26
ToiletG	43	7		0
trafficlight-controller	45		5	13521.28
Tree	74	2	8	0
uclid	30			17992.4
VonNeumann	75		10	47.72
wmiforward	74	4		28391.4
z4ml	61	4	4	0.3

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

struqs-10 results solving families - 2016