Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.002s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.002s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.004s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.002s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.002s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.002s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
616852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props15641357438052985516.key 616852 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.2ns 616852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 617001 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 617001 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 617001 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 617001 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 617510 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 621102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 621117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props15641357438052985516.key 621117 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 621149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props14314784185018017550.key 621149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.9ns 621149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 624853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 624885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props14314784185018017550.key 624885 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 624885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props8102297634873987724.key 624885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.3ns 624885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 628152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 628167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props8102297634873987724.key 628167 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 628167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props4077485385203391707.key 628167 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.3ns 628183 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 631310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 631326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props4077485385203391707.key 631326 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 631341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props12542819187621089710.key 631341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.3ns 631341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 634508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 634523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props12542819187621089710.key 634523 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 634539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props14150177504175348083.key 634539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149ns 634555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 637799 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 637814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props14150177504175348083.key 637814 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 637814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10579343719385282772.key 637814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.6ns 637830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 641375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 641390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10579343719385282772.key 641390 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 641390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props10110565029017304794.key 641390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.1ns 641390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 644619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 644635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props10110565029017304794.key 644635 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 644635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props15680100232791806079.key 644635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.9ns 644650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 647742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 647757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15680100232791806079.key 647757 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 647757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props6548360782454947668.key 647757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.3ns 647773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 650922 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 650938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props6548360782454947668.key 650938 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 650938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props10792919858198013609.key 650938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.7ns 650953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 654138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 654223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props10792919858198013609.key 654223 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 654238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props16013204024033270708.key 654238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.2ns 654238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 657607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 657623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props16013204024033270708.key 657623 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 657639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5785380464564494925.key 657639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.2ns 657639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 660749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5785380464564494925.key 660749 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 660766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props11100088097383555624.key 660766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 384.4ns 660766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 663877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 663892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props11100088097383555624.key 663892 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 663908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props12320152731552638711.key 663908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.4ns 663908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 667097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 667113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props12320152731552638711.key 667113 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 667129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props2543096697774339063.key 667129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.4ns 667129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 670350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 670366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2543096697774339063.key 670381 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 670381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props7809238019934839903.key 670381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 457.6ns 670381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 673636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 673667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props7809238019934839903.key 673667 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 673667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props3128375414860800635.key 673667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.5ns 673667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 676876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 676908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props3128375414860800635.key 676908 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 676908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3108042417897953544.key 676908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.5ns 676908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 680044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 680059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3108042417897953544.key 680059 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 680075 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 680075 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 680075 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 680075 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 680075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props16754306001159102140.key 680075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.9ns 680075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 683218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 683233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props16754306001159102140.key 683233 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 683233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props13972685444825030616.key 683233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.7ns 683233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 686375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 686407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props13972685444825030616.key 686422 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 686422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props1648496616251432732.key 686422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 458.5ns 686438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 689533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 689549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props1648496616251432732.key 689549 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 689564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props9899544751081661822.key 689564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 412.5ns 689564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 692828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 692843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props9899544751081661822.key 692843 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 692843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props5337458916878258393.key 692843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.4ns 692843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 695995 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 696011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props5337458916878258393.key 696011 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 696365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props3420240154395289456.key 696366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 634.2ns 696369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 699558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 699573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props3420240154395289456.key 699573 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 699573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props9602404488215085896.key 699573 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 394.6ns 699589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702685 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 702700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props9602404488215085896.key 702700 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 702700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props8395969915436203367.key 702700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219ns 702716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 705937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 705952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props8395969915436203367.key 705952 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 705952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props9296425136206903573.key 705952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 419ns 705968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 709245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 709261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props9296425136206903573.key 709261 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 709261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props3032588145733891021.key 709261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.1ns 709261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 712406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 712422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props3032588145733891021.key 712437 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 712437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props912016432364418912.key 712437 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 454.1ns 712437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 715476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 715492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props912016432364418912.key 715492 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 715508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props3129965639847784778.key 715508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 449.2ns 715508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 718619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 718635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props3129965639847784778.key 718635 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 718635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props3493668015960049167.key 718635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 710.8ns 718635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 721872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 721904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3493668015960049167.key 721904 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 721904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props4478175187708208531.key 721904 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 473.9ns 721919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 725125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 725141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props4478175187708208531.key 725145 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 725150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props11563174486668154825.key 725150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.9ns 725150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 728314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 728329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props11563174486668154825.key 728329 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 728329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props6104376341783890405.key 728345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 368.5ns 728345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 731574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 731590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props6104376341783890405.key 731590 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 731605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props7910185971093295253.key 731605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.9ns 731605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734732 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 734748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props7910185971093295253.key 734748 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 734748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props10159385372102381792.key 734748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 502.9ns 734748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 737911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 737927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props10159385372102381792.key 737927 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 737942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props4191966155904043797.key 737942 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.9ns 737942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 741138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props4191966155904043797.key 741138 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 741138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props10912873965140263692.key 741138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 366.1ns 741138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 744281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props10912873965140263692.key 744281 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 744281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props18268128459524013587.key 744281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 428.6ns 744296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 747540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 747555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props18268128459524013587.key 747555 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 747555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props15483519804785855209.key 747555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.2ns 747555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 750912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 750928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15483519804785855209.key 750928 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 750928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props18231795887367160888.key 750928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213ns 750944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754096 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 754112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props18231795887367160888.key 754112 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 754112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props17844878010798143439.key 754112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.5ns 754112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 757194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 757225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17844878010798143439.key 757225 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 757225 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 757225 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 757225 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 757225 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 757225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props8939389680519051939.key 757225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.8ns 757225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 760389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 760404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props8939389680519051939.key 760404 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 760404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props4536490582078088692.key 760404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.2ns 760420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 763577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 763593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props4536490582078088692.key 763609 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 763624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props3152926249621343256.key 763624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 450.9ns 763624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 766817 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 766833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props3152926249621343256.key 766833 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 766833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props4316673058646264498.key 766833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.9ns 766833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 770225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 770241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props4316673058646264498.key 770241 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 770256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props9075329839004336446.key 770256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.3ns 770256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 773336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 773352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props9075329839004336446.key 773352 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 773368 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props4200881453891717040.smt2 773368 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props10515613057753728541.smt2 773368 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props17420192524235717014.smt2 773368 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props954911053747798421.smt2 773368 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props6018370986937633024.smt2 773368 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props2423234407119555651.smt2 773368 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props13292664589364775856.smt2 773383 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props1267820916410192974.smt2 773383 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props7937563872511640301.smt2 773383 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props4852630173645583362.smt2 773383 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props16108568008236303804.smt2 773383 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props12561975071024760229.smt2 773383 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props10678408765033576679.smt2 773383 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props17954432672381901401.smt2 773383 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props13029270195112318054.smt2 773401 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props10553327300510521459.smt2 773403 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props9243048566213227848.smt2 773405 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props14987204509847199644.smt2 773405 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props5222143782312661614.smt2 773405 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props7153710704113119155.smt2 773405 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props4665936733662676776.smt2 773405 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props4902448029831910218.smt2 773405 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props9638372338792046724.smt2 773405 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props12277906510123968166.smt2