detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409885/gensys_brn840.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409884/gensys_brn839.smt2 (content) sat sat 0.199s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409884/gensys_brn839.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409883/gensys_brn838.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409883/gensys_brn838.smt2 (content) unsat unsat 1.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409882/gensys_brn837.smt2 (content) sat sat 0.163s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409882/gensys_brn837.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409881/gensys_brn836.smt2 (content) unsat unsat 0.386s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409881/gensys_brn836.smt2 (content) unsat unsat 0.135s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409880/gensys_brn835.smt2 (content) sat sat 0.089s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409880/gensys_brn835.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409879/gensys_brn834.smt2 (content) unsat unsat 1.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409879/gensys_brn834.smt2 (content) unsat unsat 0.463s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409878/gensys_brn833.smt2 (content) sat sat 0.255s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409878/gensys_brn833.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409877/gensys_brn832.smt2 (content) sat sat 0.225s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409877/gensys_brn832.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409876/gensys_brn831.smt2 (content) sat sat 0.701s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409876/gensys_brn831.smt2 (content) sat sat 0.073s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409875/gensys_brn830.smt2 (content) sat sat 0.140s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409875/gensys_brn830.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409874/gensys_brn829.smt2 (content) sat sat 0.064s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409874/gensys_brn829.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409873/gensys_brn828.smt2 (content) sat sat 0.062s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409873/gensys_brn828.smt2 (content) sat sat 0.025s