Number of instances solved by each solver, organized by family

RAReQSGhostQGhostQ-CEGARQuBE7.2QuantorNenofex
trafficlight (1459)145980610011092955863
robots (700)699350271630030
incrementer (484)4832854772845127
blackbox-01X (320)32013812622434
strategic-comp (150)10712121071812
BMC (85)732648376564
sortnet (84)722432453838
blackbox_design (27)2727271800
conformt-planning (23)1771651312
adder (28)1122459
LinearBitvecRank (60)900000
Ling FPGA (8)868888
blocks (7)767577
fpu (6)600666
RankingFunctions (4)300300
logn (2)222222
Mneimneh-Sakallah (163)11014814189322
tipfixpoint (150)261281272256
terminator-stmt (150)981091039250
tipdiam (121)559993542114
Scholl-Becker (55)374340293227
evader-pursuer (15)101181122
uclid (3)022000
irqlkeapclte-stmt (45)0044000
Gent-Rowley (205)5267677020
jmc_quant_plus_sqr (20)200602
toilet (136)134133131131135133
Counter (58)301411203315
Debug (38)3000246
circuits-k (63)845598
TOTAL386824492801291614621317
Color corresponds to number of instances solved: green for the most instances solved, and red for few instances solved.