quabs___caqe-bloqqer results solving families

Family	# Total	# Sat	# Unsat	Time
amba	13	1	1	560.79
ASP_Equivalence_Checking	45	8		21089.26
bomb	21			18901.26
BoundedSynthesisPetriGames	144			129604.35
chess_composing	16			14400.68
chess_solving	35			31501.31
CombinationalEquivalence	144		12	65060.41
Counter	15	1		7227.55
cycle-sched	2	1		1622.59
driver	3		2	0
dungeon	30		2	16781.5
evader-pursuer-4x4-logarithmic	21	2		2659.26
evader-pursuer-4x4-standard	11			9900.55
evader-pursuer-6x6-logarithmic	33		2	21842.31
evader-pursuer-8x8-logarithmic	11		1	57.97
genbuf	13		3	1469.01
HardwareFixpoint	26	2	1	18.96
hwmcc	9	1	3	1838.62
incrementer-encoder	33	1	2	30.8
jctc	47	1	2	34270.81
jmc_quant_squaring	51		1	39242.48
k_branch_n	24	2		19.37
k_branch_p	38		3	0.57
k_ph_n	10	1		233.6
k_ph_p	25			22501.36
LinearBitvectorRankingFunction	53		1	37819.94
ltl2aig-comp	12		3	1857.38
LTL2DPA	5	1	2	1.64
Model_instances	139	14	3	59652.1
mult-matrix	4	2		1800.05
PetriGames	25		10	14016.61
Planning-CTE	22			19800.33
Qshifter	13	1		19.5
Random-qcir-1000-50	25		25	0
RankingFunctions	23	3		0
Reduction-finding	35	5	12	11256.39
Sorting_networks	58	1	3	3162.92
tipdiam	24			21600.59
toy	18	3	2	0.08

QBF Solver Evaluation Portal