detailed results (7457 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl449.smt2 (content) unsat unsat 0.479s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl448.smt2 (content) unsat unsat 0.492s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl447.smt2 (content) unsat unsat 0.413s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl446.smt2 (content) unsat unsat 0.082s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl445.smt2 (content) unsat unsat 0.164s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl444.smt2 (content) unsat unsat 0.511s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl443.smt2 (content) unsat unsat 0.555s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl442.smt2 (content) unsat unsat 0.380s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl441.smt2 (content) unsat unsat 0.165s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl440.smt2 (content) unsat unsat 0.159s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl439.smt2 (content) unsat unsat 0.102s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl438.smt2 (content) unsat unsat 0.602s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl437.smt2 (content) unsat unsat 0.438s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl436.smt2 (content) unsat unsat 0.440s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl435.smt2 (content) unsat unsat 0.345s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl434.smt2 (content) unsat unsat 0.183s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl433.smt2 (content) unsat unsat 0.292s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl432.smt2 (content) unsat unsat 0.245s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl431.smt2 (content) unsat unsat 0.297s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl430.smt2 (content) unsat unsat 0.763s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl429.smt2 (content) unsat unsat 0.978s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl428.smt2 (content) unsat unsat 0.600s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl427.smt2 (content) unsat unsat 0.722s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl426.smt2 (content) unsat unsat 1.1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl425.smt2 (content) unsat unsat 0.469s