Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.003s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.002s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.005s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.002s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.002s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.002s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
529926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props5406187179772905515.key 529926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179ns 529926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 530051 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 530067 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 530067 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 530067 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 530535 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 533726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 533742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props5406187179772905515.key 533742 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 533757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props3488745161308200291.key 533757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.1ns 533773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 536353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 536369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props3488745161308200291.key 536369 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 536369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props16053904151695578496.key 536369 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.2ns 536385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 538982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 538997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props16053904151695578496.key 538997 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 538997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props5518999102068454256.key 538997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.4ns 538997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 541686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 541701 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props5518999102068454256.key 541701 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 541701 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props8479857821819088173.key 541701 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.6ns 541701 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 544423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 544423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props8479857821819088173.key 544438 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 544438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props6375131396706009339.key 544438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.7ns 544438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 547143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 547159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props6375131396706009339.key 547159 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 547175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props3720627819533605665.key 547175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150ns 547175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 549848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 549863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props3720627819533605665.key 549863 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 549879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props16861633467466112464.key 549879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.7ns 549879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 552615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 552632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props16861633467466112464.key 552632 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 552648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props555358077874379554.key 552648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.3ns 552648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 555352 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 555367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props555358077874379554.key 555367 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 555367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props8898659206899718809.key 555367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.8ns 555383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 558197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 558212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props8898659206899718809.key 558212 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 558212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props15537675574863345749.key 558212 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227ns 558212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 560980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 560995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props15537675574863345749.key 560995 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 560995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props1472218185791096562.key 560995 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 689.6ns 561011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 563841 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 563857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props1472218185791096562.key 563857 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 563872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props10848003263134032577.key 563872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.9ns 563872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 566577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 566592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props10848003263134032577.key 566592 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 566592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props6084546061023168819.key 566592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.8ns 566592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 569267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 569283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6084546061023168819.key 569283 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 569298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props14902057782822989009.key 569298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 373.4ns 569298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 572158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 572174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props14902057782822989009.key 572174 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 572191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props11132288206257154201.key 572191 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.1ns 572191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 574926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 574941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props11132288206257154201.key 574941 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 574941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props10302153766967460574.key 574941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.6ns 574941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 577755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 577771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10302153766967460574.key 577771 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 577771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props7658462438219951942.key 577771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 401.7ns 577771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 580523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 580538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7658462438219951942.key 580538 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 580554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props15025089852045545143.key 580554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.7ns 580554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 583446 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 583462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props15025089852045545143.key 583462 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 583462 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 583462 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 583462 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 583462 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 583477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props6713394170522358990.key 583477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.8ns 583477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 586213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 586229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props6713394170522358990.key 586229 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 586244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props3902153129931991398.key 586244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.4ns 586244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 589090 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s 589106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3902153129931991398.key 589106 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 589106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props9869802953173506857.key 589106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.5ns 589121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 591843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 591858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props9869802953173506857.key 591858 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 591874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props15386631839542688237.key 591874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.8ns 591874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 594704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 594719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props15386631839542688237.key 594719 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 594735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props14933861295520487161.key 594735 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.2ns 594735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 597565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 597581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props14933861295520487161.key 597581 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 597878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props16668141258796884482.key 597878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.8ns 597878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 600629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 600645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props16668141258796884482.key 600645 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 600645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props10567684231680212439.key 600661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 492.1ns 600661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 603507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s 603522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10567684231680212439.key 603522 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 603522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props6672529580970324910.key 603522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.5ns 603522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 606195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 606195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props6672529580970324910.key 606211 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 606211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props2675416257441589647.key 606211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282.6ns 606211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 609059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 609075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2675416257441589647.key 609075 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 609075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props3670231785184413227.key 609075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.9ns 609075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 611778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 611794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props3670231785184413227.key 611810 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 611810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props9283285923032446317.key 611810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 378.6ns 611810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 614608 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 614624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9283285923032446317.key 614624 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 614624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props6914017495465767854.key 614640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 980.8ns 614640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 617454 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 617470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props6914017495465767854.key 617470 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 617470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props4758279573160545643.key 617470 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.7ns 617470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 620173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 620189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4758279573160545643.key 620189 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 620189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props7500170572397779113.key 620189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.3ns 620189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 622990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 623005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props7500170572397779113.key 623005 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 623021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props802090542102629725.key 623021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.1ns 623021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 625773 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 625789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props802090542102629725.key 625789 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 625789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props10096185055900019778.key 625789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 352.1ns 625789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 628477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 628494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props10096185055900019778.key 628494 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 628494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props16132282649402539271.key 628494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.7ns 628509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 631355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s 631370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props16132282649402539271.key 631370 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 631370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props8118113514686027721.key 631370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.7ns 631370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 634169 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 634185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8118113514686027721.key 634185 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 634185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props18441759759382469906.key 634185 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 404.4ns 634185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 636983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 636983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props18441759759382469906.key 636998 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 636998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props7535082543260320296.key 636998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.7ns 636998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 639688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 639704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props7535082543260320296.key 639704 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 639720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props14052549417714462428.key 639720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157ns 639720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 642503 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 642518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props14052549417714462428.key 642518 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 642533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props17751242862594740351.key 642533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.8ns 642533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 645316 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 645332 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props17751242862594740351.key 645332 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 645332 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props16490157863142527362.key 645332 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.08ms 645348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 648146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 648162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props16490157863142527362.key 648162 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 648162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props10630180280317049540.key 648162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.3ns 648162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 650840 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 650857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props10630180280317049540.key 650857 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 650857 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 650857 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 650857 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 650857 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 650857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props13762010293700254398.key 650857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.9ns 650857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 653604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 653620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props13762010293700254398.key 653620 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 653620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props10001804990494896259.key 653620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.9ns 653636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 656418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 656433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props10001804990494896259.key 656433 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 656433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props12246606308428486423.key 656433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.2ns 656433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 659216 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 659232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props12246606308428486423.key 659232 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 659232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props501953792404217817.key 659232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.6ns 659232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 662046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 662061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props501953792404217817.key 662061 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 662061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props12479946610511959562.key 662061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.9ns 662061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 664891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props12479946610511959562.key 664891 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 664891 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.props370718534545935361.smt2 664891 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.props7470933835999636226.smt2 664891 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.props2365341826253423821.smt2 664891 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.props8991198238744485637.smt2 664907 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.props2616576615766692519.smt2 664907 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.props13333148344691604596.smt2 664907 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.props10340643322478551338.smt2 664907 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.props16382094482330204628.smt2 664907 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.props10805507892735432149.smt2 664907 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.props9531902334972319948.smt2 664907 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.props8259364802999061785.smt2 664907 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.props11357652342233622136.smt2 664907 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.props1370622860867161051.smt2 664907 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.props12484865983706816239.smt2 664907 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.props15764344267851494892.smt2 664923 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.props8478807941252839629.smt2 664923 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.props11754553369867110756.smt2 664923 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.props11133396986769123967.smt2 664923 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.props7235196217044854511.smt2 664923 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.props3440341979975248757.smt2 664923 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.props18164356625523140460.smt2 664923 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.props2707461149512521454.smt2 664923 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.props9495774054341323518.smt2 664923 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.props2240722649016056092.smt2