quabs___caqe-hqspre results solving families

Family	# Total	# Sat	# Unsat	Time
amba	13	1	1	682.97
ASP_Equivalence_Checking	45	8		22412.82
bomb	21			18900.84
BoundedSynthesisPetriGames	144	12	4	99319.13
chess_composing	16			14400.78
chess_solving	35			31501.48
CombinationalEquivalence	144	3	12	50857.25
Counter	15	1		7564.88
cycle-sched	2	1		1149.34
driver	3		2	0.6
dungeon	30		2	17223.7
evader-pursuer-4x4-logarithmic	21	1		11503.84
evader-pursuer-4x4-standard	11	1		173.25
evader-pursuer-6x6-logarithmic	33			29701.39
evader-pursuer-8x8-logarithmic	11			9900.11
genbuf	13		3	1804.46
HardwareFixpoint	26	2	1	39.48
hwmcc	9	1	3	2054.62
incrementer-encoder	33	1	2	174.13
jctc	47	6	2	23904.81
jmc_quant_squaring	51			45901.8
k_branch_n	24	2		427.47
k_branch_p	38		3	1095.39
k_ph_n	10	1		50.8
k_ph_p	25			22502.12
LinearBitvectorRankingFunction	53		1	37921.93
ltl2aig-comp	12		3	1979.16
LTL2DPA	5	1	2	404.77
Model_instances	139	13	1	60512.28
mult-matrix	4	1		2700.03
PetriGames	25		10	14038.88
Planning-CTE	22			19800.77
Qshifter	13	1		845.91
Random-qcir-1000-50	25		25	0
RankingFunctions	23	3		0.07
Reduction-finding	35	9	9	10976.77
Sorting_networks	58	1	3	7458.06
tipdiam	24			21601.42
toy	18	2	2	927.55

QBF Solver Evaluation Portal