Sun Aug 26 08:50:11 UTC 2018 Linux 6c00c49d9265 4.4.0-128-generic #154-Ubuntu SMP Fri May 25 14:15:18 UTC 2018 x86_64 GNU/Linux model name : Intel(R) Core(TM) i7-5600U CPU @ 2.60GHz model name : Intel(R) Core(TM) i7-5600U CPU @ 2.60GHz MemTotal: 8046804 kB openjdk version "1.8.0_171" OpenJDK Runtime Environment (build 1.8.0_171-8u171-b11-1~deb9u1-b11) OpenJDK 64-Bit Server VM (build 25.171-b11, mixed mode) Max. Heap Size (Estimated): 1.71G Already up-to-date. 759ff097b96520c12aa84f3749927f9a22022e62 Buildfile: /lazylav/build.xml compileall: [echo] Erasing... cleanjar: [echo] Erasing... [delete] Deleting: /lazylav/lib/lazylav/lazylav.jar [delete] Deleting: /lazylav/lib/lazylav/ll.jar bind: compile: [echo] Compiling... [javac] Compiling 17 source files to /lazylav/classes [javac] Note: Some input files use unchecked or unsafe operations. [javac] Note: Recompile with -Xlint:unchecked for details. git.revision: versionnumber: [echo] 759ff097b96520c12aa84f3749927f9a22022e62 jar: [echo] Jarchiving... [copy] Copying 1 file to /lazylav/lib/lazylav [jar] Building jar: /lazylav/lib/lazylav/lazylav.jar [copy] Copying 1 file to /lazylav/lib/lazylav [jar] Building jar: /lazylav/lib/lazylav/ll.jar BUILD SUCCESSFUL Total time: 3 seconds java -Dlog.level=INFO -cp lib/lazylav/ll.jar:lib/slf4j/logback-classic-1.2.3.jar:lib/slf4j/logback-core-1.2.3.jar:. fr.inria.exmo.lazylavender.engine.Monitor -DnbAgents=4 -DnbIterations=2000 -DnbRuns=10 -DreportPrecRec -Drealistic -DrevisionModality=addjoin -Dsyntactic=true -DloadDir=expeRun -DloadEnv -DloadAgents -DreplayGames -DsaveDir=addjoinRes -DsaveFinal 2018-08-26 08:50:16,628 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-08-26 08:50:16,836 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.10869565217391304; Recall = 0.11627906976744186; incoherence = 0.37433862433862436 2018-08-26 08:50:18,288 INFO main f.i.e.l.env.NOOEnvironment Final Size = 41; Precision = 0.5121951219512195; Recall = 0.2441860465116279; incoherence = 0.15436507936507937 2018-08-26 08:50:18,554 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-08-26 08:50:18,646 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.13043478260869565; Recall = 0.13953488372093023; incoherence = 0.3439153439153439 2018-08-26 08:50:19,671 INFO main f.i.e.l.env.NOOEnvironment Final Size = 39; Precision = 0.4358974358974359; Recall = 0.19767441860465115; incoherence = 0.09704184704184704 2018-08-26 08:50:19,888 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-08-26 08:50:19,951 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.15217391304347827; Recall = 0.16279069767441862; incoherence = 0.3624338624338624 2018-08-26 08:50:20,890 INFO main f.i.e.l.env.NOOEnvironment Final Size = 51; Precision = 0.5490196078431373; Recall = 0.32558139534883723; incoherence = 0.1414141414141414 2018-08-26 08:50:21,064 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-08-26 08:50:21,138 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.11956521739130435; Recall = 0.12790697674418605; incoherence = 0.38359788359788355 2018-08-26 08:50:22,450 INFO main f.i.e.l.env.NOOEnvironment Final Size = 41; Precision = 0.4634146341463415; Recall = 0.22093023255813954; incoherence = 0.18037518037518038 2018-08-26 08:50:22,710 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-08-26 08:50:22,772 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.13043478260869565; Recall = 0.13953488372093023; incoherence = 0.37433862433862436 2018-08-26 08:50:24,006 INFO main f.i.e.l.env.NOOEnvironment Final Size = 43; Precision = 0.4418604651162791; Recall = 0.22093023255813954; incoherence = 0.11892736892736892 2018-08-26 08:50:24,332 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-08-26 08:50:24,435 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.20652173913043478; Recall = 0.22093023255813954; incoherence = 0.39814814814814814 2018-08-26 08:50:25,569 INFO main f.i.e.l.env.NOOEnvironment Final Size = 56; Precision = 0.5; Recall = 0.32558139534883723; incoherence = 0.20928932178932177 2018-08-26 08:50:25,866 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-08-26 08:50:25,938 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.08695652173913043; Recall = 0.09302325581395349; incoherence = 0.3253968253968254 2018-08-26 08:50:26,759 INFO main f.i.e.l.env.NOOEnvironment Final Size = 46; Precision = 0.5217391304347826; Recall = 0.27906976744186046; incoherence = 0.12453703703703704 2018-08-26 08:50:26,851 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-08-26 08:50:26,900 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.16304347826086957; Recall = 0.1744186046511628; incoherence = 0.3888888888888889 2018-08-26 08:50:27,731 INFO main f.i.e.l.env.NOOEnvironment Final Size = 47; Precision = 0.48936170212765956; Recall = 0.26744186046511625; incoherence = 0.16964285714285712 2018-08-26 08:50:27,827 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-08-26 08:50:27,892 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.20652173913043478; Recall = 0.22093023255813954; incoherence = 0.3253968253968254 2018-08-26 08:50:28,848 INFO main f.i.e.l.env.NOOEnvironment Final Size = 51; Precision = 0.49019607843137253; Recall = 0.29069767441860467; incoherence = 0.19398148148148145 2018-08-26 08:50:28,965 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-08-26 08:50:29,023 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.14130434782608695; Recall = 0.1511627906976744; incoherence = 0.3531746031746032 2018-08-26 08:50:29,779 INFO main f.i.e.l.env.NOOEnvironment Final Size = 42; Precision = 0.4523809523809524; Recall = 0.22093023255813954; incoherence = 0.17592592592592593 Sun Aug 26 08:50:29 UTC 2018