The power of each method in the paper

This group of arguments consider the full framework from the paper, and various techniques in isolation. No additional techniques are included.

Filename	full	rr	horpo	poly	dp	static	dynamic	nofo
426	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
427	YES 0.05	YES 0.04	MAYBE	YES 0.04	YES 0.28	YES 0.05	YES 0.29	YES 0.04
428	YES 0.02	YES 0.02	YES 0.02	YES 0.02	YES 0.00	YES 0.00	YES 0.01	YES 0.02
429	YES 0.94	YES 0.96	YES 0.80	MAYBE	YES 0.02	YES 0.02	YES 6.61	YES 0.97
430	YES 0.03	YES 0.03	YES 0.37	YES 0.03	YES 0.51	YES 0.52	YES 0.67	YES 0.03
431	YES 0.09	YES 0.08	YES 0.05	MAYBE	YES 0.00	YES 0.00	YES 0.05	YES 0.08
432	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
433	YES 0.59	YES 0.53	YES 0.62	MAYBE	YES 4.22	MAYBE	YES 5.17	YES 0.57
434	YES 0.38	YES 0.30	YES 0.24	MAYBE	YES 0.01	YES 0.01	YES 0.38	YES 0.31
435	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
436	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
437	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
438	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
443	YES 0.01	YES 0.01	YES 0.02	MAYBE	YES 0.42	YES 0.42	YES 0.42	YES 0.02
444	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
445	YES 0.01	YES 0.00	YES 0.00	MAYBE	YES 0.00	YES 0.00	YES 0.00	YES 0.02
446	YES 0.02	YES 0.01	YES 0.02	MAYBE	YES 0.47	YES 0.49	YES 0.48	YES 0.02
447	YES 0.01	YES 0.01	YES 0.03	YES 0.01	YES 0.40	YES 0.40	YES 0.38	YES 0.01
448	YES 0.00	YES 0.00	YES 0.01	YES 0.00	YES 0.47	YES 0.49	YES 0.49	YES 0.01
449	YES 0.00	YES 0.00	YES 0.02	YES 0.00	YES 0.46	YES 0.49	YES 0.48	YES 0.00
450	YES 0.00	YES 0.00	YES 0.01	YES 0.00	YES 0.47	YES 0.49	YES 0.47	YES 0.00
451	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
452	YES 0.02	YES 0.01	YES 0.01	MAYBE	YES 0.45	YES 0.40	YES 0.38	YES 0.02
453	YES 0.01	YES 0.01	YES 0.03	YES 0.01	YES 0.49	YES 0.56	YES 0.50	YES 0.01
454	YES 0.05	YES 0.05	YES 0.04	MAYBE	YES 0.50	MAYBE	YES 0.51	YES 0.07
455	YES 0.00	YES 0.00	YES 0.01	YES 0.00	YES 0.49	YES 0.49	YES 0.51	YES 0.00
456	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
457	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
458	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
459	YES 0.05	YES 0.05	MAYBE	YES 0.05	YES 0.04	YES 0.01	YES 0.04	YES 0.05
460	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
461	YES 0.00	YES 0.00	YES 0.01	YES 0.00	YES 0.58	YES 0.46	YES 0.50	YES 0.00
462	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
463	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
464	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
465	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
466	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
467	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
468	YES 0.14	YES 0.14	YES 0.08	MAYBE	YES 0.01	YES 0.01	YES 0.59	YES 0.14
469	YES 0.01	YES 0.01	MAYBE	YES 0.01	YES 0.01	MAYBE	YES 0.01	YES 0.01
470	YES 0.01	YES 0.01	YES 0.02	YES 0.01	YES 0.00	YES 0.00	YES 0.01	YES 0.01
471	YES 0.01	YES 0.00	YES 0.06	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00
472	YES 0.01	YES 0.01	YES 0.01	YES 0.01	YES 0.41	YES 0.39	YES 0.40	YES 0.01
473	YES 0.02	YES 0.02	YES 0.02	MAYBE	YES 0.00	YES 0.00	YES 0.00	YES 0.02
474	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
475	YES 0.00	MAYBE	MAYBE	MAYBE	YES 0.00	YES 0.00	MAYBE	YES 0.00
476	YES 0.03	YES 0.02	YES 0.05	YES 0.02	YES 0.00	YES 0.00	YES 0.00	YES 0.02
477	YES 0.11	YES 0.11	YES 1.93	YES 0.12	YES 0.52	YES 0.54	YES 0.54	YES 0.11
478	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
479	YES 0.00	YES 0.00	YES 0.01	YES 0.00	YES 0.38	YES 0.37	YES 0.38	YES 0.00
480	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
481	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
482	YES 0.03	YES 0.02	YES 0.02	MAYBE	YES 0.00	YES 0.00	YES 0.00	YES 0.03
483	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
484	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
485	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
486	YES 0.61	MAYBE	MAYBE	MAYBE	YES 0.54	MAYBE	YES 0.50	YES 0.08
487	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
501	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
513	NO 0.01	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
514	YES 1.10	YES 0.97	YES 0.52	MAYBE	YES 5.54	MAYBE	YES 4.36	YES 0.98
515	YES 0.03	YES 0.03	MAYBE	YES 0.03	YES 0.01	YES 0.01	YES 0.05	YES 0.05
516	YES 0.46	MAYBE	MAYBE	MAYBE	YES 0.34	YES 0.01	MAYBE	YES 0.56
517	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
518	TIMEOUT	MAYBE	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT
519	YES 0.39	YES 0.30	YES 0.21	MAYBE	YES 0.64	YES 0.39	YES 1.36	YES 0.45
520	YES 0.16	YES 0.15	YES 0.28	MAYBE	YES 0.51	YES 0.49	YES 1.00	YES 0.21
521	YES 0.03	YES 0.02	YES 0.14	YES 0.02	YES 0.53	YES 0.53	YES 0.58	YES 0.03
722	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
723	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
724	YES 0.07	MAYBE	MAYBE	MAYBE	YES 0.00	YES 0.00	YES 0.00	YES 0.06
725	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
726	YES 0.59	MAYBE	MAYBE	MAYBE	YES 0.55	MAYBE	YES 0.59	YES 0.11
727	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
728	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
729	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.01
730	YES 0.01	YES 0.00	YES 0.03	YES 0.00	YES 0.50	YES 0.50	YES 0.51	YES 0.01
759	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
764	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
768	YES 0.54	MAYBE	MAYBE	MAYBE	YES 0.49	YES 0.84	MAYBE	YES 0.02
770	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
771	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
772	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
774	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
775	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
776	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
777	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
778	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
781	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
782	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
783	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
788	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00
1037	YES 0.33	YES 0.29	YES 0.11	MAYBE	YES 0.78	YES 0.49	YES 1.71	YES 0.29
Total YES	43	37	33	21	43	37	40	43
Total NO	30	0	0	0	0	0	0	30
Total MAYBE	19	56	60	72	49	56	52	19
Total TIMEOUT	1	0	0	0	1	0	1	1
Average Runtime	0.09	0.11	0.17	0.01	0.51	0.26	0.77	0.07