mzn-rewriting/nside · bytecode-benchmarks · Tangled

dekker.one / bytecode-benchmarks

This repository has no description

bytecode-benchmarks mzn-rewriting nside

12 files

Jip J. Dekker · Add benchmarks + execution scripts for prototype benchmarks · 5y ago

data_transform.mymzn

Add benchmarks + execution scripts for prototype benchmarks

EASY_200_50.dzn

Add benchmarks + execution scripts for prototype benchmarks

EASY_200_50.meta

Add benchmarks + execution scripts for prototype benchmarks

Add benchmarks + execution scripts for prototype benchmarks

HARD_200_50.dzn

Add benchmarks + execution scripts for prototype benchmarks

HARD_200_50.meta

Add benchmarks + execution scripts for prototype benchmarks

HARD_2000_500.dzn

Add benchmarks + execution scripts for prototype benchmarks

HARD_2000_500.meta

Add benchmarks + execution scripts for prototype benchmarks

MEDIUM_1000_100.dzn

Add benchmarks + execution scripts for prototype benchmarks

MEDIUM_1000_100.meta

Add benchmarks + execution scripts for prototype benchmarks

MEDIUM_200_50.dzn

Add benchmarks + execution scripts for prototype benchmarks

MEDIUM_200_50.meta

Add benchmarks + execution scripts for prototype benchmarks