detailed results (4328 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk023.smt2 (content) unsat unsat 0.083s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk022.smt2 (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk021.smt2 (content) unsat unsat 0.100s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk020.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk018.smt2 (content) unsat unsat 0.101s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk015.smt2 (content) unsat unsat 0.145s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk013.smt2 (content) unsat unsat 0.094s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk012.smt2 (content) unsat unsat 0.126s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk005.smt2 (content) unsat unsat 0.073s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk004.smt2 (content) unsat unsat 0.146s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk003.smt2 (content) unsat unsat 0.080s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn054.smt2 (content) unsat unsat 0.065s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn047.smt2 (content) unsat unsat 0.147s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn044.smt2 (content) unsat unsat 0.113s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn043.smt2 (content) unsat unsat 0.084s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn040.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn039.smt2 (content) unsat unsat 0.136s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn038.smt2 (content) unsat unsat 0.048s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn037.smt2 (content) unsat unsat 0.092s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn036.smt2 (content) unsat unsat 0.055s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn035.smt2 (content) unsat unsat 0.057s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn034.smt2 (content) unsat unsat 0.040s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn033.smt2 (content) unsat unsat 0.040s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn032.smt2 (content) unsat unsat 0.052s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn031.smt2 (content) unsat unsat 0.077s