iprover_bloqqer_schedule results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	88		2	63888.34
amba	25			22500
arithmetic	40	8		8103.68
blackbox-01X-QBF	122		11	69320.79
BMC	79		1	71039.25
bomb	10	8		3023.87
C5315	35			31500
C6288	56			50400
cycle-sched	40	1		31468.53
Debug	94			84600
disjunctive_decomposition	43	6		13101.64
driver	34	6		71.35
dungeon	44			39600
evader-pursuer-6x6-logarithmic	23			20700
evader-pursuer-6x6-standard	51			45900
evader-pursuer-8x8-logarithmic	31			27900
formula_add	35			31500
fpu	14		6	3751.37
genbuf	14			12600
genpatch	20	1		14420.48
gttt-4x4_2020	10		4	6516.72
HardwareFixpoint	259	15	15	106845.27
hwmcc	12			10800
incrementer-encoder	50	2	7	8747.53
irqlkeapclte	121			108900
ISCAS89	13	1	2	8465.92
ITC99	62	1		54748.88
jmc_quant	29	1		21249.72
jmc_quant_squaring	62			55800
k_branch_n	45	4		11143.35
k_branch_p	51		3	14738.33
k_ph_n	18	3		4603.98
k_ph_p	46			41400
LinearBitvectorRankingFunction	79		4	51023.08
ltl2aig-comp	18		1	15392.83
LTL2DBA	12	2		37.43
LTL2DPA	7	1		45.36
mqm	76			68400
mult-matrix	35	3		20251.7
Planning-CTE	138	3	10	107928.05
QBF-Hardness	60			54000
RankingFunctions	39	10		110.87
Reduction-finding	130	13	9	88087.43
s1269	41			33797.5
s3330	26			22115.97
s820	17			8833.07
sketch	44			39600
Sorting_networks	111			90249.2
SzymanskiP	25			22500
terminator	85			76476.02
tipdiam	72	1		61219.24
tipfixpoint	79	1		61281.29
toy	30	4		4597.14
trafficlight-controller	30		10	1976.46
wmiforward	70	10		4633.08

QBF Solver Evaluation Portal