Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.003s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.002s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.002s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.002s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.003s | 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.002s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.002s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.002s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.003s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.007s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.006s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.002s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.003s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.002s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.002s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.003s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.002s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.024s | 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
636286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props4326207874992188589.key 636286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.4ns 636286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 636536 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 636536 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 636536 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 636536 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 637240 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 641507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 641585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props4326207874992188589.key 641647 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 641679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props2024914629174088751.key 641679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.4ns 641694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 645555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 645571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props2024914629174088751.key 645571 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 645586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props6216976469359445680.key 645586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 706.5ns 645586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 649260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props6216976469359445680.key 649276 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 649276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props9696583760188755757.key 649276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.3ns 649276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 653027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 653059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props9696583760188755757.key 653059 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 653074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props7877853818997408574.key 653074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 295.4ns 653090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 656688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 656703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props7877853818997408574.key 656719 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 656719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props7242651252498587656.key 656719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 513.6ns 656735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 660346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props7242651252498587656.key 660346 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 660346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props13873462741452502677.key 660346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.2ns 660361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 664098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props13873462741452502677.key 664098 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 664098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props12145982598885313720.key 664098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.6ns 664113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 667834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 667866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props12145982598885313720.key 667866 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 667866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props11581663514636638638.key 667866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 508.8ns 667866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 671585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 671601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props11581663514636638638.key 671617 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 671617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props16463927270722924983.key 671617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.8ns 671617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 675385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 675401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props16463927270722924983.key 675417 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 675417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props7254731172895005985.key 675417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 551.8ns 675463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 679465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.99s 679480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props7254731172895005985.key 679480 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 679497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props10576875892810937547.key 679497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 674.8ns 679497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 683238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s 683253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props10576875892810937547.key 683269 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 683269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props17861478180007730765.key 683269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.4ns 683269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 686976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 686992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props17861478180007730765.key 686992 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 686992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props14467310625280143770.key 686992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 339.6ns 687008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 690776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props14467310625280143770.key 690776 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 690791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props13555008646531727026.key 690791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 327.6ns 690791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 694592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s 694607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props13555008646531727026.key 694623 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 694639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props13643497042738970207.key 694639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.9ns 694639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 698469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 698484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props13643497042738970207.key 698484 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 698500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props5689639571785057285.key 698500 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.9ns 698500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 702362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props5689639571785057285.key 702362 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 702362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props15719994611477498818.key 702362 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.3ns 702362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 706224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 706240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props15719994611477498818.key 706240 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 706240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props1867296783778729785.key 706240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.7ns 706255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 710008 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 710023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props1867296783778729785.key 710023 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 710023 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 710023 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 710023 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 710023 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 710023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props10338238686162042540.key 710023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 250.7ns 710039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 713760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s 713776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props10338238686162042540.key 713776 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 713792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props12068899943740415483.key 713792 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 698.5ns 713792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s 717561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12068899943740415483.key 717561 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 717561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props16980500556124291865.key 717561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 294.6ns 717576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 721282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 721314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16980500556124291865.key 721314 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 721314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props8904682735293090945.key 721314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.3ns 721314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 725019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 725035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props8904682735293090945.key 725035 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 725035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props5063812445541163561.key 725035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181ns 725051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 728724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 728740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props5063812445541163561.key 728755 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 729209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props14999915781651249755.key 729209 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 838.2ns 729209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 733010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s 733025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props14999915781651249755.key 733025 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 733041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props11117991035410653815.key 733041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 343.2ns 733041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 736949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 736965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props11117991035410653815.key 736965 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.1ns 736980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props7346076186874302702.key 736980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 339.9ns 736980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 740482 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 740498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props7346076186874302702.key 740498 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns 740514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props14091898586746574510.key 740514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 706.5ns 740514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 744046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props14091898586746574510.key 744046 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns 744046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props2750355765026101550.key 744046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 637.7ns 744062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 747612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 747643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props2750355765026101550.key 747643 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 747643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props11584471688167761017.key 747643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 303.4ns 747643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 751254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props11584471688167761017.key 751254 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.3ns 751254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props245302937778213328.key 751254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 717.6ns 751270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 754944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props245302937778213328.key 754944 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 754944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props9798006277927098705.key 754944 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.2ns 754961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 758603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 758618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props9798006277927098705.key 758618 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 758637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props5661291279401198995.key 758637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 501.3ns 758637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 762308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props5661291279401198995.key 762308 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 762323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props13257486703809993943.key 762323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 697.1ns 762323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765981 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 765997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props13257486703809993943.key 766012 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 766012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props2093541653177451710.key 766012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.7ns 766012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 769655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props2093541653177451710.key 769671 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 769671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props590144837521220372.key 769671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 580.7ns 769671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 773313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 773329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props590144837521220372.key 773345 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 773345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props8262355986194073822.key 773345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.4ns 773345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 777020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 777036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8262355986194073822.key 777036 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 777051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props7617629011140585251.key 777051 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.3ns 777051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 780850 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 780865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props7617629011140585251.key 780865 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 780881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props3792269198983275086.key 780881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 713.3ns 780881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 784665 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.78s 784681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props3792269198983275086.key 784681 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27.4ns 784696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props7194059792695275763.key 784696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.2ns 784696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 788385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 788416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7194059792695275763.key 788416 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 788416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props16342419685599529204.key 788416 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 646.8ns 788416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 791933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 791965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props16342419685599529204.key 791965 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 791965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props16235508093365755793.key 791965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.7ns 791980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 795436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 795452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props16235508093365755793.key 795452 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 795452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props6711162407275067786.key 795452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.7ns 795467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 799020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 799036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props6711162407275067786.key 799051 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 799051 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 799051 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 799051 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 799051 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 799051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props9511956690615975718.key 799051 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.6ns 799051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 802569 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 802585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props9511956690615975718.key 802585 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 802600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props2067441981835164340.key 802600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225ns 802600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 806166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 806182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2067441981835164340.key 806182 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 806197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props13560456975279245317.key 806197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 437.7ns 806197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 809793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 809809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13560456975279245317.key 809809 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 809825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props6244111961225891940.key 809825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.3ns 809825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 813421 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 813437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props6244111961225891940.key 813437 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 813452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props13756714688167312239.key 813452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 483.5ns 813452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 817049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 817064 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props13756714688167312239.key 817064 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 817080 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.props6396281543247718914.smt2 817080 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.props3451053009905341416.smt2 817080 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.props1659485214361671677.smt2 817080 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.props6895784900996554790.smt2 817095 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.props7351475665333611260.smt2 817095 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.props3063767452935489403.smt2 817095 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.props9013107586101653074.smt2 817095 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.props4377825240611021850.smt2 817111 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.props4908952026726951298.smt2 817127 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.props8370017780188790433.smt2 817127 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.props7150917344429036916.smt2 817127 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.props1275852384415689364.smt2 817142 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.props14265431706974867128.smt2 817142 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.props719947543591509693.smt2 817142 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.props16654013812197908759.smt2 817142 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.props3641562452251897807.smt2 817158 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.props7026933482027371365.smt2 817158 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.props6257819740221903417.smt2 817158 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.props15535987191270074961.smt2 817158 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.props17369495924444341952.smt2 817158 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.props5158515963857081738.smt2 817174 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.props14175652631430718107.smt2 817174 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.props3553168761810024431.smt2 817189 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.props16524995617479152245.smt2