detailed results (4328 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl613.smt2 (content) unsat unsat 0.739s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl612.smt2 (content) unsat unsat 0.439s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl611.smt2 (content) unsat unsat 0.644s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl610.smt2 (content) unsat unsat 0.910s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl609.smt2 (content) unsat unsat 0.626s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl608.smt2 (content) unsat unsat 0.500s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl607.smt2 (content) unsat unsat 0.692s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl606.smt2 (content) unsat unsat 0.649s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl605.smt2 (content) unsat unsat 0.760s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl604.smt2 (content) unsat unsat 0.517s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl603.smt2 (content) unsat unsat 0.477s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl602.smt2 (content) unsat unsat 0.527s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl601.smt2 (content) unsat unsat 0.753s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl600.smt2 (content) unsat unsat 0.620s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl599.smt2 (content) unsat unsat 0.103s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl598.smt2 (content) unsat unsat 0.185s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl597.smt2 (content) unsat unsat 0.683s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl596.smt2 (content) unsat unsat 1.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl595.smt2 (content) unsat unsat 2.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl594.smt2 (content) unsat unsat 0.855s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl593.smt2 (content) unsat unsat 1.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl592.smt2 (content) unsat unsat 0.596s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl591.smt2 (content) unsat unsat 1.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl590.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl589.smt2 (content) unsat unsat 0.885s