prototype/tests/examples · bytecode-benchmarks · Tangled

dekker.one / bytecode-benchmarks

This repository has no description

bytecode-benchmarks prototype tests examples

141 files

Jip J. Dekker · Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype' · 5y ago

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

battleships_1.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

battleships_1.mzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

battleships_2.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

battleships_2.exp3

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

battleships_2.mzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

battleships_3.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

battleships_3.mzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

battleships_4.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

battleships_4.mzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

battleships_5.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

battleships_5.mzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

battleships_7.exp3

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

battleships_7.exp4

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

battleships_7.mzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

battleships_9.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

battleships_9.mzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

battleships.mzn.model

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

battleships10.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

battleships10.mzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

blocksworld_instance_1.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

blocksworld_instance_1.mzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

blocksworld_instance_2.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

blocksworld_instance_2.mzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

blocksworld.model

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

factory_planning_instance.exp8

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

factory_planning_instance.exp9

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

factory_planning_instance.mzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

jobshop2x2.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

latin_squares_fd.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

latin_squares_fd.exp3

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

latin_squares_fd.mzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

magicsq_5.exp11

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

magicsq_5.exp12

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

magicsq_5.exp13

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

magicsq.mzn.model

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

multidimknapsack_simple.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

multidimknapsack_simple.mzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

product_fd.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

product_lp.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

quasigroup_qg5.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

quasigroup_qg5.mzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

simple_sat.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

singHoist2.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

steiner-triples.exp10

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

steiner-triples.exp11

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

steiner-triples.exp12

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

steiner-triples.mzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

template_design.exp

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

template_design.mzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

tenpenki_1.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

tenpenki_2.exp6

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

tenpenki_3.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

tenpenki_4.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

tenpenki_5.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

tenpenki_6.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

tenpenki.mzn.model

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

timetabling.exp14

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

timetabling.exp15

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

timetabling.exp2

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

timetabling.mzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

warehouses.exp3

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

wolf_goat_cabbage.exp22

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

wolf_goat_cabbage.exp23

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

wolf_goat_cabbage.exp24

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

wolf_goat_cabbage.exp25

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

wolf_goat_cabbage.exp26

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

wolf_goat_cabbage.exp27

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

wolf_goat_cabbage.exp28

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

wolf_goat_cabbage.mzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'