Thu Feb 16 02:41:39 CET 2017 Linux seals-4 2.6.32-42-pve #1 SMP Fri Oct 9 10:50:32 CEST 2015 x86_64 GNU/Linux model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz MemTotal: 20447232 kB java version "1.8.0_101" Java(TM) SE Runtime Environment (build 1.8.0_101-b13) Java HotSpot(TM) 64-Bit Server VM (build 25.101-b13, mixed mode) Max. Heap Size (Estimated): 4.33G dc342dca26a5a6feff895b2a1829b04e7dfaa5ae Already up-to-date. Buildfile: /scratch/LazyLav/lazylav/build.xml bind: versionnumber: git.revision: [echo] ${repository.version} compileall: [echo] Erasing... bind: cleanjar: [echo] Erasing... [delete] Deleting: /scratch/LazyLav/lazylav/lib/lazylav/lazylav.jar [delete] Deleting: /scratch/LazyLav/lazylav/lib/lazylav/ll.jar bind: compile: [echo] Compiling... [javac] Compiling 21 source files to /scratch/LazyLav/lazylav/classes [javac] Note: Some input files use unchecked or unsafe operations. [javac] Note: Recompile with -Xlint:unchecked for details. versionnumber: git.revision: [echo] ${repository.version} jar: [echo] Jarchiving... [copy] Copying 1 file to /scratch/LazyLav/lazylav/lib/lazylav [jar] Building jar: /scratch/LazyLav/lazylav/lib/lazylav/lazylav.jar [copy] Copying 1 file to /scratch/LazyLav/lazylav/lib/lazylav [jar] Building jar: /scratch/LazyLav/lazylav/lib/lazylav/ll.jar BUILD SUCCESSFUL Total time: 2 seconds java -Dlog.level=INFO -cp lib/lazylav/ll.jar:lib/slf4j/logback-classic-1.1.9.jar:lib/slf4j/logback-core-1.1.9.jar:. fr.inria.exmo.lazylavender.engine.Monitor -DnbAgents=4 -DnbIterations=10000 -DnbRuns=10 -DreportPrecRec -DrevisionModality=refine -DexpandAlignments=protected -DnonRedundancy 2017-02-16 02:41:44,518 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8953488372093024; incoherence = 0.3333333333333333 2017-02-16 02:41:44,734 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 02:41:45,344 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 34; Precision = 0.20588235294117646; Recall = 0.26744186046511625; incoherence = 0.0 2017-02-16 02:41:45,673 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 29; Precision = 0.20689655172413793; Recall = 0.36046511627906974; incoherence = 0.0 2017-02-16 02:45:41,128 INFO main f.i.e.l.env.NOOEnvironment Final Size = 107; Precision = 0.5046728971962616; Recall = 0.8604651162790697; incoherence = 0.29122807017543856 2017-02-16 02:45:41,224 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8837209302325582; incoherence = 0.3333333333333333 2017-02-16 02:45:41,313 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 02:45:41,712 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 29; Precision = 0.20689655172413793; Recall = 0.2441860465116279; incoherence = 0.0 2017-02-16 02:45:41,855 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 28; Precision = 0.21428571428571427; Recall = 0.3372093023255814; incoherence = 0.0 2017-02-16 02:49:37,985 INFO main f.i.e.l.env.NOOEnvironment Final Size = 107; Precision = 0.5046728971962616; Recall = 0.7906976744186046; incoherence = 0.2833820662768031 2017-02-16 02:49:38,073 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9069767441860465; incoherence = 0.3796296296296296 2017-02-16 02:49:38,146 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 02:49:38,473 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 28; Precision = 0.2857142857142857; Recall = 0.2558139534883721; incoherence = 0.0 2017-02-16 02:49:38,609 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 29; Precision = 0.20689655172413793; Recall = 0.313953488372093; incoherence = 0.0 2017-02-16 02:53:35,927 INFO main f.i.e.l.env.NOOEnvironment Final Size = 111; Precision = 0.44144144144144143; Recall = 0.872093023255814; incoherence = 0.325438596491228 2017-02-16 02:53:36,004 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8488372093023255; incoherence = 0.32407407407407407 2017-02-16 02:53:36,083 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 02:53:36,413 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 28; Precision = 0.21428571428571427; Recall = 0.26744186046511625; incoherence = 0.0 2017-02-16 02:53:36,538 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 29; Precision = 0.20689655172413793; Recall = 0.38372093023255816; incoherence = 0.0 2017-02-16 02:57:32,760 INFO main f.i.e.l.env.NOOEnvironment Final Size = 109; Precision = 0.44036697247706424; Recall = 0.8488372093023255; incoherence = 0.3226608187134503 2017-02-16 02:57:32,837 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9418604651162791; incoherence = 0.3333333333333333 2017-02-16 02:57:33,012 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 02:57:33,183 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 29; Precision = 0.20689655172413793; Recall = 0.18604651162790697; incoherence = 0.0 2017-02-16 02:57:33,304 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 29; Precision = 0.20689655172413793; Recall = 0.20930232558139536; incoherence = 0.0 2017-02-16 03:01:31,622 INFO main f.i.e.l.env.NOOEnvironment Final Size = 110; Precision = 0.4909090909090909; Recall = 0.8488372093023255; incoherence = 0.28533138401559455 2017-02-16 03:01:31,698 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8372093023255814; incoherence = 0.3333333333333333 2017-02-16 03:01:31,770 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 03:01:32,019 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 27; Precision = 0.25925925925925924; Recall = 0.20930232558139536; incoherence = 0.0 2017-02-16 03:01:32,138 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 31; Precision = 0.1935483870967742; Recall = 0.2441860465116279; incoherence = 0.0 2017-02-16 03:05:27,760 INFO main f.i.e.l.env.NOOEnvironment Final Size = 110; Precision = 0.45454545454545453; Recall = 0.9186046511627907; incoherence = 0.3441520467836257 2017-02-16 03:05:27,835 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9651162790697675; incoherence = 0.3518518518518518 2017-02-16 03:05:27,904 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 03:05:28,133 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 30; Precision = 0.23333333333333334; Recall = 0.32558139534883723; incoherence = 0.0 2017-02-16 03:05:28,246 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 27; Precision = 0.2222222222222222; Recall = 0.36046511627906974; incoherence = 0.0 2017-02-16 03:09:24,718 INFO main f.i.e.l.env.NOOEnvironment Final Size = 108; Precision = 0.4722222222222222; Recall = 0.872093023255814; incoherence = 0.30583402951824 2017-02-16 03:09:24,796 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.872093023255814; incoherence = 0.34259259259259256 2017-02-16 03:09:24,864 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 03:09:25,121 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 34; Precision = 0.20588235294117646; Recall = 0.23255813953488372; incoherence = 0.0 2017-02-16 03:09:25,236 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 27; Precision = 0.2222222222222222; Recall = 0.22093023255813954; incoherence = 0.0 2017-02-16 03:13:21,936 INFO main f.i.e.l.env.NOOEnvironment Final Size = 110; Precision = 0.44545454545454544; Recall = 0.8488372093023255; incoherence = 0.3618421052631579 2017-02-16 03:13:22,127 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9651162790697675; incoherence = 0.3796296296296296 2017-02-16 03:13:22,195 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 03:13:22,370 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 27; Precision = 0.25925925925925924; Recall = 0.27906976744186046; incoherence = 0.0 2017-02-16 03:13:22,845 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 27; Precision = 0.2222222222222222; Recall = 0.2558139534883721; incoherence = 0.0 2017-02-16 03:17:17,781 INFO main f.i.e.l.env.NOOEnvironment Final Size = 106; Precision = 0.5; Recall = 0.8023255813953488; incoherence = 0.27582846003898637 2017-02-16 03:17:17,859 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8604651162790697; incoherence = 0.35185185185185186 2017-02-16 03:17:17,929 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 03:17:18,195 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 29; Precision = 0.2413793103448276; Recall = 0.36046511627906974; incoherence = 0.0 2017-02-16 03:17:18,314 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 31; Precision = 0.1935483870967742; Recall = 0.37209302325581395; incoherence = 0.0 2017-02-16 03:21:14,236 INFO main f.i.e.l.env.NOOEnvironment Final Size = 106; Precision = 0.4716981132075472; Recall = 0.872093023255814; incoherence = 0.30341130604288497 Thu Feb 16 03:21:14 CET 2017