Thu Feb 16 08:34:37 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 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=refadd -DexpandAlignments=protected -DnonRedundancy 2017-02-16 08:50:06,418 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8953488372093024; incoherence = 0.35185185185185186 2017-02-16 08:50:06,656 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 08:50:07,243 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 28; Precision = 0.2857142857142857; Recall = 0.313953488372093; incoherence = 0.0 2017-02-16 08:50:07,562 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 26; Precision = 0.23076923076923078; Recall = 0.3488372093023256; incoherence = 0.0 2017-02-16 08:54:06,640 INFO main f.i.e.l.env.NOOEnvironment Final Size = 114; Precision = 0.42105263157894735; Recall = 0.9534883720930233; incoherence = 0.3410192147034252 2017-02-16 08:54:06,742 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9418604651162791; incoherence = 0.35185185185185186 2017-02-16 08:54:06,828 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 08:54:07,134 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 28; Precision = 0.21428571428571427; Recall = 0.32558139534883723; incoherence = 0.0 2017-02-16 08:54:07,253 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 29; Precision = 0.20689655172413793; Recall = 0.3023255813953488; incoherence = 0.0 2017-02-16 08:58:09,203 INFO main f.i.e.l.env.NOOEnvironment Final Size = 116; Precision = 0.45689655172413796; Recall = 0.8604651162790697; incoherence = 0.30589880498347316 2017-02-16 08:58:09,280 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.872093023255814; incoherence = 0.3703703703703704 2017-02-16 08:58:09,350 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 08:58:09,656 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 31; Precision = 0.25806451612903225; Recall = 0.3372093023255814; incoherence = 0.0 2017-02-16 08:58:09,769 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 27; Precision = 0.2222222222222222; Recall = 0.36046511627906974; incoherence = 0.0 2017-02-16 09:02:07,624 INFO main f.i.e.l.env.NOOEnvironment Final Size = 117; Precision = 0.452991452991453; Recall = 0.9186046511627907; incoherence = 0.316955266955267 2017-02-16 09:02:07,704 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9186046511627907; incoherence = 0.3703703703703703 2017-02-16 09:02:07,775 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 09:02:08,007 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 28; Precision = 0.21428571428571427; Recall = 0.29069767441860467; incoherence = 0.0 2017-02-16 09:02:08,135 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 29; Precision = 0.20689655172413793; Recall = 0.3488372093023256; incoherence = 0.0 2017-02-16 09:06:09,452 INFO main f.i.e.l.env.NOOEnvironment Final Size = 118; Precision = 0.4322033898305085; Recall = 0.9651162790697675; incoherence = 0.32323232323232326 2017-02-16 09:06:09,525 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9651162790697675; incoherence = 0.38888888888888884 2017-02-16 09:06:09,592 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 09:06:10,131 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 30; Precision = 0.3333333333333333; Recall = 0.27906976744186046; incoherence = 0.0 2017-02-16 09:06:10,243 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 26; Precision = 0.23076923076923078; Recall = 0.313953488372093; incoherence = 0.0 2017-02-16 09:10:13,696 INFO main f.i.e.l.env.NOOEnvironment Final Size = 123; Precision = 0.4715447154471545; Recall = 0.8837209302325582; incoherence = 0.3493975799181748 2017-02-16 09:10:13,773 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9534883720930233; incoherence = 0.3611111111111111 2017-02-16 09:10:13,957 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 09:10:14,130 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 30; Precision = 0.2; Recall = 0.27906976744186046; incoherence = 0.0 2017-02-16 09:10:14,235 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 27; Precision = 0.2222222222222222; Recall = 0.3372093023255814; incoherence = 0.0 2017-02-16 09:14:13,276 INFO main f.i.e.l.env.NOOEnvironment Final Size = 117; Precision = 0.452991452991453; Recall = 0.9302325581395349; incoherence = 0.35441639892440807 2017-02-16 09:14:13,355 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8953488372093024; incoherence = 0.34259259259259256 2017-02-16 09:14:13,425 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 09:14:13,666 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 34; Precision = 0.20588235294117646; Recall = 0.2441860465116279; incoherence = 0.0 2017-02-16 09:14:13,781 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 27; Precision = 0.2222222222222222; Recall = 0.3023255813953488; incoherence = 0.0 2017-02-16 09:18:12,630 INFO main f.i.e.l.env.NOOEnvironment Final Size = 113; Precision = 0.4690265486725664; Recall = 0.9651162790697675; incoherence = 0.3301106301106301 2017-02-16 09:18:12,706 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9186046511627907; incoherence = 0.3703703703703704 2017-02-16 09:18:12,777 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 09:18:12,986 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 25; Precision = 0.24; Recall = 0.18604651162790697; incoherence = 0.0 2017-02-16 09:18:13,100 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 25; Precision = 0.24; Recall = 0.313953488372093; incoherence = 0.0 2017-02-16 09:22:13,451 INFO main f.i.e.l.env.NOOEnvironment Final Size = 120; Precision = 0.43333333333333335; Recall = 0.9534883720930233; incoherence = 0.3433231739867895 2017-02-16 09:22:13,525 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8837209302325582; incoherence = 0.35185185185185186 2017-02-16 09:22:13,593 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 09:22:13,767 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 26; Precision = 0.23076923076923078; Recall = 0.36046511627906974; incoherence = 0.0 2017-02-16 09:22:14,238 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 28; Precision = 0.21428571428571427; Recall = 0.38372093023255816; incoherence = 0.0 2017-02-16 09:26:14,864 INFO main f.i.e.l.env.NOOEnvironment Final Size = 117; Precision = 0.42735042735042733; Recall = 0.8837209302325582; incoherence = 0.36468253968253966 2017-02-16 09:26:14,942 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9302325581395349; incoherence = 0.3703703703703704 2017-02-16 09:26:15,010 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-02-16 09:26:15,229 INFO main f.i.e.l.env.NOOEnvironment LogMap Size = 29; Precision = 0.27586206896551724; Recall = 0.22093023255813954; incoherence = 0.0 2017-02-16 09:26:15,340 INFO main f.i.e.l.env.NOOEnvironment Alcomo Size = 26; Precision = 0.23076923076923078; Recall = 0.27906976744186046; incoherence = 0.0 2017-02-16 09:30:16,179 INFO main f.i.e.l.env.NOOEnvironment Final Size = 117; Precision = 0.4700854700854701; Recall = 0.8953488372093024; incoherence = 0.310834150593876 Thu Feb 16 09:30:16 CET 2017