detailed results (7457 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl999.smt2 (content) unsat unsat 0.588s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl998.smt2 (content) unsat unsat 0.554s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl997.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl996.smt2 (content) unsat unsat 0.135s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl995.smt2 (content) unsat unsat 0.989s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl994.smt2 (content) unsat unsat 0.117s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl993.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl992.smt2 (content) unsat unsat 0.110s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl991.smt2 (content) unsat unsat 0.433s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl990.smt2 (content) unsat unsat 0.619s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl989.smt2 (content) unsat unsat 0.812s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl988.smt2 (content) unsat unsat 0.791s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl987.smt2 (content) unsat unsat 1.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl986.smt2 (content) unsat unsat 0.088s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl985.smt2 (content) unsat unsat 0.252s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl984.smt2 (content) unsat unsat 0.255s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl983.smt2 (content) unsat unsat 0.370s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl982.smt2 (content) unsat unsat 0.456s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl981.smt2 (content) unsat unsat 0.121s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl980.smt2 (content) unsat unsat 0.803s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl979.smt2 (content) unsat unsat 0.281s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl978.smt2 (content) unsat unsat 1.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl977.smt2 (content) unsat unsat 0.120s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl976.smt2 (content) unsat unsat 0.131s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl975.smt2 (content) unsat unsat 0.922s