detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn091.smt2 (content) sat unknown 0.024s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn090.smt2 (content) unsat unknown 0.152s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn090.smt2 (content) unsat unknown 0.212s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn090.smt2 (content) unsat unknown 0.025s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn089.smt2 (content) sat unknown 0.161s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn089.smt2 (content) sat unknown 0.160s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn089.smt2 (content) sat unknown 0.024s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn088.smt2 (content) sat unknown 0.203s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn088.smt2 (content) sat unknown 0.230s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn088.smt2 (content) sat unknown 0.024s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn087.smt2 (content) sat unknown 0.131s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn087.smt2 (content) sat unknown 0.245s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn087.smt2 (content) sat unknown 0.034s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn086.smt2 (content) sat unknown 0.143s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn086.smt2 (content) sat unknown 0.232s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn086.smt2 (content) sat unknown 0.035s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn085.smt2 (content) sat unknown 0.254s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn085.smt2 (content) sat unknown 0.414s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn085.smt2 (content) sat unknown 0.036s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn084.smt2 (content) sat unknown 0.180s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn084.smt2 (content) sat unknown 0.268s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn084.smt2 (content) sat unknown 0.028s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn083.smt2 (content) sat unknown 0.142s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn083.smt2 (content) sat unknown 0.241s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn083.smt2 (content) sat unknown 0.024s