root
file
detailed [1750..1774]
prev
next
detailed results (3632 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411471/iso_brn104.smt2
(content)
unsat
unsat
0.157s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411468/iso_brn1037.smt2
(content)
unsat
unsat
0.101s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411467/iso_brn1036.smt2
(content)
unsat
unsat
0.154s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411466/iso_brn1035.smt2
(content)
unsat
unsat
0.146s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411463/iso_brn1032.smt2
(content)
unsat
unsat
0.122s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411460/iso_brn103.smt2
(content)
unsat
unsat
0.142s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411459/iso_brn1029.smt2
(content)
unsat
unsat
0.096s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411458/iso_brn1028.smt2
(content)
unsat
unsat
0.135s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411457/iso_brn1027.smt2
(content)
unsat
unsat
0.094s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411456/iso_brn1026.smt2
(content)
unsat
unsat
0.137s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411453/iso_brn1023.smt2
(content)
unsat
unsat
0.161s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411452/iso_brn1022.smt2
(content)
unsat
unsat
0.145s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411450/iso_brn1020.smt2
(content)
unsat
unsat
0.139s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411445/iso_brn1016.smt2
(content)
unsat
unsat
0.165s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411443/iso_brn1014.smt2
(content)
unsat
unsat
0.188s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411441/iso_brn1012.smt2
(content)
unsat
unsat
0.187s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411434/iso_brn1006.smt2
(content)
unsat
unsat
0.129s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411433/iso_brn1005.smt2
(content)
unsat
unsat
0.110s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411432/iso_brn1004.smt2
(content)
unsat
unsat
0.088s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411430/iso_brn1002.smt2
(content)
unsat
unsat
0.114s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411421/iso_brn094.smt2
(content)
unsat
unsat
0.142s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411416/iso_brn089.smt2
(content)
unsat
unsat
0.122s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411414/iso_brn087.smt2
(content)
unsat
unsat
0.109s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411413/iso_brn086.smt2
(content)
unsat
unsat
0.083s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411412/iso_brn085.smt2
(content)
unsat
unsat
0.110s