Mon Mar 5 18:02:19 CET 2018 Linux seals-4 4.4.67-1-pve #1 SMP PVE 4.4.67-92 (Fri, 23 Jun 2017 08:22:06 +0200) 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 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 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 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 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 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_151" Java(TM) SE Runtime Environment (build 1.8.0_151-b12) Java HotSpot(TM) 64-Bit Server VM (build 25.151-b12, mixed mode) Max. Heap Size (Estimated): 4.33G fa69a4569fb2ecd7d8f24759d1ce0cd71080811a Buildfile: /scratch/LazyLav/lazylav/build.xml compileall: [echo] Erasing... 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 19 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. git.revision: versionnumber: [echo] fa69a4569fb2ecd7d8f24759d1ce0cd71080811a 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: 4 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=1000 -DnbRuns=10 -DreportPrecRec -Drealistic -DrevisionModality=add -Dsyntactic=true -DloadDir=expeRun -DloadEnv -DloadAgents -DreplayGames -DsaveDir=addRes -DsaveFinal 2018-03-05 18:02:25,067 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 18:02:25,249 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.1956521739130435; Recall = 0.20930232558139536; incoherence = 0.3412698412698412 2018-03-05 18:02:27,366 INFO main f.i.e.l.env.NOOEnvironment Final Size = 48; Precision = 0.625; Recall = 0.3488372093023256; incoherence = 0.126473063973064 2018-03-05 18:02:27,681 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 18:02:27,781 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.13043478260869565; Recall = 0.13953488372093023; incoherence = 0.36507936507936506 2018-03-05 18:02:28,821 INFO main f.i.e.l.env.NOOEnvironment Final Size = 50; Precision = 0.42; Recall = 0.2441860465116279; incoherence = 0.1875 2018-03-05 18:02:29,058 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 18:02:29,268 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.21739130434782608; Recall = 0.23255813953488372; incoherence = 0.27777777777777773 2018-03-05 18:02:30,149 INFO main f.i.e.l.env.NOOEnvironment Final Size = 52; Precision = 0.5576923076923077; Recall = 0.3372093023255814; incoherence = 0.1412037037037037 2018-03-05 18:02:30,332 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 18:02:30,447 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.10869565217391304; Recall = 0.11627906976744186; incoherence = 0.2896825396825397 2018-03-05 18:02:31,407 INFO main f.i.e.l.env.NOOEnvironment Final Size = 33; Precision = 0.45454545454545453; Recall = 0.1744186046511628; incoherence = 0.1275132275132275 2018-03-05 18:02:31,547 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 18:02:31,619 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.17391304347826086; Recall = 0.18604651162790697; incoherence = 0.376984126984127 2018-03-05 18:02:32,387 INFO main f.i.e.l.env.NOOEnvironment Final Size = 56; Precision = 0.5178571428571429; Recall = 0.3372093023255814; incoherence = 0.23249158249158244 2018-03-05 18:02:32,531 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 18:02:32,592 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.13043478260869565; Recall = 0.13953488372093023; incoherence = 0.32275132275132273 2018-03-05 18:02:33,380 INFO main f.i.e.l.env.NOOEnvironment Final Size = 43; Precision = 0.5116279069767442; Recall = 0.2558139534883721; incoherence = 0.16805555555555554 2018-03-05 18:02:33,557 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 18:02:33,657 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.15217391304347827; Recall = 0.16279069767441862; incoherence = 0.3862433862433862 2018-03-05 18:02:34,593 INFO main f.i.e.l.env.NOOEnvironment Final Size = 47; Precision = 0.44680851063829785; Recall = 0.2441860465116279; incoherence = 0.1675925925925926 2018-03-05 18:02:34,695 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 18:02:34,767 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.13043478260869565; Recall = 0.13953488372093023; incoherence = 0.3412698412698412 2018-03-05 18:02:35,473 INFO main f.i.e.l.env.NOOEnvironment Final Size = 38; Precision = 0.5526315789473685; Recall = 0.2441860465116279; incoherence = 0.08564814814814814 2018-03-05 18:02:35,568 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 18:02:35,669 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.20652173913043478; Recall = 0.22093023255813954; incoherence = 0.3505291005291005 2018-03-05 18:02:36,688 INFO main f.i.e.l.env.NOOEnvironment Final Size = 55; Precision = 0.5272727272727272; Recall = 0.3372093023255814; incoherence = 0.18532948532948534 2018-03-05 18:02:36,839 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 18:02:36,963 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.18478260869565216; Recall = 0.19767441860465115; incoherence = 0.3650793650793651 2018-03-05 18:02:37,942 INFO main f.i.e.l.env.NOOEnvironment Final Size = 45; Precision = 0.4888888888888889; Recall = 0.2558139534883721; incoherence = 0.18162578162578166 Mon Mar 5 18:02:38 CET 2018