Datasets › CIFAR-100 › Papers, page 2

CIFAR-100

Papers archive 2025-07-28

papers with a benchmark row: 375 · with a code link: 327 · where Syntology ran a sample: 169 (144 with a run with no instrument failure, 25 where every run was a failure of Syntology's instrument) Syntology

Show: all papers with a benchmark rowonly where code ran (169 of 375 with a benchmark row: 144 with a run with no instrument failure, 25 where every run was a failure of Syntology's instrument)

Page 2 of 4: papers 101 to 200 of 375 with a leaderboard row on this dataset's benchmarks, newest first by the archive's date (ties by slug; undated papers last).

The archive's own "papers using this dataset" list was never published, so this is the benchmark-backed subset, not that list; the archive's count for this dataset is 9,045. The Syntology column is from Syntology's graph, stated per sample; it is not part of any archive number. A line reads “N ran (of which C constructed an object rather than computing a result; K with no instrument failure: H honoured, V violated, P with no contract checked; I where Syntology's instrument failed) · U unverified” (C is a part of N, never taken away from it); the figure “where Syntology's instrument failed” counts failures of Syntology's instrument, not of the code. “Ran” means the sample executed on a synthesized fixture, not that the paper's result was reproduced. When the archive marks a repository official for the paper, the cell starts with that repository's state (the archive's flag, not a verdict on who wrote the code; “community repositories only” when every sample that ran came from a community repository, “official: no sample here; runs from other or unrecorded repositories” when some came from a repository the paper names or has in its text, or from none recorded); hover it for the repositories the samples that ran came from. Syntology's record for this page has not changed since , the first build that kept a record date for it; when this build read Syntology's graph is in the build record.

PaperCodeResultsDateSamples run Syntology
DoubleMatch: Improving Semi-Supervised Learning with Self-Supervision 1 3 11 May 2022 not harvested
FOSTER: Feature Boosting and Compression for Class-Incremental Learning 2 3 10 Apr 2022 official (archive's flag): 2 ran · 2 ran (of which 0 constructed an object rather than computing a result; 2 with no instrument failure: 0 honoured, 0 violated, 2 with no contract checked; 0 where Syntology's instrument failed) · 6 unverified
RODD: A Self-Supervised Approach for Robust Out-of-Distribution Detection 1 1 6 Apr 2022 not harvested
Revisiting a kNN-based Image Classification System with High-capacity Storage 0 2 3 Apr 2022 not harvested
Few-Shot Class-Incremental Learning by Sampling Multi-Phase Tasks 1 1 31 Mar 2022 not harvested
Constrained Few-shot Class-incremental Learning 2 1 30 Mar 2022 official (archive's flag): 2 ran · 4 ran (of which 1 constructed an object rather than computing a result; 4 with no instrument failure: 1 honoured, 0 violated, 3 with no contract checked; 0 where Syntology's instrument failed) · 1 unverified
CNN Filter DB: An Empirical Investigation of Trained Convolutional Filters 1 1 29 Mar 2022 not harvested
Nested Collaborative Learning for Long-Tailed Visual Recognition 1 1 29 Mar 2022 official (archive's flag): 2 ran · 2 ran (of which 1 constructed an object rather than computing a result; 1 with no instrument failure: 0 honoured, 0 violated, 1 with no contract checked; 1 where Syntology's instrument failed) · 0 unverified
Denoising Likelihood Score Matching for Conditional Score-based Data Generation 2 1 27 Mar 2022 official (archive's flag): 1 ran · 2 ran (of which 0 constructed an object rather than computing a result; 0 with no instrument failure: 0 honoured, 0 violated, 0 with no contract checked; 2 where Syntology's instrument failed) · 0 unverified
Long-Tailed Recognition via Weight Balancing 2 2 27 Mar 2022 official (archive's flag): 1 ran · 5 ran (of which 2 constructed an object rather than computing a result; 5 with no instrument failure: 2 honoured, 0 violated, 3 with no contract checked; 0 where Syntology's instrument failed) · 9 unverified (13 pointer-only for licence)
Knowledge Distillation with the Reused Teacher Classifier 1 1 26 Mar 2022 official (archive's flag): 1 ran · 1 ran (of which 0 constructed an object rather than computing a result; 0 with no instrument failure: 0 honoured, 0 violated, 0 with no contract checked; 1 where Syntology's instrument failed) · 0 unverified (1 pointer-only for licence)
Visual Prompt Tuning 6 2 23 Mar 2022 official: no sample here; runs from other or unrecorded repositories · 18 ran (of which 12 constructed an object rather than computing a result; 16 with no instrument failure: 1 honoured, 1 violated, 14 with no contract checked; 2 where Syntology's instrument failed) · 9 unverified (15 pointer-only for licence)
Do Deep Networks Transfer Invariances Across Classes? 1 1 18 Mar 2022 official (archive's flag): 3 ran · 3 ran (of which 0 constructed an object rather than computing a result; 0 with no instrument failure: 0 honoured, 0 violated, 0 with no contract checked; 3 where Syntology's instrument failed) · 0 unverified (3 pointer-only for licence)
Three things everyone should know about Vision Transformers 8 1 18 Mar 2022 community repositories only · 1 ran (of which 0 constructed an object rather than computing a result; 1 with no instrument failure: 0 honoured, 1 violated, 0 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified
Inducing Neural Collapse in Imbalanced Learning: Do We Really Need a Learnable Classifier at the End of Deep Neural Network? 1 1 17 Mar 2022 not harvested
Bamboo: Building Mega-Scale Vision Dataset Continually with Human-Machine Synergy 2 1 15 Mar 2022 official (archive's flag): 3 ran · 3 ran (of which 0 constructed an object rather than computing a result; 3 with no instrument failure: 1 honoured, 2 violated, 0 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified (3 pointer-only for licence)
Forward Compatible Few-Shot Class-Incremental Learning 1 1 14 Mar 2022 not harvested
SimMatch: Semi-supervised Learning with Similarity Matching 1 3 14 Mar 2022 not harvested
Class-Aware Contrastive Semi-Supervised Learning 1 3 4 Mar 2022 official (archive's flag): 2 ran · 2 ran (of which 1 constructed an object rather than computing a result; 2 with no instrument failure: 0 honoured, 0 violated, 2 with no contract checked; 0 where Syntology's instrument failed) · 1 unverified (3 pointer-only for licence)
β-DARTS: Beta-Decay Regularization for Differentiable Architecture Search 1 1 3 Mar 2022 not harvested
BatchFormer: Learning to Explore Sample Relationships for Robust Representation Learning 1 2 3 Mar 2022 official (archive's flag): 2 ran · 2 ran (of which 0 constructed an object rather than computing a result; 2 with no instrument failure: 0 honoured, 0 violated, 2 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified (2 pointer-only for licence)
Long-Tailed Classification with Gradual Balanced Loss and Adaptive Feature Generation 0 2 28 Feb 2022 not harvested
ChimeraMix: Image Classification on Small Datasets via Masked Feature Mixing 1 2 23 Feb 2022 official (archive's flag): 5 ran · 5 ran (of which 4 constructed an object rather than computing a result; 5 with no instrument failure: 0 honoured, 0 violated, 5 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified
Vision Models Are More Robust And Fair When Pretrained On Uncurated Images Without Supervision 1 1 16 Feb 2022 not harvested
Convolutional Xformers for Vision 1 1 25 Jan 2022 not harvested
Contrastive Regularization for Semi-Supervised Learning 0 3 17 Jan 2022 not harvested
A Simple Episodic Linear Probe Improves Visual Recognition in the Wild 2 2 1 Jan 2022 not harvested
Pure Noise to the Rescue of Insufficient Data: Improving Imbalanced Classification by Training on Random Noise Images 1 1 16 Dec 2021 not harvested
Out-of-Distribution Detection Without Class Labels 0 4 14 Dec 2021 not harvested
Transformaly -- Two (Feature Spaces) Are Better Than One 1 1 8 Dec 2021 not harvested
Differentiable Spike: Rethinking Gradient-Descent for Training Spiking Neural Networks 0 1 1 Dec 2021 not harvested
Information Theoretic Representation Distillation 1 3 1 Dec 2021 not harvested
The Majority Can Help The Minority: Context-rich Minority Oversampling for Long-tailed Classification 1 4 1 Dec 2021 official (archive's flag): 1 ran · 3 ran (of which 0 constructed an object rather than computing a result; 0 with no instrument failure: 0 honoured, 0 violated, 0 with no contract checked; 3 where Syntology's instrument failed) · 2 unverified (2 pointer-only for licence)
Boosting Discriminative Visual Representation Learning with Scenario-Agnostic Mixup 1 2 30 Nov 2021 not harvested
A Simple Long-Tailed Recognition Baseline via Vision-Language Model 1 1 29 Nov 2021 not harvested
Targeted Supervised Contrastive Learning for Long-Tailed Recognition 1 1 27 Nov 2021 official (archive's flag): 10 ran · 10 ran (of which 0 constructed an object rather than computing a result; 9 with no instrument failure: 0 honoured, 0 violated, 9 with no contract checked; 1 where Syntology's instrument failed) · 4 unverified
ML-Decoder: Scalable and Versatile Classification Head 1 1 25 Nov 2021 official (archive's flag): 4 ran · 4 ran (of which 0 constructed an object rather than computing a result; 2 with no instrument failure: 0 honoured, 0 violated, 2 with no contract checked; 2 where Syntology's instrument failed) · 1 unverified (1 pointer-only for licence)
Sharpness-aware Quantization for Deep Neural Networks 4 1 24 Nov 2021 official (archive's flag): 6 ran · 6 ran (of which 0 constructed an object rather than computing a result; 6 with no instrument failure: 0 honoured, 0 violated, 6 with no contract checked; 0 where Syntology's instrument failed) · 5 unverified
DU-DARTS: Decreasing the Uncertainty of Differentiable Architecture Search 1 1 23 Nov 2021 not harvested
Trustworthy Long-Tailed Classification 2 1 17 Nov 2021 not harvested
Probabilistic Contrastive Learning for Domain Adaptation 2 2 11 Nov 2021 not harvested
Feature Generation for Long-tail Classification 1 2 10 Nov 2021 official (archive's flag): 5 ran · 5 ran (of which 0 constructed an object rather than computing a result; 4 with no instrument failure: 0 honoured, 0 violated, 4 with no contract checked; 1 where Syntology's instrument failed) · 1 unverified (1 pointer-only for licence)
Towards Calibrated Model for Long-Tailed Visual Recognition from Prior Perspective 1 3 6 Nov 2021 official (archive's flag): 6 ran · 6 ran (of which 0 constructed an object rather than computing a result; 6 with no instrument failure: 0 honoured, 0 violated, 6 with no contract checked; 0 where Syntology's instrument failed) · 1 unverified
Qimera: Data-free Quantization with Synthetic Boundary Supporting Samples 2 1 4 Nov 2021 official (archive's flag): 1 ran · 2 ran (of which 1 constructed an object rather than computing a result; 1 with no instrument failure: 0 honoured, 0 violated, 1 with no contract checked; 1 where Syntology's instrument failed) · 0 unverified (2 pointer-only for licence)
Overcoming Catastrophic Forgetting in Incremental Few-Shot Learning by Finding Flat Minima 1 1 30 Oct 2021 not harvested
DP-SSL: Towards Robust Semi-supervised Learning with A Few Labeled Samples 0 2 26 Oct 2021 not harvested
FlexMatch: Boosting Semi-Supervised Learning with Curriculum Pseudo Labeling 2 3 15 Oct 2021 official (archive's flag): 2 ran · 4 ran (of which 0 constructed an object rather than computing a result; 1 with no instrument failure: 0 honoured, 1 violated, 0 with no contract checked; 3 where Syntology's instrument failed) · 2 unverified
Influence-Balanced Loss for Imbalanced Visual Classification 1 1 6 Oct 2021 official (archive's flag): 2 ran · 2 ran (of which 1 constructed an object rather than computing a result; 2 with no instrument failure: 1 honoured, 0 violated, 1 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified
ResNet strikes back: An improved training procedure in timm 14 1 1 Oct 2021 official: harvested for another paper · 0 ran · 3 unverified
Perturbated Gradients Updating within Unit Space for Deep Learning 1 1 1 Oct 2021 not harvested
Optimal Transport for Long-Tailed Recognition with Learnable Cost Matrix 0 1 29 Sep 2021 not harvested
Connecting Low-Loss Subspace for Personalized Federated Learning 1 2 16 Sep 2021 official: harvested, nothing ran · 0 ran · 2 unverified (2 pointer-only for licence)
ConvMLP: Hierarchical Convolutional MLPs for Vision 4 3 9 Sep 2021 official: harvested, nothing ran · 0 ran · 3 unverified
Self Supervision to Distillation for Long-Tailed Visual Recognition 1 1 9 Sep 2021 official: harvested, nothing ran · 0 ran · 1 unverified (1 pointer-only for licence)
Dash: Semi-Supervised Learning with Dynamic Thresholding 0 4 1 Sep 2021 not harvested
EEEA-Net: An Early Exit Evolutionary Neural Architecture Search 1 1 13 Aug 2021 not harvested
ACE: Ally Complementary Experts for Solving Long-Tailed Recognition in One-Shot 0 1 5 Aug 2021 not harvested
Parametric Contrastive Learning 5 1 26 Jul 2021 official (archive's flag): 1 ran · 1 ran (of which 1 constructed an object rather than computing a result; 1 with no instrument failure: 0 honoured, 0 violated, 1 with no contract checked; 0 where Syntology's instrument failed) · 2 unverified; the one sample that ran constructed an object rather than computing a result (1 pointer-only for licence)
μDARTS: Model Uncertainty-Aware Differentiable Architecture Search 0 1 24 Jul 2021 not harvested
Conditional GANs with Auxiliary Discriminative Classifier 2 1 21 Jul 2021 official (archive's flag): 2 ran · 4 ran (of which 0 constructed an object rather than computing a result; 2 with no instrument failure: 0 honoured, 0 violated, 2 with no contract checked; 2 where Syntology's instrument failed) · 2 unverified (6 pointer-only for licence)
Self-Supervised Aggregation of Diverse Experts for Test-Agnostic Long-Tailed Recognition 2 2 20 Jul 2021 official (archive's flag): 5 ran · 5 ran (of which 0 constructed an object rather than computing a result; 4 with no instrument failure: 0 honoured, 0 violated, 4 with no contract checked; 1 where Syntology's instrument failed) · 1 unverified (5 pointer-only for licence)
Split-and-Bridge: Adaptable Class Incremental Learning within a Single Neural Network 1 1 3 Jul 2021 official (archive's flag): 1 ran · 1 ran (of which 0 constructed an object rather than computing a result; 1 with no instrument failure: 0 honoured, 0 violated, 1 with no contract checked; 0 where Syntology's instrument failed) · 4 unverified (5 pointer-only for licence)
Global Filter Networks for Image Classification 4 1 1 Jul 2021 official (archive's flag): 5 ran · 6 ran (of which 3 constructed an object rather than computing a result; 4 with no instrument failure: 0 honoured, 0 violated, 4 with no contract checked; 2 where Syntology's instrument failed) · 4 unverified (5 pointer-only for licence)
AutoNovel: Automatically Discovering and Learning Novel Visual Categories 1 1 29 Jun 2021 not harvested
Personalized Federated Learning with Gaussian Processes 1 3 29 Jun 2021 not harvested
AC/DC: Alternating Compressed/DeCompressed Training of Deep Neural Networks 2 2 23 Jun 2021 official (archive's flag): 1 ran · 2 ran (of which 2 constructed an object rather than computing a result; 2 with no instrument failure: 0 honoured, 0 violated, 2 with no contract checked; 0 where Syntology's instrument failed) · 3 unverified; every one of the 2 samples that ran constructed an object rather than computing a result
DARTS-PRIME: Regularization and Scheduling Improve Constrained Optimization in Differentiable NAS 0 1 22 Jun 2021 not harvested
RSG: A Simple but Effective Module for Learning Imbalanced Datasets 1 1 18 Jun 2021 official (archive's flag): 1 ran · 1 ran (of which 0 constructed an object rather than computing a result; 1 with no instrument failure: 0 honoured, 0 violated, 1 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified
Always Be Dreaming: A New Approach for Data-Free Class-Incremental Learning 2 1 17 Jun 2021 official (archive's flag): 5 ran · 5 ran (of which 2 constructed an object rather than computing a result; 3 with no instrument failure: 0 honoured, 0 violated, 3 with no contract checked; 2 where Syntology's instrument failed) · 5 unverified
LaplaceNet: A Hybrid Graph-Energy Neural Network for Deep Semi-Supervised Classification 1 1 8 Jun 2021 not harvested
Mean-Shifted Contrastive Loss for Anomaly Detection 2 2 7 Jun 2021 not harvested
Shifting Transformation Learning for Out-of-Distribution Detection 0 2 7 Jun 2021 not harvested
Model Zoo: A Growing "Brain" That Learns Continually 2 1 6 Jun 2021 official (archive's flag): 2 ran · 2 ran (of which 0 constructed an object rather than computing a result; 2 with no instrument failure: 0 honoured, 0 violated, 2 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified
When Vision Transformers Outperform ResNets without Pre-training or Strong Data Augmentations 2 5 3 Jun 2021 not harvested
Clustering-friendly Representation Learning via Instance Discrimination and Feature Decorrelation 1 1 31 May 2021 not harvested
Effect of Pre-Training Scale on Intra- and Inter-Domain Full and Few-Shot Transfer Learning for Natural and Medical X-Ray Chest Images 1 1 31 May 2021 not harvested
Not All Images are Worth 16x16 Words: Dynamic Transformers for Efficient Image Recognition 2 1 31 May 2021 official (archive's flag): 2 ran · 2 ran (of which 0 constructed an object rather than computing a result; 0 with no instrument failure: 0 honoured, 0 violated, 0 with no contract checked; 2 where Syntology's instrument failed) · 1 unverified (3 pointer-only for licence)
Nested Hierarchical Transformer: Towards Accurate, Data-Efficient and Interpretable Visual Understanding 6 1 26 May 2021 official (archive's flag): 9 ran · 19 ran (of which 0 constructed an object rather than computing a result; 18 with no instrument failure: 1 honoured, 1 violated, 16 with no contract checked; 1 where Syntology's instrument failed) · 7 unverified (6 pointer-only for licence)
An Effective Baseline for Robustness to Distributional Shift 1 1 15 May 2021 not harvested
ResMLP: Feedforward networks for image classification with data-efficient training 19 2 7 May 2021 community repositories only · 5 ran (of which 0 constructed an object rather than computing a result; 5 with no instrument failure: 1 honoured, 1 violated, 3 with no contract checked; 0 where Syntology's instrument failed) · 2 unverified
Representation Learning for Clustering via Building Consensus 1 1 4 May 2021 official (archive's flag): 7 ran · 7 ran (of which 0 constructed an object rather than computing a result; 6 with no instrument failure: 0 honoured, 0 violated, 6 with no contract checked; 1 where Syntology's instrument failed) · 0 unverified (1 pointer-only for licence)
With a Little Help from My Friends: Nearest-Neighbor Contrastive Learning of Visual Representations 4 1 29 Apr 2021 4 ran (of which 4 constructed an object rather than computing a result; 4 with no instrument failure: 0 honoured, 0 violated, 4 with no contract checked; 0 where Syntology's instrument failed) · 1 unverified; every one of the 4 samples that ran constructed an object rather than computing a result
ImageNet-21K Pretraining for the Masses 5 1 22 Apr 2021 official (archive's flag): 1 ran · 1 ran (of which 0 constructed an object rather than computing a result; 1 with no instrument failure: 0 honoured, 0 violated, 1 with no contract checked; 0 where Syntology's instrument failed) · 1 unverified (2 pointer-only for licence)
Distilling Knowledge via Knowledge Review 7 2 19 Apr 2021 official: harvested, nothing ran · 6 ran (of which 2 constructed an object rather than computing a result; 5 with no instrument failure: 0 honoured, 0 violated, 5 with no contract checked; 1 where Syntology's instrument failed) · 2 unverified (5 pointer-only for licence)
"BNN - BN = ?": Training Binary Neural Networks without Batch Normalization 1 1 16 Apr 2021 official (archive's flag): 6 ran · 6 ran (of which 0 constructed an object rather than computing a result; 4 with no instrument failure: 1 honoured, 0 violated, 3 with no contract checked; 2 where Syntology's instrument failed) · 5 unverified (3 pointer-only for licence)
Augmenting Deep Classifiers with Polynomial Neural Networks 2 1 16 Apr 2021 official (archive's flag): 4 ran · 4 ran (of which 0 constructed an object rather than computing a result; 0 with no instrument failure: 0 honoured, 0 violated, 0 with no contract checked; 4 where Syntology's instrument failed) · 2 unverified (6 pointer-only for licence)
All Labels Are Not Created Equal: Enhancing Semi-supervision via Label Grouping and Co-training 1 1 12 Apr 2021 not harvested
Escaping the Big Data Paradigm with Compact Transformers 9 2 12 Apr 2021 community repositories only · 3 ran (of which 0 constructed an object rather than computing a result; 1 with no instrument failure: 1 honoured, 0 violated, 0 with no contract checked; 2 where Syntology's instrument failed) · 3 unverified (1 pointer-only for licence)
Distributional Robustness Loss for Long-tail Learning 0 2 7 Apr 2021 not harvested
Few-Shot Incremental Learning with Continually Evolved Classifiers 1 1 7 Apr 2021 6 ran (of which 0 constructed an object rather than computing a result; 3 with no instrument failure: 0 honoured, 0 violated, 3 with no contract checked; 3 where Syntology's instrument failed) · 4 unverified (1 pointer-only for licence)
Regularizing Generative Adversarial Networks under Limited Data 1 2 7 Apr 2021 official (archive's flag): 3 ran · 8 ran (of which 0 constructed an object rather than computing a result; 5 with no instrument failure: 0 honoured, 0 violated, 5 with no contract checked; 3 where Syntology's instrument failed) · 1 unverified (3 pointer-only for licence)
EfficientNetV2: Smaller Models and Faster Training 26 3 1 Apr 2021 official (archive's flag): 1 ran · 55 ran (of which 14 constructed an object rather than computing a result; 46 with no instrument failure: 11 honoured, 0 violated, 35 with no contract checked; 9 where Syntology's instrument failed) · 24 unverified (13 pointer-only for licence)
Improving Calibration for Long-Tailed Recognition 5 2 1 Apr 2021 official (archive's flag): 5 ran · 5 ran (of which 0 constructed an object rather than computing a result; 1 with no instrument failure: 0 honoured, 0 violated, 1 with no contract checked; 4 where Syntology's instrument failed) · 4 unverified (1 pointer-only for licence)
DER: Dynamically Expandable Representation for Class Incremental Learning 2 4 31 Mar 2021 official (archive's flag): 6 ran · 6 ran (of which 0 constructed an object rather than computing a result; 2 with no instrument failure: 0 honoured, 0 violated, 2 with no contract checked; 4 where Syntology's instrument failed) · 5 unverified
Going deeper with Image Transformers 21 1 31 Mar 2021 official: no sample here; runs from other or unrecorded repositories · 9 ran (of which 0 constructed an object rather than computing a result; 6 with no instrument failure: 0 honoured, 2 violated, 4 with no contract checked; 3 where Syntology's instrument failed) · 2 unverified (2 pointer-only for licence)
SimPLE: Similar Pseudo Label Exploitation for Semi-Supervised Classification 1 1 30 Mar 2021 official (archive's flag): 3 ran · 3 ran (of which 1 constructed an object rather than computing a result; 2 with no instrument failure: 1 honoured, 0 violated, 1 with no contract checked; 1 where Syntology's instrument failed) · 2 unverified
CvT: Introducing Convolutions to Vision Transformers 16 1 29 Mar 2021 official (archive's flag): 10 ran · 39 ran (of which 19 constructed an object rather than computing a result; 36 with no instrument failure: 2 honoured, 0 violated, 34 with no contract checked; 3 where Syntology's instrument failed) · 8 unverified (8 pointer-only for licence)
Zero-shot Adversarial Quantization 0 1 29 Mar 2021 not harvested
Contrastive Learning based Hybrid Networks for Long-Tailed Image Classification 0 2 26 Mar 2021 not harvested
AutoMix: Unveiling the Power of Mixup for Stronger Classifiers 3 2 24 Mar 2021 community repositories only · 4 ran (of which 0 constructed an object rather than computing a result; 2 with no instrument failure: 0 honoured, 0 violated, 2 with no contract checked; 2 where Syntology's instrument failed) · 2 unverified (3 pointer-only for licence)