Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.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.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.002s | 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.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.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
548069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props3243367442430941563.key 548069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 357.2ns 548069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 548210 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 548210 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 548226 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 548226 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 548694 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 551938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 551954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props3243367442430941563.key 551954 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 551970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props10064292363302292418.key 551970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.4ns 551970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 554596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 554612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10064292363302292418.key 554612 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 554627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props540563238110991745.key 554627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.8ns 554627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 557406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 557422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props540563238110991745.key 557422 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 557438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props17304212676055869867.key 557438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.4ns 557438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 560570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 560586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props17304212676055869867.key 560586 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 560602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props5400872998479800623.key 560602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.4ns 560602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 563418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 563434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5400872998479800623.key 563434 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 563434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props2228299697301103927.key 563434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 461.5ns 563434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 566228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 566244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props2228299697301103927.key 566244 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 566244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props7828410162275870939.key 566244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.4ns 566244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 568979 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 568995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props7828410162275870939.key 568995 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 569011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props17741399969056179716.key 569011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.3ns 569011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 571871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 571886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props17741399969056179716.key 571886 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 571903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props3702056242128431976.key 571903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.1ns 571903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 574659 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 574675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props3702056242128431976.key 574675 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 574675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props581743974872030669.key 574972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.67ms 574972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 578042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 578058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props581743974872030669.key 578058 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 578058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props17767852461738792603.key 578058 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.8ns 578058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 580718 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 580734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props17767852461738792603.key 580734 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 580749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props15480835700029880030.key 580749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 457.5ns 580749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 583462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 583477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props15480835700029880030.key 583477 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 583493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5202910759480853405.key 583493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 522.4ns 583493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 586469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 586485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5202910759480853405.key 586485 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 586501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props17517632107379027442.key 586501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.4ns 586501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 589174 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 589190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props17517632107379027442.key 589190 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 589206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props14439077048111071408.key 589206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.1ns 589206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 591911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 591927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props14439077048111071408.key 591927 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 591959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props5851052750728887088.key 591959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 572.2ns 591959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 594781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 594797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props5851052750728887088.key 594797 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 594797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props269887061042470191.key 594812 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.9ns 594812 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 597508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 597524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props269887061042470191.key 597524 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 597540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props17265914644275118939.key 597540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 408.7ns 597540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 600310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 600325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props17265914644275118939.key 600325 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 600341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props11611105894089904650.key 600341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.2ns 600341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 603091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 603107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11611105894089904650.key 603107 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 603107 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 603107 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 603107 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 603107 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 603107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props6274949284778937320.key 603107 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.6ns 603122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 605842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 605858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props6274949284778937320.key 605858 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 605858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props695792802845059061.key 605858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 483.8ns 605858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 608646 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 608662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props695792802845059061.key 608678 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 608678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props451949171288069365.key 608678 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 348ns 608678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 611321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 611336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props451949171288069365.key 611336 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 611336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props5957613629033738691.key 611336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.7ns 611352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 614010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 614026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props5957613629033738691.key 614026 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 614026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props3921884196029180372.key 614026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.5ns 614026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 616741 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 616756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3921884196029180372.key 616756 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 617065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props12626702747060248866.key 617065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.7ns 617065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 619710 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 619726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props12626702747060248866.key 619726 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 619726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props2782878909148977992.key 619726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.6ns 619726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 622446 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 622462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props2782878909148977992.key 622462 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 622462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props11905066439795258583.key 622462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 589.7ns 622477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 625152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 625168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props11905066439795258583.key 625168 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 625168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props17937902974888092906.key 625168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 385.7ns 625168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 628120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 628135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props17937902974888092906.key 628135 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns 628151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props3630031546678954240.key 628151 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.3ns 628151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 630814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 630830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props3630031546678954240.key 630830 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 44.6ns 630830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props7064353493499488971.key 630830 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 401.3ns 630845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 633504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 633519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props7064353493499488971.key 633519 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 633535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props6224246730416225119.key 633535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 437.8ns 633535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 636147 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 636162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props6224246730416225119.key 636162 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 636162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props9390260529827957108.key 636162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.5ns 636178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 638882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 638898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props9390260529827957108.key 638898 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 638913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props12012501106172389092.key 638913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 458.1ns 638913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 641653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 641669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props12012501106172389092.key 641669 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 641669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props7523600140221520004.key 641669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.7ns 641669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 644570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 644586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props7523600140221520004.key 644586 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 644601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props6257349913111515926.key 644601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 435.4ns 644601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 647249 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 647264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props6257349913111515926.key 647264 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 647264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props2814551282985797517.key 647264 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.4ns 647264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 649919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props2814551282985797517.key 649935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 649935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16906213797540260663.key 649935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 312.5ns 649935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 652629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16906213797540260663.key 652629 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 652629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props6025041336461869316.key 652629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 305.7ns 652629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 655379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6025041336461869316.key 655379 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 655379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props10552384761723474396.key 655379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.4ns 655379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 658179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props10552384761723474396.key 658179 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 658241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props9589259785815988514.key 658241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.2ns 658241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 660915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props9589259785815988514.key 660915 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 660931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props2536361631275498419.key 660932 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 589ns 660932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 663760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 663776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props2536361631275498419.key 663776 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 663776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props13814092967215825077.key 663776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 519.9ns 663776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 666484 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 666499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props13814092967215825077.key 666499 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 666515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props7153352811072714093.key 666515 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.6ns 666515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 669143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 669159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props7153352811072714093.key 669175 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 669175 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 669175 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 669175 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 669175 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 669175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props858097660720776301.key 669175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.3ns 669175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 671785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 671801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props858097660720776301.key 671801 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 671801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props8165432510337673799.key 671801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176ns 671816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 674552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 674568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props8165432510337673799.key 674568 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 674568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props9232401520030432238.key 674568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.1ns 674568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 677304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 677319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props9232401520030432238.key 677319 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 677319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props10250776183983764616.key 677319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.4ns 677319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 680207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 680222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props10250776183983764616.key 680222 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 680238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props6843906682564853318.key 680238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 428.7ns 680238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 682975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 682991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props6843906682564853318.key 682991 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 682991 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.props2699930861579333108.smt2 682991 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.props6240273110484627710.smt2 683006 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.props10872707560282546496.smt2 683006 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.props17275215424639101507.smt2 683006 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.props7611362631742337718.smt2 683006 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.props12965779682795244199.smt2 683006 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.props12897192531184262252.smt2 683006 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.props1852893558219882881.smt2 683006 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.props16792671450812764213.smt2 683006 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.props1651666753720470493.smt2 683006 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.props17779347680081376616.smt2 683006 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.props12224890175149678551.smt2 683006 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.props1127948718587386822.smt2 683006 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.props10554887504162659455.smt2 683006 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.props5194197913492775652.smt2 683022 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.props12059789696639536564.smt2 683022 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.props15836340777169952081.smt2 683022 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.props4716339369534192761.smt2 683022 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.props6276182185049761724.smt2 683022 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.props17577114662998113819.smt2 683022 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.props18191159387708962398.smt2 683022 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.props15861793650485514733.smt2 683022 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.props5640145540173237403.smt2 683022 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.props11924216918714188319.smt2