Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | 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.005s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | 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.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.006s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.003s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.003s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.002s | 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.001s | 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
624536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props5973608842195600962.key 624536 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.8ns 624536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 624695 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 624695 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 624695 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 624695 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 625184 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 628935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 628967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props5973608842195600962.key 628967 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 628982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props2897340955654651683.key 628982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.8ns 628982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 632218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props2897340955654651683.key 632234 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.9ns 632234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props13266317823985308522.key 632234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 427.6ns 632234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635487 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 635518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props13266317823985308522.key 635518 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 635518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props7262781301828036925.key 635518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 317.6ns 635518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 638787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 638818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7262781301828036925.key 638818 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 638834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props11268534137375597670.key 638834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.2ns 638834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 642821 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.99s 642837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props11268534137375597670.key 642837 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 642853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props10611861892105114321.key 642853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.4ns 642853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 646135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 646151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10611861892105114321.key 646151 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 646151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props11066921323646626790.key 646151 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.3ns 646151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 649313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props11066921323646626790.key 649313 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 649313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props12197174074685633662.key 649313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 439.1ns 649313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 653034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 653112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props12197174074685633662.key 653112 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 653112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props3289350991583049604.key 653112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.7ns 653112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 656323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 656339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props3289350991583049604.key 656339 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 656354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props646313810817876404.key 656354 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.7ns 656354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 660016 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props646313810817876404.key 660016 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 660016 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props8681667731263014440.key 660016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.7ns 660047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 663511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 663558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props8681667731263014440.key 663558 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 663574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props8905658332568630368.key 663574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.3ns 663589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 666845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 666861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props8905658332568630368.key 666861 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 666877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16069949627501532783.key 666877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.4ns 666877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 670390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 670406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16069949627501532783.key 670406 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 670421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props10405309561989243672.key 670421 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 372.4ns 670421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 673547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 673563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props10405309561989243672.key 673563 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 673563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props17453561505909206674.key 673563 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.2ns 673563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 676919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 676950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props17453561505909206674.key 676950 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 676950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props796289491134839775.key 676950 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.3ns 676950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 680124 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 680155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props796289491134839775.key 680155 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 680155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props14300192517698978408.key 680155 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.3ns 680171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 683460 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 683475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props14300192517698978408.key 683475 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 683475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props17020235432399352399.key 683475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.2ns 683475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 686634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 686650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props17020235432399352399.key 686650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 686650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props12453406671801072952.key 686650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 414.8ns 686650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 689776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 689854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props12453406671801072952.key 689854 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 689870 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 689870 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 689870 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 689870 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 689870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props13520500640082295724.key 689870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.7ns 689870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 693144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props13520500640082295724.key 693144 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 693160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props6151812024140341039.key 693160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 406.2ns 693160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 696302 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 696334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6151812024140341039.key 696334 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 696349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props1261875123674925856.key 696349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 387.6ns 696349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 699554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 699569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props1261875123674925856.key 699569 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 699585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props16958865829714662915.key 699585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.9ns 699585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 702966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props16958865829714662915.key 702966 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 702966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props7505441837943672990.key 702966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.6ns 702966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 706156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 706172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props7505441837943672990.key 706172 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 706918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props11652919245483706382.key 706918 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 624ns 706918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 710236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 710251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props11652919245483706382.key 710251 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 710251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props535953365517107963.key 710251 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 447.4ns 710251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 713363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 713379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props535953365517107963.key 713379 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 713395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props17683787993027727985.key 713395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.5ns 713395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 716585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 716601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props17683787993027727985.key 716601 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 716601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props6324812737816017057.key 716601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 402ns 716617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 719894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 719925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props6324812737816017057.key 719925 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 719925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props17810973775521745677.key 719925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.5ns 719925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 723110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 723142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props17810973775521745677.key 723142 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 723142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props3856319504012471866.key 723142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 755.2ns 723142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 726222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 726237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props3856319504012471866.key 726253 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 726253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10043370042390441035.key 726253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.18ms 726253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 729380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 729395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10043370042390441035.key 729395 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 729411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props5866803258926181939.key 729411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181ns 729411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 732751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 732767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5866803258926181939.key 732767 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 732782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props12108756754734698003.key 732782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 421.4ns 732782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 736018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 736081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props12108756754734698003.key 736081 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 736097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props12365561162049490184.key 736097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 400.9ns 736097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 739375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 739391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props12365561162049490184.key 739406 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 739406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props11526568875417963671.key 739406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 482.2ns 739423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 742754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 742770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props11526568875417963671.key 742770 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 742786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props17346930163879084806.key 742787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.6ns 742787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 745960 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 745976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props17346930163879084806.key 746022 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.5ns 746038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5816220063725088667.key 746038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 519.3ns 746038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 749174 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 749189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5816220063725088667.key 749189 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 749205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props10066463131735442592.key 749205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 403.9ns 749205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 752410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 752426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props10066463131735442592.key 752426 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 752426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props17250582223939500808.key 752426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 412.1ns 752426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 755855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 755870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props17250582223939500808.key 755886 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 755886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props7205828956144869897.key 755886 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 250.8ns 755886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 759137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 759153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7205828956144869897.key 759153 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 759153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props12485166315247590166.key 759153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 343.6ns 759153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762500 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 762516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props12485166315247590166.key 762516 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 762516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props9754407934459138025.key 762516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.9ns 762531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 765752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9754407934459138025.key 765752 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 765768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props16364161167175779785.key 765768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 325.4ns 765768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769136 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 769152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props16364161167175779785.key 769152 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 769152 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 769152 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 769152 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 769152 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 769168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props14639836055781499343.key 769168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.4ns 769168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 772377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 772393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14639836055781499343.key 772408 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 772408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props4957741165172807138.key 772408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 386.6ns 772408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 775552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 775567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props4957741165172807138.key 775567 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 775583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props3384179091251608632.key 775583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.8ns 775583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 778648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 778663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props3384179091251608632.key 778663 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 778679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props12438270020950323512.key 778679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.3ns 778679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 782009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 782024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props12438270020950323512.key 782024 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.1ns 782024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props14190166901538400090.key 782024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.4ns 782040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 785198 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 785213 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props14190166901538400090.key 785225 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 785229 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.props13176565857688920947.smt2 785229 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.props10477709589282579111.smt2 785229 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.props3820440409507650075.smt2 785229 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.props16830345224781391571.smt2 785229 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.props8806104060123929124.smt2 785245 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.props4375099722592493449.smt2 785245 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.props7084428213264263636.smt2 785245 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.props9755814378619103908.smt2 785245 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.props6348020863914991725.smt2 785245 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.props14709906291861539220.smt2 785245 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.props16878115671009124005.smt2 785245 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.props9748706452176047702.smt2 785245 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.props13597783876029559228.smt2 785260 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.props7290556979129123837.smt2 785260 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.props11811381817567670836.smt2 785276 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.props1545544941063713665.smt2 785276 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.props10170760422253565664.smt2 785276 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.props4091548771675289959.smt2 785276 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.props7471498907650791516.smt2 785276 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.props7646269854421432847.smt2 785292 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.props14841139299741258800.smt2 785292 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.props2046917308088951485.smt2 785292 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.props13461758814675898918.smt2 785292 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.props14993698042844055401.smt2