mpiDepQBF results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70455539.45
Adder93247400.76
blackbox-01X-QBF68712754.5
blackbox_design76240008.68
Blocks88366812.31
BMC7746200
bomb484114448.84
C43273349376.59
C499763221357.41
C5315802131080.47
C628877140201
C88078236002.32
Chain82723737.9
circuits69137800.6
conformant_planning795217569.29
Connect464617010.33
Counter52613245.09
Debug8249200
DFlipFlop7310124.3
dungeon55421822.85
evader-pursuer-4x4-logarithmic5974662.45
evader-pursuer-4x4-standard647293.16
evader-pursuer-6x6-logarithmic67614231.74
evader-pursuer-6x6-standard6639600
evader-pursuer-8x8-logarithmic72522941.58
FPGA_PLB_FIT_FAST38413.58
FPGA_PLB_FIT_SLOW2524709.94
fpu47320857.39
Generalized-Tic-Tac-Toe48183965.96
HardwareFixpoint5633600
Impl7410193.27
incrementer-encoder52615637.78
irqlkeapclte8148600
ISCAS89326135.11
ITC99422115610.42
jmc_quant_squaring952237413.66
k_branch_n75332450.82
k_branch_p82145866.88
k_d4_n73333602.43
k_d4_p72105.28
k_dum_n66524505.36
k_dum_p74715448.8
k_grz_n68102642.9
k_grz_p70641520.51
k_lin_n6410342.98
k_lin_p651926.05
k_path_n6794338.07
k_path_p67629624.84
k_ph_n7210235.56
k_ph_p705310312.08
k_poly_n68137200.54
k_poly_p64104.14
k_t4p_n71138428.56
k_t4p_p76139243.98
LinearBitvectorRankingFunction6036000
Logn2926053.36
mqm7555468.7
MutexP78328817.3
Planning-CTE38217403.53
QBF-Hardness5187450.66
qbfeval122724448.08
Qshifter61320401.54
RankingFunctions55516802.05
Reduction-finding541516231.08
Rewriting45514552.99
s11964426400
s12697042000
s2736134.02
s29870136600.63
s33307243200
s3866941400
s4996237200
s5105935400
s6415533000
s7137343800
s8207042000
Sorting_networks864129885.16
SzymanskiP93245694.63
term1694452.09
terminator7096489.11
tipdiam68521603.98
tipfixpoint693318127.04
ToiletA48125200.42
ToiletC481122200.61
ToiletG4325800
trafficlight-controller4594804.69
Tree74284.08
uclid3018000
VonNeumann75523464.9
wmiforward70425839.92
z4ml61443.12