Tool JPF 3a45016c72f2e7bd617f7984d07839c798528183
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-06 11:55:55 CET
Run set sv-comp19_prop-reachsafety_java.ReachSafety-Java
../sv-benchmarks/java/ status cpu (s) mem (MB) energy (J)
jayhorn-recursive/Ackermann01.yml false 1.5 63 11
jayhorn-recursive/Addition.yml true 1.5 60 14
jayhorn-recursive/InfiniteLoop.yml false 1.5 62 14
jayhorn-recursive/SatAckermann01.yml true 1.6 60 13
jayhorn-recursive/SatAckermann02.yml true 1.6 61 15
jayhorn-recursive/SatAckermann03.yml true 1.6 63 17
jayhorn-recursive/SatAddition01.yml timeout 910   1100 4000
jayhorn-recursive/SatEvenOdd01.yml timeout 910   1100 4100
jayhorn-recursive/SatFibonacci01.yml true 1.6 60 15
jayhorn-recursive/SatFibonacci02.yml true 1.6 59 14
jayhorn-recursive/SatFibonacci03.yml true 1.5 61 13
jayhorn-recursive/SatGcd.yml true 1.5 62 14
jayhorn-recursive/SatHanoi01.yml true 1.5 62 12
jayhorn-recursive/SatMccarthy91.yml timeout 910   1100 4100
jayhorn-recursive/SatMultCommutative01.yml true 1.6 60 13
jayhorn-recursive/SatPrimes01.yml true 1.6 59 14
jayhorn-recursive/UnsatAckermann01.yml timeout 910   1100 4000
jayhorn-recursive/UnsatAddition01.yml timeout 910   1100 3900
jayhorn-recursive/UnsatAddition02.yml timeout 910   1100 4100
jayhorn-recursive/UnsatEvenOdd01.yml false 1.6 61 14
jayhorn-recursive/UnsatFibonacci01.yml timeout 910   1100 3700
jayhorn-recursive/UnsatFibonacci02.yml timeout 910   1100 3800
jayhorn-recursive/UnsatMccarthy91.yml timeout 910   1100 4000
jbmc-regression/ArithmeticException1.yml false 1.6 62 15
jbmc-regression/ArithmeticException5.yml true 1.5 62 14
jbmc-regression/ArithmeticException6.yml false 1.6 60 14
jbmc-regression/ArrayIndexOutOfBoundsException1.yml false 1.6 61 14
jbmc-regression/ArrayIndexOutOfBoundsException2.yml false 1.6 60 15
jbmc-regression/ArrayIndexOutOfBoundsException3.yml false 1.5 60 15
jbmc-regression/BufferedReaderReadLine.yml false 1.6 63 15
jbmc-regression/CharSequenceBug.yml false 1.5 63 14
jbmc-regression/CharSequenceToString.yml unknown 1.6 77 14
jbmc-regression/ClassCastException1.yml false 1.5 63 16
jbmc-regression/ClassCastException2.yml true 1.7 62 13
jbmc-regression/ClassCastException3.yml false 1.5 63 16
jbmc-regression/Class_method1.yml true 1.6 60 14
jbmc-regression/Inheritance1.yml true 1.5 59 13
jbmc-regression/NegativeArraySizeException1.yml false 1.6 59 13
jbmc-regression/NegativeArraySizeException2.yml false 1.5 61 14
jbmc-regression/NullPointerException1.yml true 1.5 60 13
jbmc-regression/NullPointerException2.yml false 1.6 60 13
jbmc-regression/NullPointerException3.yml false 1.4 59 15
jbmc-regression/NullPointerException4.yml false 1.6 62 15
jbmc-regression/RegexMatches01.yml true 1.5 62 14
jbmc-regression/RegexMatches02.yml unknown 1.8 77 17
jbmc-regression/RegexSubstitution01.yml true 1.7 64 16
jbmc-regression/RegexSubstitution02.yml false 1.6 62 14
jbmc-regression/RegexSubstitution03.yml true 1.7 63 15
jbmc-regression/StaticCharMethods01.yml true 1.6 61 14
jbmc-regression/StaticCharMethods02.yml unknown 1.7 75 15
jbmc-regression/StaticCharMethods03.yml unknown 1.6 77 14
jbmc-regression/StaticCharMethods04.yml false 1.6 63 13
jbmc-regression/StaticCharMethods05.yml unknown 1.8 64 14
jbmc-regression/StaticCharMethods06.yml unknown 1.6 76 13
jbmc-regression/StringBuilderAppend01.yml true 1.7 63 15
jbmc-regression/StringBuilderAppend02.yml false 1.8 64 13
jbmc-regression/StringBuilderCapLen01.yml true 1.6 62 13
jbmc-regression/StringBuilderCapLen02.yml false 1.6 62 15
jbmc-regression/StringBuilderCapLen03.yml false 1.5 62 15
jbmc-regression/StringBuilderCapLen04.yml false 1.6 62 15
jbmc-regression/StringBuilderChars01.yml true 1.5 59 15
jbmc-regression/StringBuilderChars02.yml false 1.5 61 13
jbmc-regression/StringBuilderChars03.yml false 1.7 62 14
jbmc-regression/StringBuilderChars04.yml unknown 1.8 77 14
jbmc-regression/StringBuilderChars05.yml false 1.7 62 15
jbmc-regression/StringBuilderChars06.yml false 1.6 61 15
jbmc-regression/StringBuilderConstructors01.yml unknown 1.6 76 13
jbmc-regression/StringBuilderConstructors02.yml false 1.6 61 14
jbmc-regression/StringBuilderInsertDelete01.yml true 1.6 62 13
jbmc-regression/StringBuilderInsertDelete02.yml false 1.6 63 15
jbmc-regression/StringBuilderInsertDelete03.yml false 1.9 65 16
jbmc-regression/StringCompare01.yml true 1.6 59 15
jbmc-regression/StringCompare02.yml false 1.6 62 14
jbmc-regression/StringCompare03.yml unknown 1.6 75 13
jbmc-regression/StringCompare04.yml false 1.6 63 14
jbmc-regression/StringCompare05.yml false 1.6 60 15
jbmc-regression/StringConcatenation01.yml unknown 1.6 77 15
jbmc-regression/StringConcatenation02.yml false 1.5 62 13
jbmc-regression/StringConcatenation03.yml false 1.6 61 14
jbmc-regression/StringConcatenation04.yml false 1.5 61 13
jbmc-regression/StringConstructors01.yml true 1.6 60 14
jbmc-regression/StringConstructors02.yml unknown 1.6 78 16
jbmc-regression/StringConstructors03.yml unknown 1.7 74 14
jbmc-regression/StringConstructors04.yml false 1.5 61 13
jbmc-regression/StringConstructors05.yml false 1.6 65 13
jbmc-regression/StringContains01.yml unknown 1.6 77 14
jbmc-regression/StringContains02.yml false 1.6 62 16
jbmc-regression/StringIndexMethods01.yml true 1.6 62 15
jbmc-regression/StringIndexMethods02.yml false 1.6 60 14
jbmc-regression/StringIndexMethods03.yml false 1.5 62 14
jbmc-regression/StringIndexMethods04.yml false 1.5 60 13
jbmc-regression/StringIndexMethods05.yml false 1.6 62 15
jbmc-regression/StringMiscellaneous01.yml true 1.7 62 17
jbmc-regression/StringMiscellaneous02.yml false 1.5 63 13
jbmc-regression/StringMiscellaneous03.yml unknown 1.6 75 14
jbmc-regression/StringMiscellaneous04.yml true 1.6 62 14
jbmc-regression/StringStartEnd01.yml true 1.6 60 14
jbmc-regression/StringStartEnd02.yml false 1.5 61 14
jbmc-regression/StringStartEnd03.yml false 1.5 61 13
jbmc-regression/StringValueOf01.yml true 1.5 62 15
jbmc-regression/StringValueOf02.yml false 1.6 61 12
jbmc-regression/StringValueOf03.yml false 1.7 62 17
jbmc-regression/StringValueOf04.yml false 1.5 62 12
jbmc-regression/StringValueOf05.yml unknown 1.6 78 15
jbmc-regression/StringValueOf06.yml false 1.5 60 16
jbmc-regression/StringValueOf07.yml false 1.6 61 14
jbmc-regression/StringValueOf08.yml false 1.5 63 14
jbmc-regression/StringValueOf09.yml false 1.6 62 15
jbmc-regression/StringValueOf10.yml false 1.6 64 13
jbmc-regression/SubString01.yml true 1.5 61 14
jbmc-regression/SubString02.yml false 1.6 63 14
jbmc-regression/SubString03.yml false 1.5 62 16
jbmc-regression/TokenTest01.yml true 1.5 61 14
jbmc-regression/TokenTest02.yml unknown 1.7 78 14
jbmc-regression/Validate01.yml true 1.6 62 14
jbmc-regression/Validate02.yml false 1.7 61 13
jbmc-regression/aastore_aaload1.yml unknown 1.8 75 15
jbmc-regression/array1.yml unknown 1.6 75 13
jbmc-regression/array2.yml true 1.5 60 14
jbmc-regression/arraylength1.yml unknown 1.7 76 13
jbmc-regression/arrayread1.yml true 1.5 62 15
jbmc-regression/assert1.yml true 1.6 60 14
jbmc-regression/assert2.yml true 1.6 61 14
jbmc-regression/assert3.yml true 1.5 61 14
jbmc-regression/assert4.yml true 1.6 62 14
jbmc-regression/assert5.yml true 1.5 61 12
jbmc-regression/assert6.yml true 1.5 63 14
jbmc-regression/astore_aload1.yml true 1.7 62 15
jbmc-regression/athrow1.yml false 1.6 60 13
jbmc-regression/basic1.yml true 1.6 59 15
jbmc-regression/bitwise1.yml true 1.5 60 12
jbmc-regression/boolean1.yml true 1.5 59 14
jbmc-regression/boolean2.yml true 1.5 59 13
jbmc-regression/bug-test-gen-095.yml false 1.6 62 14
jbmc-regression/bug-test-gen-119-2.yml true 1.6 61 14
jbmc-regression/bug-test-gen-119.yml true 1.4 61 13
jbmc-regression/calc.yml unknown 1.7 77 14
jbmc-regression/cast1.yml true 1.5 60 13
jbmc-regression/catch1.yml true 1.5 60 14
jbmc-regression/char1.yml unknown 1.7 76 14
jbmc-regression/charArray.yml unknown 1.6 74 14
jbmc-regression/classtest1.yml true 1.5 61 14
jbmc-regression/const1.yml true 1.5 61 12
jbmc-regression/constructor1.yml true 1.6 67 14
jbmc-regression/enum1.yml true 1.5 62 13
jbmc-regression/exceptions1.yml false 1.6 60 14
jbmc-regression/exceptions10.yml false 1.5 62 13
jbmc-regression/exceptions11.yml false 1.5 63 15
jbmc-regression/exceptions12.yml false 1.5 62 14
jbmc-regression/exceptions13.yml false 1.6 62 14
jbmc-regression/exceptions14.yml true 1.5 60 14
jbmc-regression/exceptions15.yml true 1.5 61 14
jbmc-regression/exceptions16.yml false 1.5 60 14
jbmc-regression/exceptions18.yml true 1.5 62 14
jbmc-regression/exceptions2.yml false 1.6 59 15
jbmc-regression/exceptions3.yml false 1.7 61 15
jbmc-regression/exceptions4.yml true 1.5 60 15
jbmc-regression/exceptions5.yml true 1.6 62 14
jbmc-regression/exceptions6.yml false 1.5 62 16
jbmc-regression/exceptions7.yml false 1.6 61 13
jbmc-regression/exceptions8.yml false 1.6 61 13
jbmc-regression/exceptions9.yml true 1.6 62 15
jbmc-regression/fcmpx_dcmpx1.yml true 1.5 60 13
jbmc-regression/iarith1.yml true 1.6 62 14
jbmc-regression/iarith2.yml true 1.6 62 14
jbmc-regression/if_acmp1.yml true 1.6 58 15
jbmc-regression/if_expr1.yml true 1.5 61 13
jbmc-regression/if_icmp1.yml true 1.6 60 13
jbmc-regression/ifxx1.yml true 1.5 62 13
jbmc-regression/instanceof1.yml true 1.6 60 12
jbmc-regression/instanceof2.yml true 1.5 59 13
jbmc-regression/instanceof3.yml true 1.6 60 14
jbmc-regression/instanceof4.yml true 1.6 59 13
jbmc-regression/instanceof5.yml true 1.5 59 13
jbmc-regression/instanceof6.yml true 1.5 59 11
jbmc-regression/instanceof7.yml true 1.6 61 16
jbmc-regression/instanceof8.yml true 1.6 60 12
jbmc-regression/interface1.yml false 1.5 61 14
jbmc-regression/java_append_char.yml false 1.6 61 14
jbmc-regression/lazyloading4.yml true 1.5 60 11
jbmc-regression/list1.yml true 11   220 95
jbmc-regression/long1.yml true 1.5 61 14
jbmc-regression/lookupswitch1.yml true 1.5 62 12
jbmc-regression/multinewarray.yml true 1.6 59 13
jbmc-regression/overloading1.yml true 1.4 60 13
jbmc-regression/package1.yml true 1.6 61 16
jbmc-regression/putfield_getfield1.yml true 1.6 61 14
jbmc-regression/putstatic_getstatic1.yml true 1.5 62 13
jbmc-regression/recursion2.yml true 1.5 61 13
jbmc-regression/return1.yml false 1.5 60 14
jbmc-regression/return2.yml false 1.5 62 14
jbmc-regression/store_load1.yml true 1.6 59 14
jbmc-regression/swap1.yml true 1.5 62 15
jbmc-regression/synchronized.yml true 1.6 59 16
jbmc-regression/tableswitch1.yml true 1.5 62 15
jbmc-regression/uninitialised1.yml true 1.5 62 14
jbmc-regression/virtual1.yml true 1.5 61 14
jbmc-regression/virtual2.yml false 1.5 61 14
jbmc-regression/virtual4.yml true 1.5 59 14
jbmc-regression/virtual_function_unwinding.yml true 1.6 61 14
jpf-regression/ExDarko_false.yml false 1.5 61 15
jpf-regression/ExDarko_true.yml true 1.6 60 12
jpf-regression/ExException_false.yml false 1.6 60 16
jpf-regression/ExException_true.yml true 1.6 62 14
jpf-regression/ExGenSymExe_false.yml false 1.6 60 13
jpf-regression/ExGenSymExe_true.yml true 1.5 60 14
jpf-regression/ExLazy_false.yml false 1.6 61 15
jpf-regression/ExLazy_true.yml true 1.5 62 13
jpf-regression/ExMIT_false.yml true 1.6 61 13
jpf-regression/ExMIT_true.yml true 1.5 61 14
jpf-regression/ExSymExe10_false.yml false 1.5 63 16
jpf-regression/ExSymExe10_true.yml true 1.5 62 14
jpf-regression/ExSymExe11_false.yml false 1.5 63 14
jpf-regression/ExSymExe11_true.yml true 1.6 61 15
jpf-regression/ExSymExe12_false.yml false 1.6 61 13
jpf-regression/ExSymExe12_true.yml true 1.5 62 14
jpf-regression/ExSymExe13_false.yml false 1.6 62 14
jpf-regression/ExSymExe13_true.yml true 1.5 63 13
jpf-regression/ExSymExe14_false.yml false 1.6 63 14
jpf-regression/ExSymExe14_true.yml true 1.5 60 13
jpf-regression/ExSymExe15_false.yml false 1.6 63 13
jpf-regression/ExSymExe15_true.yml true 1.6 63 15
jpf-regression/ExSymExe16_false.yml false 1.5 60 13
jpf-regression/ExSymExe16_true.yml true 1.6 61 13
jpf-regression/ExSymExe17_false.yml false 1.5 62 13
jpf-regression/ExSymExe17_true.yml true 1.6 59 15
jpf-regression/ExSymExe18_false.yml false 1.5 63 16
jpf-regression/ExSymExe18_true.yml true 1.6 59 14
jpf-regression/ExSymExe19_false.yml false 1.6 62 13
jpf-regression/ExSymExe19_true.yml true 1.6 63 16
jpf-regression/ExSymExe1_false.yml false 1.5 63 15
jpf-regression/ExSymExe1_true.yml true 1.6 61 14
jpf-regression/ExSymExe20_false.yml false 1.7 63 13
jpf-regression/ExSymExe20_true.yml true 1.6 61 14
jpf-regression/ExSymExe21_false.yml false 1.6 61 14
jpf-regression/ExSymExe21_true.yml true 1.5 62 15
jpf-regression/ExSymExe25_false.yml false 1.5 61 14
jpf-regression/ExSymExe25_true.yml true 1.5 59 14
jpf-regression/ExSymExe26_false.yml false 1.5 62 14
jpf-regression/ExSymExe26_true.yml true 1.6 59 15
jpf-regression/ExSymExe27_false.yml false 1.6 60 16
jpf-regression/ExSymExe27_true.yml true 1.5 60 13
jpf-regression/ExSymExe28_false.yml false 1.5 61 14
jpf-regression/ExSymExe28_true.yml true 1.5 62 14
jpf-regression/ExSymExe29_false.yml false 1.5 61 13
jpf-regression/ExSymExe29_true.yml true 1.6 62 16
jpf-regression/ExSymExe2_false.yml false 1.7 61 16
jpf-regression/ExSymExe2_true.yml true 1.6 59 16
jpf-regression/ExSymExe3_false.yml false 1.5 63 14
jpf-regression/ExSymExe3_true.yml true 1.5 59 14
jpf-regression/ExSymExe4_false.yml false 1.7 60 15
jpf-regression/ExSymExe4_true.yml true 1.6 59 14
jpf-regression/ExSymExe5_false.yml false 1.6 60 14
jpf-regression/ExSymExe5_true.yml true 1.6 62 15
jpf-regression/ExSymExe6_false.yml false 1.5 63 15
jpf-regression/ExSymExe6_true.yml true 1.6 62 13
jpf-regression/ExSymExe7_false.yml true 1.5 63 12
jpf-regression/ExSymExe7_true.yml true 1.5 62 14
jpf-regression/ExSymExe8_false.yml false 1.6 61 15
jpf-regression/ExSymExe8_true.yml true 1.6 62 13
jpf-regression/ExSymExe9_false.yml false 1.5 61 12
jpf-regression/ExSymExe9_true.yml true 1.6 59 12
jpf-regression/ExSymExeArrays_false.yml false 1.5 59 13
jpf-regression/ExSymExeArrays_true.yml true 1.5 59 15
jpf-regression/ExSymExeBool_false.yml false 1.5 63 14
jpf-regression/ExSymExeBool_true.yml true 1.6 62 15
jpf-regression/ExSymExeComplexMath_false.yml false 1.7 59 15
jpf-regression/ExSymExeComplexMath_true.yml true 1.6 62 17
jpf-regression/ExSymExeD2I_false.yml false 1.5 60 15
jpf-regression/ExSymExeD2I_true.yml true 1.5 61 12
jpf-regression/ExSymExeD2L_false.yml false 1.5 60 13
jpf-regression/ExSymExeD2L_true.yml true 1.6 59 14
jpf-regression/ExSymExeF2I_false.yml false 1.5 62 13
jpf-regression/ExSymExeF2I_true.yml true 1.5 62 14
jpf-regression/ExSymExeF2L_false.yml false 1.6 60 14
jpf-regression/ExSymExeF2L_true.yml true 1.6 61 15
jpf-regression/ExSymExeFNEG_false.yml false 1.5 61 14
jpf-regression/ExSymExeFNEG_true.yml true 1.6 59 14
jpf-regression/ExSymExeGetStatic_false.yml false 1.6 62 14
jpf-regression/ExSymExeGetStatic_true.yml true 1.5 62 14
jpf-regression/ExSymExeI2D_false.yml false 1.5 71 15
jpf-regression/ExSymExeI2D_true.yml true 1.5 60 14
jpf-regression/ExSymExeI2F_false.yml false 1.5 62 14
jpf-regression/ExSymExeI2F_true.yml true 1.5 61 13
jpf-regression/ExSymExeLCMP_false.yml false 1.6 63 13
jpf-regression/ExSymExeLCMP_true.yml true 1.6 60 14
jpf-regression/ExSymExeLongBytecodes_false.yml false 1.7 63 14
jpf-regression/ExSymExeLongBytecodes_true.yml true 1.6 63 14
jpf-regression/ExSymExeResearch_false.yml false 1.6 63 13
jpf-regression/ExSymExeResearch_true.yml true 1.6 59 14
jpf-regression/ExSymExeSimple_false.yml false 1.6 61 13
jpf-regression/ExSymExeSimple_true.yml true 1.6 63 14
jpf-regression/ExSymExeSuzette_false.yml false 1.6 62 14
jpf-regression/ExSymExeSuzette_true.yml true 1.5 61 14
jpf-regression/ExSymExeSwitch_false.yml false 1.5 62 15
jpf-regression/ExSymExeSwitch_true.yml true 1.6 62 14
jpf-regression/ExSymExeTestAssignments_false.yml false 1.6 63 15
jpf-regression/ExSymExeTestAssignments_true.yml true 1.5 60 15
jpf-regression/ExSymExeTestClassFields_false.yml true 1.6 60 15
jpf-regression/ExSymExeTestClassFields_true.yml true 1.5 60 14
jpf-regression/ExSymExe_false.yml false 1.6 61 15
jpf-regression/ExSymExe_true.yml true 1.6 59 14
jpf-regression/TestLazy_false.yml false 1.6 61 15
jpf-regression/TestLazy_true.yml true 1.5 64 15
MinePump/spec1-5_product1.yml false 2.1 72 19
MinePump/spec1-5_product10.yml false 1.7 64 16
MinePump/spec1-5_product11.yml false 1.8 64 15
MinePump/spec1-5_product12.yml false 1.9 65 20
MinePump/spec1-5_product13.yml false 1.8 64 15
MinePump/spec1-5_product14.yml false 1.9 64 16
MinePump/spec1-5_product15.yml false 1.8 64 17
MinePump/spec1-5_product16.yml false 1.8 63 16
MinePump/spec1-5_product17.yml false 1.7 65 17
MinePump/spec1-5_product18.yml false 1.9 63 16
MinePump/spec1-5_product19.yml false 1.9 62 18
MinePump/spec1-5_product2.yml false 1.9 64 19
MinePump/spec1-5_product20.yml false 1.8 62 15
MinePump/spec1-5_product21.yml false 1.7 63 14
MinePump/spec1-5_product22.yml false 1.7 62 16
MinePump/spec1-5_product23.yml false 1.7 62 15
MinePump/spec1-5_product24.yml false 1.8 64 15
MinePump/spec1-5_product25.yml false 1.7 64 17
MinePump/spec1-5_product26.yml false 1.9 64 18
MinePump/spec1-5_product27.yml false 1.9 61 18
MinePump/spec1-5_product28.yml false 1.7 61 18
MinePump/spec1-5_product29.yml false 2.0 62 16
MinePump/spec1-5_product3.yml false 1.7 64 14
MinePump/spec1-5_product30.yml false 1.8 66 15
MinePump/spec1-5_product31.yml false 2.1 66 19
MinePump/spec1-5_product32.yml false 1.7 62 16
MinePump/spec1-5_product33.yml false 1.8 61 17
MinePump/spec1-5_product34.yml false 1.9 64 18
MinePump/spec1-5_product35.yml false 1.8 61 15
MinePump/spec1-5_product36.yml false 1.8 62 17
MinePump/spec1-5_product37.yml false 1.7 62 15
MinePump/spec1-5_product38.yml false 1.7 64 15
MinePump/spec1-5_product39.yml false 1.7 62 17
MinePump/spec1-5_product4.yml false 1.7 64 15
MinePump/spec1-5_product40.yml false 1.7 61 16
MinePump/spec1-5_product41.yml false 1.9 63 16
MinePump/spec1-5_product42.yml false 1.9 64 17
MinePump/spec1-5_product43.yml false 1.8 61 15
MinePump/spec1-5_product44.yml false 1.7 65 16
MinePump/spec1-5_product45.yml false 1.7 62 16
MinePump/spec1-5_product46.yml false 1.7 65 13
MinePump/spec1-5_product47.yml false 2.0 61 16
MinePump/spec1-5_product48.yml false 1.7 65 18
MinePump/spec1-5_product49.yml false 1.9 64 19
MinePump/spec1-5_product5.yml false 1.8 63 16
MinePump/spec1-5_product50.yml false 1.8 62 15
MinePump/spec1-5_product51.yml false 1.8 61 15
MinePump/spec1-5_product52.yml false 1.7 62 16
MinePump/spec1-5_product53.yml false 1.8 64 17
MinePump/spec1-5_product54.yml false 1.8 62 17
MinePump/spec1-5_product55.yml false 1.8 65 16
MinePump/spec1-5_product56.yml false 1.7 62 16
MinePump/spec1-5_product57.yml true 2.8 110 26
MinePump/spec1-5_product58.yml true 2.4 90 21
MinePump/spec1-5_product59.yml true 2.7 93 23
MinePump/spec1-5_product6.yml false 1.9 63 17
MinePump/spec1-5_product60.yml true 2.4 91 21
MinePump/spec1-5_product61.yml true 2.2 88 21
MinePump/spec1-5_product62.yml true 2.4 90 23
MinePump/spec1-5_product63.yml true 2.5 92 22
MinePump/spec1-5_product64.yml true 2.7 90 24
MinePump/spec1-5_product7.yml false 1.8 65 17
MinePump/spec1-5_product8.yml false 1.8 64 16
MinePump/spec1-5_product9.yml false 1.7 64 14
../sv-benchmarks/java/ status cpu (s) mem (MB) energy (J)
total 368 8800   33000 41000
    correct results 331 550   21000 4900
        correct true 151 250   9600 2300
        correct false 180 300   11000 2700
    incorrect results 6 9.5 370 83
        incorrect true 6 9.5 370 83
        incorrect false 0
Run set sv-comp19_prop-reachsafety_java.ReachSafety-Java