detailed results (7457 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl749.smt2 (content) unsat unsat 0.117s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl748.smt2 (content) unsat unsat 0.304s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl747.smt2 (content) unsat unsat 0.301s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl746.smt2 (content) unsat unsat 0.440s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl745.smt2 (content) unsat unsat 0.155s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl744.smt2 (content) unsat unsat 0.215s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl743.smt2 (content) unsat unsat 0.209s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl742.smt2 (content) unsat unsat 0.092s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl741.smt2 (content) unsat unsat 0.113s
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