Qute_opt617 results solving families

Family	# Total	# Sat	# Unsat	Time
amba	13	1	1	5126.95
ASP_Equivalence_Checking	45	7	2	27320.9
bomb	21			18901.4
BoundedSynthesisPetriGames	144	7	7	108215.76
chess_composing	16			14400.5
chess_solving	35	5		19306.84
CombinationalEquivalence	144		7	93353.45
Counter	15			13500.3
cycle-sched	2			1800.14
driver	3		1	1800.18
dungeon	30			27000.7
evader-pursuer-4x4-logarithmic	21	2		4036.88
evader-pursuer-4x4-standard	11			9900.66
evader-pursuer-6x6-logarithmic	33			29701.41
evader-pursuer-8x8-logarithmic	11		1	5082.66
genbuf	13			11700.48
HardwareFixpoint	26			23401.24
hwmcc	9		3	2706.23
incrementer-encoder	33		1	19874.47
jctc	47	5	2	23445.53
jmc_quant_squaring	51			45903.43
k_branch_n	24			21600.13
k_branch_p	38		1	28633.61
k_ph_n	10	1		0
k_ph_p	25			22500.5
LinearBitvectorRankingFunction	53		1	37923.02
ltl2aig-comp	12			10800.37
LTL2DPA	5			4500.37
Model_instances	139		1	120779.24
mult-matrix	4			3600.14
PetriGames	25		6	17609.3
Planning-CTE	22			19800.33
Qshifter	13			11700.13
Random-qcir-1000-50	25		2	21661.26
RankingFunctions	23			20701.23
Reduction-finding	35	4	7	18963.34
Sorting_networks	58			52202.82
tipdiam	24			21600.7
toy	18	3	2	778.78

QBF Solver Evaluation Portal