[1] "processing folder  W:/offlineFiles/EASy-concepts/reasoner/measures/benchmark-results-jenkins-1_3_0-jdk1_8-20190308"
[1] "#tests;427"
[1] "reasoning time;0;13.3681833389093;480.428571428571"
[1] "translation time;0;5.60321177651388;210.714285714286"
[1] "evaluation time;0;4.99013047842088;212.857142857143"
[1] "constraints count;0;53.3629976580796;6000"
[1] "reevaluation count;0;494.383405821345;19466.5714285714"
[1] "#tests;447"
[1] "reasoning time;0;12.4123042505593;391.314285714286"
[1] "translation time;0;5.2651326302333;174.428571428571"
[1] "evaluation time;0;4.48766379034835;173.057142857143"
[1] "constraints count;0;51.3064876957494;6000"
[1] "reevaluation count;0;473.795877277085;19468.4"
[1] "processing folder  W:/offlineFiles/EASy-concepts/reasoner/measures/benchmark-results-new-1_3_0-ojdk1_8-20190308"
[1] "#tests;433"
[1] "reasoning time;0;14.6421972946222;502.142857142857"
[1] "translation time;0;6.29874628835368;230.142857142857"
[1] "evaluation time;0;4.78356977895084;208.285714285714"
[1] "constraints count;0;52.6235565819861;6000"
[1] "reevaluation count;0;603.30435499835;23696.5714285714"
[1] "#tests;450"
[1] "reasoning time;0;14.4322010582011;485.885714285714"
[1] "translation time;0;6.19645502645503;224.971428571429"
[1] "evaluation time;0;4.67887830687831;199.142857142857"
[1] "constraints count;0;50.9177777777778;6000"
[1] "reevaluation count;0;581.779746031746;23693.5714285714"
[1] "processing folder  W:/offlineFiles/EASy-concepts/reasoner/measures/benchmark-results-new-1_3_0-ojdk10-20190308"
[1] "#tests;433"
[1] "reasoning time;0;14.8512042230287;492.857142857143"
[1] "translation time;0;6.28686902012537;217.142857142857"
[1] "evaluation time;0;4.89211481359287;203.857142857143"
[1] "constraints count;0;52.6235565819861;6000"
[1] "reevaluation count;0;603.324645331574;23693.5714285714"
[1] "#tests;452"
[1] "reasoning time;0;14.2645701643489;481.371428571429"
[1] "translation time;0;6.1114412136536;222.028571428571"
[1] "evaluation time;0;4.64415297092288;199.542857142857"
[1] "constraints count;0;50.7256637168142;6000"
[1] "reevaluation count;0;579.44608091024;23693.5714285714"
[1] "processing folder  W:/offlineFiles/EASy-concepts/reasoner/measures/benchmark-results-old-1_1_0-jdk1_8-20190308"
[1] "#tests;400"
[1] "reasoning time;0;16.8614285714286;670.857142857143"
[1] "translation time;0;0.78125;22.7142857142857"
[1] "evaluation time;0;11.2844642857143;562.285714285714"
[1] "constraints count;0;723.18125;24110"
[1] "reevaluation count;0;1092.48946428571;46469.1428571429"
[1] "#tests;423"
[1] "reasoning time;0;16.0985984464708;679.771428571429"
[1] "translation time;0;0.846420128335022;45.8857142857143"
[1] "evaluation time;0;10.7499493414387;563.714285714286"
[1] "constraints count;0;685.332151300236;24110"
[1] "reevaluation count;0;1035.12715298886;46469.1428571429"
[1] "processing folder  W:/offlineFiles/EASy-concepts/reasoner/measures/benchmark-results-old-1_3_0-jdk1_8-20190308"
[1] "#tests;433"
[1] "reasoning time;0;11.6585285384362;390"
[1] "translation time;0;4.83404816892115;171.571428571429"
[1] "evaluation time;0;4.15357967667437;195.428571428571"
[1] "constraints count;0;52.6235565819861;6000"
[1] "reevaluation count;0;603.293632464533;23695.4285714286"
[1] "#tests;446"
[1] "reasoning time;0;11.32955370489;366.428571428571"
[1] "translation time;0;4.64997864616699;162.028571428571"
[1] "evaluation time;0;3.97361733931241;165.971428571429"
[1] "constraints count;0;51.3139013452915;6000"
[1] "reevaluation count;0;586.722293401666;23695.4285714286"
[1] "processing folder  W:/offlineFiles/EASy-concepts/reasoner/measures/benchmark-results-pi-1_1_0-jdk1_8-20190308"
[1] "#tests;400"
[1] "reasoning time;0;548.705714285714;28613.7142857143"
[1] "translation time;0;10.8860714285714;217.571428571429"
[1] "evaluation time;0;458.746785714286;26559"
[1] "constraints count;0;723.18125;24110"
[1] "reevaluation count;0;1092.57839285714;46477.7142857143"
[1] "#tests;417"
[1] "reasoning time;0.0285714285714286;526.194826995546;28313.8857142857"
[1] "translation time;0;10.6558752997602;247.114285714286"
[1] "evaluation time;0;439.059883521754;26285.2"
[1] "constraints count;0;694.81654676259;24110"
[1] "reevaluation count;0;1049.49061322371;46483.8"
[1] "processing folder  W:/offlineFiles/EASy-concepts/reasoner/measures/benchmark-results-pi-1_3_0-jdk1_8-20190308"
[1] "#tests;433"
[1] "reasoning time;0;181.128010557572;6065.57142857143"
[1] "translation time;0;74.8409765753877;2718.71428571429"
[1] "evaluation time;0;56.2167601451666;2513.85714285714"
[1] "constraints count;0;52.6235565819861;6000"
[1] "reevaluation count;0;603.296106895414;23706.4285714286"
[1] "#tests;450"
[1] "reasoning time;0.0285714285714286;175.39073015873;6069.42857142857"
[1] "translation time;0;72.600253968254;2752.11428571429"
[1] "evaluation time;0;54.069873015873;2474.71428571429"
[1] "constraints count;0;50.9155555555556;6000"
[1] "reevaluation count;0;581.902253968254;23706.4285714286"
