mpiDepQBF results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71456139.45
Adder109257000.76
blackbox-01X-QBF74716354.5
blackbox_design76240008.68
Blocks88366812.31
BMC8752200
bomb514115656.27
C43273349376.59
C499763221357.41
C5315832132880.47
C628881142601
C88078236002.32
Chain82723737.9
circuits75141400.6
conformant_planning795217569.29
Connect468619410.33
Counter54614445.09
Debug9657600
DFlipFlop7310124.3
dungeon72430891.51
evader-pursuer-4x4-logarithmic6174663.06
evader-pursuer-4x4-standard657297.09
evader-pursuer-6x6-logarithmic72616079.46
evader-pursuer-6x6-standard7243200
evader-pursuer-8x8-logarithmic75524145.99
FPGA_PLB_FIT_FAST38413.58
FPGA_PLB_FIT_SLOW2524709.94
fpu47320857.39
Generalized-Tic-Tac-Toe54185491.18
HardwareFixpoint7545000
Impl7410193.27
incrementer-encoder63622237.78
irqlkeapclte11166600
ISCAS89326135.11
ITC99512119812.58
jmc_quant_squaring1132245696.94
k_branch_n85338450.82
k_branch_p99156066.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_n7310257.71
k_ph_p815312811.09
k_poly_n68137200.54
k_poly_p64104.14
k_t4p_n71138428.56
k_t4p_p76139243.98
LinearBitvectorRankingFunction8048000
Logn2926053.36
mqm8155570
MutexP78328817.3
Planning-CTE50224603.53
QBF-Hardness5989920.6
qbfeval122724448.08
Qshifter62321001.54
RankingFunctions60518602.2
Reduction-finding651522831.08
Rewriting45514552.99
s11964426400
s12697142600
s2736134.02
s29870136600.63
s33307343800
s3866941400
s4996237200
s5105935400
s6415533000
s7137343800
s8207042000
Sorting_networks1044139495.96
SzymanskiP97248094.63
term1694452.09
terminator8299055.34
tipdiam82528804.62
tipfixpoint773321751.04
ToiletA48125200.42
ToiletC481122200.61
ToiletG4325800
trafficlight-controller4594804.69
Tree74284.08
uclid3018000
VonNeumann75523464.9
wmiforward73427639.92
z4ml61443.12