Results on Suite 3

ExampleMCNPAProVE fixed abstractionAProVE
Aprove_09/AProVEMath.mc (intermediate clpq, original jar)MAYBE2.439YES16.830YES19.251
Aprove_09/Collatz.mc (intermediate clpq, original jar)MAYBE0.401MAYBE13.557TIMEOUT60
Aprove_09/Convert.mc (intermediate clpq, original jar)MAYBE1.613MAYBE18.024YES10.449
Aprove_09/Count.mc (intermediate clpq, original jar)MAYBE23.127MAYBE21.281YES34.129
Aprove_09/CountMetaList.mc (intermediate clpq, original jar)MAYBE2.650MAYBE17.258YES19.591
Aprove_09/CountUpRound.mc (intermediate clpq, original jar)YES0.105YES2.651YES2.630
Aprove_09/DivMinus.mc (intermediate clpq, original jar)YES0.036YES2.187YES2.633
Aprove_09/DivMinus2.mc (intermediate clpq, original jar)YES0.220YES2.820YES5.468
Aprove_09/DivWithoutMinus.mc (intermediate clpq, original jar)YES0.227YES3.113YES5.842
Aprove_09/Duplicate.mc (intermediate clpq, original jar)MAYBE0.212YES2.918YES3.086
Aprove_09/DuplicateNodes.mc (intermediate clpq, original jar)MAYBE13.360YES18.078YES11.749
Aprove_09/Flatten.mc (intermediate clpq, original jar)MAYBE3.328MAYBE27.951YES12.758
Aprove_09/FlattenTree.mc (intermediate clpq, original jar)MAYBE12.864MAYBE18.259YES7.668
Aprove_09/GCD.mc (intermediate clpq, original jar)YES8.166MAYBE19.927TIMEOUT60
Aprove_09/GCD2.mc (intermediate clpq, original jar)YES1.746YES18.285YES11.570
Aprove_09/GCD3.mc (intermediate clpq, original jar)YES0.258YES6.780YES5.928
Aprove_09/GCD4.mc (intermediate clpq, original jar)YES0.257YES3.651YES4.340
Aprove_09/GCD5.mc (intermediate clpq, original jar)MAYBE0.173MAYBE12.651YES13.428
Aprove_09/LessLeaves.mc (intermediate clpq, original jar)TIMEOUT60MAYBE21.573YES20.635
Aprove_09/ListContent.mc (intermediate clpq, original jar)MAYBE0.515MAYBE15.279YES4.519
Aprove_09/ListContentArbitrary.mc (intermediate clpq, original jar)MAYBE1.412YES7.526YES6.990
Aprove_09/ListContentTail.mc (intermediate clpq, original jar)MAYBE47.281YES17.347YES10.215
Aprove_09/ListDuplicate.mc (intermediate clpq, original jar)MAYBE0.338MAYBE14.695YES15.175
Aprove_09/Log.mc (intermediate clpq, original jar)MAYBE3.615YES17.063YES31.719
Aprove_09/LogAG.mc (intermediate clpq, original jar)MAYBE2.362YES24.082YES32.217
Aprove_09/LogBuiltIn.mc (intermediate clpq, original jar)MAYBE0.277YES2.834YES2.767
Aprove_09/LogIterative.mc (intermediate clpq, original jar)MAYBE0.304YES5.408YES5.219
Aprove_09/LogMult.mc (intermediate clpq, original jar)MAYBE0.272MAYBE12.816TIMEOUT60
Aprove_09/McCarthyIterative.mc (intermediate clpq, original jar)MAYBE0.514MAYBE19.305TIMEOUT60
Aprove_09/MinusBuiltIn.mc (intermediate clpq, original jar)YES0.017YES2.374YES2.209
Aprove_09/MinusUserDefined.mc (intermediate clpq, original jar)MAYBE1.966MAYBE19.757TIMEOUT60
Aprove_09/MirrorTree.mc (intermediate clpq, original jar)MAYBE12.655MAYBE25.705YES11.313
Aprove_09/Mod.mc (intermediate clpq, original jar)YES0.178YES5.264YES4.610
Aprove_09/Overflow.mc (intermediate clpq, original jar)YES0.011YES2.099YES2.200
Aprove_09/PastaA1.mc (intermediate clpq, original jar)YES0.096YES3.179YES2.858
Aprove_09/PastaA10.mc (intermediate clpq, original jar)YES0.110MAYBE15.254YES23.569
Aprove_09/PastaA4.mc (intermediate clpq, original jar)YES0.013YES2.383YES2.071
Aprove_09/PastaA5.mc (intermediate clpq, original jar)YES0.015YES2.269YES2.169
Aprove_09/PastaA6.mc (intermediate clpq, original jar)MAYBE0.202YES2.407YES2.386
Aprove_09/PastaA7.mc (intermediate clpq, original jar)YES0.019YES2.414YES2.355
Aprove_09/PastaA8.mc (intermediate clpq, original jar)MAYBE0.217YES2.182YES2.121
Aprove_09/PastaA9.mc (intermediate clpq, original jar)YES0.019YES2.308YES2.874
Aprove_09/PastaB1.mc (intermediate clpq, original jar)YES0.028YES2.124YES2.257
Aprove_09/PastaB10.mc (intermediate clpq, original jar)YES0.140YES2.914YES3.193
Aprove_09/PastaB11.mc (intermediate clpq, original jar)YES0.524YES3.433YES2.990
Aprove_09/PastaB12.mc (intermediate clpq, original jar)YES0.144YES2.502YES2.433
Aprove_09/PastaB13.mc (intermediate clpq, original jar)YES1.014TIMEOUT60YES27.637
Aprove_09/PastaB14.mc (intermediate clpq, original jar)YES0.065YES2.564YES3.375
Aprove_09/PastaB15.mc (intermediate clpq, original jar)YES0.103YES3.453YES4.600
Aprove_09/PastaB16.mc (intermediate clpq, original jar)YES0.127YES3.089YES2.951
Aprove_09/PastaB17.mc (intermediate clpq, original jar)YES0.762YES4.597YES3.306
Aprove_09/PastaB18.mc (intermediate clpq, original jar)YES0.185YES3.837YES8.926
Aprove_09/PastaB2.mc (intermediate clpq, original jar)YES0.019YES2.202YES2.199
Aprove_09/PastaB3.mc (intermediate clpq, original jar)YES0.021YES2.241YES2.911
Aprove_09/PastaB4.mc (intermediate clpq, original jar)YES0.021YES2.510YES2.425
Aprove_09/PastaB5.mc (intermediate clpq, original jar)YES0.022YES2.294YES3.114
Aprove_09/PastaB6.mc (intermediate clpq, original jar)YES0.027YES2.218YES2.254
Aprove_09/PastaB7.mc (intermediate clpq, original jar)YES0.039YES2.310YES2.308
Aprove_09/PastaB8.mc (intermediate clpq, original jar)MAYBE0.378YES4.306YES4.398
Aprove_09/PastaC1.mc (intermediate clpq, original jar)YES0.154YES5.305YES5.106
Aprove_09/PastaC10.mc (intermediate clpq, original jar)MAYBE0.580MAYBE24.189YES4.736
Aprove_09/PastaC11.mc (intermediate clpq, original jar)YES0.347YES4.531YES27.500
Aprove_09/PastaC2.mc (intermediate clpq, original jar)YES0.107YES3.056YES3.042
Aprove_09/PastaC3.mc (intermediate clpq, original jar)YES0.162YES3.442YES2.950
Aprove_09/PastaC5.mc (intermediate clpq, original jar)MAYBE0.356MAYBE17.561MAYBE45.522
Aprove_09/PastaC7.mc (intermediate clpq, original jar)YES0.018YES2.343YES2.290
Aprove_09/PastaC9.mc (intermediate clpq, original jar)YES0.321YES6.643YES4.637
Aprove_09/PlusSwap.mc (intermediate clpq, original jar)YES0.034YES3.821YES3.865
Aprove_09/Round3.mc (intermediate clpq, original jar)MAYBE0.162MAYBE12.375YES13.238
Aprove_09/RunningPointers.mc (intermediate clpq, original jar)MAYBE0.496MAYBE15.149YES4.074
Aprove_09/Samefringe.mc (intermediate clpq, original jar)TIMEOUT60MAYBE24.198YES24.193
Aprove_09/Shuffle.mc (intermediate clpq, original jar)MAYBE0.992MAYBE15.186YES5.244
Aprove_09/SortCount.mc (intermediate clpq, original jar)TIMEOUT60TIMEOUT60TIMEOUT60
Aprove_09/StupidArray.mc (intermediate clpq, original jar)YES0.000YES2.227YES2.072
Aprove_09/Take.mc (intermediate clpq, original jar)YES0.021YES2.512YES2.440
AProVE_10/AG313.mc (intermediate clpq, original jar)YES0.040YES2.468YES2.739
AProVE_10/ArrayClasses.mc (intermediate clpq, original jar)YES0.000YES1.537YES1.586
AProVE_10/CyclicList.mc (intermediate clpq, original jar)YES0.000YES6.565YES5.651
AProVE_10/CyclicPair.mc (intermediate clpq, original jar)YES0.000YES1.575YES1.582
AProVE_10/CyclicPair2.mc (intermediate clpq, original jar)MAYBE0.099MAYBE11.923YES1.726
AProVE_10/DuplicateTreePath.mc (intermediate clpq, original jar)MAYBE13.903YES16.695YES10.182
AProVE_10/FlattenRTA.mc (intermediate clpq, original jar)MAYBE19.653MAYBE57.229YES20.446
AProVE_10/IntPath.mc (intermediate clpq, original jar)YES0.000YES1.625YES1.586
AProVE_10/IntPath2.mc (intermediate clpq, original jar)YES0.000YES1.512YES1.688
AProVE_10/IntRTA.mc (intermediate clpq, original jar)YES0.017YES2.255YES2.168
AProVE_10/NestedLoop.mc (intermediate clpq, original jar)YES2.593TIMEOUT60TIMEOUT60
AProVE_10/NullPair.mc (intermediate clpq, original jar)YES0.000YES1.590YES1.526
AProVE_10/SharingPair.mc (intermediate clpq, original jar)MAYBE3.946MAYBE13.883YES19.884
AProVE_10/TypeSwitch.mc (intermediate clpq, original jar)YES0.000YES1.630YES1.690
Costa_Julia_09/Break.mc (intermediate clpq, original jar)YES0.011YES2.087YES2.260
Costa_Julia_09/Continue.mc (intermediate clpq, original jar)MAYBE0.095MAYBE11.686MAYBE14.821
Costa_Julia_09/Continue1.mc (intermediate clpq, original jar)YES0.069YES2.546YES2.351
Costa_Julia_09/costa09-example_1.mc (intermediate clpq, original jar)YES0.048YES6.622YES6.629
Costa_Julia_09/costa09-example_2.mc (intermediate clpq, original jar)MAYBE0.151YES2.756YES2.642
Costa_Julia_09/costa09-example_3.mc (intermediate clpq, original jar)YES0.012YES2.138YES2.234
Costa_Julia_09/costa09-example_4.mc (intermediate clpq, original jar)YES0.028YES2.355YES2.494
Costa_Julia_09/costa09-example_5.mc (intermediate clpq, original jar)MAYBE0.095MAYBE11.803MAYBE14.855
Costa_Julia_09/CyclicalListDuplicate.mc (intermediate clpq, original jar)MAYBE0.348MAYBE15.322MAYBE39.907
Costa_Julia_09/Exc.mc (intermediate clpq, original jar)YES0.100YES2.698YES2.321
Costa_Julia_09/Exc1.mc (intermediate clpq, original jar)MAYBE0.712MAYBE14.470MAYBE30.001
Costa_Julia_09/Exc2.mc (intermediate clpq, original jar)MAYBE0.775MAYBE14.504MAYBE32.513
Costa_Julia_09/Exc3.mc (intermediate clpq, original jar)MAYBE0.360MAYBE13.978MAYBE13.992
Costa_Julia_09/Exc4.mc (intermediate clpq, original jar)MAYBE0.890MAYBE14.622MAYBE52.779
Costa_Julia_09/Exc5.mc (intermediate clpq, original jar)MAYBE0.792MAYBE14.458MAYBE15.986
Costa_Julia_09/Init.mc (intermediate clpq, original jar)MAYBE0.094MAYBE11.750MAYBE15.099
Costa_Julia_09/KnapsackDP.mc (intermediate clpq, original jar)YES3.464TIMEOUT60TIMEOUT60
Costa_Julia_09/Loop1.mc (intermediate clpq, original jar)MAYBE0.203MAYBE13.036YES2.496
Costa_Julia_09/Nested.mc (intermediate clpq, original jar)YES0.061YES3.537YES3.072
Costa_Julia_09/Sequence.mc (intermediate clpq, original jar)YES0.021YES4.265YES4.333
Costa_Julia_09/Sharing.mc (intermediate clpq, original jar)MAYBE0.110MAYBE12.012YES1.813
Costa_Julia_09/TestJulia1.mc (intermediate clpq, original jar)MAYBE0.091MAYBE12.233MAYBE14.900
Costa_Julia_09/TestJulia2.mc (intermediate clpq, original jar)MAYBE0.093MAYBE11.984MAYBE15.366
Costa_Julia_09/TestJulia3.mc (intermediate clpq, original jar)MAYBE0.348MAYBE14.634TIMEOUT60
Costa_Julia_09/TestJulia4.mc (intermediate clpq, original jar)MAYBE0.201MAYBE13.821TIMEOUT60
Julia_10_Iterative/Carre.mc (intermediate clpq, original jar)MAYBE0.711MAYBE48.063YES9.968
Julia_10_Iterative/Infix2Postfix.mc (intermediate clpq, original jar)TIMEOUT60MAYBE47.455TIMEOUT60
Julia_10_Iterative/Iterations.mc (intermediate clpq, original jar)MAYBE14.353TIMEOUT60TIMEOUT60
Julia_10_Iterative/NonPeriodic.mc (intermediate clpq, original jar)YES0.000YES1.572YES1.573
Julia_10_Iterative/RSA.mc (intermediate clpq, original jar)TIMEOUT60TIMEOUT60TIMEOUT60
Julia_10_Iterative/Test11.mc (intermediate clpq, original jar)MAYBE12.233TIMEOUT60TIMEOUT60
Julia_10_Iterative/Test13Loops.mc (intermediate clpq, original jar)MAYBE5.406MAYBE44.374MAYBE55.661
Julia_10_Iterative/Test2.mc (intermediate clpq, original jar)YES1.792YES10.337YES8.697
Julia_10_Iterative/Test3.mc (intermediate clpq, original jar)TIMEOUT60MAYBE44.522TIMEOUT60
Julia_10_Iterative/Test5.mc (intermediate clpq, original jar)TIMEOUT60MAYBE44.661TIMEOUT60
Julia_10_Iterative/Test7.mc (intermediate clpq, original jar)MAYBE3.531MAYBE38.192TIMEOUT60
Julia_10_Iterative/Test9.mc (intermediate clpq, original jar)TIMEOUT60YES28.687TIMEOUT60
Julia_10_Iterative/TriTas.mc (intermediate clpq, original jar)MAYBE13.370TIMEOUT60TIMEOUT60