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.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.004s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.004s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.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.002s | 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
467365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props5957756948070541329.key 467365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.8ns 467365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 467443 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 467443 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 467443 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 467443 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 467748 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 470567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 470583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props5957756948070541329.key 470583 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 470599 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props955242300339861656.key 470599 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.9ns 470599 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 472949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.36s 472964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props955242300339861656.key 472964 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 472964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props1679634320198500553.key 472964 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 305.8ns 472980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 475332 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.36s 475348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props1679634320198500553.key 475348 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6ns 475348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props3109116616131874914.key 475348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.6ns 475348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 477742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.38s 477742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3109116616131874914.key 477742 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 477757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props3936487122934829570.key 477757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 298.8ns 477757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 480137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.38s 480153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props3936487122934829570.key 480153 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 480153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props10556814821333502835.key 480153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 322.2ns 480153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 482576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.43s 482592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10556814821333502835.key 482592 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 482592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props12136431796954156797.key 482592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.6ns 482607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 485000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.4s 485015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props12136431796954156797.key 485015 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 485015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props18442635596716836290.key 485015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.5ns 485015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 487499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 487499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props18442635596716836290.key 487515 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 487515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props10275259689057108148.key 487515 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 326.2ns 487515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 490060 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 490060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props10275259689057108148.key 490060 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.5ns 490075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props10210565775973749399.key 490075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245ns 490075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 492558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 492574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props10210565775973749399.key 492574 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 492574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props17999763652143783109.key 492574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.9ns 492574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 494997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.42s 495012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props17999763652143783109.key 495012 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.1ns 495012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props13496524644731894400.key 495012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 317.6ns 495012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 497528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 497543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13496524644731894400.key 497543 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 497543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props4893445033381432537.key 497543 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183ns 497559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 499964 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.42s 499980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props4893445033381432537.key 499980 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 499980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props9336579184628464355.key 499980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184ns 499996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 502490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 502506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9336579184628464355.key 502506 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 502506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props5376541862119261638.key 502506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.5ns 502521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 505042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.52s 505042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props5376541862119261638.key 505042 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 505057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props9913237984090125791.key 505057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107.4ns 505057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 507480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.43s 507496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props9913237984090125791.key 507496 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 507496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props17160803011753831321.key 507496 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299.8ns 507496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 510016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 510032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props17160803011753831321.key 510032 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 510032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props6507905297733582143.key 510032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274ns 510032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 512462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.42s 512462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props6507905297733582143.key 512478 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 512478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props10853960053888725152.key 512478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 307.6ns 512478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 514983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 514998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props10853960053888725152.key 514998 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 514998 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 514998 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 514998 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 514998 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 514998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props16778003695907875234.key 514998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 112.4ns 514998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 517506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 517522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props16778003695907875234.key 517522 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 517522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props9981299020082986422.key 517522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107ns 517522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 519936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.41s 519936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props9981299020082986422.key 519952 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 519952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props2727386812671761415.key 519952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 290.5ns 519952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 522456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 522472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props2727386812671761415.key 522472 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 522472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props1940956826063574645.key 522472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.2ns 522472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 524989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 525004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props1940956826063574645.key 525004 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 525004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props5054491067833617488.key 525004 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.2ns 525004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 527420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.41s 527420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props5054491067833617488.key 527420 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.3ns 527691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props18438262731253784191.key 527691 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.8ns 527707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 530195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 530195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props18438262731253784191.key 530195 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 530210 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props14491821866547803113.key 530210 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 287.9ns 530210 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 532699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 532715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props14491821866547803113.key 532715 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 532715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props10850387967983345045.key 532715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.9ns 532715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 535127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.41s 535145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props10850387967983345045.key 535145 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 535145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props7711947385742410842.key 535145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.5ns 535145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 537631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 537647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7711947385742410842.key 537647 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.3ns 537647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props16521471007627141918.key 537647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.3ns 537647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 540138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 540154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16521471007627141918.key 540154 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 540154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props8828043434331520967.key 540154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 301ns 540154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 542647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 542647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props8828043434331520967.key 542647 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 542662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props5226503634085231849.key 542662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 312ns 542662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 545137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 545153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props5226503634085231849.key 545153 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.3ns 545153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props1061302510861326381.key 545153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.3ns 545153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 547576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.42s 547592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props1061302510861326381.key 547592 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 547592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props17958501448205330081.key 547592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.8ns 547592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 550077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 550093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props17958501448205330081.key 550093 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 550093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props13482900432645421120.key 550093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.7ns 550093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 552581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 552597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props13482900432645421120.key 552597 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 552597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props13425054352755681261.key 552597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 283.9ns 552597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 555071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 555086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13425054352755681261.key 555086 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 555086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props11619534182922755333.key 555086 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185ns 555086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 557557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 557573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props11619534182922755333.key 557573 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 557573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16569717473399236428.key 557573 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.6ns 557588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 560061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 560067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16569717473399236428.key 560067 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 560067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props16295268080594105587.key 560067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.8ns 560067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 562481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.42s 562497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16295268080594105587.key 562497 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 562497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props7036263670759543026.key 562497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.8ns 562513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 564983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 564999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props7036263670759543026.key 564999 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 564999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props6409460928548153106.key 564999 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.2ns 565014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 567493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 567493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props6409460928548153106.key 567493 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 567509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props10550478999853711395.key 567509 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.6ns 567509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 569981 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 569997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10550478999853711395.key 569997 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 569997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props5861870296583927898.key 569997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.7ns 569997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 572493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 572510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props5861870296583927898.key 572510 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 572510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props7774868739938207067.key 572510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167ns 572510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 574989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 575005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props7774868739938207067.key 575005 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.5ns 575005 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 575005 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 575005 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 575005 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 575005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props664466093831992286.key 575005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.6ns 575005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 577484 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 577484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props664466093831992286.key 577484 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 577500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props1419382400816849161.key 577500 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.3ns 577500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 579965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 579981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props1419382400816849161.key 579981 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 579981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props9402908299566875366.key 579981 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.2ns 579981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 582464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 582479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props9402908299566875366.key 582479 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 582479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props8018511597301682630.key 582479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.7ns 582495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 584962 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 584977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props8018511597301682630.key 584977 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 584977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props7038291454891573806.key 584977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282.8ns 584977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 587450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 587466 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props7038291454891573806.key 587466 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 587466 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.props4398793727487193642.smt2 587466 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.props14858489975699357382.smt2 587466 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.props5188766219705674470.smt2 587482 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.props7228953589412115735.smt2 587482 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.props2717896079005509056.smt2 587482 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.props12680576568826055505.smt2 587482 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.props5029733905019459039.smt2 587482 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.props14921578636460979704.smt2 587482 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.props15874771895097972043.smt2 587482 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.props1607309808596143815.smt2 587482 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.props11218050363887756984.smt2 587482 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.props2330853101146577866.smt2 587482 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.props13392328038951749424.smt2 587497 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.props14727712112167948068.smt2 587497 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.props16198971285725497708.smt2 587502 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.props12329864990607576753.smt2 587503 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.props3098385822896039906.smt2 587504 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.props11124594609359961726.smt2 587505 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.props12469225259656527721.smt2 587506 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.props13379037870471653768.smt2 587511 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.props2700835661686742038.smt2 587512 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.props1842887390857520476.smt2 587514 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.props8982207686418761421.smt2 587515 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.props9217480336195520641.smt2