quabs___caqe-bloqqer results solving families - 2018

Family# Total# Sat# UnsatTime
amba1311560.79
ASP_Equivalence_Checking45821089.26
bomb2118901.26
BoundedSynthesisPetriGames144129604.35
chess_composing1614400.68
chess_solving3531501.31
CombinationalEquivalence1441265060.41
Counter1517227.55
cycle-sched211622.59
driver320
dungeon30216781.5
evader-pursuer-4x4-logarithmic2122659.26
evader-pursuer-4x4-standard119900.55
evader-pursuer-6x6-logarithmic33221842.31
evader-pursuer-8x8-logarithmic11157.97
genbuf1331469.01
HardwareFixpoint262118.96
hwmcc9131838.62
incrementer-encoder331230.8
jctc471234270.81
jmc_quant_squaring51139242.48
k_branch_n24219.37
k_branch_p3830.57
k_ph_n101233.6
k_ph_p2522501.36
LinearBitvectorRankingFunction53137819.94
ltl2aig-comp1231857.38
LTL2DPA5121.64
Model_instances13914359652.1
mult-matrix421800.05
PetriGames251014016.61
Planning-CTE2219800.33
Qshifter13119.5
Random-qcir-1000-5025250
RankingFunctions2330
Reduction-finding3551211256.39
Sorting_networks58133162.92
tipdiam2421600.59
toy18320.08