naps issueshttps://git.trs.css.i.nagoya-u.ac.jp/Naps/naps/-/issues2022-05-09T00:22:52Zhttps://git.trs.css.i.nagoya-u.ac.jp/Naps/naps/-/issues/8OutOfMemoryException in glueminisat2022-05-09T00:22:52ZMasahiko SakaiOutOfMemoryException in glueminisatThe exception OutOfMemoryException occurred in glueminisat is unable to caught, which causes
```
terminate called after throwing an instance of 'GlueMiniSat::OutOfMemoryException'
Abort
```
and no further output such as best know...The exception OutOfMemoryException occurred in glueminisat is unable to caught, which causes
```
terminate called after throwing an instance of 'GlueMiniSat::OutOfMemoryException'
Abort
```
and no further output such as best known models.
To reproduce the situation, inovoke
```
limits -v 300m naps normalized-mps-v2-20-10-nw04.opb
```
where [normalized-mps-v2-20-10-nw04.opb](/uploads/7aa1fea3d24e8654819161eb33286366/normalized-mps-v2-20-10-nw04.opb).Hidetomo NabeshimaHidetomo Nabeshimahttps://git.trs.css.i.nagoya-u.ac.jp/Naps/naps/-/issues/9Wrong optimum found2023-06-15T09:23:13ZMasahiko SakaiWrong optimum foundIncreasing goal values for minimization for problem [normalized-aries-da_network_100_3__3_91__256.opb](/uploads/9b75019cb93474411afc068047e84e1a/normalized-aries-da_network_100_3__3_91__256.opb). The following problem has the optimum va...Increasing goal values for minimization for problem [normalized-aries-da_network_100_3__3_91__256.opb](/uploads/9b75019cb93474411afc068047e84e1a/normalized-aries-da_network_100_3__3_91__256.opb). The following problem has the optimum value 70998.
```
% limits -v 60000m gtimeout --signal=15 --kill-after=20 3600 /usr/local/bin/naps-1.02b2 /home/fs
6/sakai/proj/naps/experiments/naps-scip-PB16-OPT/benchmarks/PB16-used/PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__256.opb
c NaPS 1.02b2.
c Input file name: /home/fs6/sakai/proj/naps/experiments/naps-scip-PB16-OPT/benchmarks/PB16-used/PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_netw
ork_100_3__3_91__256.opb
o 415897
o 717873
s OPTIMUM FOUND
c _____________________________________________________________________________
c
c std/band forms : 304,98
c 2cl/3cl ITE-codings : 79528,299128
c BDD/srt/adr Max costs : 13053,135026499,0
c BDDraw/bin/mul/srt/adr: 400,0,0,2,0
c BDD nodes : 609858
c Es1/CC detections : 0,0
c SAT/UNSAT calls : 2,1
c restarts : 13
c conflicts : 4808 (12 /sec)
c decisions : 427502 (1081 /sec)
c propagations : 10058756 (25436 /sec)
c inspects : 0 (0 /sec)
c CPU time (solving tm) : 395.4 s (2.665 s)
c Time for Opt-base : 235.2 s
c _____________________________________________________________________________
v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x3
Omitted
```https://git.trs.css.i.nagoya-u.ac.jp/Naps/naps/-/issues/12-AI option without min: line2023-04-25T07:51:55ZMasahiko Sakai-AI option without min: lineNaPS should produce a warning if it is invoked with -AI option but without min: line, which defines projection variables.
It, however, just counts with assuming an empty set of projection variables.NaPS should produce a warning if it is invoked with -AI option but without min: line, which defines projection variables.
It, however, just counts with assuming an empty set of projection variables.