detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408885/gensys_brn1061.smt2 (content) unsat unsat 0.064s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408884/gensys_brn1060.smt2 (content) sat sat 0.139s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408884/gensys_brn1060.smt2 (content) sat sat 0.107s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408884/gensys_brn1060.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408883/gensys_brn106.smt2 (content) sat sat 0.293s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408883/gensys_brn106.smt2 (content) sat sat 0.153s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408883/gensys_brn106.smt2 (content) sat sat 0.038s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408882/gensys_brn1059.smt2 (content) sat sat 0.103s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408882/gensys_brn1059.smt2 (content) sat sat 0.057s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408882/gensys_brn1059.smt2 (content) sat sat 0.042s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408881/gensys_brn1058.smt2 (content) sat sat 0.318s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408881/gensys_brn1058.smt2 (content) sat sat 0.343s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408881/gensys_brn1058.smt2 (content) sat sat 0.039s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408880/gensys_brn1057.smt2 (content) unsat unsat 3.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408880/gensys_brn1057.smt2 (content) unsat unsat 5.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408880/gensys_brn1057.smt2 (content) unsat unsat 0.232s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408879/gensys_brn1056.smt2 (content) sat sat 0.134s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408879/gensys_brn1056.smt2 (content) sat sat 0.251s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408879/gensys_brn1056.smt2 (content) sat sat 0.075s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408878/gensys_brn1055.smt2 (content) sat sat 0.158s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408878/gensys_brn1055.smt2 (content) sat sat 0.088s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408878/gensys_brn1055.smt2 (content) sat sat 0.053s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408877/gensys_brn1054.smt2 (content) sat sat 0.143s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408877/gensys_brn1054.smt2 (content) sat sat 0.134s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408877/gensys_brn1054.smt2 (content) sat sat 0.046s