show full table

problem	zip-dev-check	zip-dev	zip-dev-check.time	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC294+1.p	timeout	timeout	9.81	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC294-1.p	unsat	unsat	1.66	1.50
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC295+1.p	timeout	timeout	9.79	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC295-1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC296+1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC296-1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC297+1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC297-1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC298+1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC298-1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC299+1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC299-1.p	timeout	timeout	9.80	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC300+1.p	timeout	timeout	9.80	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC300-1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC301+1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC301-1.p	timeout	timeout	9.80	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC302+1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC302-1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC303+1.p	timeout	timeout	9.80	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC303-1.p	timeout	timeout	9.81	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC304+1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC304-1.p	timeout	timeout	9.80	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC305+1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC305-1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC306+1.p	timeout	timeout	9.79	9.79

full results