detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412559/iso_brn904.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412558/iso_brn903.smt2 (content) sat sat 0.120s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412558/iso_brn903.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412557/iso_brn902.smt2 (content) sat sat 0.174s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412557/iso_brn902.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412556/iso_brn901.smt2 (content) sat sat 0.116s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412556/iso_brn901.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412555/iso_brn900.smt2 (content) sat sat 0.116s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412555/iso_brn900.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412554/iso_brn899.smt2 (content) sat sat 0.112s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412554/iso_brn899.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412553/iso_brn898.smt2 (content) sat sat 0.093s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412553/iso_brn898.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412552/iso_brn897.smt2 (content) sat sat 0.200s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412552/iso_brn897.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412551/iso_brn896.smt2 (content) sat sat 0.121s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412551/iso_brn896.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412550/iso_brn895.smt2 (content) sat sat 0.254s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412550/iso_brn895.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412549/iso_brn894.smt2 (content) unsat unsat 0.157s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412549/iso_brn894.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412548/iso_brn893.smt2 (content) sat sat 0.201s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412548/iso_brn893.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412547/iso_brn892.smt2 (content) sat sat 0.177s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412547/iso_brn892.smt2 (content) sat sat 0.040s