Benchpress

configuration

list of results

  • 2568 res {z3,sidekick-dev} 2022/02, Tue the 08, at 19h19:19 GMT dirs {…/QF_UFLRA}

    (1.290M)

  • 246 res {z3,sidekick-dev} 2022/02, Tue the 08, at 19h12:19 GMT dirs {…ick/tests}

    (167.9K)

  • 2568 res {z3,sidekick-dev} 2022/02, Tue the 08, at 16h13:31 GMT dirs {…/QF_UFLRA}

    (1.298M)

  • (1.363M)

  • 6442 res {minisat,batsat} 2022/01, Wed the 12, at 14h37:15 GMT dirs {…chs/basic}

    (14.880M)

  • 242 res {z3,sidekick-dev} 2022/01, Wed the 05, at 18h34:25 GMT dirs {…ck2/tests}

    (167.9K)

  • 242 res {z3,sidekick-dev} 2022/01, Wed the 05, at 15h47:58 GMT dirs {…ck2/tests}

    (167.9K)

  • 242 res 2 bad {z3,sidekick-dev} 2022/01, Wed the 05, at 15h32:26 GMT dirs {…ck2/tests}

    (167.9K)

  • 3296 res {z3,sidekick-dev} 2022/01, Tue the 04, at 19h02:58 GMT dirs {…ts/QF_LRA}

    (1.572M)

  • 2568 res {z3,sidekick-dev} 2022/01, Tue the 04, at 18h19:24 GMT dirs {…/QF_UFLRA}

    (1.302M)

  • 242 res {z3,sidekick-dev} 2022/01, Mon the 03, at 22h15:04 GMT dirs {…ck2/tests}

    (167.9K)

  • 2568 res {z3,sidekick-dev} 2022/01, Mon the 03, at 21h15:52 GMT dirs {…/QF_UFLRA}

    (1.306M)

  • 3296 res {z3,sidekick-dev} 2022/01, Mon the 03, at 19h00:09 GMT dirs {…ts/QF_LRA}

    (1.568M)

  • 2568 res {z3,sidekick-dev} 2022/01, Mon the 03, at 18h13:29 GMT dirs {…/QF_UFLRA}

    (1.314M)

  • 345 res {z3,sidekick-dev-p,sidekick-dev} 2021/12, Wed the 08, at 1h43:29 GMT dirs {…ick/tests}

    (237.5K)

  • (106.4K)

  • 3296 res {z3,sidekick-dev} 2021/09, Tue the 28, at 13h42:46 GMT dirs {…ts/QF_LRA}

    (1.556M)

  • 2568 res {z3,sidekick-dev} 2021/09, Mon the 27, at 21h50:23 GMT dirs {…/QF_UFLRA}

    (1.277M)

  • 14914 res {z3,sidekick-dev} 2021/09, Mon the 27, at 16h52:28 GMT dirs {…sts/QF_UF}

    (5.545M)

  • 14914 res {z3,sidekick-dev} 2021/09, Mon the 27, at 15h05:18 GMT dirs {…sts/QF_UF}

    (5.656M)