red_finding

Overview

• number of participating solvers: 12
• number of participating formulas: 150

Overall Solving Statistics

Number of Solved Formulas

SOLVER	SAT	UNSAT	TOTAL
rareqs-1.1	53	68	121
hiqqer3	50	50	100
pre_dual_ooq.py	44	51	95
depqbf-lazy-qup	46	48	94
ooq	42	52	94
depqbf	45	49	94
clean_dual_ooq	41	51	92
ghost-bq-cegar.sh	35	53	88
ghost-cegar.sh	31	52	83
squeezebf1.2-qube3.0	42	35	77
ghost-plain.sh	32	35	67
nenofex	29	29	58

Time Statistics (overall runtime, average runtime)

solver	AVERAGE	SUM
rareqs-1.1	192.69	28904.14
hiqqer3	316.77	47515.64
pre_dual_ooq.py	349.36	52404.30
depqbf-lazy-qup	352.03	52804.68
depqbf	355.65	53347.73
ooq	358.69	53803.89
clean_dual_ooq	363.28	54492.71
ghost-bq-cegar.sh	394.11	59117.99
ghost-cegar.sh	424.09	63613.69
squeezebf1.2-qube3.0	446.66	66999.69
ghost-plain.sh	512.28	76843.35
nenofex	554.55	83183.23

Number of Unsolved Formulas (solved by no solver)

formula
query71_query34_1344n
nreachq_query54_1344n
query49_ntrivil_1344n
query64_query11_1344n
query34_query11_1344n
query54_query58_1344n
query33_query57_1344n
query51_query57_1344n
query64_query01_1344n
query10_query06_1344n
query60_query45_1344n
query10_query34_1344n
query60_query33_1344n
query48_exquery_1344n
nreachq_query11_1344n
query71_query31_1344n
query48_query71_1344
eequery_query64_1344n
query42_query45_1344n
query60_query10_1344n
query44_query26_1344n
query33_query51_1344n
query42_query60_1344n
query44_query57_1344
query10_query45_1344n
query42_query06_1344n
query60_query44_1344n
query10_query49_1344

Formulas only solved by one solver

FORMULA	SOLVER
query05_query31_1344n	rareqs-1.1
query10_query34_1344	rareqs-1.1
query31_reachqu_1344n	rareqs-1.1
query44_query51_1344	rareqs-1.1
query44_query58_1344	rareqs-1.1
query48_query09_1344	rareqs-1.1
query49_query52_1344	rareqs-1.1
query64_query42_1344	rareqs-1.1
query64_query48_1344	rareqs-1.1
query71_query06_1344	rareqs-1.1
query71_query36_1344n	ooq

Formulas with Discrepancies

Formulas with Discrepancies

FORMULA

SAT

UNSAT