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.003s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.003s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.005s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.005s | 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.004s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.004s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.003s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.093s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.002s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.008s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.004s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.012s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.002s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.002s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.005s | 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
625924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props1766215892158249247.key 625924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.9ns 625924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 626096 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 626096 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 626096 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 626096 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 626767 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 630667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 630699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props1766215892158249247.key 630699 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.3ns 630730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props2573536277622998520.key 630730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187ns 630745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 634600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 634631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props2573536277622998520.key 634631 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 634631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props12147519453216330164.key 634631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.5ns 634631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 637863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 637880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props12147519453216330164.key 637880 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 637880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props18428018585765430769.key 637880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.1ns 637895 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 641137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 641153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props18428018585765430769.key 641153 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 641169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props16471206873496320739.key 641169 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.8ns 641169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 644483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 644498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16471206873496320739.key 644514 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 644514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props6556662320491257295.key 644514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.5ns 644514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 648169 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 648200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props6556662320491257295.key 648200 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 648216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props2726267335224131504.key 648216 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187ns 648216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 652422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props2726267335224131504.key 652422 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 652422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props4914185245949617408.key 652422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.1ns 652438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 655812 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4914185245949617408.key 655812 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 655830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props14869842625154672138.key 655830 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.7ns 655831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 659209 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 659225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props14869842625154672138.key 659225 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 659225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props8786422610290934536.key 659225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.7ns 659225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 662524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 662540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props8786422610290934536.key 662540 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 662555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props10825165223378708109.key 662555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.6ns 662555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 666010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 666088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props10825165223378708109.key 666088 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 666104 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props8636759240413307661.key 666104 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.2ns 666104 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 669481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 669496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props8636759240413307661.key 669496 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 669496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props1055909958239696269.key 669496 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.7ns 669512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 672858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props1055909958239696269.key 672858 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 672874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props12242575350894424044.key 672874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.2ns 672874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 676244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 676259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props12242575350894424044.key 676259 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 676275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props946802974755474289.key 676275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.4ns 676275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 679709 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 679725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props946802974755474289.key 679725 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 679725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props8186474636301750728.key 679740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 563.5ns 679740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 683115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 683131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8186474636301750728.key 683131 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 683131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props7479418673255295389.key 683146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 372.8ns 683146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 686767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 686783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props7479418673255295389.key 686783 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 686783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props12583833601580124490.key 686783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.4ns 686783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 689987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 690003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props12583833601580124490.key 690003 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 690003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props12582677914659232928.key 690003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 399.3ns 690018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 693376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props12582677914659232928.key 693376 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 693376 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 693392 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 693392 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 693392 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 693392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props5527298651448139435.key 693392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.1ns 693392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 696675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 696690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props5527298651448139435.key 696690 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 696706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props4463915657699768085.key 696706 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.4ns 696706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 700005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 700020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props4463915657699768085.key 700020 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 700020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props15791370880462688634.key 700020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 415.6ns 700036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 703579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 703595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props15791370880462688634.key 703595 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 703595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props1114212866251143787.key 703595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.8ns 703595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 707087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props1114212866251143787.key 707087 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 707102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props3994524255825943204.key 707102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.4ns 707102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 710544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 710559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3994524255825943204.key 710559 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 710955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props12223046989414900794.key 710955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 726.5ns 710955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 714446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props12223046989414900794.key 714462 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 714462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props17338337865604597965.key 714462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.9ns 714462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 717952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props17338337865604597965.key 717967 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 717967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props17968711546697833354.key 717967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 447ns 717967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 721453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 721469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props17968711546697833354.key 721469 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 721484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props8875092589824859303.key 721484 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 529.1ns 721484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 724896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props8875092589824859303.key 724896 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 724896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props12082371387639957517.key 724896 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.9ns 724896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 728113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 728129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props12082371387639957517.key 728129 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 126.6ns 728129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props5834084591260505595.key 728129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 435.6ns 728144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 731310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 731326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props5834084591260505595.key 731326 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 731341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props14850265735369678830.key 731341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 435.8ns 731341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 734376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props14850265735369678830.key 734376 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 734376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props11602727301548791237.key 734376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 575.3ns 734392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 737771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 737786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props11602727301548791237.key 737786 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 737802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props10864480582411269601.key 737802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 488.8ns 737802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741352 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 741367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props10864480582411269601.key 741367 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 741367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props18268986077479009076.key 741367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.8ns 741383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 744637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props18268986077479009076.key 744637 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 744637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props10678768964863854342.key 744637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.2ns 744653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 747786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 747802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props10678768964863854342.key 747802 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 747817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props9198450448277253296.key 747817 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.8ns 747817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 751121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props9198450448277253296.key 751121 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 751137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props18177299586092248497.key 751137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 374.4ns 751137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 754561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props18177299586092248497.key 754561 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 754561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props13793808017198834159.key 754561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 487.1ns 754561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 758099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 758115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props13793808017198834159.key 758115 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 758130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props6887533350428642229.key 758130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.1ns 758130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 761273 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 761290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props6887533350428642229.key 761290 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 761290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props12766736192584611730.key 761290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.3ns 761290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 764471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 764486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props12766736192584611730.key 764486 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 764486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props10342573827450562832.key 764502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 573.6ns 764502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 767616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 767631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10342573827450562832.key 767631 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 48.4ns 767631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props11920807779839355216.key 767631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 459.2ns 767631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 771009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 771040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props11920807779839355216.key 771040 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 771040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props13041132023813672427.key 771040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 415.7ns 771056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 774767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 774783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props13041132023813672427.key 774783 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 774783 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 774783 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 774783 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 774783 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 774783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props13562022138130388063.key 774783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.4ns 774798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 777972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 777988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props13562022138130388063.key 777988 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 778003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props3292922103196676333.key 778003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.2ns 778003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 781248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 781259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3292922103196676333.key 781259 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 781259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props2410458613028290968.key 781259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 290.9ns 781259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 784466 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 784482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props2410458613028290968.key 784482 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 784482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props2033158849740425751.key 784482 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 276.9ns 784482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 787655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 787671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props2033158849740425751.key 787686 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 787686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props15557114919425359705.key 787686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152ns 787702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 791078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 791094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props15557114919425359705.key 791110 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 791110 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.props15698485252227235765.smt2 791110 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.props4598195296689663022.smt2 791125 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.props3095703052885964866.smt2 791125 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.props2794140645403392957.smt2 791125 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.props9917875680161950177.smt2 791141 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.props7523078930868391527.smt2 791141 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.props1628018430146824485.smt2 791159 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.props11116882958721227978.smt2 791159 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.props373147964137762079.smt2 791159 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.props13888741001439277561.smt2 791159 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.props5478255311058098515.smt2 791159 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.props11567084020407720769.smt2 791159 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.props12428213844014916968.smt2 791159 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.props14756761494764411547.smt2 791174 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.props14672871088146650922.smt2 791174 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.props5093803047434090210.smt2 791174 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.props11224445566748105748.smt2 791174 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.props11224287781920163242.smt2 791190 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.props4920978792598491157.smt2 791190 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.props13718740427415070869.smt2 791190 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.props4823476981354904092.smt2 791190 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.props11776673146632864602.smt2 791190 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.props8943499981667521745.smt2 791284 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.props598691691119628625.smt2