![]() |
TACAS 2025 |
14th Competition on Software Verification (SV-COMP 2025) |
This web page presents the results of SV-COMP 2025 - 14th International Competition on Software Verification.
The background color is gold for the winner, silver for the second, and bronze for the third.
Here some brief directions for reading the score-based quantile plots:
Here some brief directions for navigating in the BenchExec-generated tables with the results:
ReachSafety 1. CPAchecker 2. ESBMC-kind 3. CPV |
MemSafety 1. CPAchecker 2. Symbiotic 3. UAutomizer |
ConcurrencySafety 1. Deagle 2. Dartagnan 3. UGemCutter |
NoOverflows 1. UAutomizer 2. UTaipan 3. UKojak |
Termination 1. PROTON 2. UAutomizer 3. AProVE (KoAT + LoAT) |
SoftwareSystems 1. CPAchecker 2. Mopsa 3. Symbiotic |
FalsificationOverall 1. CPAchecker 2. Symbiotic 3. Bubaak |
Overall 1. UAutomizer 2. CPAchecker 3. Symbiotic |
|
JavaOverall 1. Java-Ranger 2. JBMC 3. GDart |
In every table cell for competition results, we list the points in the first row and the CPU time (rounded to two significant digits) for successful runs in the second row.
The entry '–' means that the competition candidate opted-out in the category.
The definition of the scoring schema
and the categories is given on the respective SV-COMP web pages.
Participants | Plots | 2LS | aise | AProVE (KoAT + LoAT) | BRICK | Bubaak | Bubaak-SpLit | CBMC | CoOpeRace | CPA-BAM-BnB | CPA-BAM-SMG | CPALockator | CPAchecker | CPV | Crux | CSeq | Dartagnan | Deagle | DIVINE | EBF | EmergenTheta | ESBMC-incr | ESBMC-kind | Frama-C-SV | Gazer-Theta | GDart-LLVM | Goblint | Graves-CPA | Hornix | Infer | Korn | Lazy-CSeq | LF-checker | Locksmith | Mopsa | Nacpa | PeSCo-CPA | PIChecker | Pinaka | PredatorHP | PROTON | RacerF | sv-sanitizers | SVF-SVC | Symbiotic | Theta | Thorn | UAutomizer | UGemCutter | UKojak | UTaipan | VeriAbs | VeriAbsL | VeriOover | COASTAL | GDart | Java-Ranger | JayHorn | JBMC | JDart | MLB | SPF | SWAT |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Representing Jury Member | Viktor Malík | Zhenbang Chen | Nils Lommen | Lei Bu | Marek Chalupa | Marek Chalupa | Hors Concours | Vesal Vojdani | Hors Concours | Hors Concours | Hors Concours | Marian Lingsch-Rosenfeld | Po-Chun Chien | Hors Concours | Hors Concours | Hernán Ponce de León | Fei He | Hors Concours | Hors Concours | Levente Bajczi | Tong Wu | Tong Wu | Hors Concours | Hors Concours | Hors Concours | Simmo Saan | Hors Concours | Martin Blicha | Hors Concours | Gidon Ernst | Hors Concours | Hors Concours | Hors Concours | Raphaël Monat | Henrik Wachowitz | Hors Concours | Hors Concours | Hors Concours | Hors Concours | Ravindra Metta | Tomáš Dacík | Simmo Saan | Matthew Richards | Martin Jonáš | Levente Bajczi | Levente Bajczi | Matthias Heizmann | Dominik Klumpp | Manuel Bentele | Daniel Dietsch | Priyanka Darke | Priyanka Darke | Hors Concours | Hors Concours | Falk Howar | Soha Hussein | Hors Concours | Peter Schrammel | Hors Concours | Lei Bu | Hors Concours | Nils Loose | |
Affiliation | Brno University of Technology, Czechia | National University of Defense Technology, China | RWTH Aachen, Germany | Nanjing University, China | ISTA, Austria | ISTA, Austria | --, -- | University of Tartu, Estonia | --, -- | --, -- | --, -- | LMU Munich, Germany | LMU Munich, Germany | --, -- | --, -- | Huawei Dresden Research Center, Germany | Tsinghua University, China | --, -- | --, -- | Budapest University of Technology and Economics, Hungary | the University of Manchester, UK | University of Manchester, UK | --, -- | --, -- | --, -- | University of Tartu, Estonia | --, -- | University of Lugano, Switzerland | --, -- | LMU Munich, Germany | --, -- | --, -- | --, -- | Inria and University of Lille, France | LMU Munich, Germany | --, -- | --, -- | --, -- | --, -- | TCS, India | Brno University of Technology, Czech Republic | University of Tartu, Estonia | University of New South Wales, Australia | Masaryk University, Brno, Czechia | Budapest University of Technology and Economics, Hungary | Budapest University of Technology and Economics, Hungary | University of Freiburg, Germany | University of Freiburg, Germany | University of Freiburg, Germany | University of Freiburg, Germany | Tata Consultancy Services, India | Tata Consultancy Services, India | --, -- | --, -- | TU Dortmund, Germany | Ain Shams University, Egypt | --, -- | Diffblue Ltd., UK | --, -- | Nanjing University, China | --, -- | University of Luebeck, Germany | |
ReachSafety 11268 valid tasks (8347 true, 2921 false, 35 void), max. score: 17860 |
6053 | 6684 | 6053 | 1330 | 10368 | 7755 | 2133 | 4629 | 2106 | 8717 | 2427 | 4041 | -96489 | 2807 | 10270 | 6269 | 2448 | -68717 | 7097 | 3277 | -2519 | 5666 | 4935 | 6007 | 11012 | 11224 | |||||||||||||||||||||||||||||||||||||
CPU time | 110000 s | 140000 s | 160000 s | 130000 s | 530000 s | 570000 s | 7400 s | 170000 s | 190000 s | 250000 s | 670 s | 230000 s | 2500 s | 33000 s | 330000 s | 680000 s | 26000 s | 21000 s | 130000 s | 110000 s | 57000 s | 290000 s | 230000 s | 250000 s | 690000 s | 670000 s | |||||||||||||||||||||||||||||||||||||
ReachSafety-Arrays 433 valid tasks (320 true, 113 false, 0 void), max. score: 753 |
2 | 182 | 215 | 205 | -52 | 76 | 77 | -192 | 57 | 2 | 117 | 0 | 54 | 69 | -4558 | 159 | 12 | 76 | 123 | 127 | -2572 | 222 | 72 | 2 | 98 | 84 | 95 | 721 | 692 | ||||||||||||||||||||||||||||||||||
CPU time | 1600 s | 480 s | 5500 s | 14000 s | 2000 s | 1600 s | 1800 s | 100 s | 2900 s | 3.2 s | 3800 s | 0 s | 8.0 s | 2000 s | 26 s | 980 s | 230 s | 850 s | 1100 s | 1600 s | 72 s | 2700 s | 2900 s | 3.3 s | 3100 s | 3100 s | 5000 s | 13000 s | 15000 s | ||||||||||||||||||||||||||||||||||
ReachSafety-BitVectors 49 valid tasks (34 true, 15 false, 0 void), max. score: 83 |
45 | 48 | 49 | 49 | 35 | 73 | 76 | 47 | 42 | 21 | 55 | 0 | 59 | 32 | 24 | 59 | -644 | 16 | 71 | 72 | 40 | -389 | 49 | 29 | 24 | 28 | 42 | 54 | 71 | 71 | |||||||||||||||||||||||||||||||||
CPU time | 200 s | 600 s | 1000 s | 680 s | 12 s | 2200 s | 7600 s | 76 s | 760 s | 2800 s | 450 s | 0 s | 360 s | 1600 s | 1.6 s | 1400 s | 2.7 s | 39 s | 1200 s | 2800 s | 56 s | 12 s | 1000 s | 1100 s | 630 s | 2900 s | 1400 s | 3400 s | 3100 s | 2000 s | |||||||||||||||||||||||||||||||||
ReachSafety-ControlFlow 66 valid tasks (37 true, 29 false, 0 void), max. score: 103 |
30 | 23 | 19 | -242 | 48 | 32 | -21 | 32 | 24 | -34 | -165 | 28 | -89 | -664 | 34 | 12 | 48 | -304 | -187 | -429 | 37 | 18 | -342 | 40 | 43 | 44 | 44 | 47 | |||||||||||||||||||||||||||||||||||
CPU time | 5.5 s | 2300 s | 1200 s | 37 s | 400 s | 87 s | 7.2 s | 240 s | 1600 s | 20 s | 140 s | 1.8 s | 1100 s | 8.0 s | 300 s | 280 s | 170 s | 900 s | 5.0 s | 3.9 s | 3300 s | 540 s | 400 s | 850 s | 2100 s | 1700 s | 1300 s | 950 s | |||||||||||||||||||||||||||||||||||
ReachSafety-ECA 1263 valid tasks (783 true, 480 false, 0 void), max. score: 2046 |
565 | 315 | 270 | 308 | 1027 | 1149 | 10 | 149 | 3 | 1127 | 0 | 372 | 12 | 840 | -11967 | 2 | 2 | 1035 | 1250 | 261 | -2008 | 274 | 372 | 468 | 1064 | 379 | 421 | 1400 | 1454 | ||||||||||||||||||||||||||||||||||
CPU time | 71000 s | 26000 s | 29000 s | 67000 s | 120000 s | 110000 s | 320 s | 53000 s | 580 s | 84000 s | 0 s | 25000 s | 24 s | 70000 s | 440 s | 13 s | 4.1 s | 80000 s | 100000 s | 4800 s | 7100 s | 6000 s | 32000 s | 22000 s | 91000 s | 53000 s | 31000 s | 240000 s | 180000 s | ||||||||||||||||||||||||||||||||||
ReachSafety-Floats 1087 valid tasks (807 true, 280 false, 8 void), max. score: 1894 |
644 | 871 | 695 | 662 | -281 | 765 | 306 | 610 | 258 | -7 | 661 | 339 | 42 | -351 | 118 | 765 | 793 | -103 | -1982 | 699 | 55 | -14 | 660 | 526 | 654 | 737 | 842 | ||||||||||||||||||||||||||||||||||||
CPU time | 3600 s | 2000 s | 1800 s | 3300 s | 22000 s | 7800 s | 25000 s | 170 s | 8100 s | 4600 s | 15000 s | 300 s | 2.4 s | 9800 s | 320 s | 6200 s | 9600 s | 2600 s | 110 s | 2400 s | 3900 s | 7.8 s | 50000 s | 45000 s | 39000 s | 17000 s | 14000 s | ||||||||||||||||||||||||||||||||||||
ReachSafety-Heap 240 valid tasks (167 true, 73 false, 0 void), max. score: 407 |
221 | 276 | 275 | 291 | 287 | 112 | 6 | 210 | 11 | 290 | 134 | 283 | -2270 | 226 | 287 | 309 | 229 | 314 | -400 | 310 | 70 | -20 | 245 | 225 | 226 | 310 | 300 | ||||||||||||||||||||||||||||||||||||
CPU time | 1000 s | 350 s | 430 s | 93 s | 2600 s | 580 s | 96 s | 940 s | 270 s | 290 s | 15 s | 3000 s | 19 s | 490 s | 810 s | 3200 s | 12 s | 170 s | 6.1 s | 330 s | 400 s | 50 s | 7500 s | 6300 s | 6700 s | 11000 s | 5200 s | ||||||||||||||||||||||||||||||||||||
ReachSafety-Loops 774 valid tasks (565 true, 209 false, 0 void), max. score: 1339 |
478 | 1031 | 871 | 879 | 379 | 805 | 525 | 493 | 727 | 559 | 727 | 0 | 636 | 246 | 560 | 296 | -8076 | 871 | 376 | 759 | 710 | 687 | -5423 | 860 | 439 | 476 | 885 | 639 | 856 | 961 | 922 | ||||||||||||||||||||||||||||||||
CPU time | 8000 s | 26000 s | 34000 s | 20000 s | 4200 s | 17000 s | 53000 s | 480 s | 20000 s | 35000 s | 11000 s | 0 s | 8300 s | 150 s | 10000 s | 680 s | 43 s | 28000 s | 2100 s | 7200 s | 12000 s | 5700 s | 78 s | 33000 s | 19000 s | 21000 s | 26000 s | 33000 s | 34000 s | 50000 s | 32000 s | ||||||||||||||||||||||||||||||||
ReachSafety-ProductLines 597 valid tasks (332 true, 265 false, 0 void), max. score: 929 |
706 | 285 | 227 | 255 | 927 | 908 | 223 | 804 | 0 | 783 | 0 | 869 | 416 | 811 | 650 | 927 | 911 | 131 | 0 | 517 | 0 | 0 | 575 | 365 | 567 | 902 | 911 | ||||||||||||||||||||||||||||||||||||
CPU time | 1600 s | 13000 s | 800 s | 350 s | 22000 s | 87000 s | 3000 s | 18000 s | 0 s | 580 s | 0 s | 22000 s | 110 s | 7700 s | 20000 s | 8500 s | 17000 s | 18 s | 0 s | 16000 s | 0 s | 0 s | 13000 s | 8100 s | 31000 s | 93000 s | 66000 s | ||||||||||||||||||||||||||||||||||||
ReachSafety-Recursive 158 valid tasks (105 true, 53 false, 2 void), max. score: 263 |
0 | 87 | 116 | 115 | 113 | 74 | 71 | 129 | 0 | 127 | 0 | 106 | 82 | -329 | 138 | -1474 | 146 | 60 | 113 | 136 | 122 | -1616 | 149 | 88 | 0 | 126 | 96 | 150 | 107 | 98 | |||||||||||||||||||||||||||||||||
CPU time | 0 s | 2800 s | 1700 s | 200 s | 800 s | 550 s | 62 s | 870 s | 0 s | 2800 s | 0 s | 720 s | 46 s | 1000 s | 320 s | 13 s | 1400 s | 1100 s | 240 s | 1400 s | 150 s | 10 s | 2800 s | 6400 s | 0 s | 8200 s | 2600 s | 7500 s | 4300 s | 5300 s | |||||||||||||||||||||||||||||||||
ReachSafety-Sequentialized 585 valid tasks (185 true, 400 false, 0 void), max. score: 770 |
11 | 266 | 270 | 79 | 551 | 169 | -102 | -21 | 2 | 162 | 4 | 398 | -2483 | 35 | 4 | 539 | 465 | 234 | -9482 | 340 | 84 | 30 | 45 | 45 | 32 | 481 | 541 | ||||||||||||||||||||||||||||||||||||
CPU time | 1900 s | 8900 s | 28000 s | 2700 s | 46000 s | 8500 s | 870 s | 21000 s | 120 s | 730 s | 1.2 s | 16000 s | 150 s | 540 s | 3.7 s | 30000 s | 53000 s | 2300 s | 120 s | 11000 s | 15000 s | 5500 s | 16000 s | 12000 s | 9600 s | 61000 s | 71000 s | ||||||||||||||||||||||||||||||||||||
ReachSafety-XCSP 119 valid tasks (60 true, 59 false, 0 void), max. score: 179 |
148 | 142 | 140 | 159 | 153 | 146 | 100 | 9 | 114 | 158 | 150 | 0 | 152 | -870 | 132 | 0 | 150 | 147 | 147 | -717 | 140 | 136 | 40 | 12 | 36 | 39 | 155 | 154 | |||||||||||||||||||||||||||||||||||
CPU time | 1400 s | 8100 s | 18000 s | 790 s | 3500 s | 530 s | 180 s | 2200 s | 8700 s | 1900 s | 440 s | 0 s | 3500 s | 100 s | 2300 s | 0 s | 2500 s | 5300 s | 1600 s | 670 s | 6000 s | 4500 s | 4400 s | 1400 s | 6300 s | 6400 s | 6300 s | 3300 s | |||||||||||||||||||||||||||||||||||
ReachSafety-Combinations 671 valid tasks (241 true, 430 false, 0 void), max. score: 912 |
65 | 185 | 160 | 233 | 316 | 281 | 23 | 47 | 0 | 304 | 0 | 13 | 0 | 243 | 0 | 292 | 389 | 119 | -4452 | 222 | 34 | 12 | 101 | 29 | 112 | 187 | 289 | ||||||||||||||||||||||||||||||||||||
CPU time | 1500 s | 8400 s | 14000 s | 30000 s | 87000 s | 55000 s | 910 s | 14000 s | 0 s | 19000 s | 0 s | 41 s | 0 s | 47000 s | 0 s | 52000 s | 44000 s | 2500 s | 13 s | 15000 s | 5500 s | 1700 s | 16000 s | 910 s | 17000 s | 42000 s | 63000 s | ||||||||||||||||||||||||||||||||||||
ReachSafety-Hardware 1224 valid tasks (727 true, 497 false, 0 void), max. score: 1951 |
100 | 146 | 137 | 58 | 276 | 248 | -9 | 98 | 96 | 198 | 0 | 54 | 190 | -7565 | 70 | 256 | 64 | 20 | -3154 | 113 | 166 | 0 | 134 | 152 | 127 | 207 | 171 | ||||||||||||||||||||||||||||||||||||
CPU time | 1800 s | 16000 s | 9600 s | 130 s | 50000 s | 15000 s | 340 s | 1600 s | 20000 s | 610 s | 0 s | 310 s | 23000 s | 940 s | 640 s | 26000 s | 16000 s | 3.2 s | 120 s | 14000 s | 4000 s | 0 s | 13000 s | 8400 s | 11000 s | 32000 s | 43000 s | ||||||||||||||||||||||||||||||||||||
ReachSafety-Hardness 3987 valid tasks (3984 true, 3 false, 25 void), max. score: 7971 |
5894 | 2993 | 89 | 270 | 6104 | 6566 | -416 | 660 | 809 | 6952 | 4 | 1469 | -60146 | 518 | 6084 | 5150 | 564 | 7426 | 217 | 392 | 160 | 502 | 878 | 824 | 6902 | 7230 | |||||||||||||||||||||||||||||||||||||
CPU time | 13000 s | 8400 s | 22000 s | 52 s | 170000 s | 210000 s | 720 s | 31000 s | 110000 s | 110000 s | 0.49 s | 30000 s | 4.3 s | 7300 s | 110000 s | 410000 s | 4300 s | 13000 s | 13000 s | 17000 s | 1800 s | 42000 s | 44000 s | 44000 s | 110000 s | 170000 s | |||||||||||||||||||||||||||||||||||||
ReachSafety-Fuzzle 15 valid tasks (0 true, 15 false, 0 void), max. score: 15 |
0 | 1 | 1 | 1 | 14 | 0 | 0 | 0 | 0 | 15 | 0 | 15 | 12 | -128 | 0 | 15 | 14 | 1 | -288 | 1 | 0 | 0 | 3 | 5 | 4 | 1 | 1 | ||||||||||||||||||||||||||||||||||||
CPU time | 0 s | 24 s | 66 s | 5.3 s | 3500 s | 0 s | 0 s | 0 s | 0 s | 470 s | 0 s | 2800 s | 270 s | 0 s | 0 s | 2700 s | 4400 s | 6.3 s | 0 s | 26 s | 0 s | 0 s | 210 s | 430 s | 340 s | 76 s | 94 s | ||||||||||||||||||||||||||||||||||||
MemSafety 4042 valid tasks (1958 true, 2084 false, 0 void), max. score: 6409 |
686 | 3355 | 3349 | 1885 | 3249 | 4882 | 502 | 3158 | 2198 | 2697 | 4877 | 4733 | 861 | -10965 | 4479 | 600 | 3909 | 2939 | 3711 | ||||||||||||||||||||||||||||||||||||||||||||
CPU time | 1500 s | 2500 s | 5000 s | 3600 s | 28000 s | 66000 s | 290 s | 9000 s | 240 s | 33000 s | 33000 s | 5600 s | 1900 s | 32 s | 8100 s | 1500 s | 130000 s | 100000 s | 130000 s | ||||||||||||||||||||||||||||||||||||||||||||
MemSafety-Arrays 220 valid tasks (184 true, 36 false, 0 void), max. score: 404 |
0 | 53 | 53 | -24 | 23 | 128 | 12 | 35 | 104 | 22 | 124 | 124 | 22 | 101 | 28 | -296 | 167 | -9 | 346 | 149 | 275 | ||||||||||||||||||||||||||||||||||||||||||
CPU time | 0 s | 46 s | 100 s | 290 s | 230 s | 590 s | 12 s | 24 s | 8.1 s | 820 s | 1400 s | 54 s | 560 s | 97 s | 7.1 s | 1.3 s | 81 s | 71 s | 12000 s | 9900 s | 10000 s | ||||||||||||||||||||||||||||||||||||||||||
MemSafety-Heap 247 valid tasks (138 true, 109 false, 0 void), max. score: 385 |
102 | 287 | 287 | 187 | 297 | 329 | -22 | 309 | 116 | 218 | 154 | 329 | 222 | 331 | 90 | -582 | 325 | -78 | 165 | 150 | 199 | ||||||||||||||||||||||||||||||||||||||||||
CPU time | 120 s | 450 s | 680 s | 590 s | 2000 s | 4500 s | 200 s | 2100 s | 7.0 s | 1200 s | 300 s | 2900 s | 1600 s | 2500 s | 23 s | 6.3 s | 1100 s | 390 s | 7300 s | 11000 s | 8200 s | ||||||||||||||||||||||||||||||||||||||||||
MemSafety-LinkedLists 134 valid tasks (106 true, 28 false, 0 void), max. score: 240 |
90 | 114 | 114 | 127 | 127 | 208 | 84 | 96 | 2 | 114 | 96 | 208 | 114 | 220 | 17 | 0 | 130 | 0 | 22 | 10 | 14 | ||||||||||||||||||||||||||||||||||||||||||
CPU time | 1100 s | 71 s | 170 s | 250 s | 790 s | 2000 s | 61 s | 430 s | 0.11 s | 710 s | 120 s | 1000 s | 800 s | 110 s | 25 s | 0 s | 140 s | 0 s | 3400 s | 2300 s | 3800 s | ||||||||||||||||||||||||||||||||||||||||||
MemSafety-Other 105 valid tasks (90 true, 15 false, 0 void), max. score: 195 |
35 | 50 | 49 | -20 | 42 | 144 | 16 | 51 | 154 | 39 | 136 | 144 | 41 | 133 | 4 | -230 | 128 | 131 | 171 | 157 | 171 | ||||||||||||||||||||||||||||||||||||||||||
CPU time | 28 s | 440 s | 320 s | 630 s | 1300 s | 660 s | 12 s | 140 s | 19 s | 1000 s | 84 s | 120 s | 1100 s | 580 s | 1.5 s | 4.7 s | 1600 s | 1100 s | 2200 s | 4000 s | 2400 s | ||||||||||||||||||||||||||||||||||||||||||
MemSafety-Juliet 3271 valid tasks (1438 true, 1833 false, 0 void), max. score: 4709 |
0 | 4090 | 4090 | 3851 | 4124 | 4709 | 0 | 4573 | 2746 | 4360 | 2530 | 4645 | 4505 | 4562 | 1779 | -20328 | 4527 | 0 | 3222 | 2268 | 3158 | ||||||||||||||||||||||||||||||||||||||||||
CPU time | 0 s | 1400 s | 3600 s | 1800 s | 24000 s | 58000 s | 0 s | 6300 s | 200 s | 25000 s | 31000 s | 29000 s | 30000 s | 2200 s | 1800 s | 18 s | 5200 s | 0 s | 100000 s | 70000 s | 100000 s | ||||||||||||||||||||||||||||||||||||||||||
MemSafety-MemCleanup 65 valid tasks (2 true, 63 false, 0 void), max. score: 67 |
-26 | 65 | 65 | 14 | 59 | 63 | 0 | 44 | 0 | 0 | 2 | 65 | 59 | 60 | 5 | -271 | 65 | 0 | 51 | 53 | 49 | ||||||||||||||||||||||||||||||||||||||||||
CPU time | 170 s | 54 s | 130 s | 5.6 s | 440 s | 480 s | 0 s | 19 s | 0 s | 0 s | 1.1 s | 61 s | 440 s | 84 s | 1.3 s | 2.3 s | 84 s | 0 s | 2400 s | 4100 s | 2500 s | ||||||||||||||||||||||||||||||||||||||||||
ConcurrencySafety 3175 valid tasks (2542 true, 633 false, 4 void), max. score: 5733 |
0 | -190 | -189 | 818 | -4968 | 1770 | -12720 | 3383 | 4604 | 344 | 356 | 2149 | 2150 | 2448 | -8976 | -15153 | 396 | 0 | 1452 | 459 | 60 | 2272 | 298 | 2993 | 3144 | 0 | 2593 | ||||||||||||||||||||||||||||||||||||
CPU time | 0 s | 4.6 s | 13 s | 9100 s | 2500 s | 51000 s | 40000 s | 61000 s | 11000 s | 30000 s | 200000 s | 120000 s | 120000 s | 820 s | 910 s | 18000 s | 41000 s | 0 s | 59000 s | 26000 s | 19 s | 41000 s | 1800 s | 87000 s | 180000 s | 0 s | 76000 s | ||||||||||||||||||||||||||||||||||||
ConcurrencySafety-Main 724 valid tasks (373 true, 351 false, 1 void), max. score: 1097 |
0 | -96 | -96 | 116 | -1744 | 450 | 512 | 538 | 843 | 314 | 343 | 369 | 367 | 114 | 311 | -5331 | 459 | 88 | 0 | 434 | 396 | 445 | 12 | 515 | 0 | 579 | 661 | 0 | 583 | ||||||||||||||||||||||||||||||||||
CPU time | 0 s | 0 s | 0 s | 5700 s | 490 s | 23000 s | 9300 s | 15000 s | 3200 s | 30000 s | 150000 s | 10000 s | 10000 s | 15 s | 28000 s | 84 s | 4500 s | 2500 s | 0 s | 18000 s | 7100 s | 26000 s | 2.4 s | 21000 s | 0 s | 21000 s | 44000 s | 0 s | 22000 s | ||||||||||||||||||||||||||||||||||
ConcurrencySafety-MemSafety 751 valid tasks (716 true, 35 false, 1 void), max. score: 1467 |
0 | -90 | -90 | 0 | 0 | 0 | -4488 | 852 | 1228 | 0 | 0 | 697 | 697 | 896 | -32 | 393 | -4514 | 136 | 0 | 0 | -32 | -14 | 0 | 716 | 300 | 340 | 0 | 307 | |||||||||||||||||||||||||||||||||||
CPU time | 0 s | 0.56 s | 2.0 s | 0 s | 0 s | 0 s | 7700 s | 14000 s | 2600 s | 0 s | 0 s | 1200 s | 1100 s | 300 s | 0 s | 450 s | 3100 s | 15000 s | 0 s | 0 s | 0 s | 0.70 s | 0 s | 9200 s | 7700 s | 9700 s | 0 s | 7400 s | |||||||||||||||||||||||||||||||||||
ConcurrencySafety-NoOverflows 672 valid tasks (660 true, 12 false, 1 void), max. score: 1332 |
0 | 9 | 10 | 585 | 0 | 792 | -4300 | 834 | 1142 | 0 | 0 | 515 | 517 | 234 | 4 | 476 | -4312 | 132 | 0 | 501 | 772 | 38 | 40 | 267 | 871 | 906 | 0 | 871 | |||||||||||||||||||||||||||||||||||
CPU time | 0 s | 4.0 s | 11 s | 3400 s | 0 s | 9300 s | 7800 s | 12000 s | 2200 s | 0 s | 0 s | 41000 s | 42000 s | 92 s | 30 s | 160 s | 3400 s | 23000 s | 0 s | 25000 s | 13000 s | 4.6 s | 17 s | 2300 s | 18000 s | 30000 s | 0 s | 21000 s | |||||||||||||||||||||||||||||||||||
NoDataRace-Main 1028 valid tasks (793 true, 235 false, 1 void), max. score: 1821 |
0 | 0 | 1482 | 442 | -4479 | 1175 | 1338 | 518 | 1424 | 192 | 0 | 498 | 1352 | 108 | 823 | 1311 | 1282 | 0 | 778 | ||||||||||||||||||||||||||||||||||||||||||||
CPU time | 0 s | 0 s | 4000 s | 19000 s | 16000 s | 20000 s | 3100 s | 71000 s | 410 s | 16 s | 0 s | 16000 s | 990 s | 1200 s | 8900 s | 39000 s | 94000 s | 0 s | 26000 s | ||||||||||||||||||||||||||||||||||||||||||||
NoOverflows 8211 valid tasks (4552 true, 3659 false, 10 void), max. score: 13297 |
6887 | 6572 | 6556 | 7200 | 8777 | 608 | 0 | -361 | 8668 | 1573 | 8486 | -76213 | 8491 | 8843 | 958 | 1723 | -19469 | 7704 | -170 | -286 | 11074 | 8878 | 10736 | ||||||||||||||||||||||||||||||||||||||||
CPU time | 10000 s | 52000 s | 43000 s | 26000 s | 62000 s | 9000 s | 0 s | 33000 s | 50000 s | 4100 s | 840 s | 1400 s | 9000 s | 15000 s | 3800 s | 1500 s | 130 s | 54000 s | 7700 s | 9300 s | 240000 s | 190000 s | 260000 s | ||||||||||||||||||||||||||||||||||||||||
NoOverflows-Main 1979 valid tasks (1474 true, 505 false, 10 void), max. score: 3453 |
1553 | 1364 | 1363 | 1236 | 2119 | 293 | 0 | -174 | 1528 | -636 | 2184 | 1601 | -13091 | 2138 | 2151 | 2263 | 462 | 541 | -9385 | 1811 | -82 | -138 | 2756 | 1906 | 2631 | -366 | |||||||||||||||||||||||||||||||||||||
CPU time | 8000 s | 33000 s | 26000 s | 7800 s | 21000 s | 9000 s | 0 s | 33000 s | 12000 s | 270 s | 360 s | 24000 s | 250 s | 4200 s | 12000 s | 23000 s | 3800 s | 200 s | 130 s | 13000 s | 7700 s | 9300 s | 73000 s | 61000 s | 82000 s | 5800 s | |||||||||||||||||||||||||||||||||||||
NoOverflows-Juliet 6232 valid tasks (3078 true, 3154 false, 0 void), max. score: 9310 |
5563 | 5681 | 5660 | 7037 | 6650 | 0 | 0 | 0 | 8346 | 4390 | 6004 | 0 | -74464 | 6156 | 6650 | 5681 | 0 | 912 | 0 | 5992 | 0 | 0 | 8131 | 7474 | 8011 | ||||||||||||||||||||||||||||||||||||||
CPU time | 2300 s | 19000 s | 17000 s | 18000 s | 41000 s | 0 s | 0 s | 0 s | 38000 s | 3800 s | 480 s | 0 s | 1200 s | 4800 s | 3200 s | 38000 s | 0 s | 1300 s | 0 s | 41000 s | 0 s | 0 s | 170000 s | 130000 s | 180000 s | ||||||||||||||||||||||||||||||||||||||
Termination 2328 valid tasks (1531 true, 797 false, 11 void), max. score: 4079 |
1703 | 2219 | 1491 | 1122 | 1199 | 1301 | 0 | 620 | 1115 | 969 | 0 | 1290 | 922 | 3685 | 1411 | 712 | 536 | 3334 | 0 | 0 | |||||||||||||||||||||||||||||||||||||||||||
CPU time | 13000 s | 120000 s | 13000 s | 14000 s | 14000 s | 54000 s | 0 s | 47000 s | 3300 s | 16000 s | 0 s | 37000 s | 1900 s | 87000 s | 17000 s | 24000 s | 4600 s | 64000 s | 0 s | 0 s | |||||||||||||||||||||||||||||||||||||||||||
Termination-BitVectors 34 valid tasks (23 true, 11 false, 0 void), max. score: 57 |
36 | 8 | 33 | 25 | 26 | 17 | 0 | 11 | 26 | 4 | -115 | 0 | 17 | 7 | 26 | 55 | 33 | 10 | 0 | 52 | 0 | 0 | |||||||||||||||||||||||||||||||||||||||||
CPU time | 5.1 s | 35 s | 65 s | 100 s | 3.9 s | 81 s | 0 s | 880 s | 7.4 s | 0.23 s | 62 s | 0 s | 3.2 s | 23 s | 2.6 s | 2800 s | 28 s | 140 s | 0 s | 610 s | 0 s | 0 s | |||||||||||||||||||||||||||||||||||||||||
Termination-MainControlFlow 272 valid tasks (215 true, 57 false, 9 void), max. score: 487 |
274 | 397 | 145 | 78 | 68 | 221 | 0 | 283 | 66 | 126 | 167 | 0 | 222 | 241 | 56 | 431 | 91 | 334 | 332 | 402 | 0 | 0 | |||||||||||||||||||||||||||||||||||||||||
CPU time | 170 s | 2600 s | 880 s | 1100 s | 630 s | 2300 s | 0 s | 45000 s | 990 s | 9.3 s | 3100 s | 0 s | 750 s | 2400 s | 80 s | 26000 s | 440 s | 23000 s | 3700 s | 4900 s | 0 s | 0 s | |||||||||||||||||||||||||||||||||||||||||
Termination-MainHeap 202 valid tasks (189 true, 13 false, 0 void), max. score: 391 |
0 | 286 | 36 | 24 | 24 | 0 | 0 | 0 | 22 | 94 | 0 | 0 | 0 | 0 | 24 | 352 | 24 | 0 | 0 | 334 | 0 | 0 | |||||||||||||||||||||||||||||||||||||||||
CPU time | 0 s | 4800 s | 52 s | 72 s | 12 s | 0 s | 0 s | 0 s | 7.6 s | 6.7 s | 0 s | 0 s | 0 s | 0 s | 1.6 s | 23000 s | 6.2 s | 0 s | 0 s | 5700 s | 0 s | 0 s | |||||||||||||||||||||||||||||||||||||||||
Termination-Other 1820 valid tasks (1104 true, 716 false, 2 void), max. score: 2924 |
1565 | 1279 | 1602 | 1433 | 1688 | 1679 | 0 | -544 | 1454 | 1126 | 1505 | 0 | 1639 | 1245 | 902 | 2524 | 1821 | -544 | -544 | 1944 | 0 | 0 | |||||||||||||||||||||||||||||||||||||||||
CPU time | 13000 s | 110000 s | 12000 s | 13000 s | 13000 s | 52000 s | 0 s | 920 s | 2300 s | 16000 s | 58000 s | 0 s | 36000 s | 41000 s | 1900 s | 35000 s | 17000 s | 920 s | 930 s | 52000 s | 0 s | 0 s | |||||||||||||||||||||||||||||||||||||||||
SoftwareSystems 4329 valid tasks (3249 true, 1080 false, 179 void), max. score: 7131 |
1 | 1697 | 1649 | -2586 | -2370 | -4079 | 2178 | 72 | -1948 | 545 | -670 | -32987 | 2086 | 2127 | -1598 | 0 | 1822 | 654 | 300 | 288 | |||||||||||||||||||||||||||||||||||||||||||
CPU time | 62 s | 95000 s | 22000 s | 8500 s | 90000 s | 91000 s | 110000 s | 9700 s | 22000 s | 68000 s | 84000 s | 1500 s | 73000 s | 81000 s | 150000 s | 0 s | 22000 s | 140000 s | 100000 s | 130000 s | |||||||||||||||||||||||||||||||||||||||||||
SoftwareSystems-AWS-C-Common-ReachSafety 341 valid tasks (177 true, 164 false, 0 void), max. score: 518 |
-26 | 326 | 323 | 98 | 23 | 32 | 180 | -465 | -17 | 191 | 60 | 150 | 76 | 181 | 21 | 0 | 297 | 54 | 31 | -46 | |||||||||||||||||||||||||||||||||||||||||||
CPU time | 12 s | 1700 s | 4300 s | 240 s | 650 s | 370 s | 6000 s | 190 s | 560 s | 1200 s | 8.1 s | 7000 s | 1300 s | 3500 s | 2200 s | 0 s | 2200 s | 18000 s | 1900 s | 12000 s | |||||||||||||||||||||||||||||||||||||||||||
SoftwareSystems-coreutils-MemSafety 139 valid tasks (29 true, 110 false, 2 void), max. score: 168 |
0 | 0 | 0 | -144 | 0 | -272 | 0 | 0 | -80 | 0 | -272 | -464 | 0 | 0 | -304 | 0 | 0 | 0 | 0 | 0 | 0 | ||||||||||||||||||||||||||||||||||||||||||
CPU time | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | ||||||||||||||||||||||||||||||||||||||||||
SoftwareSystems-coreutils-NoOverflows 29 valid tasks (29 true, 0 false, 1 void), max. score: 58 |
0 | 0 | 0 | -112 | 0 | 0 | 38 | 0 | 0 | -16 | 0 | 0 | 0 | -432 | 4 | 38 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | ||||||||||||||||||||||||||||||||||||||||
CPU time | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 670 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 67 s | 190 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | ||||||||||||||||||||||||||||||||||||||||
SoftwareSystems-BusyBox-NoOverflows 66 valid tasks (34 true, 32 false, 1 void), max. score: 100 |
0 | 0 | 0 | 0 | 0 | 0 | 4 | -48 | 0 | -16 | 0 | 4 | 4 | -606 | 8 | 4 | -12 | 0 | 0 | 0 | 0 | 0 | 0 | ||||||||||||||||||||||||||||||||||||||||
CPU time | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 1200 s | 0 s | 0 s | 0 s | 0 s | 7.7 s | 1200 s | 0.30 s | 450 s | 1200 s | 1200 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | ||||||||||||||||||||||||||||||||||||||||
SoftwareSystems-DeviceDriversLinux64-ReachSafety 2405 valid tasks (2185 true, 220 false, 15 void), max. score: 4590 |
298 | 583 | 531 | -5178 | 3269 | 3220 | 3062 | -22472 | 722 | 1948 | 2984 | 2960 | 3602 | 3027 | 2784 | 0 | 1384 | 2524 | 2104 | 2531 | |||||||||||||||||||||||||||||||||||||||||||
CPU time | 50 s | 91000 s | 14000 s | 94 s | 89000 s | 88000 s | 87000 s | 110 s | 9200 s | 20000 s | 68000 s | 73000 s | 69000 s | 70000 s | 140000 s | 0 s | 8600 s | 110000 s | 98000 s | 120000 s | |||||||||||||||||||||||||||||||||||||||||||
SoftwareSystems-DeviceDriversLinux64Large-ReachSafety 8 valid tasks (8 true, 0 false, 0 void), max. score: 16 |
0 | 0 | 0 | 0 | 2 | 2 | 4 | -96 | 0 | 0 | 0 | 0 | 4 | 4 | 0 | 0 | 0 | 0 | 0 | 0 | |||||||||||||||||||||||||||||||||||||||||||
CPU time | 0 s | 0 s | 0 s | 0 s | 370 s | 340 s | 190 s | 0 s | 0 s | 0 s | 0 s | 0 s | 140 s | 270 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | |||||||||||||||||||||||||||||||||||||||||||
SoftwareSystems-DeviceDriversLinux64-MemSafety 141 valid tasks (4 true, 137 false, 0 void), max. score: 145 |
2 | 92 | 90 | 10 | 0 | 54 | 77 | 0 | 7 | 8 | 9 | 8 | 81 | 38 | 1 | 0 | 69 | 2 | 1 | 2 | |||||||||||||||||||||||||||||||||||||||||||
CPU time | 0.53 s | 1700 s | 3000 s | 100 s | 0 s | 760 s | 3900 s | 0 s | 50 s | 2.2 s | 770 s | 5.7 s | 3500 s | 550 s | 0.41 s | 0 s | 9300 s | 110 s | 48 s | 110 s | |||||||||||||||||||||||||||||||||||||||||||
SoftwareSystems-Intel-TDX-Module-ReachSafety 146 valid tasks (102 true, 44 false, 144 void), max. score: 248 |
0 | 0 | 0 | 0 | -120 | -120 | 0 | -1632 | 0 | -640 | 0 | -120 | -2512 | 0 | 0 | -86 | 0 | 0 | 0 | 0 | 0 | ||||||||||||||||||||||||||||||||||||||||||
CPU time | 0 s | 0 s | 0 s | 0 s | 160 s | 160 s | 0 s | 0 s | 0 s | 36 s | 0 s | 88 s | 0 s | 0 s | 0 s | 2200 s | 0 s | 0 s | 0 s | 0 s | 0 s | ||||||||||||||||||||||||||||||||||||||||||
SoftwareSystems-Other-ReachSafety 30 valid tasks (25 true, 5 false, 1 void), max. score: 55 |
0 | 3 | 3 | -32 | -272 | -272 | 40 | -16 | 0 | -62 | 10 | -64 | -288 | 12 | 40 | 5 | 0 | 2 | 2 | 2 | 2 | ||||||||||||||||||||||||||||||||||||||||||
CPU time | 0 s | 4.1 s | 21 s | 0 s | 0 s | 0 s | 890 s | 0 s | 0 s | 4.4 s | 520 s | 0 s | 0 s | 190 s | 550 s | 510 s | 0 s | 24 s | 26 s | 34 s | 90 s | ||||||||||||||||||||||||||||||||||||||||||
SoftwareSystems-Other-MemSafety 49 valid tasks (31 true, 18 false, 0 void), max. score: 80 |
0 | -9 | -9 | -78 | 0 | 0 | 0 | 0 | -32 | 0 | 0 | -469 | 14 | 0 | 0 | 9 | 0 | 12 | 0 | 0 | 0 | ||||||||||||||||||||||||||||||||||||||||||
CPU time | 0 s | 12 s | 26 s | 170 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 32 s | 440 s | 0 s | 0 s | 140 s | 0 s | 210 s | 0 s | 0 s | 0 s | ||||||||||||||||||||||||||||||||||||||||||
SoftwareSystems-uthash-ReachSafety 192 valid tasks (192 true, 0 false, 0 void), max. score: 384 |
0 | 236 | 230 | 0 | 0 | 0 | 0 | 78 | 0 | 22 | 0 | 0 | -2960 | 192 | 0 | 0 | 0 | 234 | 0 | 0 | 0 | ||||||||||||||||||||||||||||||||||||||||||
CPU time | 0 s | 160 s | 200 s | 0 s | 0 s | 0 s | 0 s | 260 s | 0 s | 720 s | 0 s | 0 s | 0 s | 520 s | 0 s | 0 s | 0 s | 75 s | 0 s | 0 s | 0 s | ||||||||||||||||||||||||||||||||||||||||||
SoftwareSystems-uthash-MemSafety 192 valid tasks (90 true, 102 false, 0 void), max. score: 282 |
0 | 246 | 246 | 132 | 0 | 138 | 156 | 0 | 0 | 0 | 132 | -2741 | 108 | 156 | 138 | 78 | 0 | 246 | 0 | 0 | 0 | ||||||||||||||||||||||||||||||||||||||||||
CPU time | 0 s | 380 s | 650 s | 3900 s | 0 s | 940 s | 2100 s | 0 s | 0 s | 0 s | 950 s | 230 s | 290 s | 550 s | 1000 s | 24 s | 0 s | 1300 s | 0 s | 0 s | 0 s | ||||||||||||||||||||||||||||||||||||||||||
SoftwareSystems-uthash-NoOverflows 162 valid tasks (162 true, 0 false, 0 void), max. score: 324 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -464 | 300 | 0 | 0 | 0 | 0 | 0 | 6 | 0 | 0 | ||||||||||||||||||||||||||||||||||||||||
CPU time | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 0 s | 590 s | 0 s | 0 s | 0 s | 0 s | 0 s | 1800 s | 0 s | 0 s | ||||||||||||||||||||||||||||||||||||||||
SoftwareSystems-uthash-MemCleanup 162 valid tasks (90 true, 72 false, 0 void), max. score: 252 |
0 | 216 | 216 | 126 | 174 | 0 | 0 | 0 | 0 | 0 | 96 | 138 | -822 | 48 | 0 | 216 | 0 | 0 | 0 | ||||||||||||||||||||||||||||||||||||||||||||
CPU time | 0 s | 210 s | 360 s | 3900 s | 7100 s | 0 s | 0 s | 0 s | 0 s | 0 s | 260 s | 420 s | 340 s | 14 s | 0 s | 300 s | 0 s | 0 s | 0 s | ||||||||||||||||||||||||||||||||||||||||||||
SoftwareSystems-DeviceDriversLinux64-Termination 267 valid tasks (91 true, 176 false, 15 void), max. score: 358 |
-16 | 72 | 48 | -287 | 29 | 0 | 50 | 6 | 29 | 0 | 37 | 32 | 40 | 0 | 62 | 251 | 0 | 0 | |||||||||||||||||||||||||||||||||||||||||||||
CPU time | 0 s | 120 s | 54 s | 110 s | 320 s | 0 s | 21 s | 1.3 s | 900 s | 0 s | 890 s | 1100 s | 67 s | 0 s | 61 s | 8300 s | 0 s | 0 s | |||||||||||||||||||||||||||||||||||||||||||||
FalsificationOverall 31025 valid tasks (20648 true, 10377 false, 228 void), max. score: 10903 |
1930 | 5558 | 5556 | -3869 | 7037 | 342 | 3885 | -721 | 7032 | 2691 | 6480 | 4931 | 3880 | 4732 | |||||||||||||||||||||||||||||||||||||||||||||||||
CPU time | 38000 s | 65000 s | 130000 s | 140000 s | 360000 s | 130000 s | 97000 s | 190000 s | 210000 s | 190000 s | 100000 s | 210000 s | 140000 s | 190000 s | |||||||||||||||||||||||||||||||||||||||||||||||||
Overall 33353 valid tasks (22179 true, 11174 false, 239 void), max. score: 55561 |
12658 | 17768 | 16497 | 9098 | 26772 | 3669 | 18434 | 17266 | 4508 | 13521 | 26115 | 16324 | 20691 | 29710 | 12872 | 20244 | |||||||||||||||||||||||||||||||||||||||||||||||
CPU time | 130000 s | 300000 s | 250000 s | 190000 s | 870000 s | 210000 s | 460000 s | 87000 s | 450000 s | 150000 s | 550000 s | 1000000 s | 230000 s | 960000 s | 620000 s | 850000 s | |||||||||||||||||||||||||||||||||||||||||||||||
JavaOverall 674 valid tasks (253 true, 421 false, 0 void), max. score: 927 |
-3960 | 627 | 676 | 248 | 628 | -1256 | 581 | 184 | 492 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
CPU time | 1100 s | 7700 s | 21000 s | 15000 s | 1200 s | 2900 s | 6100 s | 1400 s | 5000 s | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
ReachSafety-Java 674 valid tasks (253 true, 421 false, 0 void), max. score: 927 |
-3960 | 627 | 676 | 248 | 628 | -1256 | 581 | 184 | 492 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
CPU time | 1100 s | 7700 s | 21000 s | 15000 s | 1200 s | 2900 s | 6100 s | 1400 s | 5000 s | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
RuntimeException-Java 673 valid tasks (654 true, 19 false, 0 void), max. score: 1327 |
727Demo | 383Demo | 974Demo | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
CPU time | 6600 s | 20000 s | 2600 s | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Participants | Plots | 2LS | aise | AProVE (KoAT + LoAT) | BRICK | Bubaak | Bubaak-SpLit | CBMC | CoOpeRace | CPA-BAM-BnB | CPA-BAM-SMG | CPALockator | CPAchecker | CPV | Crux | CSeq | Dartagnan | Deagle | DIVINE | EBF | EmergenTheta | ESBMC-incr | ESBMC-kind | Frama-C-SV | Gazer-Theta | GDart-LLVM | Goblint | Graves-CPA | Hornix | Infer | Korn | Lazy-CSeq | LF-checker | Locksmith | Mopsa | Nacpa | PeSCo-CPA | PIChecker | Pinaka | PredatorHP | PROTON | RacerF | sv-sanitizers | SVF-SVC | Symbiotic | Theta | Thorn | UAutomizer | UGemCutter | UKojak | UTaipan | VeriAbs | VeriAbsL | VeriOover | COASTAL | GDart | Java-Ranger | JayHorn | JBMC | JDart | MLB | SPF | SWAT |
Note on meta-categories: The score is not the sum of scores of the sub-categories (normalization). The run time is the sum of run times of the sub-categories, rounded to two significant digits.
If you did not find what you are looking for, please do not hesitate to contact Dirk Beyer (competition chair).