quabs___caqe-hqspre results solving families

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

QBF Solver Evaluation Portal