detailed results (4328 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl913.smt2 (content) unsat unsat 0.146s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl912.smt2 (content) unsat unsat 0.553s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl911.smt2 (content) unsat unsat 0.354s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl910.smt2 (content) unsat unsat 0.214s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl909.smt2 (content) unsat unsat 0.754s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl908.smt2 (content) unsat unsat 0.269s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl907.smt2 (content) unsat unsat 0.342s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl906.smt2 (content) unsat unsat 0.792s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl905.smt2 (content) unsat unsat 0.431s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl904.smt2 (content) unsat unsat 0.681s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl903.smt2 (content) unsat unsat 0.981s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl902.smt2 (content) unsat unsat 0.174s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl901.smt2 (content) unsat unsat 0.787s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl900.smt2 (content) unsat unsat 0.063s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl899.smt2 (content) unsat unsat 0.094s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl898.smt2 (content) unsat unsat 0.169s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl897.smt2 (content) unsat unsat 0.156s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl896.smt2 (content) unsat unsat 0.205s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl895.smt2 (content) unsat unsat 0.449s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl894.smt2 (content) unsat unsat 0.423s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl893.smt2 (content) unsat unsat 1.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl892.smt2 (content) unsat unsat 0.088s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl891.smt2 (content) unsat unsat 0.253s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl890.smt2 (content) unsat unsat 0.176s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl889.smt2 (content) unsat unsat 0.207s