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.002s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.002s | 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.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.002s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | 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
636959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props14445180936151524515.key 636959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.1ns 636961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 637307 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 637307 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 637307 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 637307 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 638169 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 642009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 642025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props14445180936151524515.key 642025 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 642056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props1946319814296035686.key 642056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.4ns 642056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 645205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 645220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props1946319814296035686.key 645220 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 645236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props16035940718602551656.key 645236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.6ns 645236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 648397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 648413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props16035940718602551656.key 648413 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 648413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props8968222215952959675.key 648413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.1ns 648428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652008 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 652024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props8968222215952959675.key 652024 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 652049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props3515418445001376267.key 652049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.8ns 652052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 655913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props3515418445001376267.key 655913 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 655944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props10962512845130506988.key 655944 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 319.1ns 655944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 659138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 659153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10962512845130506988.key 659153 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 659153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props2229507879353514480.key 659153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.4ns 659169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 662313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 662329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props2229507879353514480.key 662329 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 662329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props15125526441003777309.key 662329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.5ns 662345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 665503 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 665519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props15125526441003777309.key 665519 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 18.3ns 665519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props14585851139303208556.key 665519 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.8ns 665519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 668905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 668921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props14585851139303208556.key 668921 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 668937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props364895779052496909.key 668937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.5ns 668937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 672244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props364895779052496909.key 672244 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 672244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props14131934071726057989.key 672244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.2ns 672244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 675632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 675647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props14131934071726057989.key 675647 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 675647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props8843633656196928212.key 675647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.1ns 675647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 678806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 678822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props8843633656196928212.key 678822 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 678837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props6669911410667733199.key 678837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.1ns 678837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 681983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 681998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props6669911410667733199.key 681998 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.8ns 681998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props2484652291200015761.key 681998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.9ns 681998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 685167 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 685182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props2484652291200015761.key 685182 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 685182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props4495152665498346431.key 685182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212ns 685198 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 688403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 688418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4495152665498346431.key 688418 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 62.6ns 688450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props385162897736131647.key 688450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 584.9ns 688450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 691775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 691790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props385162897736131647.key 691790 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 691806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props5977299415009618129.key 691806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 533ns 691806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 694839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 694855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props5977299415009618129.key 694855 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 694855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props15530720227701220848.key 694855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.7ns 694855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 698023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 698039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props15530720227701220848.key 698039 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 698039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3692939106997474740.key 698039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.3ns 698039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 701241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 701257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3692939106997474740.key 701257 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 701257 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 701257 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 701257 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 701257 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 701257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props13432991839130047693.key 701257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.3ns 701257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 704431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 704463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props13432991839130047693.key 704463 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 704463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props12539255675597252979.key 704463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 353.5ns 704463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 707746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12539255675597252979.key 707746 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 707761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props4093786059254941516.key 707761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.5ns 707761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711045 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 711060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props4093786059254941516.key 711060 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 711060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props4777440100571457701.key 711060 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.5ns 711060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 714250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props4777440100571457701.key 714250 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 714250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props3744030036867175721.key 714250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.7ns 714250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 717572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3744030036867175721.key 717572 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 717995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props12440789930379522185.key 717995 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.7ns 717995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 721107 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 721123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props12440789930379522185.key 721123 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 721138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props11031029144197377093.key 721138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 400.6ns 721138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 724437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props11031029144197377093.key 724437 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 724453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props1487293767092798791.key 724453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 437.6ns 724453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 727851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 727867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props1487293767092798791.key 727867 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 727867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props1149285248421042130.key 727867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.8ns 727882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 730942 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 730958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props1149285248421042130.key 730958 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 730974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props1403331733426674024.key 730974 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.7ns 730974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 734128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props1403331733426674024.key 734128 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 192.8ns 734128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props9621075387989935597.key 734128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.8ns 734128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 737254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 737270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9621075387989935597.key 737270 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 737270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props12848280919952006608.key 737270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 417.7ns 737270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 740647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 740663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props12848280919952006608.key 740678 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 740678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props945258698327387422.key 740678 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 392ns 740678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744045 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 744060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props945258698327387422.key 744060 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 744076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props12777433684640663343.key 744076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.8ns 744076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 747182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 747197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props12777433684640663343.key 747197 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 747197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props6402662294487045276.key 747197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.8ns 747213 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 750260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 750276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props6402662294487045276.key 750276 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 750291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props823320995319514863.key 750291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 479.3ns 750291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 753297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 753312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props823320995319514863.key 753312 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 753312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props7673448128436350279.key 753312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236ns 753312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 756564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 756580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props7673448128436350279.key 756580 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 756613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props8336545144719485118.key 756613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195ns 756616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 759827 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 759842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8336545144719485118.key 759842 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 759842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props17141408498166777581.key 759842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 320.3ns 759858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 762814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props17141408498166777581.key 762814 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 762814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props7124663424397728300.key 762814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.3ns 762814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 766045 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 766060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props7124663424397728300.key 766060 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 766060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props12429522983935981709.key 766060 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.7ns 766060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 769073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props12429522983935981709.key 769073 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 769073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props17363811746652052773.key 769073 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.7ns 769073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 772153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 772153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props17363811746652052773.key 772168 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 772168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props2986105734232324238.key 772168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.6ns 772168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 775201 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 775217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props2986105734232324238.key 775232 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 775232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props5684320042202610022.key 775232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 456ns 775232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 778677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 778693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props5684320042202610022.key 778693 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 778693 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 778693 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 778693 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 778693 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 778693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props7399009692474996930.key 778693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.9ns 778708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 781788 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 781804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props7399009692474996930.key 781804 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 781819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props16704349104602940534.key 781819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.8ns 781819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 785105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 785121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props16704349104602940534.key 785121 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 785121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props4654304200655723823.key 785121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.4ns 785121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 788282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 788298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props4654304200655723823.key 788298 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 788298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props10139320186514379102.key 788298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.2ns 788298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 791394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 791409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props10139320186514379102.key 791409 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 791425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props11114857393439401531.key 791425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 390.7ns 791425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 794561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 794577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props11114857393439401531.key 794577 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 794592 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.props10714639417920395133.smt2 794592 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.props7348194852077552307.smt2 794592 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.props12416210623698196689.smt2 794592 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.props1409911298716952497.smt2 794592 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.props11022613019319718170.smt2 794608 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.props14481774081682129586.smt2 794608 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.props1214575319152833132.smt2 794608 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.props13885568710812813184.smt2 794608 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.props8484334284437010220.smt2 794608 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.props16772290796926657126.smt2 794608 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.props3778593918604551393.smt2 794608 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.props16659652940114224986.smt2 794608 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.props3188172280494171331.smt2 794608 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.props16778848316414309434.smt2 794608 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.props15280003303975397435.smt2 794624 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.props12339258599570179232.smt2 794624 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.props15959968985176334195.smt2 794624 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.props5176161250834360033.smt2 794624 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.props3381333634904451307.smt2 794624 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.props12161811728524271451.smt2 794624 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.props17174884799248385486.smt2 794624 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.props6141077326297097838.smt2 794624 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.props3852049970715330105.smt2 794624 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.props9974036885088864171.smt2