root
file
detailed [3250..3274]
prev
next
detailed results (6412 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG074+1.p
(content)
unsat
unsat
0.031s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG072+2.p
(content)
unsat
unsat
0.164s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG072+1.p
(content)
unsat
unsat
0.167s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG061+2.p
(content)
unsat
unsat
0.948s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG061+1.p
(content)
unsat
unsat
1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG060+2.p
(content)
unsat
unsat
7.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG060+1.p
(content)
unsat
unsat
7.6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG059+2.p
(content)
unsat
unsat
0.698s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG059+1.p
(content)
unsat
unsat
0.566s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG049+1.p
(content)
unsat
unsat
0.174s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG045+1.p
(content)
unsat
unsat
0.142s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG044+1.p
(content)
unsat
unsat
0.091s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG041-1.p
(content)
unsat
unsat
1.1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG039-1.p
(content)
unsat
unsat
0.170s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG038-2.p
(content)
unsat
unsat
0.093s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG024-7.p
(content)
unsat
unsat
0.062s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG024-6.p
(content)
unsat
unsat
0.710s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG023-7.p
(content)
unsat
unsat
0.067s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG023-6.p
(content)
unsat
unsat
0.626s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG011-5.p
(content)
unsat
unsat
0.108s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG010-2.p
(content)
unsat
unsat
0.061s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG008-4.p
(content)
unsat
unsat
1.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG008-3.p
(content)
unsat
unsat
1.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG007-4.p
(content)
unsat
unsat
0.033s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG003-1.p
(content)
unsat
unsat
0.536s