M2RelsatTest.testJNH49M2RelsatTest.testJNH49 |
1
PASS
|
0.0120,012 |
|
M2RelsatTest.testJNH50M2RelsatTest.testJNH50 |
1
PASS
|
0.0120,012 |
|
M2RelsatTest.testHole6M2RelsatTest.testHole6 |
1
PASS
|
0.0610,061 |
|
M2RelsatTest.testHole7M2RelsatTest.testHole7 |
1
PASS
|
0.3390,339 |
|
M2RelsatTest.testHole8M2RelsatTest.testHole8 |
1
PASS
|
3.1923,192 |
|
M2RelsatTest.testHole9M2RelsatTest.testHole9 |
1
PASS
|
104.642104,642 |
|
M2RelsatTest.testJNH41M2RelsatTest.testJNH41 |
1
PASS
|
0.0150,015 |
|
M2RelsatTest.testJNH42M2RelsatTest.testJNH42 |
1
PASS
|
0.0120,012 |
|
M2RelsatTest.testJNH43M2RelsatTest.testJNH43 |
1
PASS
|
0.0180,018 |
|
M2RelsatTest.testJNH44M2RelsatTest.testJNH44 |
1
PASS
|
0.0120,012 |
|
M2RelsatTest.testJNH45M2RelsatTest.testJNH45 |
1
PASS
|
0.0130,013 |
|
M2RelsatTest.testJNH46M2RelsatTest.testJNH46 |
1
PASS
|
0.0330,033 |
|
M2RelsatTest.testJNH47M2RelsatTest.testJNH47 |
1
PASS
|
0.0140,014 |
|
M2RelsatTest.testJNH48M2RelsatTest.testJNH48 |
1
PASS
|
0.020,02 |
|
M2RelsatTest.testJNH23M2RelsatTest.testJNH23 |
1
PASS
|
0.0220,022 |
|
M2RelsatTest.testJNH24M2RelsatTest.testJNH24 |
1
PASS
|
0.0210,021 |
|
M2RelsatTest.testJNH21M2RelsatTest.testJNH21 |
1
PASS
|
0.0120,012 |
|
M2RelsatTest.testJNH22M2RelsatTest.testJNH22 |
1
PASS
|
0.0140,014 |
|
M2RelsatTest.testJNH19M2RelsatTest.testJNH19 |
1
PASS
|
0.0150,015 |
|
M2RelsatTest.testJNH20M2RelsatTest.testJNH20 |
1
PASS
|
0.0160,016 |
|
M2RelsatTest.testJNH17M2RelsatTest.testJNH17 |
1
PASS
|
0.0130,013 |
|
M2RelsatTest.testJNH18M2RelsatTest.testJNH18 |
1
PASS
|
0.0260,026 |
|
M2RelsatTest.testJNH15M2RelsatTest.testJNH15 |
1
PASS
|
0.0140,014 |
|
M2RelsatTest.testJNH16M2RelsatTest.testJNH16 |
1
PASS
|
0.0620,062 |
|
M2RelsatTest.testJNH13M2RelsatTest.testJNH13 |
1
PASS
|
0.0130,013 |
|
M2RelsatTest.testJNH14M2RelsatTest.testJNH14 |
1
PASS
|
0.0130,013 |
|
M2RelsatTest.testJNH11M2RelsatTest.testJNH11 |
1
PASS
|
0.020,02 |
|
M2RelsatTest.testJNH12M2RelsatTest.testJNH12 |
1
PASS
|
0.0570,057 |
|
M2RelsatTest.testJNH9M2RelsatTest.testJNH9 |
1
PASS
|
0.0130,013 |
|
M2RelsatTest.testJNH10M2RelsatTest.testJNH10 |
1
PASS
|
0.0150,015 |
|
M2RelsatTest.testJNH40M2RelsatTest.testJNH40 |
1
PASS
|
0.0220,022 |
|
M2RelsatTest.testJNH39M2RelsatTest.testJNH39 |
1
PASS
|
0.0220,022 |
|
M2RelsatTest.testJNH38M2RelsatTest.testJNH38 |
1
PASS
|
0.0130,013 |
|
M2RelsatTest.testJNH37M2RelsatTest.testJNH37 |
1
PASS
|
0.0120,012 |
|
M2RelsatTest.testJNH36M2RelsatTest.testJNH36 |
1
PASS
|
0.0180,018 |
|
M2RelsatTest.testJNH35M2RelsatTest.testJNH35 |
1
PASS
|
0.0140,014 |
|
M2RelsatTest.testJNH34M2RelsatTest.testJNH34 |
1
PASS
|
0.0130,013 |
|
M2RelsatTest.testJNH33M2RelsatTest.testJNH33 |
1
PASS
|
0.0170,017 |
|
M2RelsatTest.testJNH32M2RelsatTest.testJNH32 |
1
PASS
|
0.0190,019 |
|
M2RelsatTest.testJNH31M2RelsatTest.testJNH31 |
1
PASS
|
0.0130,013 |
|
M2RelsatTest.testJNH30M2RelsatTest.testJNH30 |
1
PASS
|
0.0120,012 |
|
M2RelsatTest.testJNH29M2RelsatTest.testJNH29 |
1
PASS
|
0.0160,016 |
|
M2RelsatTest.testJNH28M2RelsatTest.testJNH28 |
1
PASS
|
0.0170,017 |
|
M2RelsatTest.testJNH27M2RelsatTest.testJNH27 |
1
PASS
|
0.0150,015 |
|
M2RelsatTest.testJNH26M2RelsatTest.testJNH26 |
1
PASS
|
0.0170,017 |
|
M2RelsatTest.testJNH25M2RelsatTest.testJNH25 |
1
PASS
|
0.0130,013 |
|
M2RelsatTest.testIi12M2RelsatTest.testIi12 |
1
PASS
|
0.0310,031 |
|
M2RelsatTest.testIi13M2RelsatTest.testIi13 |
1
PASS
|
0.0190,019 |
|
M2RelsatTest.testIi14M2RelsatTest.testIi14 |
1
PASS
|
0.030,03 |
|
M2RelsatTest.testIi15M2RelsatTest.testIi15 |
1
PASS
|
0.0810,081 |
|
M2RelsatTest.testIi8M2RelsatTest.testIi8 |
1
PASS
|
0.0370,037 |
|
M2RelsatTest.testIi9M2RelsatTest.testIi9 |
1
PASS
|
0.0190,019 |
|
M2RelsatTest.testIi10M2RelsatTest.testIi10 |
1
PASS
|
0.0320,032 |
|
M2RelsatTest.testIi11M2RelsatTest.testIi11 |
1
PASS
|
0.0210,021 |
|
M2RelsatTest.testIi4M2RelsatTest.testIi4 |
1
PASS
|
0.0220,022 |
|
M2RelsatTest.testIi5M2RelsatTest.testIi5 |
1
PASS
|
0.0160,016 |
|
M2RelsatTest.testIi6M2RelsatTest.testIi6 |
1
PASS
|
0.0230,023 |
|
M2RelsatTest.testIi7M2RelsatTest.testIi7 |
1
PASS
|
0.0290,029 |
|
M2RelsatTest.testAim50UNSAT8M2RelsatTest.testAim50UNSAT8 |
1
PASS
|
0.00900,009 |
|
M2RelsatTest.testIi1M2RelsatTest.testIi1 |
1
PASS
|
0.00700,007 |
|
M2RelsatTest.testIi2M2RelsatTest.testIi2 |
1
PASS
|
0.010,01 |
|
M2RelsatTest.testIi3M2RelsatTest.testIi3 |
1
PASS
|
0.020,02 |
|
M2RelsatTest.testJNH6M2RelsatTest.testJNH6 |
1
PASS
|
0.0190,019 |
|
M2RelsatTest.testJNH5M2RelsatTest.testJNH5 |
1
PASS
|
0.0140,014 |
|
M2RelsatTest.testJNH8M2RelsatTest.testJNH8 |
1
PASS
|
0.0140,014 |
|
M2RelsatTest.testJNH7M2RelsatTest.testJNH7 |
1
PASS
|
0.0170,017 |
|
M2RelsatTest.testJNH2M2RelsatTest.testJNH2 |
1
PASS
|
0.0140,014 |
|
M2RelsatTest.testJNH1M2RelsatTest.testJNH1 |
1
PASS
|
0.0140,014 |
|
M2RelsatTest.testJNH4M2RelsatTest.testJNH4 |
1
PASS
|
0.0130,013 |
|
M2RelsatTest.testJNH3M2RelsatTest.testJNH3 |
1
PASS
|
0.0210,021 |
|
M2RelsatTest.testIi22M2RelsatTest.testIi22 |
1
PASS
|
0.0590,059 |
|
M2RelsatTest.testIi21M2RelsatTest.testIi21 |
1
PASS
|
0.0860,086 |
|
M2RelsatTest.testIi24M2RelsatTest.testIi24 |
1
PASS
|
0.2250,225 |
|
M2RelsatTest.testIi23M2RelsatTest.testIi23 |
1
PASS
|
0.0990,099 |
|
M2RelsatTest.testIi17M2RelsatTest.testIi17 |
1
PASS
|
0.1280,128 |
|
M2RelsatTest.testIi16M2RelsatTest.testIi16 |
1
PASS
|
0.0990,099 |
|
M2RelsatTest.testIi20M2RelsatTest.testIi20 |
1
PASS
|
0.2470,247 |
|
M2RelsatTest.testIi18M2RelsatTest.testIi18 |
1
PASS
|
0.0830,083 |
|
M2RelsatTest.testAim50SAT12M2RelsatTest.testAim50SAT12 |
1
PASS
|
0.010,01 |
|
M2RelsatTest.testAim50SAT13M2RelsatTest.testAim50SAT13 |
1
PASS
|
0.0130,013 |
|
M2RelsatTest.testAim50SAT14M2RelsatTest.testAim50SAT14 |
1
PASS
|
0.010,01 |
|
M2RelsatTest.testAim50SAT15M2RelsatTest.testAim50SAT15 |
1
PASS
|
0.00900,009 |
|
M2RelsatTest.testAim50SAT8M2RelsatTest.testAim50SAT8 |
1
PASS
|
0.0110,011 |
|
M2RelsatTest.testAim50SAT9M2RelsatTest.testAim50SAT9 |
1
PASS
|
0.010,01 |
|
M2RelsatTest.testAim50SAT10M2RelsatTest.testAim50SAT10 |
1
PASS
|
0.010,01 |
|
M2RelsatTest.testAim50SAT11M2RelsatTest.testAim50SAT11 |
1
PASS
|
0.0160,016 |
|
M2RelsatTest.testAim50UNSAT4M2RelsatTest.testAim50UNSAT4 |
1
PASS
|
0.010,01 |
|
M2RelsatTest.testAim50UNSAT5M2RelsatTest.testAim50UNSAT5 |
1
PASS
|
0.00900,009 |
|
M2RelsatTest.testAim50UNSAT6M2RelsatTest.testAim50UNSAT6 |
1
PASS
|
0.00800,008 |
|
M2RelsatTest.testAim50UNSAT7M2RelsatTest.testAim50UNSAT7 |
1
PASS
|
0.00700,007 |
|
M2RelsatTest.testAim50SAT16M2RelsatTest.testAim50SAT16 |
1
PASS
|
0.010,01 |
|
M2RelsatTest.testAim50UNSAT1M2RelsatTest.testAim50UNSAT1 |
1
PASS
|
0.00700,007 |
|
M2RelsatTest.testAim50UNSAT2M2RelsatTest.testAim50UNSAT2 |
1
PASS
|
0.0140,014 |
|
M2RelsatTest.testAim50UNSAT3M2RelsatTest.testAim50UNSAT3 |
1
PASS
|
0.00900,009 |
|
M2RelsatTest.testAim50SAT5M2RelsatTest.testAim50SAT5 |
1
PASS
|
0.0220,022 |
|
M2RelsatTest.testAim50SAT4M2RelsatTest.testAim50SAT4 |
1
PASS
|
0.020,02 |
|
M2RelsatTest.testAim50SAT7M2RelsatTest.testAim50SAT7 |
1
PASS
|
0.0280,028 |
|
M2RelsatTest.testAim50SAT6M2RelsatTest.testAim50SAT6 |
1
PASS
|
0.0210,021 |
|
M2RelsatTest.testAim50SAT1M2RelsatTest.testAim50SAT1 |
1
PASS
|
0.110,11 |
|
M2RelsatTest.testAim50SAT3M2RelsatTest.testAim50SAT3 |
1
PASS
|
0.0140,014 |
|
M2RelsatTest.testAim50SAT2M2RelsatTest.testAim50SAT2 |
1
PASS
|
0.0210,021 |
|