Quabs_2018 results solving families

Family	# Total	# Sat	# Unsat	Time
amba	13			11700.42
ASP_Equivalence_Checking	45	9	9	9673.29
bomb	21			18900.77
BoundedSynthesisPetriGames	144	26	17	34891.41
chess_composing	16			14400.66
chess_solving	35	8		16909.28
CombinationalEquivalence	144	13	12	12876.52
Counter	15			13500.52
cycle-sched	2			1800.1
driver	3		2	13.32
dungeon	30		1	18894.8
evader-pursuer-4x4-logarithmic	21	1		13996.16
evader-pursuer-4x4-standard	11			9900.99
evader-pursuer-6x6-logarithmic	33		1	27380.41
evader-pursuer-8x8-logarithmic	11		1	721.82
genbuf	13			11700.78
HardwareFixpoint	26			23400.88
hwmcc	9		3	2714.24
incrementer-encoder	33			29701.65
jctc	47	3	5	23988.9
jmc_quant_squaring	51			45902.82
k_branch_n	24	2		3880.09
k_branch_p	38		3	1494.74
k_ph_n	10	1		109.6
k_ph_p	25			22500.74
LinearBitvectorRankingFunction	53			47701.47
ltl2aig-comp	12			10800.57
LTL2DPA	5			4500.28
Model_instances	139	12	3	65788.59
mult-matrix	4			3600.19
PetriGames	25		5	12673.04
Planning-CTE	22			19800.99
Qshifter	13			11700.26
Random-qcir-1000-50	25		25	0
RankingFunctions	23			20700.7
Reduction-finding	35	7	8	12843.39
Sorting_networks	58		1	38415.74
tipdiam	24		1	20240.86
toy	18		2	14400.48

QBF Solver Evaluation Portal