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.001s | 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.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.004s | 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.002s | 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.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.004s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.003s | 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.002s | 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.002s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.010s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.003s | 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
624914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props14935796548410521936.key 624914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.8ns 624914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 625180 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 625180 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 625180 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 625180 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 625696 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 629433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s 629449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props14935796548410521936.key 629464 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 629480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props10124132947514059762.key 629480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.2ns 629480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 632731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10124132947514059762.key 632731 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 632731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props10767691888184520128.key 632731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140ns 632731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 635936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props10767691888184520128.key 635936 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 635952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props9204453133558233910.key 635952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.5ns 635952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 639157 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 639173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props9204453133558233910.key 639173 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 639173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props5470982074195502176.key 639173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.6ns 639173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 642394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 642409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5470982074195502176.key 642409 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 642409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props3450766882517742904.key 642409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 359.4ns 642409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 645631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 645646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props3450766882517742904.key 645646 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 645662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10141169602179296382.key 645662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.8ns 645662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 648835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 648851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10141169602179296382.key 648851 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 648867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props160512639677261154.key 648867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.5ns 648867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 652181 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props160512639677261154.key 652181 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 652196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props11953391230121706114.key 652196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 472ns 652196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 655573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props11953391230121706114.key 655573 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 655573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props8298326135179101331.key 655573 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.5ns 655589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658840 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 658871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props8298326135179101331.key 658871 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 658871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props8231809977403713277.key 658871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142ns 658918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 662358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 662389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props8231809977403713277.key 662389 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 662389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props7958427065967360716.key 662389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.4ns 662389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 665813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 665829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props7958427065967360716.key 665829 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 665829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props2273549719407728662.key 665829 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.2ns 665829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 669034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 669050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props2273549719407728662.key 669050 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 669050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props9091000315706935295.key 669050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.5ns 669050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 672442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9091000315706935295.key 672442 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 672442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props8101923728422315549.key 672442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.4ns 672458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 675710 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 675726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props8101923728422315549.key 675726 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 675742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props1596884996097078878.key 675742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.6ns 675742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 679087 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 679103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1596884996097078878.key 679103 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 679119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props10130922307120198523.key 679119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.4ns 679119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 682323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 682339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10130922307120198523.key 682339 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 682339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props15169398365253315749.key 682339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 310.8ns 682355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 685687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 685701 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props15169398365253315749.key 685701 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 685717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props472120840064323787.key 685717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158ns 685717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 689156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 689171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props472120840064323787.key 689171 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 689171 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 689171 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 689171 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 689171 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 689171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props11026812946161913272.key 689171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.9ns 689187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 692486 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 692502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props11026812946161913272.key 692502 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 692502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props9981238328874553799.key 692502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.3ns 692517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 696035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 696051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props9981238328874553799.key 696051 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 696066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props11884039285583813041.key 696066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.6ns 696066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 699521 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 699537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props11884039285583813041.key 699553 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 699553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props3385582753973303209.key 699553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.2ns 699568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 702883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props3385582753973303209.key 702883 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 702883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props5610741143363525673.key 702883 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.8ns 702899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 706323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 706339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props5610741143363525673.key 706339 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 706683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props8746295314242382523.key 706683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.7ns 706683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 709982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 709998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props8746295314242382523.key 709998 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 709998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props13820154453324776233.key 709998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 322.8ns 709998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 713296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 713312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13820154453324776233.key 713312 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 713312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props15198134615181617577.key 713312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.5ns 713312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 716611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 716626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props15198134615181617577.key 716626 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 716626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props2865351439339299284.key 716626 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.5ns 716642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 719973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 720004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2865351439339299284.key 720004 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 720004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props14817285384225336437.key 720004 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 385.5ns 720004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 723303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 723318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props14817285384225336437.key 723318 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 723334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props15933875541373967641.key 723334 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 404.1ns 723334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 726509 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 726524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props15933875541373967641.key 726524 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 726540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props4221932451273673549.key 726540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.4ms 726540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 729870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 729903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props4221932451273673549.key 729903 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 729903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props508778943979389243.key 729903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 297ns 729903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 733201 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 733217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props508778943979389243.key 733217 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 733217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props10554285665098401050.key 733217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 363ns 733217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 736469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 736501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props10554285665098401050.key 736501 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 736501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props11668491307605524831.key 736501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.7ns 736501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 739877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 739893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props11668491307605524831.key 739893 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 739893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props17834908075191719100.key 739893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.5ns 739893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 743097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 743114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props17834908075191719100.key 743114 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 743114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props9681895070352839123.key 743114 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.4ns 743114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 746366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 746382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props9681895070352839123.key 746382 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 746382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props10259397965926369661.key 746382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 373.9ns 746382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 749837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 749868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props10259397965926369661.key 749868 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 749868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props16735824913357206202.key 749868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.5ns 749868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 753198 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 753213 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16735824913357206202.key 753213 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 753213 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props7949196520074270248.key 753213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 317.5ns 753229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 756544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 756560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props7949196520074270248.key 756560 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 756575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props9211418730709851770.key 756575 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.1ns 756575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 759859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 759874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props9211418730709851770.key 759874 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 759874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props9235952867733336469.key 759874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.4ns 759890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 763075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 763091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props9235952867733336469.key 763091 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 763091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props15600455642779461920.key 763091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.2ns 763091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 766375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 766391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props15600455642779461920.key 766391 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 766407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props11139745675291398190.key 766407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.2ns 766407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 769784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11139745675291398190.key 769784 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 769784 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 769784 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 769784 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 769784 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 769800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props8967446050502611303.key 769800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.9ns 769800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 773207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 773223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props8967446050502611303.key 773238 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 773238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props13546526428006105923.key 773238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.2ns 773238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 776553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 776569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props13546526428006105923.key 776569 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 776584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props3578951582733239724.key 776584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.1ns 776584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 779774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 779789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props3578951582733239724.key 779789 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 779805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props8698034563025139592.key 779805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 306.7ns 779805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 783041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 783056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props8698034563025139592.key 783056 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 783072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props5028996588483032808.key 783072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.6ns 783072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 786356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 786371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props5028996588483032808.key 786371 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 786371 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.props4742484350009962525.smt2 786387 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.props15886767471057981113.smt2 786387 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.props11439066268199015289.smt2 786387 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.props8431907703495716278.smt2 786387 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.props4001212816787863005.smt2 786387 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.props14133833618548566792.smt2 786387 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.props12153234622123248742.smt2 786387 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.props15337123376754010450.smt2 786402 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.props189766139165830863.smt2 786402 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.props6792557191851399990.smt2 786418 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.props11665779853171806947.smt2 786418 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.props16254572042628535266.smt2 786418 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.props11805637176715688024.smt2 786418 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.props3519240765294406506.smt2 786418 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.props13111611117447410747.smt2 786418 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.props7733109100104627010.smt2 786418 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.props509580978108004269.smt2 786434 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.props1053151833681228877.smt2 786437 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.props8220469589557409468.smt2 786437 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.props2137183414067942.smt2 786437 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.props14475866900019760280.smt2 786437 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.props13879963640831778342.smt2 786437 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.props16168275540655791435.smt2 786449 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.props16003685694958461839.smt2