Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.002s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.002s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.002s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.007s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.003s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.002s | 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.002s | 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.002s | 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
855485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props4264179635100742585.key 855485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.4ns 855485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 855735 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 855735 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 855735 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 855735 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 856448 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 861401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.91s 861417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props4264179635100742585.key 861417 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 861448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props7411044275733942712.key 861448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 310.5ns 861463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 865888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s 865904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props7411044275733942712.key 865904 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 865919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props5983028634171965286.key 865919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 504.6ns 865919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 870294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s 870325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5983028634171965286.key 870325 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 870325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props8791457655040821197.key 870325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.4ns 870325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 874971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s 874987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props8791457655040821197.key 874987 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 874987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props14024851356516004401.key 874987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.2ns 875002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 879583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.58s 879598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props14024851356516004401.key 879598 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 879614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props10793107088692366814.key 879614 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 526.3ns 879614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 884441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s 884457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10793107088692366814.key 884457 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 884457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props9935409669137194143.key 884457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 693.9ns 884457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 889407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 889423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props9935409669137194143.key 889438 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17.8ns 889438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props12602445155010215267.key 889438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 389.2ns 889438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 894405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 894436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props12602445155010215267.key 894436 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 894453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props273557760482830853.key 894453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.9ns 894453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 899345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 899376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props273557760482830853.key 899376 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 899376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props15090522409075884724.key 899376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 758.9ns 899392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 904070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.69s 904101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props15090522409075884724.key 904101 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 904101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props4671909302169001165.key 904101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.7ns 904101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 908742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.64s 908772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props4671909302169001165.key 908772 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 908788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props2367106211250357993.key 908788 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 601ns 908788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 913561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 913593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props2367106211250357993.key 913593 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 18.8ns 913593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props10759847702796367850.key 913593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 490.1ns 913608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 918296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.69s 918311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props10759847702796367850.key 918311 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 918327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props3695332554841210793.key 918327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 685.2ns 918327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 923014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.69s 923045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props3695332554841210793.key 923045 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 923045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props10056777408226570043.key 923045 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269ns 923045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 927699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s 927730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props10056777408226570043.key 927730 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27.7ns 927730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props3749525952306638459.key 927730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.8ns 927746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 932363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s 932394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props3749525952306638459.key 932394 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 932394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props16673361886549011746.key 932394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 579.2ns 932410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 937186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 937202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props16673361886549011746.key 937202 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns 937217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props5927886162827354065.key 937217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 570ns 937217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 942079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s 942110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props5927886162827354065.key 942110 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15ns 942110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props5932819949315253571.key 942110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 654.9ns 942110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 946923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 946940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props5932819949315253571.key 946940 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.3ns 946940 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 946940 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 946940 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 946940 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 946940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props14982171170268382678.key 946940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170ns 946955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 951812 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 951827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14982171170268382678.key 951827 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 951843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props7911455146700166044.key 951843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 326.5ns 951843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 956629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.79s 956644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7911455146700166044.key 956660 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 956660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props15579681551566930412.key 956660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 305.9ns 956660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 961485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s 961502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props15579681551566930412.key 961502 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 961517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props3732306865950081340.key 961517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.2ns 961517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 966039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.52s 966055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props3732306865950081340.key 966055 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 966070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props6214436501741456095.key 966070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.7ns 966070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 970605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.54s 970636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props6214436501741456095.key 970636 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 971053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props348429590218747534.key 971053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 305.5ns 971053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 975727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.67s 975743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props348429590218747534.key 975743 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 975759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props6998712518499826042.key 975759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 433ns 975759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 980377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s 980393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props6998712518499826042.key 980393 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 980409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props6376633884122604861.key 980409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.5ns 980409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 984888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s 984903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props6376633884122604861.key 984903 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 984903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props15139131307477970462.key 984903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 370.6ns 984919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 989711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.79s 989727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props15139131307477970462.key 989727 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 989727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props14094896618465572493.key 989727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 305.1ns 989727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 994419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 994434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props14094896618465572493.key 994434 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 41.4ns 994434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props8706724763738058541.key 994434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.8ns 994450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 999245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 999260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props8706724763738058541.key 999260 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 999260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props7776311036154129276.key 999260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 533.2ns 999276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1004018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s 1004034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props7776311036154129276.key 1004034 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1004034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props2492856343595575235.key 1004034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 300.8ns 1004049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1008877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 1008908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props2492856343595575235.key 1008908 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1008908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props7385765510467209696.key 1008908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 441.5ns 1008908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1013753 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 1013768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props7385765510467209696.key 1013784 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1013784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props6861329666081523617.key 1013784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 665.4ns 1013784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1018765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 1018781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props6861329666081523617.key 1018781 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1018781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props4971936411220638204.key 1018781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 558ns 1018797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1023527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.73s 1023544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props4971936411220638204.key 1023544 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1023559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props17707609168295556410.key 1023559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 289.9ns 1023559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1028434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s 1028450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props17707609168295556410.key 1028450 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 70.2ns 1028450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props6529956577379900015.key 1028450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.7ns 1028465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1033196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 1033228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props6529956577379900015.key 1033228 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 1033228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props7871672923185298540.key 1033228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 528ns 1033228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1038069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.83s 1038085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props7871672923185298540.key 1038085 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1038101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props17747589721675982641.key 1038101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 400.5ns 1038101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1042849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 1042865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props17747589721675982641.key 1042865 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1042880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props8770268990531618271.key 1042880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 309.9ns 1042880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1047648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 1047679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8770268990531618271.key 1047679 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1047679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props13030953681521552933.key 1047679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.1ns 1047679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1052386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.7s 1052401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props13030953681521552933.key 1052401 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1052401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props3189531718183142014.key 1052401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.1ns 1052417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1057017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.61s 1057032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props3189531718183142014.key 1057048 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1057048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props12743664855720978950.key 1057048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.7ns 1057048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1061791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.73s 1061807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props12743664855720978950.key 1061807 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1061807 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1061807 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1061807 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1061807 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1061822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props10482572761307283637.key 1061822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 440.8ns 1061822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1066540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.72s 1066556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props10482572761307283637.key 1066556 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1066571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props10862766104950804038.key 1066571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238ns 1066571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1071288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.73s 1071304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props10862766104950804038.key 1071320 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1071320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props5290877671929598419.key 1071320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.1ns 1071320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1076085 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.77s 1076100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props5290877671929598419.key 1076116 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1076116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props1625072176956989476.key 1076116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241ns 1076116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1080888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.77s 1080903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props1625072176956989476.key 1080903 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns 1080919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props7607064354841461063.key 1080919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 455.3ns 1080919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1085632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.71s 1085648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props7607064354841461063.key 1085664 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1085664 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.props6901296846812232891.smt2 1085664 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.props15544973007789207587.smt2 1085664 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.props15481518778388077747.smt2 1085679 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.props12788351268421506219.smt2 1085679 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.props9984888341823993884.smt2 1085679 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.props13319600605795967382.smt2 1085679 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.props5240625574997673816.smt2 1085679 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.props4606614186590140912.smt2 1085679 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.props16552025007892205892.smt2 1085679 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.props1217886965636793279.smt2 1085679 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.props6717769281452039708.smt2 1085679 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.props14112782749188846712.smt2 1085695 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.props2212862715254889301.smt2 1085695 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.props2128755070219345245.smt2 1085695 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.props7984763220833075949.smt2 1085695 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.props16136048228662020688.smt2 1085695 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.props17815845836588015055.smt2 1085695 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.props15044632436597545974.smt2 1085695 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.props7208743209506810028.smt2 1085695 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.props2052986651859651054.smt2 1085710 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.props3478867925017008295.smt2 1085710 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.props14721153069549866848.smt2 1085710 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.props15881670689253662954.smt2 1085710 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.props1874873734579268463.smt2