detailed results (4253 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl607.smt2 (content) unsat unknown 0.411s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl606.smt2 (content) unsat unknown 0.342s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl605.smt2 (content) unsat unknown 0.442s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl604.smt2 (content) unsat unknown 0.299s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl603.smt2 (content) unsat unknown 0.269s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl602.smt2 (content) unsat unknown 0.273s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl601.smt2 (content) unsat unknown 0.379s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl600.smt2 (content) unsat unknown 0.357s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl599.smt2 (content) unsat unknown 0.065s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl598.smt2 (content) unsat unknown 0.065s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl597.smt2 (content) unsat unknown 0.382s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl596.smt2 (content) unsat unknown 0.360s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl595.smt2 (content) unsat unknown 0.981s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl594.smt2 (content) unsat unknown 0.442s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl593.smt2 (content) unsat unknown 0.747s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl592.smt2 (content) unsat unknown 0.292s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl591.smt2 (content) unsat unknown 0.750s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl590.smt2 (content) unsat unknown 0.904s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl589.smt2 (content) unsat unknown 0.474s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl588.smt2 (content) unsat unknown 0.674s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl587.smt2 (content) unsat unknown 0.553s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl586.smt2 (content) unsat unknown 0.463s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl585.smt2 (content) unsat unknown 0.358s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl584.smt2 (content) unsat unknown 1.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl583.smt2 (content) unsat unknown 0.913s