iprover-QBF-bloqqer results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70221498.8
Adder93127544.41
blackbox-01X-QBF6849336.29
blackbox_design76103388.62
Blocks8834962.35
BMC774129945.58
bomb483119385.56
C432732218078.9
C499762220975.31
C5315802131264.36
C62887744593.66
C8807831978.67
Chain821010.29
circuits69420844.93
conformant_planning794119374.5
Connect464122396.59
Counter5291891.76
Debug8244392.1
DFlipFlop736599.3
dungeon55325844.08
evader-pursuer-4x4-logarithmic59125120.25
evader-pursuer-4x4-standard64130345.24
evader-pursuer-6x6-logarithmic67135408.47
evader-pursuer-6x6-standard6621385.66
evader-pursuer-8x8-logarithmic72142702.63
FPGA_PLB_FIT_FAST3841805.54
FPGA_PLB_FIT_SLOW251292.01
fpu47289.15
Generalized-Tic-Tac-Toe48139002.97
HardwareFixpoint5628565.12
Impl74103.04
incrementer-encoder52712421.35
irqlkeapclte8128801.67
ISCAS8932516981.32
ITC99421119217.74
jmc_quant_squaring9541153.71
k_branch_n7595547.43
k_branch_p824477.7
k_d4_n731049.2
k_d4_p7216.72
k_dum_n66107.89
k_dum_p749.68
k_grz_n681020.82
k_grz_p7016
k_lin_n6410143.38
k_lin_p6511.81
k_path_n671011.68
k_path_p6713.89
k_ph_n7286767.42
k_ph_p70227806.01
k_poly_n68108.91
k_poly_p646.88
k_t4p_n711031.91
k_t4p_p7625.56
LinearBitvectorRankingFunction6035857.45
Logn292506.46
mqm75139760.9
MutexP78799.86
Planning-CTE382211550.15
QBF-Hardness51224528.68
qbfeval1227132356.62
Qshifter616146.36
RankingFunctions551030.57
Reduction-finding541615881.73
Rewriting451.99
s1196446982.75
s12697020495.12
s273617.76
s29870216084.09
s333072122386.42
s38669123144.92
s4996215992.37
s5105327986.46
s64155116234.88
s71373120523.33
s8207018116.86
Sorting_networks862129958.96
SzymanskiP9318738.83
term169436522.93
terminator70125736.88
tipdiam68415103.65
tipfixpoint693110780.83
ToiletA4836206.1
ToiletC4817355.51
ToiletG4371.79
trafficlight-controller4567130.69
Tree7422.96
uclid309325.4
VonNeumann75192.48
wmiforward701013.1
z4ml6143.66