Cqesto_2018 results solving families

Family	# Total	# Sat	# Unsat	Time
amba	13			11700.46
ASP_Equivalence_Checking	45	7	1	21474.63
bomb	21			18901.12
BoundedSynthesisPetriGames	144	26	17	30979.27
chess_composing	16			14400.64
chess_solving	35	5		18553.97
CombinationalEquivalence	144	13	12	3397.78
Counter	15			13501.05
cycle-sched	2			1800.03
driver	3		1	1837.25
dungeon	30			27001.1
evader-pursuer-4x4-logarithmic	21	2		3078.88
evader-pursuer-4x4-standard	11			9900.55
evader-pursuer-6x6-logarithmic	33		1	23645.62
evader-pursuer-8x8-logarithmic	11		1	6649.61
genbuf	13			11700.4
HardwareFixpoint	26			23400.77
hwmcc	9		3	2703.25
incrementer-encoder	33	1	2	0
jctc	47	1		30722.23
jmc_quant_squaring	51			45902.66
k_branch_n	24			21601.05
k_branch_p	38		1	33941.25
k_ph_n	10	1		181.7
k_ph_p	25			22500.39
LinearBitvectorRankingFunction	53		1	37808.05
ltl2aig-comp	12			10800.75
LTL2DPA	5			4500.3
Model_instances	139	9		95808.48
mult-matrix	4			3600.12
PetriGames	25		5	1980.46
Planning-CTE	22			19800.44
Qshifter	13			11700.52
Random-qcir-1000-50	25		25	881.59
RankingFunctions	23			20701.24
Reduction-finding	35	10	12	4293.83
Sorting_networks	58		1	37906.42
tipdiam	24			21601.18
toy	18		2	14400.82

QBF Solver Evaluation Portal