detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409884/gensys_brn839.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409883/gensys_brn838.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409883/gensys_brn838.smt2 (content) unsat unsat 1.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409882/gensys_brn837.smt2 (content) sat sat 0.197s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409882/gensys_brn837.smt2 (content) sat sat 0.062s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409881/gensys_brn836.smt2 (content) unsat unsat 0.450s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409881/gensys_brn836.smt2 (content) unsat unsat 0.104s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409880/gensys_brn835.smt2 (content) sat sat 0.104s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409880/gensys_brn835.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409879/gensys_brn834.smt2 (content) unsat unsat 2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409879/gensys_brn834.smt2 (content) unsat unsat 0.452s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409878/gensys_brn833.smt2 (content) sat sat 0.295s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409878/gensys_brn833.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409877/gensys_brn832.smt2 (content) sat sat 0.299s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409877/gensys_brn832.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409876/gensys_brn831.smt2 (content) sat sat 0.822s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409876/gensys_brn831.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409875/gensys_brn830.smt2 (content) sat sat 0.161s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409875/gensys_brn830.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409874/gensys_brn829.smt2 (content) sat sat 0.090s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409874/gensys_brn829.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409873/gensys_brn828.smt2 (content) sat sat 0.074s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409873/gensys_brn828.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409872/gensys_brn827.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409872/gensys_brn827.smt2 (content) unsat unsat 0.089s