Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.002s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.002s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.002s | 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.002s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.002s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.002s | 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.002s | 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.003s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.003s | 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.002s | 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.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
647931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props10509830492837443475.key 647931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165ns 647931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 648056 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 648056 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 648056 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 648056 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 648556 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 652324 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 652339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props10509830492837443475.key 652355 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 652370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props14256029582472486532.key 652370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245ns 652370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655512 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 655543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props14256029582472486532.key 655543 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 655543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props3649900310265420301.key 655543 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.1ns 655543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 658734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props3649900310265420301.key 658734 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 658750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props9967131104790111806.key 658750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.3ns 658750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 661940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 661956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props9967131104790111806.key 661956 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 661971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props15534906835546886146.key 661971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.6ns 661971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 665192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 665207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props15534906835546886146.key 665207 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 665207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props2795091113580441355.key 665207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.8ns 665223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 668506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 668522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props2795091113580441355.key 668522 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 668522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props8450636371972618681.key 668522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.8ns 668522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 671760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 671775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props8450636371972618681.key 671775 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 671791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props4069184208792133799.key 671791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.1ns 671791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 674980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 674996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4069184208792133799.key 675012 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 675013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props12718823841555341597.key 675013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.6ns 675013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 678342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 678358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props12718823841555341597.key 678358 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 678358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props312063201382572639.key 678358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.4ns 678373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 682000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 682031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props312063201382572639.key 682031 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 682031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props13788051501097055176.key 682031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.9ns 682031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 685329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 685345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13788051501097055176.key 685345 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 685361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props1397501361399327862.key 685361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.6ns 685361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 688737 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 688769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props1397501361399327862.key 688769 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 688769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props9684058931118681608.key 688769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.6ns 688769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 692069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 692083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props9684058931118681608.key 692083 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 692099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props740208185884970533.key 692099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.2ns 692099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 695616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 695632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props740208185884970533.key 695647 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 695647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props11799197809487821990.key 695647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.3ns 695647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 698931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 698947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11799197809487821990.key 698962 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 698962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props812095562119240798.key 698962 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.5ns 698978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 702418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props812095562119240798.key 702418 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 702418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props2707915917156660389.key 702418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.8ns 702434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 705686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 705717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props2707915917156660389.key 705717 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 705717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props11773152301674356312.key 705717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.4ns 705717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 709063 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 709078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props11773152301674356312.key 709094 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 709094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props7063510437110012837.key 709094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.1ns 709094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 712615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 712647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props7063510437110012837.key 712647 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 712647 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 712647 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 712647 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 712647 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 712647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props9684659984645818428.key 712647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.1ns 712662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 715930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 715961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props9684659984645818428.key 715961 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 715961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props18107084570677105590.key 715961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.2ns 715961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 719447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 719463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props18107084570677105590.key 719463 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 719463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props7487545108853877447.key 719463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.5ns 719463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 722700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 722716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props7487545108853877447.key 722716 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 722716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props14151086604921094924.key 722716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.4ns 722716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 726108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 726124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14151086604921094924.key 726124 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 726139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props12792518787961075574.key 726139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.4ns 726139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 729454 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 729469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props12792518787961075574.key 729469 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 729845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props2830937484617542752.key 729845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180ns 729845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 733409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 733440 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props2830937484617542752.key 733440 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 733440 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props15330677209285406540.key 733440 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153ns 733456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 736880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 736895 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props15330677209285406540.key 736911 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 736911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props6520131331353674286.key 736911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168ns 736958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 740601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 740616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props6520131331353674286.key 740616 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 740616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props18032724461865928490.key 740616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.7ns 740616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 743791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 743822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props18032724461865928490.key 743822 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 743822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props13276772597487411558.key 743822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161ns 743822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 747011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 747027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13276772597487411558.key 747027 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 747043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props15163066835219058367.key 747043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.1ns 747043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 750296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 750311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props15163066835219058367.key 750311 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 750311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props16385766397251278032.key 750311 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.9ns 750311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 753501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 753516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props16385766397251278032.key 753532 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 753532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props603724390261803418.key 753532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.4ns 753532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 756753 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 756768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props603724390261803418.key 756768 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 756768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props3650031403332803667.key 756768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143ns 756768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 760098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 760114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props3650031403332803667.key 760114 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 760114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props8997948949753014722.key 760114 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225ns 760114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 763304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 763319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props8997948949753014722.key 763319 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 763319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props7080975523213634929.key 763319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 404.9ns 763335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 766618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 766634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props7080975523213634929.key 766634 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 766650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props3356946866151437931.key 766650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.4ns 766650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 769996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3356946866151437931.key 770012 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 770012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16946841316042293829.key 770012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.4ns 770012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 773311 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 773327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16946841316042293829.key 773327 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 773327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props16073314458705026322.key 773327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.3ns 773342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 776594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 776610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16073314458705026322.key 776610 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 776610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props18240728123446030222.key 776610 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.3ns 776626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 780082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 780098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props18240728123446030222.key 780098 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 780113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props1091352435736524443.key 780113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.1ns 780113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 783427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 783443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1091352435736524443.key 783443 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 783458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props481918165650478127.key 783458 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.9ns 783458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 786883 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 786899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props481918165650478127.key 786899 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 786914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props8998025493812397405.key 786914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.1ns 786914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 790245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 790276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8998025493812397405.key 790276 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 790276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props7013715696337005809.key 790276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.8ns 790276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 793576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 793591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props7013715696337005809.key 793591 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 793607 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 793607 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 793607 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 793607 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 793607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props15393063877002562991.key 793607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 359.3ns 793607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 797016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 797031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props15393063877002562991.key 797031 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 797031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props14053042003843055192.key 797031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.8ns 797047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 800268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 800284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props14053042003843055192.key 800284 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 800299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props18376723309070345450.key 800299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.7ns 800299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 803724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 803740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props18376723309070345450.key 803740 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 803740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props11011100779896115426.key 803740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.7ns 803740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 807023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 807038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11011100779896115426.key 807038 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 807038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props9929758982735575775.key 807038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.1ns 807054 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 810477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 810493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props9929758982735575775.key 810493 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 810509 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.props685288148931219088.smt2 810509 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.props4675741406131304390.smt2 810509 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.props6756525995705004262.smt2 810509 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.props7719143013936589359.smt2 810509 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.props12980610063133298205.smt2 810509 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.props9931870859243052995.smt2 810524 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.props2112853609269579772.smt2 810524 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.props15027348009333537703.smt2 810524 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.props16767421826292082631.smt2 810524 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.props8678554277110385840.smt2 810524 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.props8036060281085924556.smt2 810524 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.props14769262898946806667.smt2 810524 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.props2042093489832379299.smt2 810524 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.props16062463384596655191.smt2 810524 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.props3270648139264477510.smt2 810540 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.props9334970656434203816.smt2 810540 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.props5938530640905249529.smt2 810540 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.props9568069969582581885.smt2 810540 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.props254916627926144613.smt2 810540 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.props11587129363726749820.smt2 810540 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.props8751693644414762527.smt2 810540 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.props14034366419129413027.smt2 810556 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.props1078793203775235390.smt2 810556 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.props2990752397618085054.smt2