[1] "processing folder  W:/offlineFiles/EASy-concepts/reasoner/measures/benchmark-results-jenkins-1_3_0-20190215"
[1] "#tests;427"
[1] "reasoning time;0;18.8758503401361;562.142857142857"
[1] "translation time;0;8.05720976915356;280.285714285714"
[1] "evaluation time;0;6.41889706702353;278.857142857143"
[1] "constraints count;0;53.3629976580796;6000"
[1] "reevaluation count;0;709.311140849783;23703.2857142857"
[1] "#tests;514"
[1] "reasoning time;0;46.4212293866963;559.142857142857"
[1] "translation time;0;19.5075597554197;280.285714285714"
[1] "evaluation time;0;15.6086946451732;277.285714285714"
[1] "constraints count;0;44.6050583657588;6000"
[1] "reevaluation count;0;1712.07329071706;23703.2857142857"
[1] "processing folder  W:/offlineFiles/EASy-concepts/reasoner/measures/benchmark-results-new-1_3_0-ojdk1_8-20190215"
[1] "#tests;433"
[1] "reasoning time;0;13.4028373474101;424"
[1] "translation time;0;5.78983833718245;205.857142857143"
[1] "evaluation time;0;4.33058396568789;170.285714285714"
[1] "constraints count;0;52.6235565819861;6000"
[1] "reevaluation count;0;603.311448366876;23696"
[1] "#tests;517"
[1] "reasoning time;0;28.8461545546652;443.771428571429"
[1] "translation time;0;12.4963894261767;200.542857142857"
[1] "evaluation time;0;8.96901538178134;176.2"
[1] "constraints count;0;44.2959381044487;6000"
[1] "reevaluation count;0;1236.59463940315;23696"
[1] "processing folder  W:/offlineFiles/EASy-concepts/reasoner/measures/benchmark-results-new-1_3_0-ojdk10-20190215"
[1] "#tests;433"
[1] "reasoning time;0;14.8669306059606;484.428571428571"
[1] "translation time;0;6.47476080501485;235.857142857143"
[1] "evaluation time;0;4.78389970306829;202.142857142857"
[1] "constraints count;0;52.6235565819861;6000"
[1] "reevaluation count;0;603.316397228637;23696.5714285714"
[1] "#tests;538"
[1] "reasoning time;0;34.9081209063551;479.314285714286"
[1] "translation time;0;15.116887944769;225.228571428571"
[1] "evaluation time;0;10.7190254912374;205.4"
[1] "constraints count;0;42.6078066914498;6000"
[1] "reevaluation count;0;1360.5263409453;23697"
[1] "processing folder  W:/offlineFiles/EASy-concepts/reasoner/measures/benchmark-results-new-eclipse-1_3_0-ojdk10-20190215"
[1] "#tests;433"
[1] "reasoning time;0;15.2083470801716;506.571428571429"
[1] "translation time;0;6.34147146156384;223.428571428571"
[1] "evaluation time;0;5.02062025734081;206.285714285714"
[1] "constraints count;0;52.6235565819861;6000"
[1] "reevaluation count;0;603.332233586275;23697.5714285714"
[1] "#tests;525"
[1] "reasoning time;0;32.8600453514739;485.628571428571"
[1] "translation time;0;14.1727074829932;210.228571428571"
[1] "evaluation time;0;10.1196371882086;208.628571428571"
[1] "constraints count;0;43.6914285714286;6000"
[1] "reevaluation count;0;1255.07419501134;23697.5714285714"
[1] "processing folder  W:/offlineFiles/EASy-concepts/reasoner/measures/benchmark-results-old-1_1_0-jdk1_8-20190215"
[1] "#tests;400"
[1] "reasoning time;0;16.40125;655.142857142857"
[1] "translation time;0;1.25892857142857;182.857142857143"
[1] "evaluation time;0;10.9328571428571;548"
[1] "constraints count;0;723.18125;24110"
[1] "reevaluation count;0;1092.48946428571;46469.1428571429"
[1] "#tests;477"
[1] "reasoning time;0;39.1217929519816;667.257142857143"
[1] "translation time;0;1.60014974543276;48.2285714285714"
[1] "evaluation time;0;26.4839572726365;561.628571428571"
[1] "constraints count;0;1714.75576519916;24110"
[1] "reevaluation count;0;2612.6485474693;46469.1428571429"
[1] "processing folder  W:/offlineFiles/EASy-concepts/reasoner/measures/benchmark-results-old-1_3_0-jdk1_8-20190215"
[1] "#tests;433"
[1] "reasoning time;0;11.7713625866051;399.142857142857"
[1] "translation time;0;4.74249422632794;171.285714285714"
[1] "evaluation time;0;4.11382382052128;188.285714285714"
[1] "constraints count;0;52.6235565819861;6000"
[1] "reevaluation count;0;603.293632464533;23695.4285714286"
[1] "#tests;542"
[1] "reasoning time;0;27.0017527675277;373.742857142857"
[1] "translation time;0;11.5333684765419;207.571428571429"
[1] "evaluation time;0;8.86414953435249;171.828571428571"
[1] "constraints count;0;42.2952029520295;6000"
[1] "reevaluation count;0;1393.59093305219;23695.4285714286"
[1] "processing folder  W:/offlineFiles/EASy-concepts/reasoner/measures/benchmark-results-old-eclipse-1_1_0-jdk1_8-20190215"
[1] "#tests;400"
[1] "reasoning time;0;16.6328571428571;663"
[1] "translation time;0;0.728392857142857;21.2857142857143"
[1] "evaluation time;0;11.4808928571429;561.714285714286"
[1] "constraints count;0;723.18125;24110"
[1] "reevaluation count;0;1092.57232142857;46470"
[1] "#tests;482"
[1] "reasoning time;0;43.6953764078245;755.571428571429"
[1] "translation time;0;1.8002618059672;16.5714285714286"
[1] "evaluation time;0;29.8965372456036;637.714285714286"
[1] "constraints count;0;1855.79356846473;24110"
[1] "reevaluation count;0;2839.77845287493;46470"
[1] "processing folder  W:/offlineFiles/EASy-concepts/reasoner/measures/benchmark-results-old-eclipse-1_3_0-jdk1_8-20190215"
[1] "#tests;433"
[1] "reasoning time;0;11.8201913559881;468.428571428571"
[1] "translation time;0;4.69993401517651;163"
[1] "evaluation time;0;4.32151105245793;272.571428571429"
[1] "constraints count;0;52.6235565819861;6000"
[1] "reevaluation count;0;603.267568459254;23701.1428571429"
[1] "#tests;538"
[1] "reasoning time;0;26.5948884758364;394.085714285714"
[1] "translation time;0;11.0238228004957;163.742857142857"
[1] "evaluation time;0;8.91158169587538;197.085714285714"
[1] "constraints count;0;42.631970260223;6000"
[1] "reevaluation count;0;1357.47769516729;23701.1428571429"
[1] "processing folder  W:/offlineFiles/EASy-concepts/reasoner/measures/benchmark-results-pi-1_1_0-jdk1_8-20190219"
[1] "#tests;400"
[1] "reasoning time;0;958.052678571429;28651.7142857143"
[1] "translation time;0;14.34125;252.428571428571"
[1] "evaluation time;0;831.131071428571;26645.4285714286"
[1] "constraints count;0;977.62375;24110"
[1] "reevaluation count;0;1679.00803571429;46487.8571428571"
[1] "#tests;478"
[1] "reasoning time;0.0285714285714286;2790.09086471409;28689.8571428571"
[1] "translation time;0;38.8088563458856;279.428571428571"
[1] "evaluation time;0;2433.89591552102;26623.8571428571"
[1] "constraints count;0;2659.4550209205;24110"
[1] "reevaluation count;0;4696.50678421996;46492.7142857143"
[1] "processing folder  W:/offlineFiles/EASy-concepts/reasoner/measures/benchmark-results-pi-1_3_0-jdk1_8-20190219"
[1] "#tests;433"
[1] "reasoning time;0;254.985015946332;6117.28571428571"
[1] "translation time;0;104.677691630925;2750.14285714286"
[1] "evaluation time;0;78.3698724293413;2594.85714285714"
[1] "constraints count;0;52.6235565819861;6000"
[1] "reevaluation count;0;815.268228307489;23708.2857142857"
[1] "#tests;544"
[1] "reasoning time;0.0571428571428571;671.583193277311;6285.85714285714"
[1] "translation time;0;276.622168242297;3041.85714285714"
[1] "evaluation time;0;199.457269782913;2626.71428571429"
[1] "constraints count;0;42.1764705882353;6000"
[1] "reevaluation count;0;2032.48671218487;23708.2857142857"
