mzn-rewriting/roster · bytecode-benchmarks · Tangled

dekker.one / bytecode-benchmarks

This repository has no description

bytecode-benchmarks mzn-rewriting roster

21 files

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

chicroster_dataset_1.dzn

Add benchmarks + execution scripts for prototype benchmarks

chicroster_dataset_10.dzn

Add benchmarks + execution scripts for prototype benchmarks

chicroster_dataset_11.dzn

Add benchmarks + execution scripts for prototype benchmarks

chicroster_dataset_12.dzn

Add benchmarks + execution scripts for prototype benchmarks

chicroster_dataset_14.dzn

Add benchmarks + execution scripts for prototype benchmarks

chicroster_dataset_17.dzn

Add benchmarks + execution scripts for prototype benchmarks

chicroster_dataset_2.dzn

Add benchmarks + execution scripts for prototype benchmarks

chicroster_dataset_3.dzn

Add benchmarks + execution scripts for prototype benchmarks

chicroster_dataset_4.dzn

Add benchmarks + execution scripts for prototype benchmarks

chicroster_dataset_5.dzn

Add benchmarks + execution scripts for prototype benchmarks

chicroster_dataset_6.dzn

Add benchmarks + execution scripts for prototype benchmarks

chicroster_dataset_7.dzn

Add benchmarks + execution scripts for prototype benchmarks

chicroster_dataset_8.dzn

Add benchmarks + execution scripts for prototype benchmarks

chicroster_dataset_9.dzn

Add benchmarks + execution scripts for prototype benchmarks

chicroster_dataset_large_13.dzn

Add benchmarks + execution scripts for prototype benchmarks

chicroster_dataset_large_15.dzn

Add benchmarks + execution scripts for prototype benchmarks

chicroster_dataset_large_16.dzn

Add benchmarks + execution scripts for prototype benchmarks

chicroster_dataset_large_18.dzn

Add benchmarks + execution scripts for prototype benchmarks

chicroster_dataset_large_19.dzn

Add benchmarks + execution scripts for prototype benchmarks

chicroster_dataset_large_20.dzn

Add benchmarks + execution scripts for prototype benchmarks

roster_model.mzn

Add benchmarks + execution scripts for prototype benchmarks