detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl740.smt2 (content) unsat unsat 0.262s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl739.smt2 (content) unsat unsat 0.187s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl738.smt2 (content) unsat unsat 0.155s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl737.smt2 (content) unsat unsat 0.710s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl736.smt2 (content) unsat unsat 0.668s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl735.smt2 (content) unsat unsat 0.207s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl734.smt2 (content) unsat unsat 0.252s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl733.smt2 (content) unsat unsat 0.230s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl732.smt2 (content) unsat unsat 0.100s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl731.smt2 (content) unsat unsat 0.622s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl730.smt2 (content) unsat unsat 0.373s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl729.smt2 (content) unsat unsat 0.087s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl728.smt2 (content) unsat unsat 0.505s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl727.smt2 (content) unsat unsat 0.259s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl726.smt2 (content) unsat unsat 0.817s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl725.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl724.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl723.smt2 (content) unsat unsat 0.487s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl722.smt2 (content) unsat unsat 1.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl721.smt2 (content) unsat unsat 0.609s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl720.smt2 (content) unsat unsat 0.092s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl719.smt2 (content) unsat unsat 0.093s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl718.smt2 (content) unsat unsat 0.968s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl717.smt2 (content) unsat unsat 0.392s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl716.smt2 (content) unsat unsat 0.271s