detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl990.smt2 (content) unsat unsat 0.619s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl989.smt2 (content) unsat unsat 0.469s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl988.smt2 (content) unsat unsat 0.674s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl987.smt2 (content) unsat unsat 0.840s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl986.smt2 (content) unsat unsat 0.129s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl985.smt2 (content) unsat unsat 0.181s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl984.smt2 (content) unsat unsat 0.135s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl983.smt2 (content) unsat unsat 0.442s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl982.smt2 (content) unsat unsat 0.450s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl981.smt2 (content) unsat unsat 0.140s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl980.smt2 (content) unsat unsat 0.633s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl979.smt2 (content) unsat unsat 0.281s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl978.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl977.smt2 (content) unsat unsat 0.147s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl976.smt2 (content) unsat unsat 0.145s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl975.smt2 (content) unsat unsat 0.690s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl974.smt2 (content) unsat unsat 0.747s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl973.smt2 (content) unsat unsat 0.472s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl972.smt2 (content) unsat unsat 0.255s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl971.smt2 (content) unsat unsat 0.417s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl970.smt2 (content) unsat unsat 0.112s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl969.smt2 (content) unsat unsat 0.539s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl968.smt2 (content) unsat unsat 0.498s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl967.smt2 (content) unsat unsat 0.099s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl966.smt2 (content) unsat unsat 0.105s