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.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.002s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | 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.006s | 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.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | 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.006s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.002s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.002s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.002s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
531355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props2979535036028889806.key 531355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.7ns 531355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 531495 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 531495 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 531495 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 531495 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 531980 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 535232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 535248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props2979535036028889806.key 535248 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 535279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props7911347188355550110.key 535279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.1ns 535279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 538014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 538029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props7911347188355550110.key 538029 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns 538045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props10552153280064674321.key 538045 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.5ns 538045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 540656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 540672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props10552153280064674321.key 540672 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 540672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props18085563882775209602.key 540672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242ns 540687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 543267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 543283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props18085563882775209602.key 543283 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 543283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props6404809200870909984.key 543283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 488.1ns 543283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 545909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 545925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props6404809200870909984.key 545925 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.8ns 545925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props10426811139660813766.key 545925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.9ns 545925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 548505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 548520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10426811139660813766.key 548536 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 548536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props2640417036715543953.key 548536 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.6ns 548536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 551162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 551178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props2640417036715543953.key 551178 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 551178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props8954617049970368471.key 551178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135ns 551178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 553805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 553836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props8954617049970368471.key 553836 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 553836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props9082295263417023564.key 553836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.2ns 553836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 556572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 556587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props9082295263417023564.key 556603 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 556603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props1281131612257248941.key 556603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.2ns 556603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 559260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 559276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props1281131612257248941.key 559276 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 559276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props12612482859057739694.key 559276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.8ns 559291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 561935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 561950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12612482859057739694.key 561950 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5ns 561950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props5329765310917972052.key 561966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 683.6ns 561966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 564578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 564593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props5329765310917972052.key 564609 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6ns 564609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props14424098250761079705.key 564609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.8ns 564609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 567407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 567423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props14424098250761079705.key 567423 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.3ns 567423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props14532446420823048633.key 567438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.5ns 567438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 570095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 570111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props14532446420823048633.key 570127 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.2ns 570127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props17758655326416035998.key 570127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.8ns 570127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 572784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 572800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props17758655326416035998.key 572800 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 572800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props16276817191959612851.key 572800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.3ns 572816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 575598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 575614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16276817191959612851.key 575629 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 575629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props10683788146440810703.key 575629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.2ns 575629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 578287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 578302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10683788146440810703.key 578302 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 578302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props18178490475824571888.key 578302 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.5ns 578318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 580991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 581006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props18178490475824571888.key 581006 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.3ns 581006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props17112304023177285451.key 581006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.2ns 581022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 583820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 583836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17112304023177285451.key 583836 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5ns 583836 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 583836 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 583836 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 583836 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 583836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props12211059030235067386.key 583836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.9ns 583852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 586525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 586540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props12211059030235067386.key 586540 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 586556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props1141760777061314327.key 586556 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.1ns 586556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 589214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 589229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props1141760777061314327.key 589229 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 589229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props14658463539505451887.key 589229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.6ns 589229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 592043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 592044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props14658463539505451887.key 592059 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 592059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props551315448506097783.key 592059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.6ns 592059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 594718 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 594749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props551315448506097783.key 594749 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 594749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props17094094230443609880.key 594749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255ns 594749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 597438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 597453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props17094094230443609880.key 597453 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 597751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props601689265225166204.key 597751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.3ns 597751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 600533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 600549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props601689265225166204.key 600549 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 600564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props5005879696169719193.key 600564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.4ns 600564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 603206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 603222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props5005879696169719193.key 603238 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.3ns 603238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props12062188115617551600.key 603238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.9ns 603238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 605895 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 605911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props12062188115617551600.key 605911 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 605911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props4378945023085316009.key 605911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.8ns 605911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 608663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 608679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props4378945023085316009.key 608679 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 608695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props4032476654690539165.key 608695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.4ns 608695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 611336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 611352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props4032476654690539165.key 611352 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.3ns 611367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props1288779649010040022.key 611367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.7ns 611367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 614135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 614150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1288779649010040022.key 614150 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 614150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props17596095430019152017.key 614150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.2ns 614150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 616808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 616824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props17596095430019152017.key 616824 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 616824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props11009970522439212383.key 616824 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.5ns 616824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 619465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 619481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props11009970522439212383.key 619481 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 619497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props16111896002071122956.key 619497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197ns 619497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 622250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 622266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props16111896002071122956.key 622266 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 622266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props4415373388297661294.key 622281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 435.2ns 622281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 624924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 624939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props4415373388297661294.key 624955 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.2ns 624955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props7619010877900750571.key 624955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 307.5ns 624955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 627723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 627739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props7619010877900750571.key 627739 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 627754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props2453648481225059345.key 627754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.9ns 627754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 630381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 630397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props2453648481225059345.key 630397 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.2ns 630397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props8788126349015655262.key 630397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138ns 630397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 633132 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 633147 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8788126349015655262.key 633147 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 633147 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props8646190124183654580.key 633147 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 313.2ns 633163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 635805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props8646190124183654580.key 635805 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 635805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props4621609322811827143.key 635805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 115.9ns 635805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 638541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 638557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4621609322811827143.key 638557 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 638572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props12777559369683240426.key 638572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.3ns 638572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 641214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 641230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props12777559369683240426.key 641230 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 641230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props937866472521960224.key 641230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.6ns 641230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 644311 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 644326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props937866472521960224.key 644326 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 644326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props10027035634165282237.key 644326 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.1ns 644326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 647249 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 647265 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10027035634165282237.key 647265 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 647281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props469240590277695966.key 647281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.4ns 647281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 650267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 650282 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props469240590277695966.key 650282 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 650298 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 650298 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 650298 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 650298 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 650298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props4818416289981626932.key 650298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 339ns 650298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s 652863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props4818416289981626932.key 652863 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.2ns 652879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props13747946105502656266.key 652879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.8ns 652879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 655426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props13747946105502656266.key 655426 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 655442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props15778588444846760945.key 655442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 409.1ns 655442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 657959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.52s 657974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props15778588444846760945.key 657974 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 657990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props6015655585332001048.key 657990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.9ns 657990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 660632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props6015655585332001048.key 660647 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 660647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props4087331114326408213.key 660647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.2ns 660647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 663259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 663274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props4087331114326408213.key 663274 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5ns 663274 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.props5537956670497436974.smt2 663274 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.props10244324785648890911.smt2 663274 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.props5890548369486035685.smt2 663290 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.props11859077450538438896.smt2 663290 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.props18103938186516840725.smt2 663290 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.props14245996779762347768.smt2 663290 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.props2034315101653680378.smt2 663290 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.props713803755725088112.smt2 663290 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.props9277552881328828331.smt2 663306 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.props17800247733333591012.smt2 663306 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.props14619209779300635867.smt2 663306 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.props473428257811646785.smt2 663306 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.props4760445231653853559.smt2 663306 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.props6487209175234333914.smt2 663306 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.props4695026579289445341.smt2 663306 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.props10145545701013985454.smt2 663321 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.props17700016410243133614.smt2 663321 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.props7060447567370026090.smt2 663321 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.props527250990517138735.smt2 663321 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.props14487117066269721885.smt2 663321 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.props12028968308458153354.smt2 663321 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.props3974611345578536944.smt2 663321 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.props10024322100885055775.smt2 663321 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.props1811286604829710253.smt2