Search results

Adapters : Common Abstract Superclass

🎓 student programmerWork, workWork, work

🔌 adapterNew or changes to existing BDD packageNew or changes to existing BDD package

Status: Open.

#155 In ssoelvsten/bdd-benchmark;

· ssoelvsten opened on Feb 9, 2026

McNet : Bidirectional Search

help wantedExtra attention is neededExtra attention is needed

⏰ benchmarkNew or changes to existing benchmarkNew or changes to existing benchmark

🎓 student projectInteresting (~ 5 ECTS) side projectsInteresting (~ 5 ECTS) side projects

Status: Open.

#154 In ssoelvsten/bdd-benchmark;

· ssoelvsten opened on Feb 9, 2026

·  

Model Checker [ _ ]

McNet : CTL Model Checking

help wantedExtra attention is neededExtra attention is needed

⏰ benchmarkNew or changes to existing benchmarkNew or changes to existing benchmark

🎓 student projectInteresting (~ 5 ECTS) side projectsInteresting (~ 5 ECTS) side projects

Status: Open.

#153 In ssoelvsten/bdd-benchmark;

· ssoelvsten opened on Jan 30, 2026

·  

Model Checker [ _ ]

Picotrav : int2float false negative

help wantedExtra attention is neededExtra attention is needed

⏰ benchmarkNew or changes to existing benchmarkNew or changes to existing benchmark

🔥 bugSomething isn't workingSomething isn't working

Status: Open.

#152 In ssoelvsten/bdd-benchmark;

· ssoelvsten opened on Nov 3, 2025

Log Distribution and Kernel Version

🖥️ grendelChanges for the Grendel ClusterChanges for the Grendel Cluster

Status: Open.

#149 In ssoelvsten/bdd-benchmark;

· ssoelvsten opened on Jan 13, 2025

Network Verification Benchmark

⏰ benchmarkNew or changes to existing benchmarkNew or changes to existing benchmark

🎓 student projectInteresting (~ 5 ECTS) side projectsInteresting (~ 5 ECTS) side projects

Status: Open.

#147 In ssoelvsten/bdd-benchmark;

· ssoelvsten opened on Nov 12, 2024

Where can I find the latest results of the benchmark?

questionFurther information is requestedFurther information is requested

🧑‍🔬 surveyAn up-to-date comparative study on performanceAn up-to-date comparative study on performance

Status: Open.

#145 In ssoelvsten/bdd-benchmark;

· sirandreww opened on Oct 21, 2024

McNet : Loop Unrolling with Pivot being the Initial State

⏰ benchmarkNew or changes to existing benchmarkNew or changes to existing benchmark

🎓 student programmerWork, workWork, work

Status: Open.

#144 In ssoelvsten/bdd-benchmark;

· ssoelvsten opened on Oct 17, 2024

·  

Model Checker [ _ ]

Sylvan : Crash in Lib-BDD reconstruction

🔌 adapterNew or changes to existing BDD packageNew or changes to existing BDD package

🔥 bugSomething isn't workingSomething isn't working

Status: Open.

#138 In ssoelvsten/bdd-benchmark;

· ssoelvsten opened on Sep 27, 2024

·  

Apply/RelProd [Pastva & Henzinger]

McNet : Saturation-like forward and backward

⏰ benchmarkNew or changes to existing benchmarkNew or changes to existing benchmark

🎓 student programmerWork, workWork, work

Status: Open.

#128 In ssoelvsten/bdd-benchmark;

· ssoelvsten opened on Jul 17, 2024

·  

Model Checker [ _ ]

CUDD, Sylvan : Add BDD Variants

🔌 adapterNew or changes to existing BDD packageNew or changes to existing BDD package

Status: Open.

#111 In ssoelvsten/bdd-benchmark;

· ssoelvsten opened on Apr 5, 2024

QBF Solver : ZDDs

⏰ benchmarkNew or changes to existing benchmarkNew or changes to existing benchmark

🔌 adapterNew or changes to existing BDD packageNew or changes to existing BDD package

Status: Open.

#78 In ssoelvsten/bdd-benchmark;

· ssoelvsten opened on Sep 15, 2023

·  

Quantified Boolean Formula (QBF) [Van de Pol]