detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl790.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl789.smt2 (content) unsat unsat 0.060s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl788.smt2 (content) unsat unsat 0.104s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl787.smt2 (content) unsat unsat 1.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl786.smt2 (content) unsat unsat 0.369s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl785.smt2 (content) unsat unsat 0.965s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl784.smt2 (content) unsat unsat 0.835s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl783.smt2 (content) unsat unsat 1.6s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl782.smt2 (content) unsat unsat 0.179s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl781.smt2 (content) unsat unsat 0.254s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl780.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl779.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl778.smt2 (content) unsat unsat 0.104s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl777.smt2 (content) unsat unsat 0.103s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl776.smt2 (content) unsat unsat 0.925s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl775.smt2 (content) unsat unsat 0.995s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl774.smt2 (content) unsat unsat 0.048s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl773.smt2 (content) unsat unsat 0.120s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl772.smt2 (content) unsat unsat 0.128s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl771.smt2 (content) unsat unsat 0.215s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl770.smt2 (content) unsat unsat 0.986s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl769.smt2 (content) unsat unsat 0.164s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl768.smt2 (content) unsat unsat 0.726s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl767.smt2 (content) unsat unsat 0.212s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl766.smt2 (content) unsat unsat 0.956s