Dekker1/on-restart-benchmarks
Archived
1
0
Fork 0
Code
This repository has been archived on 2025-03-06. You can view files and clone it, but cannot push or open issues or pull requests.
on-restart-benchmarks/output/gecode/gbac/replay/reduced_UD4-gbac.5.sol
Jip J. Dekker ac89bcb3da
Add solver output
2021-06-23 13:46:35 +10:00

275 lines
11 KiB
Solidity
Raw Permalink Blame History

% init_area = 5256656;
% Read 68573 lines of neighbourhoods!
objective = 15791;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 2, 1, 1, 2, 2, 2, 2];
% time elapsed: 0.21 s
----------
objective = 15360;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 2, 1, 1, 2, 2, 3, 2];
% time elapsed: 0.22 s
----------
objective = 14567;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 2, 3, 2];
% time elapsed: 0.22 s
----------
objective = 14423;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 3, 2, 1, 1, 2, 2, 3, 2];
% time elapsed: 0.22 s
----------
objective = 13919;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 2, 3, 2, 1, 1, 2, 2, 3, 2];
% time elapsed: 0.22 s
----------
objective = 13487;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 4, 3, 2, 1, 1, 2, 2, 3, 2];
% time elapsed: 0.22 s
----------
objective = 13486;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 4, 3, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.22 s
----------
objective = 13200;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 3, 4, 2, 1, 1, 2, 2, 5, 2];
% time elapsed: 0.22 s
----------
objective = 13199;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 3, 6, 2, 1, 1, 2, 2, 5, 2];
% time elapsed: 0.22 s
----------
objective = 13198;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 4, 6, 2, 1, 1, 2, 2, 5, 2];
% time elapsed: 0.22 s
----------
objective = 12839;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 4, 6, 2, 1, 1, 2, 3, 5, 2];
% time elapsed: 0.22 s
----------
objective = 12838;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 4, 6, 2, 1, 1, 2, 4, 5, 2];
% time elapsed: 0.22 s
----------
objective = 11901;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 2, 2, 4, 6, 2, 1, 1, 2, 4, 5, 2];
% time elapsed: 0.22 s
----------
objective = 11613;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 3, 2, 4, 6, 2, 1, 1, 2, 4, 5, 2];
% time elapsed: 0.23 s
----------
objective = 10750;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 2, 3, 2, 4, 6, 2, 1, 1, 2, 4, 5, 2];
% time elapsed: 0.23 s
----------
objective = 10533;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 2, 3, 2, 4, 6, 2, 1, 1, 2, 4, 5, 2];
% time elapsed: 0.23 s
----------
objective = 10318;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 3, 3, 2, 4, 6, 2, 1, 1, 2, 4, 5, 2];
% time elapsed: 0.23 s
----------
objective = 10105;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 3, 4, 2, 3, 4, 2, 1, 1, 2, 2, 5, 2];
% time elapsed: 0.23 s
----------
objective = 9746;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 3, 4, 2, 3, 4, 2, 1, 1, 2, 3, 5, 2];
% time elapsed: 0.24 s
----------
objective = 9385;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 3, 4, 2, 3, 4, 2, 1, 1, 2, 3, 5, 2];
% time elapsed: 0.24 s
----------
objective = 9384;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 3, 4, 2, 3, 6, 2, 1, 1, 2, 3, 5, 2];
% time elapsed: 0.24 s
----------
objective = 9383;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 4, 3, 3, 3, 5, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.24 s
----------
objective = 9382;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 4, 3, 5, 3, 5, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.24 s
----------
objective = 8661;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 4, 3, 5, 3, 5, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.25 s
----------
objective = 8230;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 3, 1, 2, 4, 3, 5, 3, 5, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.25 s
----------
objective = 7438;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 3, 2, 3, 1, 2, 4, 3, 5, 3, 5, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.26 s
----------
objective = 7293;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 3, 2, 3, 1, 2, 4, 3, 5, 3, 5, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.27 s
----------
objective = 7150;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 3, 2, 3, 1, 1, 4, 3, 5, 3, 5, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.27 s
----------
objective = 6791;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 3, 2, 3, 1, 1, 4, 3, 5, 3, 5, 2, 1, 1, 2, 3, 4, 2];
% time elapsed: 0.28 s
----------
objective = 6573;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 3, 2, 4, 1, 1, 4, 5, 5, 3, 5, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.28 s
----------
objective = 6501;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 4, 2, 4, 1, 1, 4, 5, 5, 3, 5, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.28 s
----------
objective = 6142;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 4, 2, 4, 1, 1, 4, 5, 5, 3, 5, 2, 1, 1, 2, 3, 4, 2];
% time elapsed: 0.28 s
----------
objective = 5925;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 4, 2, 4, 1, 3, 4, 5, 5, 3, 5, 2, 1, 1, 2, 3, 4, 2];
% time elapsed: 0.29 s
----------
objective = 5709;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 3, 4, 2, 4, 1, 3, 4, 5, 5, 3, 5, 2, 1, 1, 2, 3, 4, 2];
% time elapsed: 0.29 s
----------
objective = 5566;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 3, 4, 2, 1, 1, 3, 6, 5, 5, 3, 5, 2, 1, 1, 2, 3, 4, 2];
% time elapsed: 0.29 s
----------
objective = 5350;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 3, 4, 2];
% time elapsed: 0.29 s
----------
objective = 5135;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 3, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 3, 4, 2];
% time elapsed: 0.31 s
----------
objective = 5134;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 3, 4, 2];
% time elapsed: 0.31 s
----------
objective = 4703;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 2, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 3, 4, 2];
% time elapsed: 0.31 s
----------
objective = 4344;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 3, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 3, 4, 2];
% time elapsed: 0.31 s
----------
objective = 4199;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 3, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 4, 4, 2];
% time elapsed: 0.33 s
----------
objective = 4198;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 4, 4, 2];
% time elapsed: 0.33 s
----------
objective = 3766;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 2, 2, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 4, 4, 2];
% time elapsed: 0.35 s
----------
objective = 3477;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 2, 3, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 4, 4, 2];
% time elapsed: 0.37 s
----------
objective = 3189;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 2, 2, 3, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 4, 4, 2];
% time elapsed: 0.39 s
----------
objective = 2902;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 2, 3, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 4, 4, 2];
% time elapsed: 0.39 s
----------
objective = 2686;
period_of = [1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 3, 2, 2, 3, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 4, 4, 2];
% time elapsed: 0.39 s
----------
objective = 2614;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 1, 4, 3, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 4, 4, 2];
% time elapsed: 0.41 s
----------
objective = 2471;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 1, 4, 3, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 6, 4, 2];
% time elapsed: 0.41 s
----------
objective = 2327;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 4, 3, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 6, 4, 2];
% time elapsed: 0.41 s
----------
objective = 2255;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 4, 6, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 6, 4, 2];
% time elapsed: 0.41 s
----------
objective = 2039;
period_of = [1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 3, 2, 4, 6, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 6, 4, 2];
% time elapsed: 0.45 s
----------
objective = 1968;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 3, 4, 6, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 6, 4, 2];
% time elapsed: 0.45 s
----------
objective = 1752;
period_of = [1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 3, 3, 4, 6, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 6, 4, 2];
% time elapsed: 0.46 s
----------
objective = 1751;
period_of = [1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 1, 3, 4, 6, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 6, 4, 2];
% time elapsed: 0.48 s
----------
objective = 1608;
period_of = [1, 1, 1, 1, 2, 1, 2, 6, 1, 1, 1, 3, 4, 6, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 6, 4, 2];
% time elapsed: 0.48 s
----------
objective = 1537;
period_of = [1, 1, 1, 1, 2, 1, 2, 6, 1, 1, 2, 3, 4, 6, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 6, 4, 2];
% time elapsed: 0.49 s
----------
objective = 1392;
period_of = [1, 1, 1, 1, 2, 1, 2, 6, 1, 1, 4, 3, 4, 6, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 2, 1, 1, 2, 6, 4, 2];
% time elapsed: 0.49 s
----------
objective = 1391;
period_of = [1, 1, 1, 1, 2, 1, 2, 6, 1, 1, 4, 3, 4, 6, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 6, 1, 1, 2, 6, 4, 2];
% time elapsed: 0.52 s
----------
objective = 1248;
period_of = [1, 1, 1, 1, 2, 2, 2, 6, 1, 1, 4, 3, 4, 6, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 6, 1, 1, 2, 6, 4, 2];
% time elapsed: 0.53 s
----------
objective = 1175;
period_of = [1, 1, 1, 3, 2, 2, 2, 6, 1, 1, 4, 3, 4, 6, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 6, 1, 1, 2, 6, 4, 2];
% time elapsed: 0.55 s
----------
objective = 1174;
period_of = [1, 1, 1, 3, 2, 2, 4, 6, 1, 1, 4, 3, 4, 6, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 6, 1, 1, 2, 6, 4, 2];
% time elapsed: 0.57 s
----------
objective = 1030;
period_of = [1, 1, 2, 3, 2, 2, 4, 6, 1, 1, 4, 3, 4, 6, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 6, 1, 1, 2, 6, 4, 2];
% time elapsed: 0.64 s
----------
objective = 1029;
period_of = [1, 1, 2, 3, 4, 2, 4, 6, 1, 1, 4, 3, 4, 6, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 6, 1, 1, 2, 6, 4, 2];
% time elapsed: 0.65 s
----------
objective = 1028;
period_of = [1, 2, 2, 3, 4, 2, 4, 6, 1, 1, 4, 3, 4, 6, 5, 4, 2, 2, 3, 4, 2, 1, 1, 6, 6, 5, 5, 3, 5, 6, 1, 1, 2, 6, 4, 2];
% time elapsed: 0.65 s
----------
%%%mzn-stat: initTime=0.210848
%%%mzn-stat: solveTime=120
%%%mzn-stat: solutions=65
%%%mzn-stat: variables=677
%%%mzn-stat: propagators=579
%%%mzn-stat: propagations=738651323
%%%mzn-stat: nodes=5708016
%%%mzn-stat: failures=2811878
%%%mzn-stat: restarts=34991
%%%mzn-stat: peakDepth=34
%%%mzn-stat-end
%% copies: 2931197
View Git Blame Copy Permalink