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.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.002s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.002s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.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.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.002s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
516919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props674848341218218348.key 516919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.4ns 516919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 517048 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 517048 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 517048 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 517048 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 517665 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 520630 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 520646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props674848341218218348.key 520646 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 520661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props11837873005458753210.key 520661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.4ns 520661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 523337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 523353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props11837873005458753210.key 523353 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 523368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props109771840308160498.key 523368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.5ns 523368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 526074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 526089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props109771840308160498.key 526089 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 526089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props17769641134987476603.key 526089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.2ns 526105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 528822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 528838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props17769641134987476603.key 528838 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 528853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props4478475885250100481.key 528853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.8ns 528853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 531510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 531526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props4478475885250100481.key 531526 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 531542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props11313056853429584090.key 531542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.2ns 531542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 534263 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 534263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props11313056853429584090.key 534279 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 534279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props11331100218775149097.key 534279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.9ns 534279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 536994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 537010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props11331100218775149097.key 537010 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 537010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props17724879249473625398.key 537010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.6ns 537010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 539754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 539769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props17724879249473625398.key 539769 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 539769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props17239157052075742342.key 539769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.3ns 539769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 542531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 542550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props17239157052075742342.key 542550 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 542550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props15635720251310778839.key 542550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.6ns 542550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 545383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 545399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props15635720251310778839.key 545399 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 545399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props5388232172366628197.key 545399 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.5ns 545399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 548184 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 548199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props5388232172366628197.key 548199 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 548199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props12925741303128206525.key 548199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 380.7ns 548215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 550988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 551003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props12925741303128206525.key 551003 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 551003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5332510971129632531.key 551003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.3ns 551003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 553783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 553783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5332510971129632531.key 553798 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 553798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props1818079555081946071.key 553798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 381.3ns 553798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 556562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 556578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props1818079555081946071.key 556578 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 556594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props14929600290092187624.key 556594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.9ns 556594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 559367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 559384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props14929600290092187624.key 559384 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 559384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props9449219028945971987.key 559384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155ns 559399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 562163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 562178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props9449219028945971987.key 562178 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 562178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props10158490161399671444.key 562178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 403.9ns 562178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 564984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 565000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10158490161399671444.key 565000 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 565016 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props11514688837190510325.key 565016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.4ns 565016 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 567778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 567794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props11514688837190510325.key 567794 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 567794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props14453372226632228220.key 567794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.1ns 567809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 570605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 570620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props14453372226632228220.key 570620 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.4ns 570636 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 570636 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 570636 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 570636 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 570636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props3861066922592436306.key 570636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.2ns 570636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 573433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 573449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props3861066922592436306.key 573449 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 573465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props6367685059964865317.key 573465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.6ns 573465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 576239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 576254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6367685059964865317.key 576254 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 576270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props16242205604400802005.key 576270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.4ns 576270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 579046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 579061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16242205604400802005.key 579061 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 579077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props1314595930607794440.key 579077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 384ns 579077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 581864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 581864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props1314595930607794440.key 581880 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 581880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props12992873858638588673.key 581880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232ns 581880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 584654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 584670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props12992873858638588673.key 584670 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 584983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props6144473056848446892.key 584983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.5ns 584983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 587735 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 587750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props6144473056848446892.key 587750 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 587750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props11131057387936882347.key 587750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.3ns 587750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 590533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 590548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props11131057387936882347.key 590548 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 590564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props2683523801335407728.key 590564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.9ns 590564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 593352 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 593367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props2683523801335407728.key 593367 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 593383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props1309247072751555228.key 593383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.1ns 593383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 596157 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 596173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props1309247072751555228.key 596173 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 596173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props169340147251788705.key 596173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.5ns 596173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 599028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s 599043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props169340147251788705.key 599043 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 43.6ns 599043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props7776749271654053947.key 599043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.5ns 599043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 601797 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 601813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props7776749271654053947.key 601813 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 601813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1376501010525171204.key 601813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 352.9ns 601813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 604579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 604595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1376501010525171204.key 604595 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 604595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props17428550311330184774.key 604595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.6ns 604595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 607355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 607371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props17428550311330184774.key 607371 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 607387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props11666114921669530974.key 607387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.9ns 607387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 610130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 610146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props11666114921669530974.key 610146 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 610162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17240331038635660262.key 610162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235ns 610162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 612964 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 612980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17240331038635660262.key 612980 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 612995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props4688651083707261298.key 612995 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.4ns 612995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 615743 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 615758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props4688651083707261298.key 615758 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 615758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props18431971410830629795.key 615758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.9ns 615758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 618494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 618510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props18431971410830629795.key 618510 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 618525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props13946193229982919008.key 618525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.5ns 618525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 621332 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 621348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props13946193229982919008.key 621348 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 621363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props16242403052914358068.key 621363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.3ns 621363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 624099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 624115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16242403052914358068.key 624115 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 624131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props1378442124155321629.key 624131 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.3ns 624131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 626860 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 626875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props1378442124155321629.key 626875 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 626875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props14428054035816773494.key 626875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.6ns 626875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 629693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 629708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props14428054035816773494.key 629708 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 629724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props3309634094963900062.key 629724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.6ns 629724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 632463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props3309634094963900062.key 632463 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 632463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props2662746443045934488.key 632463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.5ns 632479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 635259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props2662746443045934488.key 635259 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 635275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props15911730924145079063.key 635275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.3ns 635275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 637997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 638012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props15911730924145079063.key 638012 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 638028 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 638028 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 638028 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 638028 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 638028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props10044841081932485797.key 638028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.9ns 638028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 640820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 640836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props10044841081932485797.key 640852 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 640852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props15351347797697339824.key 640852 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.8ns 640852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 643585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 643600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props15351347797697339824.key 643600 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.8ns 643600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props9151188781066409561.key 643600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.6ns 643600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 646391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 646406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props9151188781066409561.key 646406 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 646406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props3110046246141434479.key 646406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.4ns 646406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 649136 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props3110046246141434479.key 649136 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 649152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props17151684946924267514.key 649152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 381.7ns 649152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 651953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 651953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props17151684946924267514.key 651969 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 651969 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.props10968896466239614726.smt2 651969 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.props7644682568688038806.smt2 651969 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.props11724433016669320724.smt2 651969 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.props11160597826521173117.smt2 651969 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.props3054000115733123609.smt2 651969 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.props12640647924163345027.smt2 651985 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.props4919280312121198563.smt2 651985 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.props10757518126123551223.smt2 651985 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.props6746604402683904354.smt2 651985 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.props11822306835790783420.smt2 651985 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.props5395095239138549460.smt2 651985 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.props9884045321611716272.smt2 651985 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.props2918827048984585002.smt2 651985 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.props8989433154835791065.smt2 651985 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.props16219452658302649017.smt2 651985 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.props14979577804791907575.smt2 652000 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.props3660396847087563151.smt2 652000 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.props9258229776951888943.smt2 652000 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.props7393543498287278342.smt2 652000 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.props265044118201260820.smt2 652000 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.props14112098135846835235.smt2 652000 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.props4519293798012565925.smt2 652000 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.props11647541081310586093.smt2 652000 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.props12241370866699224642.smt2