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.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.004s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.003s | 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.006s | 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.003s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.002s | 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.003s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.006s | 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
693511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props15196985941030021430.key 693511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.9ns 693511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693762 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 693762 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 693762 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 693762 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 694489 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 698380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 698395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props15196985941030021430.key 698395 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 698427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props6890236983299253892.key 698427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.48ms 698442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702454 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s 702470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props6890236983299253892.key 702485 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 702501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props9603470649617417027.key 702501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.2ns 702501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 706005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 706020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props9603470649617417027.key 706020 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 706020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props9084941811203095427.key 706036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.3ns 706036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 709509 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 709524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props9084941811203095427.key 709524 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 709540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props5686277612695554055.key 709540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.7ns 709540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 712952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 712968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5686277612695554055.key 712968 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 712968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props17427930971387292950.key 712968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 405.5ns 712984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 716554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 716585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props17427930971387292950.key 716585 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 716601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props16109282876780137684.key 716601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.2ns 716601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 720663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 720679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props16109282876780137684.key 720679 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 720694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props1051952000226343369.key 720694 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 385.3ns 720694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 724118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props1051952000226343369.key 724118 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 724118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props14759425840940505025.key 724118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.3ns 724134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 727389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 727404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props14759425840940505025.key 727404 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 727404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props9963331281485744534.key 727404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 276.2ns 727420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 730791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 730808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props9963331281485744534.key 730808 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 730823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props12572841356651100658.key 730823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.9ns 730823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 734436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12572841356651100658.key 734436 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 734451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props17365604081084699264.key 734451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.7ns 734451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 738189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s 738205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props17365604081084699264.key 738205 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 738205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props2025213945891453775.key 738205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 318.6ns 738220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 741627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props2025213945891453775.key 741627 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 741643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props34051911875474951.key 741643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 543.9ns 741643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 745103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 745118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props34051911875474951.key 745134 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 745134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props9464240672777559204.key 745134 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.2ns 745134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 748594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 748609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props9464240672777559204.key 748609 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 748625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props9140115797929350761.key 748625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 438.4ns 748625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 752025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props9140115797929350761.key 752025 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 752025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props12835588957189788673.key 752025 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 445.3ns 752041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 755641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 755641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props12835588957189788673.key 755657 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 755657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props1073593601830796597.key 755657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 368.9ns 755657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 759249 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 759265 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props1073593601830796597.key 759265 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.4ns 759285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props8731783786531757184.key 759286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.4ns 759289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 762644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props8731783786531757184.key 762644 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 762644 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 762644 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 762644 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 762644 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 762660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props13495915937429546352.key 762660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.4ns 762660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 766109 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 766125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props13495915937429546352.key 766125 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 766125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props18330299484675317361.key 766125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 419.5ns 766140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769599 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 769633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props18330299484675317361.key 769635 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 769640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props10350107640880845919.key 769640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.8ns 769644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 773123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 773139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props10350107640880845919.key 773154 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 773170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props15852807283611744707.key 773170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.2ns 773170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 776789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 776805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props15852807283611744707.key 776805 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 776805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props2362791598594627802.key 776805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.4ns 776805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 780354 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 780370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props2362791598594627802.key 780370 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 780847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props1539307124394173330.key 780847 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.7ns 780847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 784411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 784427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props1539307124394173330.key 784427 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 784427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props14090633743252391276.key 784427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 577.3ns 784443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 787789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 787804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props14090633743252391276.key 787804 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.1ns 787804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props14586816697570976797.key 787804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 857.4ns 787804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 791479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 791494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props14586816697570976797.key 791494 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 791510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props3778461684587739906.key 791510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.1ns 791510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 795236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s 795251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3778461684587739906.key 795251 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 795267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props13222534429914745370.key 795267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 318.4ns 795267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 798844 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 798859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13222534429914745370.key 798859 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 798875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props9699872442442381544.key 798875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 453.4ns 798875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 802347 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 802363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9699872442442381544.key 802363 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 802363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props4098784287046380155.key 802363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.24ms 802363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 805915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 805930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props4098784287046380155.key 805930 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 805946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props682023054226136804.key 805946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.2ns 805946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 809590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 809621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props682023054226136804.key 809621 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 809621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props9951781998911101099.key 809621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 599.4ns 809636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 813423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 813455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props9951781998911101099.key 813455 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 813455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props4282316523217238116.key 813455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.5ns 813455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 816899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 816914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props4282316523217238116.key 816914 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 816930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props8937260677142775475.key 816930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 452.5ns 816930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 820443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 820458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props8937260677142775475.key 820458 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.9ns 820458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props8186999333096301602.key 820458 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299.3ns 820474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 823886 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 823902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props8186999333096301602.key 823902 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 823917 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props1147397047216278543.key 823917 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 564.6ns 823917 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 827451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 827482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props1147397047216278543.key 827482 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 827498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props17943799032491913533.key 827498 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.26ms 827498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 831063 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 831078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props17943799032491913533.key 831078 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 831094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props7814821734490424574.key 831094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 320.5ns 831094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 834463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 834479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props7814821734490424574.key 834479 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 834495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props2200777157039595278.key 834495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 404.3ns 834495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 837815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 837831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2200777157039595278.key 837831 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 837846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props5298361659689454657.key 837846 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254ns 837846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 841172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 841187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props5298361659689454657.key 841203 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 841203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props13186617041167435617.key 841203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.3ns 841203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 844551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 844598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props13186617041167435617.key 844598 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 844598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props4153951932751809246.key 844598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 343.1ns 844614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 848147 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 848162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props4153951932751809246.key 848178 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 848178 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 848178 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 848178 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 848178 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 848178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props13793137204600467138.key 848178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.2ns 848178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 851615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 851631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props13793137204600467138.key 851646 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 43.2ns 851646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props17594881575460982668.key 851646 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 250.2ns 851646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 854970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 854986 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props17594881575460982668.key 854986 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 855001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props17464774092352201817.key 855001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 322.4ns 855001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 858354 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 858369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props17464774092352201817.key 858369 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 858369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props14731111548263801011.key 858369 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.5ns 858369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 861747 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 861763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14731111548263801011.key 861763 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 861763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props775664979820964429.key 861763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.4ns 861763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 865522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 865537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props775664979820964429.key 865537 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 865537 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.props7392085153159980929.smt2 865553 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.props17173369053133655908.smt2 865553 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.props16916319209245090839.smt2 865553 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.props11769821111722260783.smt2 865553 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.props10220749432998662205.smt2 865553 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.props4192583578590544034.smt2 865553 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.props5639299119452934400.smt2 865569 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.props6979730844945191960.smt2 865569 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.props4017511070902038740.smt2 865569 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.props10844238355671582922.smt2 865569 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.props17762382516085398058.smt2 865569 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.props2033934847817844045.smt2 865569 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.props4126478057730297011.smt2 865584 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.props10748355906105416375.smt2 865584 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.props3578563132909140643.smt2 865584 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.props13101758648123442477.smt2 865584 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.props13965514912214477978.smt2 865584 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.props2445873552759807396.smt2 865584 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.props12402752882395878926.smt2 865600 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.props879877247981486970.smt2 865600 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.props6653778295409189283.smt2 865600 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.props17639567040005056595.smt2 865600 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.props4859880429663638900.smt2 865616 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.props11236895902135837842.smt2