Tool SPF Mon Nov 19 09:51:16 CET 2018
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-07 20:12:45 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 2.1 95 18
jayhorn-recursive/Addition.yml true 2.0 90 19
jayhorn-recursive/InfiniteLoop.yml false 1.8 79 16
jayhorn-recursive/SatAckermann01.yml true 7.1 250 69
jayhorn-recursive/SatAckermann02.yml true 6.9 240 70
jayhorn-recursive/SatAckermann03.yml true 7.3 260 77
jayhorn-recursive/SatAddition01.yml true 2.1 100 20
jayhorn-recursive/SatEvenOdd01.yml true 2.1 95 18
jayhorn-recursive/SatFibonacci01.yml true 2.8 150 26
jayhorn-recursive/SatFibonacci02.yml true 1.9 78 15
jayhorn-recursive/SatFibonacci03.yml true 2.8 150 26
jayhorn-recursive/SatGcd.yml true 65   110 930
jayhorn-recursive/SatHanoi01.yml true 4.9 260 40
jayhorn-recursive/SatMccarthy91.yml true 43   390 520
jayhorn-recursive/SatMultCommutative01.yml true 2.3 100 21
jayhorn-recursive/SatPrimes01.yml unknown 230   570 2400
jayhorn-recursive/UnsatAckermann01.yml false 1.8 89 17
jayhorn-recursive/UnsatAddition01.yml false 1.8 88 16
jayhorn-recursive/UnsatAddition02.yml true 2.4 100 21
jayhorn-recursive/UnsatEvenOdd01.yml false 1.9 94 18
jayhorn-recursive/UnsatFibonacci01.yml false 1.9 91 19
jayhorn-recursive/UnsatFibonacci02.yml false 2.3 110 21
jayhorn-recursive/UnsatMccarthy91.yml false 1.8 90 17
jbmc-regression/ArithmeticException1.yml false 1.9 87 17
jbmc-regression/ArithmeticException5.yml true 1.8 77 12
jbmc-regression/ArithmeticException6.yml false 1.9 88 15
jbmc-regression/ArrayIndexOutOfBoundsException1.yml false 1.9 89 15
jbmc-regression/ArrayIndexOutOfBoundsException2.yml false 1.9 89 18
jbmc-regression/ArrayIndexOutOfBoundsException3.yml false 1.9 91 17
jbmc-regression/BufferedReaderReadLine.yml false 1.9 88 18
jbmc-regression/CharSequenceBug.yml false 1.9 87 16
jbmc-regression/CharSequenceToString.yml false 1.9 95 18
jbmc-regression/ClassCastException1.yml false 1.7 81 16
jbmc-regression/ClassCastException2.yml true 1.7 76 16
jbmc-regression/ClassCastException3.yml false 1.8 78 17
jbmc-regression/Class_method1.yml true 1.8 76 16
jbmc-regression/Inheritance1.yml true 1.7 75 15
jbmc-regression/NegativeArraySizeException1.yml false 1.8 81 16
jbmc-regression/NegativeArraySizeException2.yml false 1.9 78 15
jbmc-regression/NullPointerException1.yml true 1.8 79 15
jbmc-regression/NullPointerException2.yml false 1.9 79 15
jbmc-regression/NullPointerException3.yml false 1.7 78 16
jbmc-regression/NullPointerException4.yml false 1.8 80 15
jbmc-regression/RegexMatches01.yml true 1.8 77 17
jbmc-regression/RegexMatches02.yml true 1.8 80 16
jbmc-regression/RegexSubstitution01.yml true 2.0 80 19
jbmc-regression/RegexSubstitution02.yml unknown 1.9 79 18
jbmc-regression/RegexSubstitution03.yml true 1.8 79 16
jbmc-regression/StaticCharMethods01.yml true 1.7 78 15
jbmc-regression/StaticCharMethods02.yml false 1.9 91 16
jbmc-regression/StaticCharMethods03.yml false 1.8 87 17
jbmc-regression/StaticCharMethods04.yml false 1.7 81 15
jbmc-regression/StaticCharMethods05.yml unknown 1.8 80 14
jbmc-regression/StaticCharMethods06.yml true 1.9 87 16
jbmc-regression/StringBuilderAppend01.yml true 1.8 81 15
jbmc-regression/StringBuilderAppend02.yml unknown 2.0 80 18
jbmc-regression/StringBuilderCapLen01.yml true 1.8 79 17
jbmc-regression/StringBuilderCapLen02.yml false 1.9 87 15
jbmc-regression/StringBuilderCapLen03.yml unknown 1.8 79 14
jbmc-regression/StringBuilderCapLen04.yml unknown 1.7 81 15
jbmc-regression/StringBuilderChars01.yml true 1.9 77 15
jbmc-regression/StringBuilderChars02.yml false 1.8 83 16
jbmc-regression/StringBuilderChars03.yml unknown 1.7 77 15
jbmc-regression/StringBuilderChars04.yml unknown 1.9 80 18
jbmc-regression/StringBuilderChars05.yml unknown 1.7 79 14
jbmc-regression/StringBuilderChars06.yml unknown 1.8 81 16
jbmc-regression/StringBuilderConstructors01.yml unknown 1.9 95 17
jbmc-regression/StringBuilderConstructors02.yml unknown 1.8 80 15
jbmc-regression/StringBuilderInsertDelete01.yml true 1.8 82 16
jbmc-regression/StringBuilderInsertDelete02.yml unknown 1.9 80 18
jbmc-regression/StringBuilderInsertDelete03.yml unknown 1.8 82 17
jbmc-regression/StringCompare01.yml true 1.8 76 17
jbmc-regression/StringCompare02.yml unknown 1.7 80 15
jbmc-regression/StringCompare03.yml unknown 1.7 79 17
jbmc-regression/StringCompare04.yml unknown 1.8 80 16
jbmc-regression/StringCompare05.yml false 1.8 80 17
jbmc-regression/StringConcatenation01.yml false 1.8 82 15
jbmc-regression/StringConcatenation02.yml false 1.8 83 19
jbmc-regression/StringConcatenation03.yml false 1.9 81 16
jbmc-regression/StringConcatenation04.yml false 1.8 83 15
jbmc-regression/StringConstructors01.yml true 1.8 79 15
jbmc-regression/StringConstructors02.yml false 1.8 83 16
jbmc-regression/StringConstructors03.yml false 1.8 85 17
jbmc-regression/StringConstructors04.yml false 1.8 84 18
jbmc-regression/StringConstructors05.yml false 1.9 89 16
jbmc-regression/StringContains01.yml false 1.8 86 15
jbmc-regression/StringContains02.yml false 1.8 82 16
jbmc-regression/StringIndexMethods01.yml true 1.7 79 14
jbmc-regression/StringIndexMethods02.yml false 1.9 92 18
jbmc-regression/StringIndexMethods03.yml false 2.0 91 20
jbmc-regression/StringIndexMethods04.yml false 1.8 90 18
jbmc-regression/StringIndexMethods05.yml false 1.8 88 16
jbmc-regression/StringMiscellaneous01.yml unknown 1.9 78 18
jbmc-regression/StringMiscellaneous02.yml false 2.0 94 17
jbmc-regression/StringMiscellaneous03.yml false 2.0 92 16
jbmc-regression/StringMiscellaneous04.yml true 1.9 77 16
jbmc-regression/StringStartEnd01.yml true 1.7 78 14
jbmc-regression/StringStartEnd02.yml false 1.9 84 18
jbmc-regression/StringStartEnd03.yml false 1.9 87 18
jbmc-regression/StringValueOf01.yml true 1.9 81 17
jbmc-regression/StringValueOf02.yml false 1.9 80 15
jbmc-regression/StringValueOf03.yml false 1.8 79 14
jbmc-regression/StringValueOf04.yml false 1.8 78 16
jbmc-regression/StringValueOf05.yml unknown 1.9 94 16
jbmc-regression/StringValueOf06.yml false 1.9 82 17
jbmc-regression/StringValueOf07.yml unknown 1.9 81 17
jbmc-regression/StringValueOf08.yml unknown 1.8 80 16
jbmc-regression/StringValueOf09.yml unknown 1.7 86 14
jbmc-regression/StringValueOf10.yml false 1.9 86 16
jbmc-regression/SubString01.yml true 1.7 79 17
jbmc-regression/SubString02.yml false 1.9 88 16
jbmc-regression/SubString03.yml false 1.9 84 16
jbmc-regression/TokenTest01.yml true 1.9 79 18
jbmc-regression/TokenTest02.yml unknown 1.8 80 15
jbmc-regression/Validate01.yml true 1.7 78 16
jbmc-regression/Validate02.yml unknown 2.0 82 17
jbmc-regression/aastore_aaload1.yml true 120   140 1600
jbmc-regression/array1.yml true 2.0 91 17
jbmc-regression/array2.yml true 2.0 94 18
jbmc-regression/arraylength1.yml true 1.9 90 17
jbmc-regression/arrayread1.yml true 1.7 87 15
jbmc-regression/assert1.yml true 1.9 89 18
jbmc-regression/assert2.yml false 2.0 94 17
jbmc-regression/assert3.yml false 1.8 86 15
jbmc-regression/assert4.yml false 2.0 94 20
jbmc-regression/assert5.yml true 1.9 89 16
jbmc-regression/assert6.yml true 1.8 89 16
jbmc-regression/astore_aload1.yml true 1.8 79 15
jbmc-regression/athrow1.yml false 1.9 78 18
jbmc-regression/basic1.yml true 1.8 78 16
jbmc-regression/bitwise1.yml true 2.0 93 19
jbmc-regression/boolean1.yml true 1.8 79 16
jbmc-regression/boolean2.yml true 1.8 78 17
jbmc-regression/bug-test-gen-095.yml false 1.9 83 17
jbmc-regression/bug-test-gen-119-2.yml true 1.8 77 17
jbmc-regression/bug-test-gen-119.yml true 1.9 82 15
jbmc-regression/calc.yml true 32   130 400
jbmc-regression/cast1.yml false 1.9 87 16
jbmc-regression/catch1.yml true 1.7 78 16
jbmc-regression/char1.yml true 2.1 92 18
jbmc-regression/charArray.yml unknown 1.9 89 19
jbmc-regression/classtest1.yml true 1.7 77 15
jbmc-regression/const1.yml true 1.7 78 13
jbmc-regression/constructor1.yml true 1.8 79 15
jbmc-regression/enum1.yml true 1.7 76 15
jbmc-regression/exceptions1.yml false 1.8 80 15
jbmc-regression/exceptions10.yml false 1.8 79 16
jbmc-regression/exceptions11.yml false 1.7 80 14
jbmc-regression/exceptions12.yml false 1.7 78 15
jbmc-regression/exceptions13.yml false 1.7 78 18
jbmc-regression/exceptions14.yml true 1.7 81 16
jbmc-regression/exceptions15.yml true 1.8 80 15
jbmc-regression/exceptions16.yml false 1.8 83 15
jbmc-regression/exceptions18.yml true 1.7 79 17
jbmc-regression/exceptions2.yml false 1.8 79 15
jbmc-regression/exceptions3.yml false 1.7 78 15
jbmc-regression/exceptions4.yml true 1.8 78 17
jbmc-regression/exceptions5.yml true 1.8 76 16
jbmc-regression/exceptions6.yml false 1.8 77 16
jbmc-regression/exceptions7.yml false 1.7 76 16
jbmc-regression/exceptions8.yml false 1.8 79 18
jbmc-regression/exceptions9.yml true 1.8 78 15
jbmc-regression/fcmpx_dcmpx1.yml true 1.7 78 16
jbmc-regression/iarith1.yml true 1.9 79 14
jbmc-regression/iarith2.yml true 1.8 78 18
jbmc-regression/if_acmp1.yml true 1.9 78 16
jbmc-regression/if_expr1.yml true 1.8 89 15
jbmc-regression/if_icmp1.yml true 2.1 92 16
jbmc-regression/ifxx1.yml true 2.0 79 14
jbmc-regression/instanceof1.yml false 1.7 79 15
jbmc-regression/instanceof2.yml true 1.8 77 15
jbmc-regression/instanceof3.yml true 1.9 78 16
jbmc-regression/instanceof4.yml true 1.7 76 16
jbmc-regression/instanceof5.yml true 1.6 78 17
jbmc-regression/instanceof6.yml true 1.7 79 14
jbmc-regression/instanceof7.yml true 1.7 77 13
jbmc-regression/instanceof8.yml true 1.8 79 16
jbmc-regression/interface1.yml false 1.7 80 14
jbmc-regression/java_append_char.yml false 1.8 81 16
jbmc-regression/lazyloading4.yml true 1.8 79 15
jbmc-regression/list1.yml true 42   260 490
jbmc-regression/long1.yml true 1.8 78 18
jbmc-regression/lookupswitch1.yml true 1.8 87 15
jbmc-regression/multinewarray.yml true 1.8 77 16
jbmc-regression/overloading1.yml true 1.7 74 17
jbmc-regression/package1.yml true 1.7 76 17
jbmc-regression/putfield_getfield1.yml true 1.7 77 15
jbmc-regression/putstatic_getstatic1.yml true 1.7 76 16
jbmc-regression/recursion2.yml true 1.7 74 14
jbmc-regression/return1.yml false 1.9 79 18
jbmc-regression/return2.yml false 1.8 87 17
jbmc-regression/store_load1.yml true 1.7 78 14
jbmc-regression/swap1.yml true 1.7 76 13
jbmc-regression/synchronized.yml true 1.7 78 15
jbmc-regression/tableswitch1.yml true 1.9 90 15
jbmc-regression/uninitialised1.yml true 1.8 77 15
jbmc-regression/virtual1.yml true 1.7 80 15
jbmc-regression/virtual2.yml false 1.8 79 15
jbmc-regression/virtual4.yml true 1.7 78 15
jbmc-regression/virtual_function_unwinding.yml true 1.8 77 15
jpf-regression/ExDarko_false.yml false 2.0 95 18
jpf-regression/ExDarko_true.yml true 2.0 92 19
jpf-regression/ExException_false.yml false 1.9 92 18
jpf-regression/ExException_true.yml true 1.9 79 17
jpf-regression/ExGenSymExe_false.yml false 2.0 77 25
jpf-regression/ExGenSymExe_true.yml true 1.8 79 16
jpf-regression/ExLazy_false.yml false 1.8 87 14
jpf-regression/ExLazy_true.yml true 1.9 94 18
jpf-regression/ExMIT_false.yml false 1.9 88 15
jpf-regression/ExMIT_true.yml true 1.9 91 18
jpf-regression/ExSymExe10_false.yml false 1.8 88 18
jpf-regression/ExSymExe10_true.yml true 1.9 90 15
jpf-regression/ExSymExe11_false.yml false 1.8 80 15
jpf-regression/ExSymExe11_true.yml true 1.8 85 15
jpf-regression/ExSymExe12_false.yml false 2.0 96 17
jpf-regression/ExSymExe12_true.yml true 1.9 85 16
jpf-regression/ExSymExe13_false.yml false 2.0 89 18
jpf-regression/ExSymExe13_true.yml true 1.9 92 19
jpf-regression/ExSymExe14_false.yml false 2.0 86 17
jpf-regression/ExSymExe14_true.yml true 1.8 88 17
jpf-regression/ExSymExe15_false.yml false 1.8 89 15
jpf-regression/ExSymExe15_true.yml true 1.9 87 18
jpf-regression/ExSymExe16_false.yml false 1.8 77 18
jpf-regression/ExSymExe16_true.yml true 1.7 79 14
jpf-regression/ExSymExe17_false.yml false 1.8 78 18
jpf-regression/ExSymExe17_true.yml true 1.8 78 15
jpf-regression/ExSymExe18_false.yml false 1.8 88 17
jpf-regression/ExSymExe18_true.yml true 1.7 77 15
jpf-regression/ExSymExe19_false.yml false 1.9 88 19
jpf-regression/ExSymExe19_true.yml true 2.5 130 23
jpf-regression/ExSymExe1_false.yml false 2.2 120 21
jpf-regression/ExSymExe1_true.yml true 1.7 77 14
jpf-regression/ExSymExe20_false.yml false 3.5 180 38
jpf-regression/ExSymExe20_true.yml true 1.8 76 16
jpf-regression/ExSymExe21_false.yml false 2.4 120 21
jpf-regression/ExSymExe21_true.yml true 1.8 78 17
jpf-regression/ExSymExe25_false.yml false 1.8 95 17
jpf-regression/ExSymExe25_true.yml true 1.9 78 15
jpf-regression/ExSymExe26_false.yml false 2.4 140 23
jpf-regression/ExSymExe26_true.yml true 1.7 76 16
jpf-regression/ExSymExe27_false.yml false 1.8 89 14
jpf-regression/ExSymExe27_true.yml true 1.7 79 15
jpf-regression/ExSymExe28_false.yml false 2.0 94 17
jpf-regression/ExSymExe28_true.yml true 1.7 79 14
jpf-regression/ExSymExe29_false.yml false 2.7 170 26
jpf-regression/ExSymExe29_true.yml true 1.7 75 15
jpf-regression/ExSymExe2_false.yml false 2.1 130 20
jpf-regression/ExSymExe2_true.yml true 1.8 78 16
jpf-regression/ExSymExe3_false.yml false 1.9 90 17
jpf-regression/ExSymExe3_true.yml true 1.7 78 14
jpf-regression/ExSymExe4_false.yml false 2.0 120 21
jpf-regression/ExSymExe4_true.yml true 1.8 80 14
jpf-regression/ExSymExe5_false.yml false 1.8 88 16
jpf-regression/ExSymExe5_true.yml true 1.7 80 15
jpf-regression/ExSymExe6_false.yml false 1.9 85 17
jpf-regression/ExSymExe6_true.yml true 1.7 78 14
jpf-regression/ExSymExe7_false.yml false 2.1 120 21
jpf-regression/ExSymExe7_true.yml true 2.1 120 18
jpf-regression/ExSymExe8_false.yml false 2.3 130 21
jpf-regression/ExSymExe8_true.yml true 2.6 75 29
jpf-regression/ExSymExe9_false.yml false 1.8 78 16
jpf-regression/ExSymExe9_true.yml true 1.7 78 14
jpf-regression/ExSymExeArrays_false.yml false 1.8 77 17
jpf-regression/ExSymExeArrays_true.yml true 1.7 76 16
jpf-regression/ExSymExeBool_false.yml false 1.7 79 17
jpf-regression/ExSymExeBool_true.yml true 1.8 77 18
jpf-regression/ExSymExeComplexMath_false.yml false 1.9 77 16
jpf-regression/ExSymExeComplexMath_true.yml true 1.8 76 18
jpf-regression/ExSymExeD2I_false.yml false 1.7 75 15
jpf-regression/ExSymExeD2I_true.yml true 1.9 88 17
jpf-regression/ExSymExeD2L_false.yml false 1.9 89 17
jpf-regression/ExSymExeD2L_true.yml true 1.9 89 16
jpf-regression/ExSymExeF2I_false.yml false 1.8 77 18
jpf-regression/ExSymExeF2I_true.yml true 1.8 88 15
jpf-regression/ExSymExeF2L_false.yml false 2.0 87 19
jpf-regression/ExSymExeF2L_true.yml true 2.0 89 20
jpf-regression/ExSymExeFNEG_false.yml false 1.8 86 16
jpf-regression/ExSymExeFNEG_true.yml true 1.9 93 17
jpf-regression/ExSymExeGetStatic_false.yml false 1.7 82 15
jpf-regression/ExSymExeGetStatic_true.yml true 1.8 80 16
jpf-regression/ExSymExeI2D_false.yml false 1.9 92 17
jpf-regression/ExSymExeI2D_true.yml true 2.8 130 28
jpf-regression/ExSymExeI2F_false.yml false 1.8 78 17
jpf-regression/ExSymExeI2F_true.yml true 1.7 81 14
jpf-regression/ExSymExeLCMP_false.yml false 1.8 87 15
jpf-regression/ExSymExeLCMP_true.yml true 2.1 92 18
jpf-regression/ExSymExeLongBytecodes_false.yml false 1.8 89 18
jpf-regression/ExSymExeLongBytecodes_true.yml true 1.9 89 17
jpf-regression/ExSymExeResearch_false.yml false 1.9 90 19
jpf-regression/ExSymExeResearch_true.yml true 1.9 90 18
jpf-regression/ExSymExeSimple_false.yml false 1.9 94 16
jpf-regression/ExSymExeSimple_true.yml true 1.8 87 17
jpf-regression/ExSymExeSuzette_false.yml false 2.0 95 15
jpf-regression/ExSymExeSuzette_true.yml true 1.9 93 17
jpf-regression/ExSymExeSwitch_false.yml false 2.0 95 16
jpf-regression/ExSymExeSwitch_true.yml true 1.9 89 16
jpf-regression/ExSymExeTestAssignments_false.yml false 1.9 86 17
jpf-regression/ExSymExeTestAssignments_true.yml true 1.9 91 16
jpf-regression/ExSymExeTestClassFields_false.yml false 1.8 90 16
jpf-regression/ExSymExeTestClassFields_true.yml true 1.9 88 15
jpf-regression/ExSymExe_false.yml false 1.8 79 15
jpf-regression/ExSymExe_true.yml true 1.8 76 15
jpf-regression/TestLazy_false.yml false 1.8 88 16
jpf-regression/TestLazy_true.yml true 1.8 95 18
MinePump/spec1-5_product1.yml false 2.3 100 20
MinePump/spec1-5_product10.yml false 2.1 81 19
MinePump/spec1-5_product11.yml false 2.0 83 16
MinePump/spec1-5_product12.yml false 1.9 82 16
MinePump/spec1-5_product13.yml false 2.1 86 17
MinePump/spec1-5_product14.yml false 2.2 88 19
MinePump/spec1-5_product15.yml false 2.0 81 17
MinePump/spec1-5_product16.yml false 2.0 87 19
MinePump/spec1-5_product17.yml false 2.1 82 18
MinePump/spec1-5_product18.yml false 2.1 78 16
MinePump/spec1-5_product19.yml false 2.2 94 19
MinePump/spec1-5_product2.yml false 2.0 82 16
MinePump/spec1-5_product20.yml false 2.1 90 16
MinePump/spec1-5_product21.yml false 2.0 82 20
MinePump/spec1-5_product22.yml false 1.9 82 18
MinePump/spec1-5_product23.yml false 2.0 83 20
MinePump/spec1-5_product24.yml false 1.9 84 17
MinePump/spec1-5_product25.yml false 2.0 82 20
MinePump/spec1-5_product26.yml false 1.9 81 17
MinePump/spec1-5_product27.yml false 2.2 85 18
MinePump/spec1-5_product28.yml false 2.1 81 16
MinePump/spec1-5_product29.yml false 2.1 88 21
MinePump/spec1-5_product3.yml false 1.9 82 18
MinePump/spec1-5_product30.yml false 2.2 84 21
MinePump/spec1-5_product31.yml false 2.2 82 21
MinePump/spec1-5_product32.yml false 2.0 81 19
MinePump/spec1-5_product33.yml false 1.9 84 20
MinePump/spec1-5_product34.yml false 2.0 85 20
MinePump/spec1-5_product35.yml false 2.0 82 18
MinePump/spec1-5_product36.yml false 2.2 87 17
MinePump/spec1-5_product37.yml false 2.1 83 21
MinePump/spec1-5_product38.yml false 2.1 80 19
MinePump/spec1-5_product39.yml false 1.9 78 18
MinePump/spec1-5_product4.yml false 2.3 82 20
MinePump/spec1-5_product40.yml false 2.0 84 17
MinePump/spec1-5_product41.yml false 2.0 83 17
MinePump/spec1-5_product42.yml false 2.1 82 18
MinePump/spec1-5_product43.yml false 2.2 84 18
MinePump/spec1-5_product44.yml false 2.0 90 18
MinePump/spec1-5_product45.yml false 1.9 89 17
MinePump/spec1-5_product46.yml false 2.2 80 17
MinePump/spec1-5_product47.yml false 2.0 82 16
MinePump/spec1-5_product48.yml false 2.0 83 19
MinePump/spec1-5_product49.yml false 2.0 83 17
MinePump/spec1-5_product5.yml false 1.9 88 17
MinePump/spec1-5_product50.yml false 2.2 81 20
MinePump/spec1-5_product51.yml false 2.0 81 17
MinePump/spec1-5_product52.yml false 2.2 83 17
MinePump/spec1-5_product53.yml false 2.0 80 17
MinePump/spec1-5_product54.yml false 1.9 81 18
MinePump/spec1-5_product55.yml false 2.1 81 19
MinePump/spec1-5_product56.yml false 2.0 83 14
MinePump/spec1-5_product57.yml true 3.8 220 33
MinePump/spec1-5_product58.yml true 4.1 210 38
MinePump/spec1-5_product59.yml true 3.3 190 32
MinePump/spec1-5_product6.yml false 2.0 82 17
MinePump/spec1-5_product60.yml true 3.7 210 30
MinePump/spec1-5_product61.yml true 3.6 210 29
MinePump/spec1-5_product62.yml true 3.5 200 29
MinePump/spec1-5_product63.yml true 3.5 190 30
MinePump/spec1-5_product64.yml true 3.8 210 35
MinePump/spec1-5_product7.yml false 2.1 82 19
MinePump/spec1-5_product8.yml false 2.0 82 17
MinePump/spec1-5_product9.yml false 1.9 83 16
../sv-benchmarks/java/ status cpu (s) mem (MB) energy (J)
total 368 1300   34000 13000
    correct results 337 970   31000 9900
        correct true 156 620   15000 6800
        correct false 181 350   16000 3100
    incorrect results 6 11   530 100
        incorrect true 2 4.2 180 37
        incorrect false 4 7.2 340 64
Run set sv-comp19_prop-reachsafety_java.ReachSafety-Java