detailed results (7457 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl199.smt2 (content) unsat unsat 0.453s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl198.smt2 (content) unsat unsat 0.667s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl197.smt2 (content) unsat unsat 0.337s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl196.smt2 (content) unsat unsat 0.841s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl195.smt2 (content) unsat unsat 0.793s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl194.smt2 (content) unsat unsat 0.834s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl193.smt2 (content) unsat unsat 0.758s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl192.smt2 (content) unsat unsat 0.531s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl191.smt2 (content) unsat unsat 0.646s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl190.smt2 (content) unsat unsat 0.506s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl189.smt2 (content) unsat unsat 0.339s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl188.smt2 (content) unsat unsat 0.280s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl187.smt2 (content) unsat unsat 0.233s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl186.smt2 (content) unsat unsat 0.262s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl185.smt2 (content) unsat unsat 0.383s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl184.smt2 (content) unsat unsat 0.474s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl183.smt2 (content) unsat unsat 0.353s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl182.smt2 (content) unsat unsat 0.422s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl181.smt2 (content) unsat unsat 0.565s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl180.smt2 (content) unsat unsat 0.326s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl179.smt2 (content) unsat unsat 0.648s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl178.smt2 (content) unsat unsat 0.681s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl177.smt2 (content) unsat unsat 0.295s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl176.smt2 (content) unsat unsat 0.628s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl175.smt2 (content) unsat unsat 0.417s