Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.002s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.003s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.002s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.002s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.003s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
718462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props11303797956591975799.key 718462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.9ns 718462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 718655 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 718655 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 718655 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 718655 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 719305 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 723430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 723446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props11303797956591975799.key 723446 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 723504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props8564034954931672569.key 723504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.8ns 723519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 727686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 727702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8564034954931672569.key 727702 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 727717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props8847144685396328218.key 727717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.5ns 727717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 731473 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 731489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props8847144685396328218.key 731489 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 731504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props18057672313802663619.key 731504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.4ns 731504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 735084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 735100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props18057672313802663619.key 735100 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 735116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props16086264913187622050.key 735116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.3ns 735116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 738680 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 738696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16086264913187622050.key 738696 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 738696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props6430500555758881395.key 738696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.7ns 738712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 742412 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 742443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props6430500555758881395.key 742443 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 742443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props5952188541028549729.key 742443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.9ns 742443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 746225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 746240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props5952188541028549729.key 746240 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 746240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props13748467804380980523.key 746240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 488.6ns 746256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 749933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 749949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props13748467804380980523.key 749949 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 749949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props3374575896521951750.key 749949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 322.5ns 749964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 753548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 753564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props3374575896521951750.key 753564 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 753564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props16946850660143917242.key 753564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.4ns 753579 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 757349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 757365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props16946850660143917242.key 757365 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 757380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props15675112791531013829.key 757380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 392ns 757412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 761337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 761368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props15675112791531013829.key 761368 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 761383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props16467525477328884672.key 761383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.6ns 761383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 765036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props16467525477328884672.key 765036 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 765052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props9048339023603645920.key 765052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 333.6ns 765052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 768669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 768685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props9048339023603645920.key 768685 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 768685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props6039059893293302976.key 768685 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.8ns 768700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 772311 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 772327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6039059893293302976.key 772327 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.6ns 772327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props17705204365463398001.key 772327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 327.3ns 772342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 776001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 776017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props17705204365463398001.key 776017 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 776048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props5640265213010267397.key 776048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 606ns 776048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 780193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 780209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props5640265213010267397.key 780209 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 780224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props15836052197252542107.key 780224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.6ns 780224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 783789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 783805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15836052197252542107.key 783805 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 783821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props11415351925825196120.key 783821 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.7ns 783821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 787361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 787376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props11415351925825196120.key 787392 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 787392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props15377234328327237608.key 787392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 399.9ns 787392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 791019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 791035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props15377234328327237608.key 791035 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 791035 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 791035 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 791035 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 791035 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 791035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props2361879244543792302.key 791035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.7ns 791050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 794894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 794915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props2361879244543792302.key 794915 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 794931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props5661880664806689536.key 794931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 363.3ns 794931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 799017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 799033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props5661880664806689536.key 799033 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 799048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props16786534176070463064.key 799048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.7ns 799052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 802656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 802671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16786534176070463064.key 802671 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 802671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props12980603329617218300.key 802671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.5ns 802671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 806504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 806519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props12980603329617218300.key 806519 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 806535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props14675833710241580985.key 806535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.2ns 806535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 810088 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 810103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props14675833710241580985.key 810103 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 810564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props8710088042417733801.key 810564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.2ns 810564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 814184 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 814199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props8710088042417733801.key 814199 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 814215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props5789939791506559319.key 814215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.9ns 814215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 817764 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 817781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props5789939791506559319.key 817781 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 817796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props17944773014392280128.key 817796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 360.7ns 817796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 821563 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 821579 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props17944773014392280128.key 821579 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 821594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props16486640355672148780.key 821594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 421.2ns 821641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 825535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 825550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16486640355672148780.key 825550 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 825550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props3109046631310796542.key 825550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.1ns 825550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 829179 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 829195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props3109046631310796542.key 829195 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 829195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props6328724001549273992.key 829195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 404.2ns 829210 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 832901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 832916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props6328724001549273992.key 832916 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 832916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props12695464108703965473.key 832916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.2ns 832932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 836615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 836630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props12695464108703965473.key 836630 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 836630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props1701987056252088748.key 836630 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.1ns 836630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 840483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 840515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props1701987056252088748.key 840515 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 840546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props2867873488359153942.key 840546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 641.4ns 840546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 844549 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s 844564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props2867873488359153942.key 844580 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 844580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props8166302703326894685.key 844580 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 318ns 844580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 848296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 848312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props8166302703326894685.key 848312 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 30.2ns 848312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props6621311648154554449.key 848312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.7ns 848328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 852007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 852023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props6621311648154554449.key 852023 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.1ns 852023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props1838964498548429754.key 852023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.5ns 852039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 855665 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 855681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props1838964498548429754.key 855696 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 855696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props7072405782973185890.key 855696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 397.3ns 855696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 859386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 859417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props7072405782973185890.key 859417 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.5ns 859417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props6988127847756469548.key 859417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 400.1ns 859433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 863189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 863205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6988127847756469548.key 863205 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 863220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props14833041149063489891.key 863220 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245ns 863220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 866789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 866804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props14833041149063489891.key 866804 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 866820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props11451919907343806377.key 866820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.2ns 866820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 870712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 870727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props11451919907343806377.key 870727 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 870743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props9547768459255873599.key 870743 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.8ns 870743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 874318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 874333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props9547768459255873599.key 874333 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 874349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props2605814889734983723.key 874349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.6ns 874349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 877948 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 877963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props2605814889734983723.key 877963 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 877963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props9942085312673758958.key 877963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.8ns 877979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 881545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 881560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props9942085312673758958.key 881560 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 881560 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 881560 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 881560 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 881560 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 881560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props2323205541572487741.key 881560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.2ns 881576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 885355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.78s 885372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props2323205541572487741.key 885373 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 885376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props12936962986464236291.key 885376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 527.4ns 885376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 889080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 889095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12936962986464236291.key 889095 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 889095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props10989534498232660061.key 889111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262ns 889111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 892926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 892941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props10989534498232660061.key 892957 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 35ns 892957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props7788418204140565703.key 892957 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.1ns 892957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 896507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 896522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props7788418204140565703.key 896522 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 896538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props606959624584423692.key 896538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175ns 896538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 900036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 900053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props606959624584423692.key 900053 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 900068 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.props14331634511133840705.smt2 900068 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.props3954982426801995220.smt2 900068 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.props8391925253891682389.smt2 900068 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.props14013299459381102122.smt2 900068 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.props14387726498008620313.smt2 900068 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.props3086366665474538265.smt2 900068 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.props2540457165830462567.smt2 900068 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.props6570377046740195808.smt2 900084 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.props17926000595948269906.smt2 900084 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.props16837083635454923385.smt2 900084 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.props16382664307912080302.smt2 900084 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.props11460568116083071295.smt2 900084 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.props1085207635489833724.smt2 900084 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.props4470201330415663395.smt2 900084 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.props14484301179086436966.smt2 900084 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.props12705111768004778052.smt2 900084 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.props18390728430700406870.smt2 900100 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.props14679322507427752781.smt2 900102 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.props3382219619008521284.smt2 900104 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.props9023412623052401281.smt2 900104 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.props4748224371849491020.smt2 900104 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.props9985839913364670123.smt2 900104 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.props2975444528311699854.smt2 900104 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.props6836071867682467310.smt2