dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / bug258.dzn
at develop 256 B view raw
1TInc = 5; 2TMax_hours = 8; 3 4% subjective setup 5NSubjective = 3; 6subj_minutes = [20, 20, 20]; 7 8% performance setup 9NRounds = 3; 10NTables = 2; 11 12% judging groups 13NGroups = 2; 14group_counts = [16, 16]; 15 16alpha_perf_minutes = 5; 17 18ct_minutes = 15; 19pct_minutes = 45;