detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408310/gensys_brn089.smt2 (content) unsat unsat 0.248s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408309/gensys_brn088.smt2 (content) sat sat 0.205s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408309/gensys_brn088.smt2 (content) sat sat 0.167s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408309/gensys_brn088.smt2 (content) sat sat 0.048s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408308/gensys_brn087.smt2 (content) unsat unsat 2.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408308/gensys_brn087.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408308/gensys_brn087.smt2 (content) unsat unsat 0.451s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408307/gensys_brn086.smt2 (content) sat sat 0.433s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408307/gensys_brn086.smt2 (content) sat sat 0.325s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408307/gensys_brn086.smt2 (content) sat sat 0.048s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408306/gensys_brn085.smt2 (content) unsat unsat 3.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408306/gensys_brn085.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408306/gensys_brn085.smt2 (content) unsat unsat 0.621s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408305/gensys_brn084.smt2 (content) unsat unsat 2.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408305/gensys_brn084.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408305/gensys_brn084.smt2 (content) unsat unsat 0.388s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408304/gensys_brn083.smt2 (content) sat sat 0.395s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408304/gensys_brn083.smt2 (content) sat sat 0.246s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408304/gensys_brn083.smt2 (content) sat sat 0.052s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408303/gensys_brn082.smt2 (content) sat sat 0.387s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408303/gensys_brn082.smt2 (content) sat sat 0.229s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408303/gensys_brn082.smt2 (content) sat sat 0.081s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408302/gensys_brn081.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408302/gensys_brn081.smt2 (content) unsat unsat 0.779s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408302/gensys_brn081.smt2 (content) unsat unsat 0.225s