detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl915.smt2 (content) unsat unsat 0.140s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl914.smt2 (content) unsat unsat 0.456s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl913.smt2 (content) unsat unsat 0.146s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl912.smt2 (content) unsat unsat 0.530s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl911.smt2 (content) unsat unsat 0.198s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl910.smt2 (content) unsat unsat 0.200s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl909.smt2 (content) unsat unsat 0.976s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl908.smt2 (content) unsat unsat 0.256s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl907.smt2 (content) unsat unsat 0.420s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl906.smt2 (content) unsat unsat 0.464s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl905.smt2 (content) unsat unsat 0.226s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl904.smt2 (content) unsat unsat 0.921s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl903.smt2 (content) unsat unsat 0.825s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl902.smt2 (content) unsat unsat 0.177s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl901.smt2 (content) unsat unsat 0.577s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl900.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl899.smt2 (content) unsat unsat 0.109s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl898.smt2 (content) unsat unsat 0.119s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl897.smt2 (content) unsat unsat 0.200s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl896.smt2 (content) unsat unsat 0.213s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl895.smt2 (content) unsat unsat 0.354s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl894.smt2 (content) unsat unsat 0.445s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl893.smt2 (content) unsat unsat 0.716s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl892.smt2 (content) unsat unsat 0.069s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl891.smt2 (content) unsat unsat 0.095s