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.8.sol
Jip J. Dekker ac89bcb3da
Add solver output
2021-06-23 13:46:35 +10:00

279 lines
12 KiB
Solidity
Raw Permalink Blame History

% init_area = 5256656;
% Read 71248 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.22 s
----------
objective = 15286;
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, 2, 2];
% time elapsed: 0.22 s
----------
objective = 14351;
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, 2, 2, 1, 1, 2, 2, 2, 2];
% time elapsed: 0.22 s
----------
objective = 13414;
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, 3, 2, 2, 1, 1, 2, 2, 2, 2];
% time elapsed: 0.22 s
----------
objective = 13413;
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, 2, 2, 1, 1, 2, 2, 2, 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.23 s
----------
objective = 12263;
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, 3, 4, 2, 1, 1, 2, 2, 5, 2];
% time elapsed: 0.23 s
----------
objective = 12262;
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, 3, 5, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.23 s
----------
objective = 11975;
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, 2, 2, 3, 5, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.23 s
----------
objective = 11758;
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, 2, 2, 3, 5, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.23 s
----------
objective = 11542;
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, 2, 3, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.23 s
----------
objective = 11399;
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, 3, 3, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.24 s
----------
objective = 11182;
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, 3, 3, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.24 s
----------
objective = 10967;
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, 3, 3, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.24 s
----------
objective = 10752;
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, 1, 2, 3, 5, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.24 s
----------
objective = 10751;
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, 1, 2, 4, 3, 2, 1, 1, 2, 2, 5, 2];
% time elapsed: 0.24 s
----------
objective = 10392;
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, 1, 2, 4, 3, 2, 1, 1, 2, 3, 5, 2];
% time elapsed: 0.24 s
----------
objective = 10391;
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, 1, 2, 4, 3, 2, 1, 1, 2, 3, 5, 2];
% time elapsed: 0.24 s
----------
objective = 10030;
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, 2, 2, 4, 3, 2, 1, 1, 2, 3, 5, 2];
% time elapsed: 0.24 s
----------
objective = 10029;
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, 2, 2, 4, 3, 2, 1, 1, 2, 4, 5, 2];
% time elapsed: 0.25 s
----------
objective = 9741;
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, 2, 4, 3, 2, 1, 1, 2, 4, 5, 2];
% time elapsed: 0.25 s
----------
objective = 9021;
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, 2, 4, 3, 2, 1, 1, 3, 4, 5, 2];
% time elapsed: 0.25 s
----------
objective = 8951;
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, 2, 4, 3, 4, 2, 1, 1, 2, 2, 5, 2];
% time elapsed: 0.26 s
----------
objective = 8950;
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, 2, 4, 3, 5, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.26 s
----------
objective = 8663;
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, 4, 3, 5, 2, 1, 1, 2, 2, 4, 2];
% time elapsed: 0.27 s
----------
objective = 8662;
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, 4, 4, 3, 2, 1, 1, 2, 2, 5, 2];
% time elapsed: 0.27 s
----------
objective = 8086;
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, 3, 3, 4, 4, 4, 3, 2, 1, 1, 2, 2, 5, 2];
% time elapsed: 0.27 s
----------
objective = 7942;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 2, 1, 3, 3, 4, 4, 4, 3, 2, 1, 1, 2, 2, 5, 2];
% time elapsed: 0.27 s
----------
objective = 7941;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 2, 1, 3, 3, 5, 4, 4, 3, 2, 1, 1, 2, 2, 5, 2];
% time elapsed: 0.27 s
----------
objective = 7940;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 2, 1, 3, 4, 5, 4, 4, 3, 2, 1, 1, 2, 2, 5, 2];
% time elapsed: 0.27 s
----------
objective = 7796;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 2, 1, 3, 4, 5, 5, 4, 3, 2, 1, 1, 2, 2, 5, 2];
% time elapsed: 0.27 s
----------
objective = 7653;
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, 3, 4, 5, 5, 4, 3, 2, 1, 1, 2, 2, 5, 2];
% time elapsed: 0.28 s
----------
objective = 7294;
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, 3, 4, 5, 5, 4, 3, 2, 1, 1, 2, 3, 5, 2];
% time elapsed: 0.29 s
----------
objective = 7150;
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, 6, 4, 5, 5, 4, 3, 2, 1, 1, 2, 3, 5, 2];
% time elapsed: 0.31 s
----------
objective = 6935;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 2, 2, 3, 1, 6, 4, 5, 5, 4, 3, 2, 1, 1, 2, 3, 5, 2];
% time elapsed: 0.32 s
----------
objective = 6142;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 2, 2, 3, 1, 6, 4, 5, 5, 4, 3, 2, 1, 1, 2, 3, 5, 2];
% time elapsed: 0.32 s
----------
objective = 5997;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 1, 2, 3, 1, 6, 4, 5, 5, 4, 3, 2, 1, 1, 2, 3, 5, 2];
% time elapsed: 0.32 s
----------
objective = 5782;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 1, 2, 3, 1, 6, 4, 5, 5, 4, 3, 2, 1, 1, 4, 3, 5, 2];
% time elapsed: 0.32 s
----------
objective = 5567;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 2, 2, 3, 1, 6, 4, 5, 5, 4, 3, 2, 1, 1, 4, 3, 5, 2];
% time elapsed: 0.32 s
----------
objective = 5566;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 6, 2, 3, 1, 6, 4, 5, 5, 4, 3, 2, 1, 1, 4, 3, 5, 2];
% time elapsed: 0.32 s
----------
objective = 5421;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 6, 2, 3, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 3, 5, 2];
% time elapsed: 0.32 s
----------
objective = 5420;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 3, 5, 2];
% time elapsed: 0.33 s
----------
objective = 5419;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.34 s
----------
objective = 5060;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 3, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.34 s
----------
objective = 5059;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.34 s
----------
objective = 4916;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 3, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.34 s
----------
objective = 4556;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 2, 3, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.37 s
----------
objective = 4484;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 4, 3, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.38 s
----------
objective = 3837;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 2, 4, 3, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.43 s
----------
objective = 3694;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 6, 4, 3, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.44 s
----------
objective = 2974;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 2, 2, 6, 4, 3, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.52 s
----------
objective = 2254;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 2, 2, 2, 6, 4, 3, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.52 s
----------
objective = 2181;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 2, 1, 3, 6, 4, 3, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.52 s
----------
objective = 1965;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 2, 2, 3, 6, 4, 3, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.52 s
----------
objective = 1822;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 2, 3, 6, 4, 3, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.52 s
----------
objective = 1750;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 2, 4, 6, 4, 3, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.52 s
----------
objective = 1749;
period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 2, 4, 6, 4, 5, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.54 s
----------
objective = 1389;
period_of = [1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 3, 2, 2, 4, 6, 4, 5, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.58 s
----------
objective = 1246;
period_of = [1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 3, 2, 3, 4, 6, 4, 5, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.59 s
----------
objective = 1175;
period_of = [1, 1, 1, 1, 2, 2, 2, 2, 1, 1, 3, 2, 3, 4, 6, 4, 5, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.66 s
----------
objective = 1174;
period_of = [1, 1, 1, 2, 2, 2, 2, 2, 1, 1, 3, 2, 3, 4, 6, 4, 5, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.66 s
----------
objective = 1101;
period_of = [1, 1, 1, 2, 2, 1, 2, 2, 1, 1, 3, 2, 3, 4, 6, 4, 5, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.66 s
----------
objective = 1030;
period_of = [1, 1, 3, 2, 2, 1, 2, 2, 1, 1, 3, 2, 3, 4, 6, 4, 5, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.71 s
----------
objective = 1029;
period_of = [1, 1, 4, 2, 2, 1, 2, 2, 1, 1, 3, 2, 3, 4, 6, 4, 5, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 2];
% time elapsed: 0.71 s
----------
objective = 957;
period_of = [1, 1, 4, 2, 2, 1, 2, 2, 1, 1, 3, 2, 3, 4, 6, 4, 5, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 6];
% time elapsed: 0.73 s
----------
objective = 956;
period_of = [1, 1, 4, 2, 2, 1, 3, 2, 1, 1, 3, 2, 3, 4, 6, 4, 5, 5, 3, 6, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 4, 4, 5, 6];
% time elapsed: 0.75 s
----------
%%%mzn-stat: initTime=0.217076
%%%mzn-stat: solveTime=120
%%%mzn-stat: solutions=66
%%%mzn-stat: variables=677
%%%mzn-stat: propagators=579
%%%mzn-stat: propagations=812271442
%%%mzn-stat: nodes=5616588
%%%mzn-stat: failures=2771374
%%%mzn-stat: restarts=36392
%%%mzn-stat: peakDepth=34
%%%mzn-stat-end
%% copies: 2881675
View Git Blame Copy Permalink