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.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.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.003s | 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.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.006s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.003s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.002s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.010s | 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
547357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props4183960720849231590.key 547357 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.1ns 547359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 547723 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 547723 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 547723 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 547723 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 548470 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 551676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 551691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props4183960720849231590.key 551691 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 551723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props15428274016402705131.key 551723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204ns 551723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 554662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 554693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props15428274016402705131.key 554693 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 554693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props17451880165653091481.key 554693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.5ns 554693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 557820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 557835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props17451880165653091481.key 557835 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 557849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props653390211907467898.key 557849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.9ns 557851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 560567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 560598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props653390211907467898.key 560598 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 560598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props2454174802839359683.key 560598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.4ns 560598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 563460 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 563476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props2454174802839359683.key 563476 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 563476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props6012802375458711684.key 563476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.1ns 563476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 566393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s 566424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props6012802375458711684.key 566424 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 566424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props13121589361520105929.key 566424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 328.7ns 566424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 569295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 569311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props13121589361520105929.key 569311 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 569311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props9335354800416861076.key 569311 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.4ns 569311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 572115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 572131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props9335354800416861076.key 572131 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 572131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props13784326349160408619.key 572131 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 288.1ns 572146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 574983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 574998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props13784326349160408619.key 574998 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 574998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props11779833777233891294.key 574998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.7ns 575014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 577973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 577988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props11779833777233891294.key 577988 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 577988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props11390456022890756049.key 577988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.2ns 577988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 580891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 580969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props11390456022890756049.key 580969 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 580969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props1799799348665367079.key 580969 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.2ns 580969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 583882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 583898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props1799799348665367079.key 583898 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 583913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props13542661606118277732.key 583913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.6ns 583913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 586689 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 586704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props13542661606118277732.key 586704 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 586704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props14276172910896834173.key 586704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 288.4ns 586720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 589555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 589570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props14276172910896834173.key 589570 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 589586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props4190872601629137472.key 589586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 476.8ns 589586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 592339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 592354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4190872601629137472.key 592354 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 592370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props7880218207760844170.key 592370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159ns 592370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 595090 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 595106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7880218207760844170.key 595106 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 595121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props18086410640695067403.key 595121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 380.4ns 595121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 597995 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 598010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props18086410640695067403.key 598010 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 598010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props4320033745412968893.key 598010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.3ns 598010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 600777 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 600793 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props4320033745412968893.key 600793 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 600793 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props16899546250197925310.key 600793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.5ns 600808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 603576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 603591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props16899546250197925310.key 603591 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 603643 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 603644 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 603644 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 603645 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 603647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props10615710460277886795.key 603647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133ns 603649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 606456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 606471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props10615710460277886795.key 606471 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 606471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props3388648204463865863.key 606471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 339.5ns 606471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 609144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 609176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3388648204463865863.key 609176 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 609176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props12640744891103336175.key 609176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 314ns 609176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 611864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 611880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props12640744891103336175.key 611880 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 611896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props2450349637959075327.key 611896 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 297.7ns 611896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 614673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 614689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props2450349637959075327.key 614689 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 614704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props12878399048224992851.key 614704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.3ns 614704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 617472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 617488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props12878399048224992851.key 617488 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 618046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props14264552572732525422.key 618046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.1ns 618046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 620978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 620994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props14264552572732525422.key 620994 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 620994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props13307758649143344385.key 620994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 418ns 620994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 623699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 623719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13307758649143344385.key 623719 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 623719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props15124430802815730054.key 623719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 295.1ns 623719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 626438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 626454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props15124430802815730054.key 626454 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 626454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props10718533909263070413.key 626469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 691.9ns 626469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 629269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 629286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props10718533909263070413.key 629286 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 629286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props38827573617912742.key 629286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.7ns 629286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 631867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 631882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props38827573617912742.key 631882 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 631882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props17266241526145708527.key 631882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 746.1ns 631882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 634556 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 634571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props17266241526145708527.key 634571 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 634571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10976324075320781898.key 634571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 814.8ns 634571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 637215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 637231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10976324075320781898.key 637231 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 637231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props361167000344397927.key 637231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 350.5ns 637231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 640038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 640053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props361167000344397927.key 640053 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 640053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props12915305432530085593.key 640053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 354.5ns 640053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 642727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 642743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props12915305432530085593.key 642743 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 642743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props7139433671828704889.key 642743 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 406ns 642758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 645541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 645557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props7139433671828704889.key 645557 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 645574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props4716991463125420160.key 645574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 410.9ns 645574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 648296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 648311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props4716991463125420160.key 648311 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 648327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props3851810797998922791.key 648327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226ns 648327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 651087 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 651102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3851810797998922791.key 651102 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 651102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props10172521184028367279.key 651102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215ns 651118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 653791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 653807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props10172521184028367279.key 653823 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 653838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props14338381830302375091.key 653838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 363.1ns 653838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 656464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 656480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props14338381830302375091.key 656480 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 656480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props10809013033441135697.key 656480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 401.6ns 656496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 659169 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 659169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props10809013033441135697.key 659185 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.9ns 659185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props435156600851175018.key 659185 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.4ns 659185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 662041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s 662057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props435156600851175018.key 662057 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 662057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props15461361687148952458.key 662057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.6ns 662057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 664714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15461361687148952458.key 664714 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 664714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props14522395946049429872.key 664714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 388ns 664714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 667606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 667621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props14522395946049429872.key 667621 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 667621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props16099553288991582757.key 667621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 357.7ns 667621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 670384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 670399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props16099553288991582757.key 670399 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 670399 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 670399 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 670399 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 670399 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 670399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props12244337338880567137.key 670399 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.5ns 670399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 673232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 673248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props12244337338880567137.key 673248 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 673248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props15625094241777752253.key 673248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175ns 673248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 675937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 675953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props15625094241777752253.key 675953 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 675969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props11990973164048279470.key 675969 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 357.7ns 675969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 678987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 679003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props11990973164048279470.key 679003 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 679019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props16856281331165349358.key 679019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.3ns 679019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 681772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 681788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props16856281331165349358.key 681788 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 681788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props12389790918647797298.key 681788 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 371.8ns 681803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 684649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 684664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props12389790918647797298.key 684664 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 684680 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.props12909007317784025570.smt2 684680 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.props18101099865321585763.smt2 684680 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.props17166195752927149785.smt2 684680 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.props10380173407906750583.smt2 684680 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.props7771236647221193546.smt2 684680 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.props9149064930903391281.smt2 684680 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.props6398252447152973637.smt2 684680 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.props2959784227414425059.smt2 684696 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.props12838256063565900491.smt2 684696 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.props6703182031587739108.smt2 684696 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.props8668250733383278959.smt2 684711 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.props310567957985393156.smt2 684711 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.props3207946605261434486.smt2 684711 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.props8078159962090552738.smt2 684711 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.props2576122322913862010.smt2 684711 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.props76858763224671151.smt2 684711 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.props13836759830039141648.smt2 684711 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.props5893753339543096521.smt2 684727 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.props16586784777410341545.smt2 684727 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.props3426239510534998057.smt2 684727 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.props2032724761052719539.smt2 684727 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.props12446447818747096298.smt2 684727 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.props15342824375910593474.smt2 684742 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.props6592631129280408394.smt2