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.002s | 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.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | 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.005s | 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.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | 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.002s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.002s | 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
618464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props12409789820845364116.key 618464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.8ns 618464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 618592 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 618592 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 618592 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 618592 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 619107 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 622587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 622603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props12409789820845364116.key 622603 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 622619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props4681747659835158642.key 622619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.2ns 622619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 625465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 625480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props4681747659835158642.key 625480 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 625497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props11625205858292586669.key 625497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 307ns 625497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 628425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 628441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props11625205858292586669.key 628441 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 628441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props1130403769770650326.key 628441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.1ns 628456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 631333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 631349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props1130403769770650326.key 631349 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 631349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props198155298203902778.key 631349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.7ns 631349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 634323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 634338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props198155298203902778.key 634338 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 634338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props12485752548821939587.key 634338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 352.3ns 634354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 637322 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 637338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props12485752548821939587.key 637338 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 637338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props18035126125363520160.key 637338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.1ns 637338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 640318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 640333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props18035126125363520160.key 640333 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 640333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props17116459239687301478.key 640333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.8ns 640333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 643419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 643419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props17116459239687301478.key 643419 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 643435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props8583479509100370823.key 643435 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.3ns 643435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 646526 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 646542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props8583479509100370823.key 646542 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 646557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17279758164159866995.key 646557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 359.4ns 646557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649563 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 649578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17279758164159866995.key 649578 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 649578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props315219385856019379.key 649578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.9ns 649578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652638 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 652654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props315219385856019379.key 652654 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 652654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props13068840040038631750.key 652654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 302.9ns 652654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 655768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13068840040038631750.key 655768 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 655768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props4982916027717237908.key 655768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 771.4ns 655768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 658826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props4982916027717237908.key 658826 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 658842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props3749293011702258189.key 658842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.2ns 658842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 661770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 661785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props3749293011702258189.key 661785 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 661801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props13960469815102166.key 661801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.4ns 661801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 664885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props13960469815102166.key 664885 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 664885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props18073327365906660865.key 664885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193ns 664901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 667941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 667941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props18073327365906660865.key 667941 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 667956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props16057840746090063007.key 667956 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 297ns 667956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 671078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 671078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props16057840746090063007.key 671094 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 53.5ns 671094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props8219640533362261262.key 671094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.4ns 671094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 674187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 674203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8219640533362261262.key 674203 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 674203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props961919562606331109.key 674203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 335.7ns 674218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 677247 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 677262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props961919562606331109.key 677262 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 677262 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 677262 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 677262 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 677262 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 677262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props15394254658528855077.key 677262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.2ns 677278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 680210 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 680226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props15394254658528855077.key 680226 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 680226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props7415214453125043796.key 680226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189ns 680226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 683237 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 683252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7415214453125043796.key 683252 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 683268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props17186994266153754812.key 683268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.5ns 683268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 686325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 686341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props17186994266153754812.key 686341 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 686341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props12819181040821384612.key 686341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148ns 686341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 689421 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 689437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props12819181040821384612.key 689437 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 689437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props9352328305264236246.key 689437 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.6ns 689437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 692502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 692502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props9352328305264236246.key 692502 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 692831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props7373766991037248797.key 692831 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.8ns 692831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 695858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 695874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7373766991037248797.key 695874 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 695874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props15148534927829066399.key 695874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 322.3ns 695890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 698921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 698921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props15148534927829066399.key 698937 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 698937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props10830498897559511856.key 698937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 319.9ns 698937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 701963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 701978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props10830498897559511856.key 701978 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 701978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props2728200965903687393.key 701978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 276.3ns 701994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 705082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 705082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2728200965903687393.key 705097 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 705097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props8962186767843523808.key 705097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.7ns 705097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 708116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 708132 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props8962186767843523808.key 708132 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 708148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props9371678179092527398.key 708148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 372.8ns 708148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711155 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 711155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9371678179092527398.key 711155 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 711171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props9820554551809789209.key 711171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 321.3ns 711171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 714271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props9820554551809789209.key 714271 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 714287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props7756277314756772854.key 714287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 814.2ns 714287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 717353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props7756277314756772854.key 717353 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 717353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props4073881521529431962.key 717353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.6ns 717353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 720387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 720402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props4073881521529431962.key 720402 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 720402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props11209206287288997447.key 720402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.1ns 720402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 723455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 723471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props11209206287288997447.key 723471 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 723486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props16232997892119077936.key 723486 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 742.5ns 723486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 726503 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 726518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props16232997892119077936.key 726518 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 726518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props5758205950906918380.key 726518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.2ns 726518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 729529 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 729545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props5758205950906918380.key 729545 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 729560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props3492081875722173113.key 729560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 304.1ns 729560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 732690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 732690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props3492081875722173113.key 732690 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 732705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props1270840149374358839.key 732705 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.9ns 732705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 735775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 735791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props1270840149374358839.key 735791 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 735791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props1290173783014255200.key 735791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.1ns 735791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 738839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 738854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props1290173783014255200.key 738854 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 738854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props8806738758057762036.key 738854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.4ns 738854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 742005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8806738758057762036.key 742005 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 742005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props2417507616057866427.key 742005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.9ns 742005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 745055 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 745071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props2417507616057866427.key 745071 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 745086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props18225011286173414676.key 745086 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.3ns 745086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 748213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 748228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props18225011286173414676.key 748228 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 748228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props11654118104083359659.key 748228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185ns 748228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 751264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11654118104083359659.key 751264 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 751264 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 751264 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 751264 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 751264 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 751279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props14245788569512229864.key 751279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.2ns 751279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754343 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 754359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14245788569512229864.key 754359 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 754375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props5163165827496857674.key 754375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.4ns 754375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 757447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 757447 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props5163165827496857674.key 757447 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 757463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props13385555049854329591.key 757463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129ns 757463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 760466 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 760482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13385555049854329591.key 760482 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 760482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props16495700131445641363.key 760482 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.3ns 760482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 763617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 763633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props16495700131445641363.key 763633 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 763649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props3324291286643295948.key 763649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.6ns 763649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 766833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 766848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3324291286643295948.key 766848 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 766848 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.props14014554276773118229.smt2 766864 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.props12716478859689387955.smt2 766864 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.props14278608897501675745.smt2 766864 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.props17400731167087342765.smt2 766864 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.props12679531145184555569.smt2 766864 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.props15533025423618107426.smt2 766864 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.props13710902430373382087.smt2 766864 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.props15562629518889798625.smt2 766864 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.props1812953640921560138.smt2 766880 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.props855233698749120426.smt2 766880 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.props378936715295977541.smt2 766880 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.props8387820860784573400.smt2 766880 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.props5248721218554003433.smt2 766880 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.props15309676961608919125.smt2 766880 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.props6327760892940634637.smt2 766880 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.props18145686847136274879.smt2 766895 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.props11237639234676453170.smt2 766895 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.props12379829913975858852.smt2 766895 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.props9438597310014861257.smt2 766895 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.props7799332553045439620.smt2 766895 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.props17071537644230118057.smt2 766895 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.props14001250584281974458.smt2 766895 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.props14031600869668791951.smt2 766895 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.props14210379179198878095.smt2