Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.003s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.003s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.002s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.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.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
771869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props12910219951091167254.key 771869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.2ns 771869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 772072 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 772072 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 772072 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 772072 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 772744 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 777827 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.95s 777843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props12910219951091167254.key 777858 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 777874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props7203311813149046490.key 777874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.3ns 777874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 782315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s 782346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props7203311813149046490.key 782346 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 782346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props16393053110678962364.key 782346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.6ns 782362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 786833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.48s 786864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props16393053110678962364.key 786864 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 786864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props7815110566778811.key 786864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.5ns 786864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 791383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.51s 791398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7815110566778811.key 791398 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 791398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props9013616938455375463.key 791398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.2ns 791414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 795889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.49s 795920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props9013616938455375463.key 795920 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 795920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props5312291730510710754.key 795920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.1ns 795920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 800454 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s 800470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props5312291730510710754.key 800470 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 800485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10200150910101224229.key 800485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.6ns 800485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 805130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.64s 805145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10200150910101224229.key 805145 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 805161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props13671952967611966865.key 805161 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.4ns 805161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 809851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.69s 809867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props13671952967611966865.key 809867 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 809882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props8090036039460603839.key 809882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 421.9ns 809882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 814558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.67s 814573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props8090036039460603839.key 814620 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 814636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props1434089317247267772.key 814636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 536.6ns 814636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 819249 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s 819264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props1434089317247267772.key 819264 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 819280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props15317903931985306497.key 819280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.9ns 819280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 823860 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s 823876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props15317903931985306497.key 823876 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 823891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props1446320054989533427.key 823891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156ns 823891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 828505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s 828536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props1446320054989533427.key 828536 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 828536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props1290742522031299197.key 828536 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 466.4ns 828536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 833226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.69s 833241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props1290742522031299197.key 833241 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 833257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props11907895016389889054.key 833257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.3ns 833257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 837933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 837948 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props11907895016389889054.key 837948 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 837964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props331078879964379518.key 837964 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 432.5ns 837964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 842514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.56s 842545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props331078879964379518.key 842545 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 842560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props16607542765364120756.key 842560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 486.9ns 842560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 847094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.54s 847126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16607542765364120756.key 847126 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 847126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props7415918931327480954.key 847141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 13.81ms 847141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 851613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s 851628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props7415918931327480954.key 851644 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.5ns 851644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props1971920927385398914.key 851644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 283.4ns 851644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 856305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s 856321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props1971920927385398914.key 856321 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 856336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props13707638711744967115.key 856336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 428.9ns 856336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 861089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 861105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props13707638711744967115.key 861105 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 861105 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 861121 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 861121 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 861121 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 861121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props15858323342187524260.key 861121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.6ns 861121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 865578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s 865593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props15858323342187524260.key 865593 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 865609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props3670055462824279002.key 865609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413ns 865609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 870128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.52s 870144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3670055462824279002.key 870144 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 870159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props9217770779025371167.key 870159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.9ns 870159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 874692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.54s 874708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props9217770779025371167.key 874723 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 874723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props2575886149040137.key 874723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.9ns 874723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 879320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.59s 879335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props2575886149040137.key 879335 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 879351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props4560324417787971396.key 879351 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.6ns 879351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 884026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 884057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props4560324417787971396.key 884057 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 884417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props18412956070461879017.key 884417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 279ns 884417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 889061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.64s 889076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props18412956070461879017.key 889076 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 889076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props13778262073978238139.key 889076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.8ns 889092 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 893673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.59s 893704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13778262073978238139.key 893704 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 893704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props2114628105271519878.key 893704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 379.6ns 893704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 898302 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.59s 898318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props2114628105271519878.key 898318 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 898318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props7794269855938128089.key 898318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.2ns 898318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 902852 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s 902883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7794269855938128089.key 902883 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 902883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props4608909044061932827.key 902883 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 290.9ns 902883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 907277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 907308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props4608909044061932827.key 907308 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 907308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props9102092159636477284.key 907308 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 798.9ns 907308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 911779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s 911795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9102092159636477284.key 911795 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 911810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props11867835407347366396.key 911810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193ns 911810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 916440 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s 916456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props11867835407347366396.key 916456 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 56.3ns 916471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props13372671792896352569.key 916471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.1ns 916471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 921005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.54s 921036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props13372671792896352569.key 921036 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 921036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props160819486152201053.key 921036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 358.4ns 921036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 925555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.52s 925570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props160819486152201053.key 925586 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 925586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props12218465609369702053.key 925586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 250.8ns 925586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 930168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s 930183 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props12218465609369702053.key 930183 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 930183 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props12560681265922588171.key 930183 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 362.8ns 930183 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 934718 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s 934733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12560681265922588171.key 934749 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 934749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props2754789354110231054.key 934749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.7ns 934749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 939283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.54s 939315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props2754789354110231054.key 939315 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 939315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props17469880746016831497.key 939315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.4ns 939315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 943911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.59s 943926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props17469880746016831497.key 943926 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 943942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props13569888927532321708.key 943942 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.7ns 943942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 948524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.58s 948540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props13569888927532321708.key 948540 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 948540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props14113440238533968766.key 948540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.6ns 948556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 953104 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s 953120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props14113440238533968766.key 953120 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 953120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props6822611225541260539.key 953120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.2ns 953135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 957608 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.48s 957639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props6822611225541260539.key 957639 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 957639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props14824550647505484794.key 957639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 336.3ns 957639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 962220 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s 962236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props14824550647505484794.key 962236 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 962236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props2975618041868066247.key 962236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.8ns 962236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 966785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.54s 966801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props2975618041868066247.key 966801 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 966816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props18186312907161704745.key 966816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.1ns 966816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 971241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s 971257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props18186312907161704745.key 971257 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 971272 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 971272 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 971272 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 971272 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 971272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props2215481618099143500.key 971272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.8ns 971272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 975652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s 975667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props2215481618099143500.key 975683 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 975683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props2634859674945103975.key 975683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 250.4ns 975683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 980124 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s 980140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2634859674945103975.key 980140 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 980140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props9080262542888002231.key 980140 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 385.8ns 980155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 984580 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s 984595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props9080262542888002231.key 984595 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 984611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props3525478085253595727.key 984611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.6ns 984611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 989052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.45s 989083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props3525478085253595727.key 989083 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 989083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props5396864292197142738.key 989083 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 373.6ns 989083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 993586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.5s 993601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props5396864292197142738.key 993601 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 993617 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.props17016577727847942796.smt2 993617 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.props18083839626516784334.smt2 993617 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.props10667112277433957186.smt2 993617 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.props15096290813629407548.smt2 993617 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.props4716178843951082965.smt2 993617 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.props13955334373362950997.smt2 993617 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.props891689000078591737.smt2 993617 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.props6724627214567087443.smt2 993632 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.props328397552786967892.smt2 993632 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.props1923308162942890759.smt2 993632 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.props2563199269877755113.smt2 993632 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.props4071478041874384020.smt2 993632 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.props7375368701016283771.smt2 993632 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.props12191789548453077930.smt2 993632 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.props9673619384860507757.smt2 993632 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.props8433159501703054666.smt2 993632 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.props4153603559565199353.smt2 993632 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.props10054897943138269249.smt2 993632 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.props15417365350540366041.smt2 993648 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.props14499873873114307244.smt2 993648 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.props388736179018043283.smt2 993648 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.props3545857823542458791.smt2 993648 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.props4470305065705703287.smt2 993648 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.props7132776739375503218.smt2