detailed results (4327 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn948.smt2 (content) unsat unsat 0.065s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn947.smt2 (content) unsat unsat 0.035s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn942.smt2 (content) unsat unsat 0.055s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn934.smt2 (content) unsat unsat 0.043s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn928.smt2 (content) unsat unsat 0.072s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn925.smt2 (content) unsat unsat 0.033s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn924.smt2 (content) unsat unsat 0.042s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn923.smt2 (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn922.smt2 (content) unsat unsat 0.031s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn921.smt2 (content) unsat unsat 0.039s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn917.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn912.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn911.smt2 (content) unsat unsat 0.045s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn909.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn907.smt2 (content) unsat unsat 0.063s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn906.smt2 (content) unsat unsat 0.075s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn894.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn890.smt2 (content) unsat unsat 0.056s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn889.smt2 (content) unsat unsat 0.062s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn879.smt2 (content) unsat unsat 0.067s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn877.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn866.smt2 (content) unsat unsat 0.085s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn864.smt2 (content) unsat unsat 0.045s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn859.smt2 (content) unsat unsat 0.104s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn858.smt2 (content) unsat unsat 0.041s