tangled
alpha
login
or
join now
dekker.one
/
on-restart-benchmarks
this repo has no description
0
fork
atom
overview
issues
pulls
pipelines
on-restart-benchmarks
/
software
/
mza
/
tests
/
unit
/
evaluation
/
minizinc
/
general
/
at
develop
319 files
FAILURES.mzn_fd
IGNORED.mzn_fd
anon_var_flatten.cd_fd.exp
anon_var_flatten.err_exp.lp
anon_var_flatten.exp
anon_var_flatten.exp2
anon_var_flatten.exp3
anon_var_flatten.mer_fd.exp
anon_var_flatten.mer_fd.exp1
anon_var_flatten.mzn
array_string_gen.exp
array_string_gen.mzn
assert_bad_1.cd_fd.exp
assert_bad_1.err_exp
assert_bad_1.err_exp2
assert_bad_1.err_exp3
assert_bad_1.err_exp4
assert_bad_1.err_exp5
assert_bad_1.err_exp6
assert_bad_1.err_exp7
assert_bad_1.err_exp8
assert_bad_1.err_exp9
assert_bad_1.mer_fd.exp
assert_bad_1.mzn
assert_bad_2.cd_fd.exp
assert_bad_2.err_exp
assert_bad_2.exp
assert_bad_2.mer_fd.exp
assert_bad_2.mzn
assert_good.cd_fd.exp
assert_good.err_exp.lp
assert_good.exp
assert_good.mer_fd.exp
assert_good.mer_fd.exp1
assert_good.mzn
cpviz_anns.exp
cpviz_anns.mzn
iffall_bv.exp
iffall_bv.mzn
md_exists.exp
md_exists.mzn
md_exists.opt
md_forall.exp
md_forall.mzn
md_forall.opt
md_iffall.exp
md_iffall.exp2
md_iffall.mzn
md_iffall.opt
md_product_int.exp
md_product_int.exp2
md_product_int.mzn
md_product_int.opt
md_sum_float.exp
md_sum_float.mzn
md_sum_float.opt
md_sum_int.exp
md_sum_int.exp2
md_sum_int.mzn
md_sum_int.opt
md_xorall.exp
md_xorall.exp2
md_xorall.mzn
md_xorall.opt
mortgage.cbc64bit.exp
mortgage.cd_lp.exp
mortgage.cd_lp.exp2
mortgage.err_exp
mortgage.exp
mortgage.exp2
mortgage.exp3
mortgage.mer_fd.exp
mortgage.mer_lp.exp
mortgage.mer_lp.exp2
mortgage.mer_lp.exp3
mortgage.mzn
mzn-implicit1.exp
mzn-implicit1.mzn
mzn-implicit2.exp
mzn-implicit2.mzn
mzn-implicit3.exp
mzn-implicit3.mzn
mzn-implicit4.exp
mzn-implicit4.mzn
mzn-implicit5.exp
mzn-implicit5.mzn
mzn-implicit6.exp
mzn-implicit6.mzn
mzn-implicit7.exp
mzn-implicit7.mzn
mzn-implicit8.exp
mzn-implicit8.mzn
mzn_div.exp
mzn_div.mzn
mzn_mod.exp
mzn_mod.mzn
test-search1.cd_fd.exp
test-search1.err_exp.lp
test-search1.exp
test-search1.exp2
test-search1.mer_fd.exp
test-search1.mer_fd.exp1
test-search1.mzn
test_array1.exp
test_array1.mzn
test_array1and2d.exp
test_array1and2d.exp2
test_array1and2d.mzn
test_array1d_bad_1.err_exp
test_array1d_bad_1.exp
test_array1d_bad_1.mer_fd.exp
test_array1d_bad_1.mzn
test_array1d_bad_2.err_exp
test_array1d_bad_2.exp
test_array1d_bad_2.mer_fd.exp
test_array1d_bad_2.mzn
test_array1d_bad_3.err_exp
test_array1d_bad_3.exp
test_array1d_bad_3.mer_fd.exp
test_array1d_bad_3.mzn
test_array1d_bad_4.err_exp
test_array1d_bad_4.exp
test_array1d_bad_4.mer_fd.exp
test_array1d_bad_4.mzn
test_array1d_bad_4.ozn
test_array2.err_exp.lp
test_array2.exp
test_array2.mzn
test_array_as_generator.exp
test_array_as_generator.exp2
test_array_as_generator.mer_fd.exp
test_array_as_generator.mzn
test_bad_array_size-bad.err_exp
test_bad_array_size-bad.exp
test_bad_array_size-bad.mer_fd.exp
test_bad_array_size-bad.mzn
test_bad_lb_ub_dom-bad.cd_fd.exp
test_bad_lb_ub_dom-bad.err_exp
test_bad_lb_ub_dom-bad.exp
test_bad_lb_ub_dom-bad.mer_fd.exp
test_bad_lb_ub_dom-bad.mzn
test_bool_var_array_access.exp
test_bool_var_array_access.exp2
test_bool_var_array_access.mzn
test_concat1.exp
test_concat1.mzn
test_concat2.exp
test_concat2.mzn
test_concat3.exp
test_concat3.mzn
test_is_fixed.exp
test_is_fixed.mzn
test_join1.exp
test_join1.mzn
test_join2.exp
test_join2.mzn
test_join3.exp
test_join3.mzn
test_lb_ub_array_int.exp
test_lb_ub_array_int.mzn
test_lb_ub_dom.mer_fd.exp
test_lb_ub_dom.mer_fdlp.exp
test_lb_ub_dom.mer_fdlp.exp2
test_lb_ub_dom.mer_lp.exp
test_lb_ub_dom.mer_lp.exp2
test_lb_ub_dom_int.exp
test_lb_ub_dom_int.mzn
test_lb_ub_float.exp
test_lb_ub_float.mzn
test_let_complex.cd_fd.exp
test_let_complex.exp
test_let_complex.exp2
test_let_complex.mer_fd.exp
test_let_complex.mer_fd.exp1
test_let_complex.mer_lazy.exp
test_let_complex.mzn
test_let_par_array.cd_fd.exp
test_let_par_array.exp
test_let_par_array.mer_fd.exp
test_let_par_array.mer_fd.exp1
test_let_par_array.mzn
test_let_simple.exp
test_let_simple.exp2
test_let_simple.exp3
test_let_simple.mzn
test_let_var_array.exp
test_let_var_array.mzn
test_let_with_annotation.cd_fd.exp
test_let_with_annotation.exp
test_let_with_annotation.mer_fd.exp
test_let_with_annotation.mer_fd.exp2
test_let_with_annotation.mzn
test_min_var_array.cd_fd.exp
test_min_var_array.err_exp.lp
test_min_var_array.exp
test_min_var_array.exp2
test_min_var_array.mer_fd.exp
test_min_var_array.mer_fd.exp2
test_min_var_array.mer_fd.exp3
test_min_var_array.mzn
test_negated_let_bad.err_exp
test_negated_let_bad.err_exp2
test_negated_let_bad.err_exp3
test_negated_let_bad.err_exp4
test_negated_let_bad.err_exp5
test_negated_let_bad.err_exp6
test_negated_let_bad.err_exp7
test_negated_let_bad.mzn
test_negated_let_good.exp
test_negated_let_good.exp2
test_negated_let_good.mzn
test_negated_let_good_2.exp
test_negated_let_good_2.mzn
test_negated_let_good_2.opt
test_par_set_element.cd_fd.exp
test_par_set_element.err_exp.lp
test_par_set_element.exp
test_par_set_element.exp2
test_par_set_element.exp3
test_par_set_element.exp4
test_par_set_element.mer_fd.exp
test_par_set_element.mer_fd.exp1
test_par_set_element.mzn
test_par_set_id_array_index_sets.exp
test_par_set_id_array_index_sets.mer_fd.exp
test_par_set_id_array_index_sets.mer_fd.exp1
test_par_set_id_array_index_sets.mzn
test_queens.err_exp.lp
test_queens.exp
test_queens.exp.mzn_fd
test_queens.exp10
test_queens.exp11
test_queens.exp12
test_queens.exp2
test_queens.exp3
test_queens.exp4
test_queens.exp5
test_queens.exp6
test_queens.exp7
test_queens.exp8
test_queens.exp9
test_queens.mer_fd.exp
test_queens.mer_lazy.exp
test_queens.mer_lazy.exp2
test_queens.mzn
test_reified_element_constraint.err_exp.lp
test_reified_element_constraint.exp
test_reified_element_constraint.exp2
test_reified_element_constraint.exp3
test_reified_element_constraint.exp4
test_reified_element_constraint.exp5
test_reified_element_constraint.exp6
test_reified_element_constraint.mer_fd.exp
test_reified_element_constraint.mer_fd.exp1
test_reified_element_constraint.mer_fd.exp2
test_reified_element_constraint.mer_fd.exp3
test_reified_element_constraint.mzn
test_reified_let_bad.err_exp
test_reified_let_bad.err_exp2
test_reified_let_bad.err_exp3
test_reified_let_bad.err_exp4
test_reified_let_bad.err_exp5
test_reified_let_bad.err_exp6
test_reified_let_bad.err_exp7
test_reified_let_bad.mzn
test_reified_let_good.exp
test_reified_let_good.exp2
test_reified_let_good.mzn
test_string_array_var.cd_fd.exp
test_string_array_var.exp
test_string_array_var.mer_fd.exp
test_string_array_var.mer_fd.exp1
test_string_array_var.mzn
test_string_cmp.exp
test_string_cmp.exp2
test_string_cmp.mzn
test_string_var.exp
test_string_var.mer_fd.exp
test_string_var.mer_fd.exp1
test_string_var.mzn
test_string_with_quote.cd_fd.exp
test_string_with_quote.exp
test_string_with_quote.mer_fd.exp
test_string_with_quote.mer_fd.exp1
test_string_with_quote.mzn
test_var_array.cd_fd.exp
test_var_array.exp
test_var_array.mer_fd.exp
test_var_array.mer_fd.exp1
test_var_array.mzn
test_var_array_access.cd_fd.exp
test_var_array_access.err_exp.lp
test_var_array_access.exp
test_var_array_access.mer_fd.exp
test_var_array_access.mer_fd.exp2
test_var_array_access.mer_fd.exp3
test_var_array_access.mzn
test_var_prod.exp
test_var_prod.exp2
test_var_prod.exp3
test_var_prod.mzn
test_var_set_assignment.cd_fd.exp
test_var_set_assignment.err_exp.lp
test_var_set_assignment.exp
test_var_set_assignment.exp2
test_var_set_assignment.mer_fd.exp
test_var_set_assignment.mer_fd.exp1
test_var_set_assignment.mzn
test_var_set_element.cd_fd.exp
test_var_set_element.err_exp.lp
test_var_set_element.exp
test_var_set_element.exp2
test_var_set_element.exp3
test_var_set_element.mzn
wolfgoatetc.exp
wolfgoatetc.exp2
wolfgoatetc.mzn
xorall_bv.exp
xorall_bv.mzn
dekker.one