detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409209/gensys_brn164.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409208/gensys_brn163.smt2 (content) unsat unsat 0.399s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409208/gensys_brn163.smt2 (content) unsat unsat 0.760s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409207/gensys_brn162.smt2 (content) sat sat 0.578s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409207/gensys_brn162.smt2 (content) sat sat 0.065s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409206/gensys_brn161.smt2 (content) sat sat 0.216s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409206/gensys_brn161.smt2 (content) sat sat 0.057s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409205/gensys_brn160.smt2 (content) sat sat 0.291s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409205/gensys_brn160.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409204/gensys_brn159.smt2 (content) unsat unsat 4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409204/gensys_brn159.smt2 (content) unsat unsat 0.682s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409203/gensys_brn158.smt2 (content) sat sat 0.141s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409203/gensys_brn158.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409202/gensys_brn157.smt2 (content) sat sat 0.163s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409202/gensys_brn157.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409201/gensys_brn156.smt2 (content) sat sat 0.111s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409201/gensys_brn156.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409200/gensys_brn155.smt2 (content) sat sat 0.120s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409200/gensys_brn155.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409199/gensys_brn154.smt2 (content) sat sat 0.220s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409199/gensys_brn154.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409198/gensys_brn153.smt2 (content) sat sat 0.175s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409198/gensys_brn153.smt2 (content) sat sat 0.067s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409197/gensys_brn152.smt2 (content) sat sat 0.125s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409197/gensys_brn152.smt2 (content) sat sat 0.053s