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] | 0s | 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.002s | 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.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.002s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.003s | 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.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.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
606261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props419272007552497417.key 606261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.4ns 606261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 606404 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 606404 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 606420 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 606420 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 607112 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 610564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 610580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props419272007552497417.key 610580 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 610611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props61241615889023807.key 610611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.8ns 610611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 613717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 613733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props61241615889023807.key 613733 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 613749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props17429249787216081663.key 613749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 401.6ns 613749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 616866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 616897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props17429249787216081663.key 616897 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 93.4ns 616897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props3771528466045520413.key 616897 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.9ns 616897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 620199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 620214 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3771528466045520413.key 620230 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 620230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props3365396025595246448.key 620230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.9ns 620245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 623877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 623908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props3365396025595246448.key 623908 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 623908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props12175896843567554311.key 623908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.3ns 623908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 627036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 627051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props12175896843567554311.key 627051 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 627051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10113896682410830403.key 627051 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229ns 627051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 630162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 630178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10113896682410830403.key 630178 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 630194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props5998326033011512930.key 630194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.1ns 630194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 633231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 633247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5998326033011512930.key 633247 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 633262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props13774460740495867517.key 633262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.5ns 633262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 636689 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 636705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props13774460740495867517.key 636721 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 636725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props5840163665433569163.key 636725 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.9ns 636725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 640332 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 640348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props5840163665433569163.key 640348 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 640364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props17316050415116529400.key 640364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.1ns 640364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 643461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 643476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props17316050415116529400.key 643476 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 643492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props12100486626817999833.key 643492 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.8ns 643492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 646494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 646510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props12100486626817999833.key 646510 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 646510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props2312337145131973204.key 646510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.5ns 646510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 649563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props2312337145131973204.key 649563 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 649563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props9684411517516601030.key 649563 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 406.3ns 649579 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652705 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 652721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9684411517516601030.key 652721 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 652721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props16978726927475648514.key 652721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 418.1ns 652736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655942 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 655958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props16978726927475648514.key 655958 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 655974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props11706371052419946021.key 655974 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 314ns 655974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 659087 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 659118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props11706371052419946021.key 659119 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 659119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props11014641316295058942.key 659119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.6ns 659119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 662168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 662183 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props11014641316295058942.key 662183 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 662199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props5042728805200314964.key 662199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.2ns 662199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 665285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 665300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props5042728805200314964.key 665316 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 665316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props17825389852778389634.key 665316 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.4ns 665316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 668458 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 668474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17825389852778389634.key 668474 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 668474 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 668474 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 668474 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 668474 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 668474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props3384232574773213725.key 668474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.6ns 668490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 671754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 671773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props3384232574773213725.key 671773 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 671773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props18184271573098068600.key 671773 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.9ns 671786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 674803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 674818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props18184271573098068600.key 674818 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 674818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props5361288718709651151.key 674818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.8ns 674834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 677907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 677923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props5361288718709651151.key 677939 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 677939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props17379443673840044805.key 677939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 264.3ns 677939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 681037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 681052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props17379443673840044805.key 681052 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 681068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props4775622861723762841.key 681068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.5ns 681068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 684195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 684226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props4775622861723762841.key 684226 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 684992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props4811154026666609297.key 684992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 657.3ns 684992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 688127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 688143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props4811154026666609297.key 688143 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 688143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props9622992697816713819.key 688143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282.1ns 688158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 691365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 691381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props9622992697816713819.key 691397 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 691397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props18036147371776355179.key 691397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 535.6ns 691397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 694461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 694492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props18036147371776355179.key 694492 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 694492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props12792461125418224183.key 694492 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.8ns 694492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 697587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 697602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props12792461125418224183.key 697602 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 697602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props9882165760946204221.key 697602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.2ns 697602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 700634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 700650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props9882165760946204221.key 700650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 700650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props17482896028957408177.key 700650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 383.6ns 700650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 703824 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 703840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props17482896028957408177.key 703840 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 703840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props12175584220706563936.key 703856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.32ms 703856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 706951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 706967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props12175584220706563936.key 706967 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 706967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props5431737044076485891.key 706967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.3ns 706967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 710256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 710272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5431737044076485891.key 710272 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 710272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props8113196057144993798.key 710272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 370.3ns 710288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 713365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 713380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props8113196057144993798.key 713380 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 713396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props4760539818173700302.key 713396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.7ns 713396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 716440 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 716455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props4760539818173700302.key 716455 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 716455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props8881007684068120486.key 716455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 336.4ns 716471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 719532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 719563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props8881007684068120486.key 719563 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 719563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props13428638681558092169.key 719563 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.9ns 719563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 722674 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 722690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13428638681558092169.key 722690 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 722690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props17632461882731479207.key 722690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 401.5ns 722690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 725819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 725835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props17632461882731479207.key 725835 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 725835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props3921917013103341862.key 725835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 921.7ns 725835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 728945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 728961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props3921917013103341862.key 728961 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 728961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props4998298411268421670.key 728961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.4ns 728976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 732228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 732246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4998298411268421670.key 732260 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 732260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props16364517150753541637.key 732260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 386.1ns 732260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 735349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 735364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16364517150753541637.key 735364 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 735364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props10556068487928196624.key 735364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.1ns 735364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 738445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 738460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10556068487928196624.key 738460 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 738476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props7284941866771634828.key 738476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.2ns 738476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 741540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7284941866771634828.key 741540 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 741540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props2638087009678418400.key 741540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136ns 741556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 744729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props2638087009678418400.key 744745 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 744745 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 744745 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 744745 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 744745 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 744745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props16083727251047249734.key 744745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.6ns 744745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 747856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 747871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props16083727251047249734.key 747887 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 747887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props12186277643593267744.key 747887 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.9ns 747887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751161 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 751177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12186277643593267744.key 751177 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 751177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props1945991928861344925.key 751177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.8ns 751177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754264 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 754280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props1945991928861344925.key 754280 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 754295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props12062481251899333178.key 754295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.8ns 754295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 757343 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 757359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props12062481251899333178.key 757359 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 757359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props7766815119673728513.key 757359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 382.2ns 757359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 760492 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 760508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props7766815119673728513.key 760508 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.6ns 760508 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.props1403386574454511601.smt2 760508 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.props9847994384416614035.smt2 760508 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.props11634101477411584112.smt2 760508 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.props3293765433698519479.smt2 760524 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.props1938623604745956409.smt2 760524 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.props9026060231424642528.smt2 760524 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.props14971582610513696614.smt2 760524 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.props7338094610579530079.smt2 760524 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.props7889331673952647866.smt2 760524 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.props6055780360049258012.smt2 760524 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.props10952372610036693320.smt2 760524 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.props14762573955039253740.smt2 760524 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.props12242346626641080982.smt2 760524 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.props15224719262357839063.smt2 760524 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.props8664447675110826067.smt2 760524 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.props16044530257641152730.smt2 760539 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.props18198779297082171819.smt2 760539 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.props9326152549175893652.smt2 760539 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.props16237229449823672087.smt2 760539 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.props12930552232782031970.smt2 760539 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.props12773556981614591754.smt2 760539 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.props6413279694112864699.smt2 760539 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.props11875894991647003399.smt2 760539 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.props3071751202561378126.smt2